Roberto Segala

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems.

[BibT_eX]

[DOI]

Marta Capiluppi

Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

2012

Selected papers from QEST 2010.

[BibT_eX]

[DOI]

Gianfranco Ciardo

Perform. Evaluation, 2012

Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata

[BibT_eX]

[DOI]

Marta Capiluppi

Proceedings of the Proceedings Third International Symposium on Games, 2012

Distributed collision avoidance for autonomous vehicles: world automata representation.

[BibT_eX]

[DOI]

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Probabilistic Logical Characterization.

[BibT_eX]

[DOI]

Inf. Comput., 2011

2010

The Theory of Timed I/O Automata, Second Edition

[BibT_eX]

[DOI]

Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02003-2, 2010

Reasoning about Probabilistic Security Using Task-PIOAs.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Conditional Automata: A Tool for Safe Removal of Negligible Events.

[BibT_eX]

[DOI]

Andrea Turrini

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

A quantitative doxastic logic for probabilistic processes and applications to information-hiding.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2009

2008

Analyzing Security Protocols Using Time-Bounded Task-PIOAs.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2008

The power of simulation relations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

2007

Observing Branching Structure through Probabilistic Contexts.

[BibT_eX]

[DOI]

SIAM J. Comput., 2007

Logical Characterizations of Bisimulations for Discrete Probabilistic Systems.

[BibT_eX]

[DOI]

Augusto Parma

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Approximated Computationally Bounded Simulation Relations for Probabilistic Automata.

[BibT_eX]

[DOI]

Andrea Turrini

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

The Theory of Timed I/O Automata

[BibT_eX]

[DOI]

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, 2006

Dynamic load balancing with group communication.

[BibT_eX]

[DOI]

Shlomi Dolev

Alexander A. Shvartsman

Theor. Comput. Sci., 2006

Switched PIOA: Parallel composition via distributed scheduling.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Probability and Nondeterminism in Operational Models of Concurrency.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models.

[BibT_eX]

[DOI]

Andrea Turrini

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Stochastic Transition Systems for Continuous State Spaces and Non-determinism.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes.

[BibT_eX]

[DOI]

Augusto Parma

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Switched Probabilistic I/O Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Hybrid I/O automata.

[BibT_eX]

[DOI]

Inf. Comput., 2003

Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

Compositionality for Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Automatic verification of real-time systems with discrete probability distributions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Decision Algorithms for Probabilistic Bisimulation.

[BibT_eX]

[DOI]

Stefano Cattani

Proceedings of the CONCUR 2002, 2002

2001

Coin Lemmas with Random Variables.

[BibT_eX]

[DOI]

Katia Folegati

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Axiomatizations for Probabilistic Bisimulation.

[BibT_eX]

[DOI]

Emanuele Bandini

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Hybrid I/O Automata Revisited.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Gethin Norman

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.

[BibT_eX]

[DOI]

Anna Pogosyants

Distributed Comput., 2000

Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verification of Randomized Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

1998

System Support for Partition-Aware Network Applications.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1998

Liveness in Timed and Untimed Systems.

[BibT_eX]

[DOI]

Jørgen F. Søgaard-Andersen

Rainer Gawlick

Inf. Comput., 1998

The Essence of Coin Lemmas.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997

Quiescence, Fairness, Testing, and the Notion of Implementation.

[BibT_eX]

[DOI]

Inf. Comput., 1997

Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study.

[BibT_eX]

[DOI]

Anna Pogosyants

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

Compositional Verification of Randomized Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

Testing Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '96, 1996

1995

Modeling and verification of randomized distributed real-time systems.

[BibT_eX]

[DOI]

PhD thesis, 1995

A Process Algebraic View of Input/Output Automata.

[BibT_eX]

[DOI]

Rocco De Nicola

Theor. Comput. Sci., 1995

Probabilistic Simulations for Probabilistic Processes.

[BibT_eX]

Nord. J. Comput., 1995

A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1995

Formal Verification of Timed Properties for Randomized Distributed Algorithms.

[BibT_eX]

[DOI]

Anna Pogosyants

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

Hybrid I/O Automata.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems III: Verification and Control, 1995

A Compositional Trace-Based Semantics for Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

Proving Time Bounds for Randomized Distributed Algorithms.

[BibT_eX]

[DOI]

Isaac Saias

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993

Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract).

[BibT_eX]

[DOI]