|
СТ |
Lineae and Branching Metrics for Quantitative Transition Systems |
2004 |
De Alfaro L., Faella M., Stoelinga M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.10.2004 |
|
СТ |
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation |
2000 |
De Alfaro L., Kwiatkowska M., Norman G., Parker D., Segala R. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
Automating Modular Verification |
1999 |
Alur R., De Alfaro L., Henzinger T. A., Mang F.Y. C. |
|
|
|
Lecture Notes in Computer Science |
15.09.1999 |
|
СТ |
Visual Verification of Reactive Systems |
1997 |
De Alfaro L., Manna Z., Sipma H. B., Uribe T. E. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification |
1997 |
De Alfaro L., Kapur A., Manna Z. |
|
|
|
Lecture Notes in Computer Science |
21.03.1997 |
|
СТ |
Temporal Logics for the Specification of Performance and Reliability |
1997 |
De Alfaro L. |
|
|
|
Lecture Notes in Computer Science |
21.03.1997 |
|
СТ |
Model Checking of Probabilistic and Nondeterministic Systems |
1995 |
Bianco A., De Alfaro L. |
|
|
|
Lecture Notes in Computer Science |
31.01.1996 |
|
СТ |
Verification in Continuous Time by Discrete Reasoning |
1995 |
De Alfaro L., Manna Z. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
