| Publication | Date of Publication | Type |
|---|
| Synthesizing safe coalition strategies | 2026-03-23 | Paper |
| Long-run satisfaction of path properties | 2024-12-19 | Paper |
| Semilinear representations for series-parallel atomic congestion games | 2024-09-12 | Paper |
| Parameterized safety verification of round-based shared-memory systems | 2024-06-24 | Paper |
| scientific article; zbMATH DE number 7832742 (Why is no real title available?) | 2024-04-15 | Paper |
Brief Announcement: Holistic Verification of Blockchain Consensus
Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
| Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms | 2023-08-21 | Paper |
| Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking | 2023-08-21 | Paper |
| CONCUR Test-Of-Time Award 2021 (Invited Paper) | 2023-08-21 | Paper |
Synchronizing words under \textsf{LTL} constraints
Information Processing Letters | 2023-06-05 | Paper |
| scientific article; zbMATH DE number 7649940 (Why is no real title available?) | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7650328 (Why is no real title available?) | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7559372 (Why is no real title available?) | 2022-07-18 | Paper |
| A reduction theorem for randomized distributed algorithms under weak adversaries | 2021-10-18 | Paper |
| Solving stochastic Büchi games on infinite arenas with a finite attractor | 2021-06-09 | Paper |
Solving stochastic Büchi games on infinite arenas with a finite attractor
(available as arXiv preprint) | 2021-06-09 | Paper |
Reconfiguration and message losses in parameterized broadcast networks
(available as arXiv preprint) | 2021-03-26 | Paper |
| Reconfiguration and message losses in parameterized broadcast networks | 2021-03-26 | Paper |
| Probabilistic automata over infinite words: expressiveness, efficiency, and decidability | 2021-01-26 | Paper |
Diagnosis and degradation control for probabilistic systems
Discrete Event Dynamic Systems | 2021-01-22 | Paper |
Stochastic shortest paths and weight-bounded properties in Markov decision processes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| On the Decidability Status of Reachability and Coverability in Graph Transformation Systems | 2020-05-27 | Paper |
Controlling a population
(available as arXiv preprint) | 2020-05-27 | Paper |
A tale of two diagnoses in probabilistic systems
Information and Computation | 2019-12-18 | Paper |
Parameterized verification of synchronization in constrained reconfigurable broadcast networks
(available as arXiv preprint) | 2019-09-16 | Paper |
Controlling a population
(available as arXiv preprint) | 2019-08-06 | Paper |
When are stochastic transition systems tameable?
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Qualitative determinacy and decidability of stochastic games with signals
Journal of the ACM | 2018-05-17 | Paper |
| Diagnosis in infinite-state probabilistic systems | 2018-03-21 | Paper |
| Analysing decisive stochastic processes | 2017-12-19 | Paper |
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
Acta Informatica | 2017-10-09 | Paper |
| Distributed local strategies in broadcast networks | 2017-09-12 | Paper |
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| scientific article; zbMATH DE number 6707784 (Why is no real title available?) | 2017-04-25 | Paper |
| Parameterized verification of many identical probabilistic timed processes | 2017-02-21 | Paper |
Accurate approximate diagnosability of stochastic systems
Language and Automata Theory and Applications | 2016-04-13 | Paper |
| Use of 3D classified topographic data with FullSWOF for high resolution simulation of a river flood event over a dense urban area | 2016-03-24 | Paper |
Uncertainty related to high resolution topographic data use for flood event modeling over urban areas: toward a sensitivity analysis approach
ESAIM: Proceedings and Surveys | 2016-02-10 | Paper |
A game approach to determinize timed automata
Formal Methods in System Design | 2015-03-24 | Paper |
Stochastic timed automata
Logical Methods in Computer Science | 2015-01-15 | Paper |
Active Diagnosis for Probabilistic Systems
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Playing with probabilities in reconfigurable broadcast networks
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Probabilistic ω-automata
Journal of the ACM | 2014-02-17 | Paper |
| A short visit to the STS hierarchy | 2013-10-07 | Paper |
Modal event-clock specifications for timed component-based design
Science of Computer Programming | 2013-06-06 | Paper |
Bounded satisfiability for PCTL
(available as arXiv preprint) | 2012-11-22 | Paper |
Playing optimally on timed automata with random delays
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Off-line test selection with test purposes for non-deterministic timed automata
Logical Methods in Computer Science | 2012-10-22 | Paper |
| Minimal disclosure in partially observable Markov decision processes | 2012-08-31 | Paper |
Emptiness and universality problems in timed automata with positive frequency
Automata, Languages and Programming | 2011-07-07 | Paper |
A game approach to determinize timed automata
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Off-line test selection with test purposes for non-deterministic timed automata
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
A note on the attractor-property of infinite-state Markov chains
Information Processing Letters | 2009-12-18 | Paper |
The Effect of Tossing Coins in Omega-Automata
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
When Are Timed Automata Determinizable?
Automata, Languages and Programming | 2009-07-14 | Paper |
Refinement and Consistency of Timed Modal Specifications
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Probabilistic Acceptors for Languages over Infinite Words
Lecture Notes in Computer Science | 2009-02-03 | Paper |
On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Probabilistic and Topological Semantics for Timed Automata
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | Paper |
On Decision Problems for Probabilistic Büchi Automata
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Verification of probabilistic systems with faulty communication
Information and Computation | 2005-11-22 | Paper |
| scientific article; zbMATH DE number 2147927 (Why is no real title available?) | 2005-03-21 | Paper |
Identifying and locating-dominating codes on chains and cycles
European Journal of Combinatorics | 2004-10-13 | Paper |
| scientific article; zbMATH DE number 1956509 (Why is no real title available?) | 2003-07-30 | Paper |
