Follow
Roberto Segala
Title
Cited by
Cited by
Year
Modeling and verification of randomized distributed real-time systems
R Segala
9201996
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
919*2003
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
Nordic Journal of Computing 2 (2), 250-273, 1995
6031995
Automatic verification of real-time systems with discrete probability distributions
M Kwiatkowska, G Norman, R Segala, J Sproston
Theoretical Computer Science 282 (1), 101-150, 2002
4252002
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
International Conference on Concurrency Theory, 481-496, 1994
4181994
The theory of timed I/O automata
DK Kaynar
Morgan & Claypool Publishers, 2011
3112011
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation
L De Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala
International Conference on Tools and Algorithms for the Construction and …, 2000
1892000
Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems
DK Kaynar, N Lynch, R Segala, F Vaandrager
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 166-177, 2003
1762003
A compositional trace-based semantics for probabilistic automata
R Segala
International Conference on Concurrency Theory, 234-248, 1995
1661995
Liveness in timed and untimed systems
R Gawlick, R Segala, J Søgaard-Andersen, N Lynch
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 …, 1994
1661994
Hybrid I/O automata revisited
N Lynch, R Segala, F Vaandrager
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
1372001
Decision Algorithms for Probabilistic Bisimulation*
S Cattani, R Segala
International Conference on Concurrency Theory, 371-386, 2002
1302002
Verifying quantitative properties of continuous probabilistic timed automata
M Kwiatkowska, G Norman, R Segala, J Sproston
International Conference on Concurrency Theory, 123-137, 2000
1172000
Axiomatizations for probabilistic bisimulation
E Bandini, R Segala
International Colloquium on Automata, Languages, and Programming, 370-381, 2001
1022001
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM?
M Kwiatkowska, G Norman, R Segala
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
972001
Proving time bounds for randomized distributed algorithms
N Lynch, I Saias, R Segala
Proceedings of the thirteenth annual ACM symposium on Principles of …, 1994
951994
Testing probabilistic automata
R Segala
International Conference on Concurrency Theory, 299-314, 1996
931996
Compositionality for probabilistic automata
N Lynch, R Segala, F Vaandrager
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
812003
The theory of timed I
D Kaynar, N Lynch, R Segala, F Vaandrager
O automata. Technical Report MIT/LCS/TR-917a, MIT Laboratory for Computer …, 2004
802004
Logical characterizations of bisimulations for discrete probabilistic systems
A Parma, R Segala
International Conference on Foundations of Software Science and …, 2007
792007
The system can't perform the operation now. Try again later.
Articles 1–20