Παρακολούθηση
Roberto Segala
Roberto Segala
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα univr.it
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Modeling and verification of randomized distributed real-time systems
R Segala
9191996
Hybrid i/o automata
N Lynch, R Segala, F Vaandrager
Information and computation 185 (1), 105-157, 2003
912*2003
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
Nordic Journal of Computing 2 (2), 250-273, 1995
5991995
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
4242002
Probabilistic simulations for probabilistic processes
R Segala, N Lynch
International Conference on Concurrency Theory, 481-496, 1994
4141994
The theory of timed I/O automata
D Kaynar, N Lynch, R Segala, F Vaandrager
Morgan & Claypool Publishers, 2010
3092010
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
1772003
A compositional trace-based semantics for probabilistic automata
R Segala
International Conference on Concurrency Theory, 234-248, 1995
1651995
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
1611994
Hybrid I/O automata revisited
N Lynch, R Segala, F Vaandrager
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
1352001
Decision Algorithms for Probabilistic Bisimulation*
S Cattani, R Segala
International Conference on Concurrency Theory, 371-386, 2002
1292002
Verifying quantitative properties of continuous probabilistic timed automata
M Kwiatkowska, G Norman, R Segala, J Sproston
International Conference on Concurrency Theory, 123-137, 2000
1202000
Axiomatizations for probabilistic bisimulation
E Bandini, R Segala
International Colloquium on Automata, Languages, and Programming, 370-381, 2001
1022001
Proving time bounds for randomized distributed algorithms
N Lynch, I Saias, R Segala
Proceedings of the thirteenth annual ACM symposium on Principles of …, 1994
971994
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
962001
Testing probabilistic automata
R Segala
International Conference on Concurrency Theory, 299-314, 1996
921996
Liveness in timed and untimed systems
R Segala, R Gawlick, J Søgaard-Andersen, N Lynch
Information and Computation 141 (2), 119-171, 1998
821998
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
Compositionality for probabilistic automata
N Lynch, R Segala, F Vaandrager
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
802003
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20