|
СТ |
Probability and Nondeterminism in Operational Models of Concurrency |
2006 |
Segala R. |
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 |
|
СТ |
Switched Probabilistic I/O Automata |
2005 |
Cheung L., Lynch N., Segala R., Vaandrager F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
|
П |
Hybrid I/O Automata Revisited + A LEGO Case Study |
2002 |
Lynch N., Segala R., Vaandrager F., Fehnker A. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
П |
Hybrid I/O Automata |
2002 |
Lynch N., Segala R., Vaandrager F. |
|
|
Techn.Univ.Munchen |
|
24.08.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 |
|
СТ |
Compositional Verificationof Randomized Distributed Algorithms |
1998 |
Segala R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
СТ |
System Support for Partition-Aware Network Applications |
1998 |
Babaoglu O., Davoli R., Montresor A., Segala R. |
|
|
|
Operating Systems Review |
23.03.1998 |
|
СТ |
A Compositional Trace-Based Semantics for Probabilistic Automata |
1995 |
Segala R. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
СТ |
Probabilistic Simulations for Probabilistic Processes |
1994 |
Segala R., Lynch N. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Liveness in Timed and Untimed Systems |
1994 |
Gawlick R., Segala R., Sogaard-Andersen J., Lynch N. |
|
|
|
Lecture Notes in Computer Science |
09.08.1994 |
|
СТ |
Quiescence, Fairness, Testing, and the Notion of Implementation |
1993 |
Segala R. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
