| Publication | Date of Publication | Type |
|---|
A computable and compositional semantics for hybrid systems
Information and Computation | 2024-10-08 | Paper |
Testing probabilistic automata
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Modelling implicit communication in multi-agent systems with hybrid input/output automata
| 2021-04-27 | Paper |
A computable and compositional semantics for hybrid automata
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Distributed Computing | 2020-12-03 | Paper |
Liveness in timed and untimed systems
Automata, Languages and Programming | 2019-04-29 | Paper |
Modeling objects moving in a complex environment with world automata
Coordination Control of Distributed Systems | 2018-12-12 | Paper |
Task-structured probabilistic I/O automata
Journal of Computer and System Sciences | 2018-04-18 | Paper |
Formal verification of timed properties of randomized distributed algorithms
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 | 2017-09-29 | Paper |
Proving time bounds for randomized distributed algorithms
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
Random Measurable Selections
Lecture Notes in Computer Science | 2014-06-02 | Paper |
The Theory of Timed I/O Automata
Synthesis Lectures on Computer Science | 2011-06-21 | Paper |
The theory of timed I/O automata
Synthesis Lectures on Distributed Computing Theory | 2011-05-20 | Paper |
Probabilistic logical characterization
Information and Computation | 2011-02-21 | Paper |
Conditional automata: a tool for safe removal of negligible events
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
CONCUR 2003 - Concurrency Theory
Lecture Notes in Computer Science | 2010-03-30 | Paper |
A quantitative doxastic logic for probabilistic processes and applications to information-hiding
Journal of Applied Non-Classical Logics | 2010-03-10 | Paper |
Analyzing security protocols using time-bounded task-PIOAs
Discrete Event Dynamic Systems | 2009-05-29 | Paper |
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Observing branching structure through probabilistic contexts
| 2008-08-14 | Paper |
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Probability and Nondeterminism in Operational Models of Concurrency
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Dynamic load balancing with group communication
Theoretical Computer Science | 2007-01-09 | Paper |
Switched PIOA: parallel composition via distributed scheduling
Theoretical Computer Science | 2006-12-07 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Hybrid I/O automata.
Information and Computation | 2004-03-14 | Paper |
scientific article; zbMATH DE number 1927574 (Why is no real title available?)
| 2003-06-12 | Paper |
scientific article; zbMATH DE number 1884413 (Why is no real title available?)
| 2003-03-18 | Paper |
scientific article; zbMATH DE number 1759607 (Why is no real title available?)
| 2002-11-28 | Paper |
scientific article; zbMATH DE number 1796134 (Why is no real title available?)
| 2002-09-04 | Paper |
scientific article; zbMATH DE number 1794382 (Why is no real title available?)
| 2002-09-03 | Paper |
scientific article; zbMATH DE number 1786476 (Why is no real title available?)
| 2002-08-21 | Paper |
Automatic verification of real-time systems with discrete probability distributions.
Theoretical Computer Science | 2002-07-15 | Paper |
scientific article; zbMATH DE number 1754605 (Why is no real title available?)
| 2002-06-12 | Paper |
scientific article; zbMATH DE number 1324651 (Why is no real title available?)
| 1999-08-17 | Paper |
Liveness in timed and untimed systems
Information and Computation | 1998-11-10 | Paper |
Quiescence, fairness, testing, and the notion of implementation
Information and Computation | 1998-04-06 | Paper |
A process algebraic view of input/output automata
Theoretical Computer Science | 1997-02-28 | Paper |
scientific article; zbMATH DE number 794262 (Why is no real title available?)
| 1996-05-28 | Paper |
