|
СТ |
Decision Problems for Timed Automata: A Survey |
2004 |
Alur R., Madhustan P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.01.2005 |
|
СТ |
A Temporal Logic of Nested Calls and Returns |
2004 |
Alur R., Etessami K., Madhusudan P. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
Formal Analysis of Hierarchical State Machines |
2003 |
Alur R. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
СТ |
Hierarchical Hybrid Modeling of Embedded Systems |
2001 |
Alur R., Dang T., Esposito J., Fierro R., Hur Y., Ivancic F., Kumar V., Lee I., Mishra P., Pappas G., Sokolsky O. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
|
СТ |
Exploiting Hierarchical Structure for Efficient Formal Verification |
2000 |
Alur R. |
|
|
|
Lecture Notes in Computer Science |
15.09.2000 |
|
СТ |
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination |
1999 |
Alur R., Esposito J., Kim M., Kumar V., Lee I. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
Automating Modular Verification |
1999 |
Alur R., De Alfaro L., Henzinger T. A., Mang F.Y. C. |
|
|
|
Lecture Notes in Computer Science |
15.09.1999 |
|
СТ |
Finitary Fairness |
1998 |
Alur R., Henzinger T. A. |
|
|
|
ACM Trans. on Programming Languages and Systems |
21.06.1999 |
|
СТ |
Model Checking of Hierarchical State Machines |
1998 |
Alur R., Yannakakis M. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Alternating-Time Temporal Logic |
1998 |
Alur R., Henzinger T. A., Kupferman O. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
СТ |
Decising Global Partial-Order Properties |
1998 |
Alur R., Mcmillan K., Peled D. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
|
СТ |
An Analyzer for Message Sequence Charts |
1996 |
Alur R., Holzmann G. J., Peled D. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
СТ |
Local Liveness for Compositional Modeling of Fair Reactive Systems |
1995 |
Alur R., Henzinger T. A. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
The Observational Power of Clocks |
1994 |
Alur R., Courcoubetis C., Henzinger T. A. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
A Determinizable Class of Timed Automata |
1994 |
Alur R., Fix L., Henzinger T. A. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
A Really Temporal Logic |
1994 |
Alur R., Henzinger T. A. |
|
|
|
J. of the ACM |
27.04.1994 |
|
СТ |
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems |
1993 |
Alur R., Courcoubetis C., Henzinger T. A., Ho P. -H. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
|
СТ |
Timing Verification by Successive Approximation |
1993 |
Alur R., Itai A., Kurshan R., Yannakakis M. |
|
|
|
Lecture Notes in Computer Science |
07.05.1993 |
|
СТ |
Minimization of Timed Transition Systems |
1992 |
Alur R., Courcoubetis C., Halbwachs N., Dill D., Wong-Toi H. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Verifying Automata Specifications of Probabilistic Real-time Systems |
1992 |
Alur R., Courcoubetis C., Dill D. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
The Theory of Timed Automata |
1992 |
Alur R., Dill D. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Logic and Models of Real Time: A Survey |
1992 |
Alur R., Henzinger T. A. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Model-checking for Probabilistic Real-time Systems |
1991 |
Alur R., Courcoubetis C., Dill D. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
