| 2010 | CONCUR | Conditional Automata: A Tool for Safe Removal of Negligible Events. | Roberto Segala, Andrea Turrini |
| 2008 | PODC | The power of simulation relations. | Roberto Segala |
| 2007 | FOSSACS | Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. | Augusto Parma, Roberto Segala |
| 2006 | CONCUR | Probability and Nondeterminism in Operational Models of Concurrency. | Roberto Segala |
| 2005 | FOSSACS | Stochastic Transition Systems for Continuous State Spaces and Non-determinism. | Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
| 2004 | ICTAC | Switched Probabilistic I/O Automata. | Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2003 | CONCUR | Compositionality for Probabilistic Automata. | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2003 | RTSS | Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2002 | CONCUR | Decision Algorithms for Probabilistic Bisimulation. | Stefano Cattani, Roberto Segala |
| 2001 | CAV | Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala |
| 2001 | ICALP | Axiomatizations for Probabilistic Bisimulation. | Emanuele Bandini, Roberto Segala |
| 2000 | CONCUR | Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
| 2000 | TACAS | Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. | Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala |
| 1999 | SIROCCO | Dynamic Load Balancing with Group Communication. | Shlomi Dolev, Roberto Segala, Alexander A. Shvartsman |
| 1998 | ICDCS | System Support for Partition-Aware Network Applications. | zalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala |
| 1996 | CONCUR | Testing Probabilistic Automata. | Roberto Segala |
| 1995 | CONCUR | A Compositional Trace-Based Semantics for Probabilistic Automata. | Roberto Segala |
| 1995 | PODC | Formal Verification of Timed Properties for Randomized Distributed Algorithms. | Anna Pogosyants, Roberto Segala |
| 1994 | CONCUR | Probabilistic Simulations for Probabilistic Processes. | Roberto Segala, Nancy A. Lynch |
| 1994 | ICALP | Liveness in Timed and Untimed Systems. | Rainer Gawlick, Roberto Segala, Jrgen F. Sgaard-Andersen, Nancy A. Lynch |
| 1994 | PODC | Proving Time Bounds for Randomized Distributed Algorithms. | Nancy A. Lynch, Isaac Saias, Roberto Segala |
| 1993 | CONCUR | Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). | Roberto Segala |