Seguir
Roberto Segala
Roberto Segala
Dirección de correo verificada de univr.it
Título
Citado por
Citado por
Año
Modeling and verification of randomized distributed real-time systems
R Segala
9361996
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
6081995
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
4302002
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
International Conference on Concurrency Theory, 481-496, 1994
4241994
The theory of timed I/O automata
DK Kaynar
Morgan & Claypool Publishers, 2011
3182011
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
1912000
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
1742003
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
1691994
A compositional trace-based semantics for probabilistic automata
R Segala
International Conference on Concurrency Theory, 234-248, 1995
1671995
Hybrid I/O automata revisited
N Lynch, R Segala, F Vaandrager
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
1362001
Decision Algorithms for Probabilistic Bisimulation*
S Cattani, R Segala
International Conference on Concurrency Theory, 371-386, 2002
1312002
Verifying quantitative properties of continuous probabilistic timed automata
M Kwiatkowska, G Norman, R Segala, J Sproston
International Conference on Concurrency Theory, 123-137, 2000
1182000
Axiomatizations for probabilistic bisimulation
E Bandini, R Segala
International Colloquium on Automata, Languages, and Programming, 370-381, 2001
1032001
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
992001
Proving time bounds for randomized distributed algorithms
N Lynch, I Saias, R Segala
Proceedings of the thirteenth annual ACM symposium on Principles of …, 1994
961994
Testing probabilistic automata
R Segala
International Conference on Concurrency Theory, 299-314, 1996
941996
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
812004
Logical characterizations of bisimulations for discrete probabilistic systems
A Parma, R Segala
International Conference on Foundations of Software Science and …, 2007
802007
Compositionality for probabilistic automata
N Lynch, R Segala, F Vaandrager
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
792003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20