 | 2009 |
|---|
| 48 |       | Dilsun Kirli Kaynar,
Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
The Theory of Timed I/O Automata
Morgan & Claypool Publishers 2009 |
| 2008 |
|---|
| 47 | | Roberto Segala:
The power of simulation relations.
PODC 2008: 462 |
| 46 | | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Moses Liskov,
Nancy A. Lynch,
Olivier Pereira,
Roberto Segala:
Analyzing Security Protocols Using Time-Bounded Task-PIOAs.
Discrete Event Dynamic Systems 18(1): 111-159 (2008) |
| 2007 |
|---|
| 45 | | Roberto Segala,
Andrea Turrini:
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata.
CSF 2007: 140-156 |
| 44 | | Augusto Parma,
Roberto Segala:
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems.
FoSSaCS 2007: 287-301 |
| 43 | | Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Observing Branching Structure through Probabilistic Contexts.
SIAM J. Comput. 37(4): 977-1013 (2007) |
| 2006 |
|---|
| 42 | | Roberto Segala:
Probability and Nondeterminism in Operational Models of Concurrency.
CONCUR 2006: 64-78 |
| 41 | | Ran Canetti,
Ling Cheung,
Dilsun Kirli Kaynar,
Moses Liskov,
Nancy A. Lynch,
Olivier Pereira,
Roberto Segala:
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.
DISC 2006: 238-253 |
| 40 | | Ling Cheung,
Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Switched PIOA: Parallel composition via distributed scheduling.
Theor. Comput. Sci. 365(1-2): 83-108 (2006) |
| 39 | | Shlomi Dolev,
Roberto Segala,
Alexander A. Shvartsman:
Dynamic load balancing with group communication.
Theor. Comput. Sci. 369(1-3): 348-360 (2006) |
| 2005 |
|---|
| 38 | | Stefano Cattani,
Roberto Segala,
Marta Z. Kwiatkowska,
Gethin Norman:
Stochastic Transition Systems for Continuous State Spaces and Non-determinism.
FoSSaCS 2005: 125-139 |
| 37 | | Roberto Segala,
Andrea Turrini:
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models.
QEST 2005: 44-53 |
| 2004 |
|---|
| 36 | | Ling Cheung,
Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Switched Probabilistic I/O Automata.
ICTAC 2004: 494-510 |
| 35 | | Augusto Parma,
Roberto Segala:
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes.
QEST 2004: 294-303 |
| 2003 |
|---|
| 34 | | Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Compositionality for Probabilistic Automata.
CONCUR 2003: 204-222 |
| 33 | | Dilsun Kirli Kaynar,
Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.
RTSS 2003: 166-177 |
| 32 | | Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Hybrid I/O automata.
Inf. Comput. 185(1): 105-157 (2003) |
| 2002 |
|---|
| 31 |  | Holger Hermanns,
Roberto Segala:
Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings
Springer 2002 |
| 30 | | Stefano Cattani,
Roberto Segala:
Decision Algorithms for Probabilistic Bisimulation.
CONCUR 2002: 371-385 |
| 29 | | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
Jeremy Sproston:
Automatic verification of real-time systems with discrete probability distributions.
Theor. Comput. Sci. 282(1): 101-150 (2002) |
| 2001 |
|---|
| 28 | | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala:
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.
CAV 2001: 194-206 |
| 27 | | Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager:
Hybrid I/O Automata Revisited.
HSCC 2001: 403-417 |
| 26 | | Emanuele Bandini,
Roberto Segala:
Axiomatizations for Probabilistic Bisimulation.
ICALP 2001: 370-381 |
| 25 | | Katia Folegati,
Roberto Segala:
Coin Lemmas with Random Variables.
PAPM-PROBMIV 2001: 71-86 |
| 2000 |
|---|
| 24 | | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
Jeremy Sproston:
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.
CONCUR 2000: 123-137 |
| 23 | | Roberto Segala:
Verification of Randomized Distributed Algorithms.
European Educational Forum: School on Formal Methods and Performance Analysis 2000: 232-260 |
| 22 | | Luca de Alfaro,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker,
Roberto Segala:
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.
TACAS 2000: 395-410 |
| 21 | | Anna Pogosyants,
Roberto Segala,
Nancy A. Lynch:
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.
Distributed Computing 13(3): 155-186 (2000) |
| 1999 |
|---|
| 20 | | Marta Z. Kwiatkowska,
Gethin Norman,
Roberto Segala,
Jeremy Sproston:
Automatic Verification of Real-Time Systems with Discrete Probability Distributions.
ARTS 1999: 75-95 |
| 19 | | Stefan Dobrev,
Roberto Segala,
Alexander A. Shvartsman:
Irreversile Dynamos in Tori.
SIROCCO 1999: 111-125 |
| 18 | | Roberto Segala:
The Essence of Coin Lemmas.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 1998 |
|---|
| 17 | | Özalp Babaoglu,
Renzo Davoli,
Alberto Montresor,
Roberto Segala:
System Support for Partition-Aware Network Applications.
ICDCS 1998: 184-191 |
| 16 | | Roberto Segala,
Rainer Gawlick,
Jørgen F. Søgaard-Andersen,
Nancy A. Lynch:
Liveness in Timed and Untimed Systems.
Inf. Comput. 141(2): 119-171 (1998) |
| 15 | | Özalp Babaoglu,
Renzo Davoli,
Alberto Montresor,
Roberto Segala:
System Support for Partition-Aware Network Applications.
Operating Systems Review 32(1): 41-56 (1998) |
| 1997 |
|---|
| 14 | | Roberto Segala:
Compositional Verification of Randomized Distributed Algorithms.
COMPOS 1997: 515-540 |
| 13 | | Anna Pogosyants,
Roberto Segala,
Nancy A. Lynch:
Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study.
WDAG 1997: 22-36 |
| 12 | | Roberto Segala:
Quiescence, Fairness, Testing, and the Notion of Implementation.
Inf. Comput. 138(2): 194-210 (1997) |
| 1996 |
|---|
| 11 | | Roberto Segala:
Testing Probabilistic Automata.
CONCUR 1996: 299-314 |
| 1995 |
|---|
| 10 | | Roberto Segala:
A Compositional Trace-Based Semantics for Probabilistic Automata.
CONCUR 1995: 234-248 |
| 9 | | Nancy A. Lynch,
Roberto Segala,
Frits W. Vaandrager,
Henri B. Weinberg:
Hybrid I/O Automata.
Hybrid Systems 1995: 496-510 |
| 8 | | Anna Pogosyants,
Roberto Segala:
Formal Verification of Timed Properties for Randomized Distributed Algorithms.
PODC 1995: 174-183 |
| 7 | | Nancy A. Lynch,
Roberto Segala:
A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems.
Formal Asp. Comput. 7(3): 231-265 (1995) |
| 6 | | Roberto Segala,
Nancy A. Lynch:
Probabilistic Simulations for Probabilistic Processes.
Nord. J. Comput. 2(2): 250-273 (1995) |
| 5 | | Rocco De Nicola,
Roberto Segala:
A Process Algebraic View of Input/Output Automata.
Theor. Comput. Sci. 138(2): 391-423 (1995) |
| 1994 |
|---|
| 4 | | Roberto Segala,
Nancy A. Lynch:
Probabilistic Simulations for Probabilistic Processes.
CONCUR 1994: 481-496 |
| 3 | | Rainer Gawlick,
Roberto Segala,
Jørgen F. Søgaard-Andersen,
Nancy A. Lynch:
Liveness in Timed and Untimed Systems.
ICALP 1994: 166-177 |
| 2 | | Nancy A. Lynch,
Isaac Saias,
Roberto Segala:
Proving Time Bounds for Randomized Distributed Algorithms.
PODC 1994: 314-323 |
| 1993 |
|---|
| 1 | | Roberto Segala:
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract).
CONCUR 1993: 324-338 |
