Roberto Segala - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 59 from 59

2020

A computable and compositional semantics for hybrid automataDavide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez. hybrid 2020: [doi]

2018

Task-structured probabilistic I/O automataRan Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala. jcss, 94:63-97, 2018. [doi]

2014

Random Measurable SelectionsJean Goubault-Larrecq, Roberto Segala. BIRTHDAY 2014: 343-362 [doi]

2012

Selected papers from QEST 2010Gianfranco Ciardo, Roberto Segala. pe, 69(7-8):297-298, 2012. [doi]

Distributed collision avoidance for autonomous vehicles: world automata representationNicolae E. Marinica, Marta Capiluppi, Jonathan Rogge, Roberto Segala, René K. Boel. adhs 2012: 216-221 [doi]

2011

Probabilistic Logical CharacterizationHolger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang. iandc, 209(2):154-172, 2011. [doi]

2010

Reasoning about Probabilistic Security Using Task-PIOAsAaron D. Jaggard, Catherine Meadows, Michael Mislove, Roberto Segala. ifip1-7 2011: 2-22 [doi]

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

Conditional Automata: A Tool for Safe Removal of Negligible EventsRoberto Segala, Andrea Turrini. concur 2010: 539-553 [doi]

2009

The Theory of Timed I/O AutomataDilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, 2009. [doi]

A quantitative doxastic logic for probabilistic processes and applications to information-hidingS. Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun. jancl, 19(4):489-516, 2009. [doi]

2008

Analyzing Security Protocols Using Time-Bounded Task-PIOAsRan Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala. deds, 18(1):111-159, 2008. [doi]

The power of simulation relationsRoberto Segala. podc 2008: 462 [doi]

2007

Observing Branching Structure through Probabilistic ContextsNancy A. Lynch, Roberto Segala, Frits W. Vaandrager. SICOMP, 37(4):977-1013, 2007. [doi]

Logical Characterizations of Bisimulations for Discrete Probabilistic SystemsAugusto Parma, Roberto Segala. fossacs 2007: 287-301 [doi]

Approximated Computationally Bounded Simulation Relations for Probabilistic AutomataRoberto Segala, Andrea Turrini. csfw 2007: 140-156 [doi]

2006

2005

2004

Switched Probabilistic I/O AutomataLing Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager. ictac 2005: 494-510 [doi]

Axiomatization of Trace Semantics for Stochastic Nondeterministic ProcessesAugusto Parma, Roberto Segala. qest 2004: 294-303 [doi]

2003

Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time SystemsDilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager. rtss 2003: 166-177 [doi]

Compositionality for Probabilistic AutomataNancy A. Lynch, Roberto Segala, Frits W. Vaandrager. concur 2003: 204-222 [doi]

Hybrid I/O automataNancy A. Lynch, Roberto Segala, Frits W. Vaandrager. iandc, 185(1):105-157, 2003. [doi]

2002

Decision Algorithms for Probabilistic BisimulationStefano Cattani, Roberto Segala. concur 2002: 371-385 [doi]

Automatic verification of real-time systems with discrete probability distributionsMarta Z. Kwiatkowska, Gethin J. Norman, Roberto Segala, Jeremy Sproston. TCS, 282(1):101-150, 2002. [doi]

2001

2000

1999

Irreversile Dynamos in ToriStefan Dobrev, Roberto Segala, Alexander A. Shvartsman. sirocco 1999: 111-125

Automatic Verification of Real-Time Systems with Discrete Probability DistributionsMarta Z. Kwiatkowska, Gethin J. Norman, Roberto Segala, Jeremy Sproston. arts 1999: 75-95 [doi]

The Essence of Coin LemmasRoberto Segala. ENTCS, 22:188-207, 1999. [doi]

1998

Liveness in Timed and Untimed SystemsRoberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch. iandc, 141(2):119-171, 1998.

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

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

1997

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

Compositional Verification of Randomized Distributed AlgorithmsRoberto Segala. SC 1998: 515-540 [doi]

Quiescence, Fairness, Testing, and the Notion of ImplementationRoberto Segala. iandc, 138(2):194-210, 1997.

1996

Testing Probabilistic AutomataRoberto Segala. concur 1996: 299-314

1995

Hybrid I/O AutomataNancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg. hybrid 1996: 496-510

A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent SystemsNancy A. Lynch, Roberto Segala. fac, 7(3):231-265, 1995.

A Process Algebraic View of Input/Output AutomataRocco De Nicola, Roberto Segala. TCS, 138(2):391-423, 1995. [doi]

Formal Verification of Timed Properties for Randomized Distributed AlgorithmsAnna Pogosyants, Roberto Segala. podc 1995: 174-183

A Compositional Trace-Based Semantics for Probabilistic AutomataRoberto Segala. concur 1995: 234-248

Modeling and verification of randomized distributed real-time systemsRoberto Segala. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1995. [doi]

Probabilistic Simulations for Probabilistic ProcessesRoberto Segala, Nancy A. Lynch. njc, 2(2):250-273, 1995.

1994

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

Proving Time Bounds for Randomized Distributed AlgorithmsNancy A. Lynch, Isaac Saias, Roberto Segala. podc 1994: 314-323

Probabilistic Simulations for Probabilistic ProcessesRoberto Segala, Nancy A. Lynch. concur 1994: 481-496

1993

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

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Roberto Segala'

Viewing Publication 1 - 59 from 59

2020

2018

2014

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Roberto Segala'

Viewing Publication 1 - 59 from 59

2020

2018

2014

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1