|
СТ |
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains |
2004 |
Kwon Y. M., Agha G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.02.2005 |
|
СТ |
Learning to Verify Safety Properties |
2004 |
Vardhan A., Sen K., Viswanathan M., Agha G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.02.2005 |
|
СТ |
Online Efficient Predictive Safety Analysis of Multithreaded Programs |
2004 |
Sen K., Rosu G., Agha G. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language |
2004 |
Agha G., Thati P. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
|
СТ |
Generating Optimal Linear Temporal Logic Monitors by Coinduction |
2003 |
Sen K., Rosu G., Agha G. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
SynchNet: A Petri Net Based Coordination Language for Distributed Objects |
2003 |
Ziaei R., Agha G. |
|
|
|
Lecture Notes in Computer Science |
27.11.2003 |
|
СТ |
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware |
2001 |
Venkatasubramanian N., Telkott C., Agha G. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
A Hierarchical Model for Coordination of Concurrent Activities |
1999 |
Valera C., Agha G. |
|
|
|
Lecture Notes in Computer Science |
18.05.1999 |
|
СТ |
Abstracting Interactions Based on Message Sets |
1995 |
Frolund S., Agha G. |
Lecture Notes in Computer Science |
|
|
Object-Based Models and Languages for Concurrent Systems |
30.08.1995 |
|
СТ |
Compilation of a Highly Parallel Actor-Based Language |
1993 |
Kim W., Agha G. |
|
|
|
Lecture Notes in Computer Science |
24.03.1994 |
|
СТ |
A Language Framework for Multi-Object Coordination |
1993 |
Frolund S., Agha G. |
|
|
|
Lecture Notes in Computer Science |
15.09.1993 |
|
СТ |
ActorSpace: An Open Distributed Programming Paradigm |
1993 |
Agha G., Callsen C. J. |
|
|
|
SIGPLAN Notices |
06.09.1993 |
|
СТ |
Towards a Theory of Actor Computation |
1992 |
Agha G., Mason I. A., Smith S., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
|
СТ |
Scalable Distributed Garbage Collection for Systems of Active Objects |
1992 |
Venkatasubramanian N., Agha G., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
|
СТ |
A Reflective Model of Inheritance |
1992 |
Jagannathan S., Agha G. |
|
|
|
Lecture Notes in Computer Science |
25.07.1992 |
