Roberto Segala

Gianfranco Ciardo, Roberto Segala: Selected papers from QEST 2010. Perform. Eval. 69(7-8): 297-298 (2012)

Marta Capiluppi, Roberto Segala: Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata. GandALF 2012: 1-14

Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang: Probabilistic Logical Characterization. Inf. Comput. 209(2): 154-172 (2011)

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: The Theory of Timed I/O Automata, Second Edition. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010

Roberto Segala, Andrea Turrini: Conditional Automata: A Tool for Safe Removal of Negligible Events. CONCUR 2010: 539-553

Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala: Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS 2010: 2-22

S. Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun: A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Journal of Applied Non-Classical Logics 19(4): 489-516 (2009)

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)

Roberto Segala: The power of simulation relations. PODC 2008: 462

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Observing Branching Structure through Probabilistic Contexts. SIAM J. Comput. 37(4): 977-1013 (2007)

Roberto Segala, Andrea Turrini: Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. CSF 2007: 140-156

Augusto Parma, Roberto Segala: Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. FoSSaCS 2007: 287-301

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: The Theory of Timed I/O Automata. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2006

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)

Shlomi Dolev, Roberto Segala, Alexander A. Shvartsman: Dynamic load balancing with group communication. Theor. Comput. Sci. 369(1-3): 348-360 (2006)

Roberto Segala: Probability and Nondeterminism in Operational Models of Concurrency. CONCUR 2006: 64-78

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

Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman: Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS 2005: 125-139

Roberto Segala, Andrea Turrini: Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. QEST 2005: 44-53

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptology ePrint Archive 2005: 452 (2005)

Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Switched Probabilistic I/O Automata. ICTAC 2004: 494-510

Augusto Parma, Roberto Segala: Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. QEST 2004: 294-303

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Hybrid I/O automata. Inf. Comput. 185(1): 105-157 (2003)

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Compositionality for Probabilistic Automata. CONCUR 2003: 204-222

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

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)

Stefano Cattani, Roberto Segala: Decision Algorithms for Probabilistic Bisimulation. CONCUR 2002: 371-385

Holger Hermanns, Roberto Segala (Eds.): Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings. Lecture Notes in Computer Science 2399, Springer 2002, isbn 3-540-43913-7

Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala: Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV 2001: 194-206

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Hybrid I/O Automata Revisited. HSCC 2001: 403-417

Emanuele Bandini, Roberto Segala: Axiomatizations for Probabilistic Bisimulation. ICALP 2001: 370-381

Katia Folegati, Roberto Segala: Coin Lemmas with Random Variables. PAPM-PROBMIV 2001: 71-86

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)

Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137

Roberto Segala: Verification of Randomized Distributed Algorithms. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 232-260

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

Roberto Segala: The Essence of Coin Lemmas. Electr. Notes Theor. Comput. Sci. 22: 188-207 (1999)

Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS 1999: 75-95

Stefan Dobrev, Roberto Segala, Alexander A. Shvartsman: Irreversile Dynamos in Tori. SIROCCO 1999: 111-125

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)

Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala: System Support for Partition-Aware Network Applications. Operating Systems Review 32(1): 41-56 (1998)

Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala: System Support for Partition-Aware Network Applications. ICDCS 1998: 184-191

Roberto Segala: Quiescence, Fairness, Testing, and the Notion of Implementation. Inf. Comput. 138(2): 194-210 (1997)

Roberto Segala: Compositional Verification of Randomized Distributed Algorithms. COMPOS 1997: 515-540

Anna Pogosyants, Roberto Segala, Nancy A. Lynch: Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. WDAG 1997: 22-36

Roberto Segala: Testing Probabilistic Automata. CONCUR 1996: 299-314

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)

Roberto Segala, Nancy A. Lynch: Probabilistic Simulations for Probabilistic Processes. Nord. J. Comput. 2(2): 250-273 (1995)

Rocco De Nicola, Roberto Segala: A Process Algebraic View of Input/Output Automata. Theor. Comput. Sci. 138(2): 391-423 (1995)

Roberto Segala: A Compositional Trace-Based Semantics for Probabilistic Automata. CONCUR 1995: 234-248

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg: Hybrid I/O Automata. Hybrid Systems 1995: 496-510

Anna Pogosyants, Roberto Segala: Formal Verification of Timed Properties for Randomized Distributed Algorithms. PODC 1995: 174-183

Roberto Segala, Nancy A. Lynch: Probabilistic Simulations for Probabilistic Processes. CONCUR 1994: 481-496

Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch: Liveness in Timed and Untimed Systems. ICALP 1994: 166-177

Nancy A. Lynch, Isaac Saias, Roberto Segala: Proving Time Bounds for Randomized Distributed Algorithms. PODC 1994: 314-323

Roberto Segala: Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). CONCUR 1993: 324-338