Roberto Segala

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 3

Top Venues

J. Comput. Syst. Sci.

HSCC

Inf. Comput.

Horizons of the Mind

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid systems. Inf. Comput. 300 (2024)
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid automata. HSCC (2020)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94 (2018)
Jean Goubault-Larrecq, Roberto Segala
Random Measurable Selections. Horizons of the Mind (2014)
Marta Capiluppi, Roberto Segala
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems. HAS (2013)
Nicolae E. Marinica, Marta Capiluppi, Jonathan Rogge, Roberto Segala, René K. Boel
Distributed collision avoidance for autonomous vehicles: world automata representation. ADHS (2012)
Marta Capiluppi, Roberto Segala
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata GandALF (2012)
Gianfranco Ciardo, Roberto Segala
Selected papers from QEST 2010. Perform. Evaluation 69 (7-8) (2012)
Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang
Probabilistic Logical Characterization. Inf. Comput. 209 (2) (2011)
Roberto Segala, Andrea Turrini
Conditional Automata: A Tool for Safe Removal of Negligible Events. CONCUR (2010)
Aaron D. Jaggard, Catherine A. Meadows, Michael W. Mislove, Roberto Segala
Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS (2010)
Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. J. Appl. Non Class. Logics 19 (4) (2009)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discret. Event Dyn. Syst. 18 (1) (2008)
Roberto Segala
The power of simulation relations. PODC (2008)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Observing Branching Structure through Probabilistic Contexts. SIAM J. Comput. 37 (4) (2007)
Augusto Parma, Roberto Segala
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. FoSSaCS (2007)
Roberto Segala, Andrea Turrini
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. CSF (2007)
Roberto Segala
Probability and Nondeterminism in Operational Models of Concurrency. CONCUR (2006)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC (2006)
Shlomi Dolev, Roberto Segala, Alexander A. Shvartsman
Dynamic load balancing with group communication. Theor. Comput. Sci. 369 (1-3) (2006)
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Switched PIOA: Parallel composition via distributed scheduling. Theor. Comput. Sci. 365 (1-2) (2006)
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. IACR Cryptol. ePrint Arch. 2005 (2005)
Roberto Segala, Andrea Turrini
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. QEST (2005)
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS (2005)
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Switched Probabilistic I/O Automata. ICTAC (2004)
Augusto Parma, Roberto Segala
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. QEST (2004)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Compositionality for Probabilistic Automata. CONCUR (2003)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Hybrid I/O automata. Inf. Comput. 185 (1) (2003)
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)
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282 (1) (2002)
Stefano Cattani, Roberto Segala
Decision Algorithms for Probabilistic Bisimulation. CONCUR (2002)
Katia Folegati, Roberto Segala
Coin Lemmas with Random Variables. PAPM-PROBMIV (2001)
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. CAV (2001)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Hybrid I/O Automata Revisited. HSCC (2001)
Emanuele Bandini, Roberto Segala
Axiomatizations for Probabilistic Bisimulation. ICALP (2001)
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)
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR (2000)
Anna Pogosyants, Roberto Segala, Nancy A. Lynch
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. Distributed Comput. 13 (3) (2000)
Roberto Segala
Verification of Randomized Distributed Algorithms. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
Automatic Verification of Real-Time Systems with Discrete Probability Distributions. ARTS (1999)
Shlomi Dolev, Roberto Segala, Alexander A. Shvartsman
Dynamic Load Balancing with Group Communication. SIROCCO (1999)
Roberto Segala
The Essence of Coin Lemmas. Electron. Notes Theor. Comput. Sci. 22 (1999)
Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala
System Support for Partition-Aware Network Applications. ACM SIGOPS Oper. Syst. Rev. 32 (1) (1998)
Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
Liveness in Timed and Untimed Systems. Inf. Comput. 141 (2) (1998)
Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala
System Support for Partition-Aware Network Applications. ICDCS (1998)
Roberto Segala
Compositional Verification of Randomized Distributed Algorithms. COMPOS (1997)
Roberto Segala
Quiescence, Fairness, Testing, and the Notion of Implementation. Inf. Comput. 138 (2) (1997)
Anna Pogosyants, Roberto Segala, Nancy A. Lynch
Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. WDAG (1997)
Roberto Segala
Testing Probabilistic Automata. CONCUR (1996)
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg
Hybrid I/O Automata. Hybrid Systems (1995)
Rocco De Nicola, Roberto Segala
A Process Algebraic View of Input/Output Automata. Theor. Comput. Sci. 138 (2) (1995)
Anna Pogosyants, Roberto Segala
Formal Verification of Timed Properties for Randomized Distributed Algorithms. PODC (1995)
Roberto Segala
A Compositional Trace-Based Semantics for Probabilistic Automata. CONCUR (1995)
Roberto Segala, Nancy A. Lynch
Probabilistic Simulations for Probabilistic Processes. Nord. J. Comput. 2 (2) (1995)
Nancy A. Lynch, Roberto Segala
A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. Formal Aspects Comput. 7 (3) (1995)
Roberto Segala, Nancy A. Lynch
Probabilistic Simulations for Probabilistic Processes. CONCUR (1994)
Nancy A. Lynch, Isaac Saias, Roberto Segala
Proving Time Bounds for Randomized Distributed Algorithms. PODC (1994)
Nancy A. Lynch, Isaac Saias, Roberto Segala
Proving time bounds for randomized distributed algorithms. CoRR (1994)
Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
Liveness in Timed and Untimed Systems. ICALP (1994)
Roberto Segala
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). CONCUR (1993)

Roberto Segala.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roberto Segala