| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang |
Probabilistic Logical Characterization.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
The Theory of Timed I/O Automata, Second Edition |
|
2010 |
DOI RDF |
|
| 1 | Roberto Segala, Andrea Turrini |
Conditional Automata: A Tool for Safe Removal of Negligible Events. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron D. Jaggard, Catherine Meadows, Michael Mislove, Roberto Segala |
Reasoning about Probabilistic Security Using Task-PIOAs. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer |
| 1 | Roberto Segala |
The power of simulation relations. |
PODC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Observing Branching Structure through Probabilistic Contexts. |
SIAM J. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala, Andrea Turrini |
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Parma, Roberto Segala |
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Switched PIOA: Parallel composition via distributed scheduling. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomi Dolev, Roberto Segala, Alexander A. Shvartsman |
Dynamic load balancing with group communication. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
The Theory of Timed I/O Automata |
|
2006 |
DOI RDF |
|
| 1 | Roberto Segala |
Probability and Nondeterminism in Operational Models of Concurrency. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Roberto Segala, Andrea Turrini |
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Switched Probabilistic I/O Automata. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Parma, Roberto Segala |
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Hybrid I/O automata. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Compositionality for Probabilistic Automata. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
Automatic verification of real-time systems with discrete probability distributions. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Cattani, Roberto Segala |
Decision Algorithms for Probabilistic Bisimulation. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
PAPM-PROBMIV |
2002 |
DBLP BibTeX RDF |
|
| 1 | Emanuele Bandini, Roberto Segala |
Axiomatizations for Probabilistic Bisimulation. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Katia Folegati, Roberto Segala |
Coin Lemmas with Random Variables. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala |
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Hybrid I/O Automata Revisited. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Pogosyants, Roberto Segala, Nancy A. Lynch |
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. |
Distributed Computing |
2000 |
DBLP DOI BibTeX RDF |
Randomized consensus, Verification, Performance analysis, Probabilistic automata |
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala |
Verification of Randomized Distributed Algorithms. |
European Educational Forum: School on Formal Methods and Performance Analysis |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala |
The Essence of Coin Lemmas. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Dobrev, Roberto Segala, Alexander A. Shvartsman |
Irreversile Dynamos in Tori. |
SIROCCO |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
Automatic Verification of Real-Time Systems with Discrete Probability Distributions. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch |
Liveness in Timed and Untimed Systems. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala |
System Support for Partition-Aware Network Applications. |
Operating Systems Review |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala |
System Support for Partition-Aware Network Applications. |
ICDCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala |
Quiescence, Fairness, Testing, and the Notion of Implementation. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala |
Compositional Verification of Randomized Distributed Algorithms. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Pogosyants, Roberto Segala, Nancy A. Lynch |
Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. |
WDAG |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala |
Testing Probabilistic Automata. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Roberto Segala |
A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Roberto Segala |
A Process Algebraic View of Input/Output Automata. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala, Nancy A. Lynch |
Probabilistic Simulations for Probabilistic Processes. |
Nord. J. Comput. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Roberto Segala |
A Compositional Trace-Based Semantics for Probabilistic Automata. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Pogosyants, Roberto Segala |
Formal Verification of Timed Properties for Randomized Distributed Algorithms. |
PODC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg |
Hybrid I/O Automata. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala, Nancy A. Lynch |
Probabilistic Simulations for Probabilistic Processes. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch |
Liveness in Timed and Untimed Systems. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Isaac Saias, Roberto Segala |
Proving Time Bounds for Randomized Distributed Algorithms. |
PODC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Segala |
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")