|
СТ |
Symmetry Reduction for Probabilistic Model Checking |
2006 |
Kwiatkowska M., Norman G., Parker D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.09.2006 |
|
СТ |
Stochastic Transition Systems for Continuous State Spaces and Non-determinism |
2005 |
Cattani S., Segala R., Kwiatkowska M., Norman G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.07.2005 |
|
СТ |
Verifying Randomized Byzantine Agreement |
1900 |
Kwiatkowska M., Norman G. |
|
|
|
Lecture Notes in Computer Science |
29.11.2002 |
|
СТ |
PRISM: Probabilistic Symbolic Model Checker |
2002 |
Kwiatkowska M., Norman G., Parker D. |
|
|
|
Lecture Notes in Computer Science |
29.05.2002 |
|
СТ |
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach |
2002 |
Kwiatkowska M., Norman G., Parker D. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
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 |
|
СТ |
Automatic Verification of Real-Time Systems with Discrete Probability Distributions |
1999 |
Kwiatkowska M., Norman G., Segala R., Sproston J. |
|
|
|
Lecture Notes in Computer Science |
18.06.1999 |
|
СТ |
Probabilistic Metric Semantics for a Simple Language with Recursion |
1996 |
Kwiatkowska M., Norman G. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1996 |
11.10.1996 |
|
СТ |
On Duality for the Modal -Calculus |
1994 |
Ambler S., Kwiatkowska M., Measor M. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
|
СТ |
A Hierarchy of Partial Order Temporal Properties |
1994 |
Kwiatkowska M., Peled D., Penczek W. |
|
|
|
Lecture Notes in Artificial Intelligence |
12.08.1994 |
|
СТ |
Infinite Behaviour and Fairness in Concurrent Constraint Programming |
1993 |
Kwiatkowska M. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
|
СТ |
Defining Process Fairness for Non-Interleaving Concurrency |
1900 |
Kwiatkowska M. |
|
|
|
Lecture Notes in Computer Science |
05.03.1991 |
