|
СТ |
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols |
2003 |
Emerson E. A., Kahlon V. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Visual Specifications for Modular Reasoning about Asynchronous Systems |
1900 |
Amla N., Emerson E. A., Namjoshi K. S., Trefler R. J. |
|
|
|
Lecture Notes in Computer Science |
29.11.2002 |
|
СТ |
Model Checking Large-Scale and Parameterized Resource Allocation Systems |
2002 |
Emerson E. A., Kahlon V. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
Model Checking: Theory into Practice |
2000 |
Emerson E. A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.01.2001 |
|
СТ |
Model Checking Real-Time Properties of Symmetric Systems |
1998 |
Emerson E. A., Trefler R. J. |
|
|
|
Lecture Notes in Computer Science |
02.09.1998 |
|
СТ |
Synthesis of Concurrent Systems with Many Similar Processes |
1998 |
Attie P. C., Emerson E. A. |
|
|
|
ACM Trans. on Programming Languages and Systems |
30.07.1998 |
|
СТ |
Temporal and Modal Logic |
1994 |
Emerson E. A. |
|
|
|
Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B |
27.01.1998 |
|
СТ |
Automated Temporal Reasoning about Reactive Systems |
1996 |
Emerson E. A. |
|
|
|
Lecture Notes in Computer Science |
30.03.1996 |
|
СТ |
Methods for Mu-calculus Model Checking: A Tutorial |
1995 |
Emerson E. A. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach |
1995 |
Emerson E. A., Sistla A. P. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Distributed Real-Time System Sprcification and Verification in APTL |
1993 |
Wang F., Mok A., Emerson E. A. |
|
|
|
ACM Trans. Software Engineering and Methodology |
29.12.1993 |
|
СТ |
On model-checking for fragments of -calculus |
1993 |
Emerson E. A., Julta C. S., Sistla A. P. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Symmetry and Model Checking |
1993 |
Emerson E. A., Sistla A. P. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Symbolic Model Checking for Distributed Real-Time Systems |
1993 |
Wang F., Mok A., Emerson E. A. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
|
СТ |
Real-Time and Mu-Calculus (Preliminary Report) |
1992 |
Emerson E. A. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
