Roberto Segala
TitleCited byYear
Modeling and verification of randomized distributed real-time systems
R Segala
Massachusetts Institute of Technology, 1996
7941996
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
741*2003
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
Nordic Journal of Computing 2 (2), 250-273, 1995
5171995
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
3372002
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
International Conference on Concurrency Theory, 481-496, 1994
3361994
The theory of timed I/O automata
DK Kaynar, N Lynch, R Segala, F Vaandrager
Synthesis Lectures on Distributed Computing Theory 1 (1), 1-137, 2010
2582010
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
1542000
Liveness in timed and untimed systems
R Gawlick, R Segala, J Søgaard-Andersen, N Lynch
International Colloquium on Automata, Languages, and Programming, 166-177, 1994
1491994
Hybrid I/O automata revisited
N Lynch, R Segala, F Vaandrager
International Workshop on Hybrid Systems: Computation and Control, 403-417, 2001
1342001
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
1322003
A compositional trace-based semantics for probabilistic automata
R Segala
International Conference on Concurrency Theory, 234-248, 1995
1241995
The theory of timed I
DK Kaynar, N Lynch, R Segala, F Vaandrager
O Automata (Synthesis Lectures in Computer Science), Morgan & Claypool …, 2006
1122006
Decision algorithms for probabilistic bisimulation
S Cattani, R Segala
International Conference on Concurrency Theory, 371-386, 2002
1102002
Verifying quantitative properties of continuous probabilistic timed automata
M Kwiatkowska, G Norman, R Segala, J Sproston
International Conference on Concurrency Theory, 123-137, 2000
1062000
Proving time bounds for randomized distributed algorithms
N Lynch, I Saias, R Segala
arXiv preprint math/9409221, 1994
841994
Axiomatizations for probabilistic bisimulation
E Bandini, R Segala
International Colloquium on Automata, Languages, and Programming, 370-381, 2001
792001
Testing probabilistic automata
R Segala
International Conference on Concurrency Theory, 299-314, 1996
781996
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM?
M Kwiatkowska, G Norman, R Segala
International Conference on Computer Aided Verification, 194-206, 2001
702001
Logical characterizations of bisimulations for discrete probabilistic systems
A Parma, R Segala
International Conference on Foundations of Software Science and …, 2007
672007
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
A Pogosyants, R Segala, N Lynch
Distributed Computing 13 (3), 155-186, 2000
662000
The system can't perform the operation now. Try again later.
Articles 1–20