Roberto Segala

65 papers A* 6A 5B 12C 1Journal 20Unranked 17

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