| No. |
Title |
Author |
Year |
| 1 |
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems |
Esparza, Javier et al. |
2023 |
| 2 |
Geometry of Reachability Sets of Vector Addition Systems |
Guttenberg, Roland et al. |
2023 |
| 3 |
Fast and Succinct Population Protocols for Presburger Arithmetic |
Czerner, Philipp et al. |
2022 |
| 4 |
Regular Model Checking Upside-Down: An Invariant-Based Approach |
Esparza, Javier et al. |
2022 |
| 5 |
Enforcing ω-Regular Properties in Markov Chains by Restarting |
Esparza, Javier et al. |
2021 |
| 6 |
State Complexity of Population Protocols (Invited Talk) |
Esparza, Javier |
2021 |
| 7 |
Verification of Infinite-state Systems (Dagstuhl Seminar 00141) |
Bouajjani, Ahmed et al. |
2021 |
| 8 |
A Classification of Weak Asynchronous Models of Distributed Computing |
Esparza, Javier et al. |
2020 |
| 9 |
Flatness and Complexity of Immediate Observation Petri Nets |
Raskin, Mikhail et al. |
2020 |
| 10 |
Front Matter, Table of Contents, Preface, Conference Organization |
Esparza, Javier et al. |
2020 |
| 11 |
LIPIcs, Volume 170, MFCS 2020, Complete Volume |
Esparza, Javier et al. |
2020 |
| 12 |
Succinct Population Protocols for Presburger Arithmetic |
Blondin, Michael et al. |
2020 |
| 13 |
Expressive Power of Broadcast Consensus Protocols |
Blondin, Michael et al. |
2019 |
| 14 |
Automatic Analysis of Expected Termination Time for Population Protocols |
Blondin, Michael et al. |
2018 |
| 15 |
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) |
Esparza, Javier et al. |
2018 |
| 16 |
Large Flocks of Small Birds: on the Minimal Size of Population Protocols |
Blondin, Michael et al. |
2018 |
| 17 |
Verification of Immediate Observation Population Protocols |
Esparza, Javier et al. |
2018 |
| 18 |
Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk) |
Esparza, Javier |
2017 |
| 19 |
Model Checking Population Protocols |
Esparza, Javier et al. |
2016 |
| 20 |
Soundness in Negotiations |
Esparza, Javier et al. |
2016 |
| 21 |
Verification of Population Protocols |
Esparza, Javier et al. |
2015 |
| 22 |
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk) |
Esparza, Javier |
2014 |
| 23 |
Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141) |
Esparza, Javier et al. |
2014 |
| 24 |
Computation of Summaries Using Net Unfoldings |
Esparza, Javier et al. |
2013 |
| 25 |
Computing Least Fixed Points of Probabilistic Systems of Polynomials |
Esparza, Javier et al. |
2010 |
| 26 |
On the Memory Consumption of Probabilistic Pushdown Automata |
Brazdil, Tomas et al. |
2009 |
| 27 |
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations |
Esparza, Javier et al. |
2008 |
| 28 |
Reachability analysis of multithreaded software with asynchronous communication |
Bouajjani, Ahmed et al. |
2006 |
