Roberto Segala

2008
47	EE	Roberto Segala: The power of simulation relations. PODC 2008: 462
46	EE	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	EE	Roberto Segala, Andrea Turrini: Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. CSF 2007: 140-156
44	EE	Augusto Parma, Roberto Segala: Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. FoSSaCS 2007: 287-301
43	EE	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Observing Branching Structure through Probabilistic Contexts. SIAM J. Comput. 37(4): 977-1013 (2007)
2006
42	EE	Roberto Segala: Probability and Nondeterminism in Operational Models of Concurrency. CONCUR 2006: 64-78
41	EE	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	EE	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	EE	Shlomi Dolev, Roberto Segala, Alexander A. Shvartsman: Dynamic load balancing with group communication. Theor. Comput. Sci. 369(1-3): 348-360 (2006)
2005
38	EE	Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman: Stochastic Transition Systems for Continuous State Spaces and Non-determinism. FoSSaCS 2005: 125-139
37	EE	Roberto Segala, Andrea Turrini: Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. QEST 2005: 44-53
2004
36	EE	Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Switched Probabilistic I/O Automata. ICTAC 2004: 494-510
35	EE	Augusto Parma, Roberto Segala: Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. QEST 2004: 294-303
2003
34	EE	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Compositionality for Probabilistic Automata. CONCUR 2003: 204-222
33	EE	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	EE	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	EE	Stefano Cattani, Roberto Segala: Decision Algorithms for Probabilistic Bisimulation. CONCUR 2002: 371-385
29	EE	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	EE	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	EE	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Hybrid I/O Automata Revisited. HSCC 2001: 403-417
26	EE	Emanuele Bandini, Roberto Segala: Axiomatizations for Probabilistic Bisimulation. ICALP 2001: 370-381
25	EE	Katia Folegati, Roberto Segala: Coin Lemmas with Random Variables. PAPM-PROBMIV 2001: 71-86
2000
24	EE	Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. CONCUR 2000: 123-137
23	EE	Roberto Segala: Verification of Randomized Distributed Algorithms. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 232-260
22	EE	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	EE	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	EE	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	EE	Roberto Segala: The Essence of Coin Lemmas. Electr. Notes Theor. Comput. Sci. 22: (1999)
1998
17	EE	Ö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	EE	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	EE	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

Coauthor Index

1	Luca de Alfaro	[22]
2	Özalp Babaoglu	[15] [17]
3	Emanuele Bandini	[26]
4	Ran Canetti	[41] [46]
5	Stefano Cattani	[30] [38]
6	Ling Cheung	[36] [40] [41] [46]
7	Renzo Davoli	[15] [17]
8	Stefan Dobrev	[19]
9	Shlomi Dolev	[39]
10	Katia Folegati	[25]
11	Rainer Gawlick	[3] [16]
12	Holger Hermanns	[31]
13	Dilsun Kirli Kaynar	[33] [41] [46]
14	Marta Z. Kwiatkowska	[20] [22] [24] [28] [29] [38]
15	Moses Liskov	[41] [46]
16	Nancy A. Lynch	[2] [3] [4] [6] [7] [9] [13] [16] [21] [27] [32] [33] [34] [36] [40] [41] [43] [46]
17	Alberto Montresor	[15] [17]
18	Rocco De Nicola	[5]
19	Gethin Norman	[20] [22] [24] [28] [29] [38]
20	David Parker	[22]
21	Augusto Parma	[35] [44]
22	Olivier Pereira	[41] [46]
23	Anna Pogosyants	[8] [13] [21]
24	Isaac Saias	[2]
25	Alexander A. Shvartsman	[19] [39]
26	Jørgen F. Søgaard-Andersen	[3] [16]
27	Jeremy Sproston	[20] [24] [29]
28	Andrea Turrini	[37] [45]
29	Frits W. Vaandrager	[9] [27] [32] [33] [34] [36] [40] [43]
30	Henri B. Weinberg	[9]

Colors in the list of coauthors