| No. |
Title |
Author |
Year |
| 1 |
Checking Refinement of Asynchronous Programs Against Context-Free Specifications |
Baumann, Pascal et al. |
2023 |
| 2 |
Context-Bounded Analysis of Concurrent Programs (Invited Talk) |
Baumann, Pascal et al. |
2023 |
| 3 |
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete |
Krishna, Shankara Narayanan et al. |
2023 |
| 4 |
Reachability in Bidirected Pushdown VASS |
Ganardi, Moses et al. |
2022 |
| 5 |
Sequential Decision Making With Information Asymmetry (Invited Talk) |
Gan, Jiarui et al. |
2022 |
| 6 |
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems |
D'Costa, Julian et al. |
2022 |
| 7 |
From Verification to Causality-Based Explications (Invited Talk) |
Baier, Christel et al. |
2021 |
| 8 |
Generalising Projection in Asynchronous Multiparty Session Types |
Majumdar, Rupak et al. |
2021 |
| 9 |
The Pseudo-Skolem Problem is Decidable |
D'Costa, Julian et al. |
2021 |
| 10 |
Algebraic Invariants for Linear Hybrid Automata |
Majumdar, Rupak et al. |
2020 |
| 11 |
On Decidability of Time-Bounded Reachability in CTMDPs |
Majumdar, Rupak et al. |
2020 |
| 12 |
The Complexity of Bounded Context Switching with Dynamic Thread Creation |
Baumann, Pascal et al. |
2020 |
| 13 |
From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems |
Gujarati, Arpan et al. |
2019 |
| 14 |
Motion Session Types for Robotic Interactions (Brave New Idea Paper) |
Majumdar, Rupak et al. |
2019 |
| 15 |
Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper) |
Majumdar, Rupak |
2018 |
| 16 |
Verification of Immediate Observation Population Protocols |
Esparza, Javier et al. |
2018 |
| 17 |
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201) |
Belta, Calin A. et al. |
2017 |
| 18 |
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111) |
Chaudhuri, Swarat et al. |
2017 |
| 19 |
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards |
Dimitrova, Rayna et al. |
2017 |
| 20 |
Model Checking Population Protocols |
Esparza, Javier et al. |
2016 |
| 21 |
Asynchronous Liquid Separation Types |
Kloos, Johannes et al. |
2015 |
| 22 |
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes |
Esmaeil Zadeh Soudjani, Sadegh et al. |
2015 |
| 23 |
Rely/Guarantee Reasoning for Asynchronous Programs |
Gavran, Ivan et al. |
2015 |
| 24 |
Verification of Population Protocols |
Esparza, Javier et al. |
2015 |
| 25 |
Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) |
Majumdar, Rupak et al. |
2014 |
| 26 |
A Theory of Partitioned Global Address Spaces |
Calin, Georgel et al. |
2013 |
| 27 |
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) |
Bjorner, Nikolaj et al. |
2013 |
| 28 |
Algorithms for Game Metrics |
Chatterjee, Krishnendu et al. |
2008 |
