| 2026 | CAV | Analysis and Verification of Quantum Communication Protocols in UPPAAL. | Ren Bdker Christensen, Nikolaj Rossander Kristensen, Kim Guldstrand Larsen, Marius Mikucionis, Jir Srba, Loke Walsted |
| 2025 | ATVA | TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets. | Bruno Maria Ren Gonzalez, Peter Gjl Jensen, Stefan Schmid, Jir Srba, Martin Zimmermann |
| 2025 | CONCUR | On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. | Nicolaj . Jensen, Kim G. Larsen, Didier Lime, Jir Srba |
| 2025 | CONCUR | On-The-Fly Verification: Advancements in Dependency Graphs (Invited Talk). | Jir Srba |
| 2025 | ICTAC | Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets. | Emil Normann Brandt, Jens Emil Fink Hjriis, Kira Sthr Pedersen, Jir Srba |
| 2025 | NOMS | Eagle: Vulnerability and Congestion Aware Software Update Synthesis in Softwarized Networks with a 5G Network Case Study. | Nicolas Schnepf, Remi Badonnel, Damien Saucez, Stefan Schmid, Jir Srba |
| 2025 | OPODIS | Fast Re-Routing in Networks: On the Complexity of Perfect Resilience. | Matthias Bentert, Esra Ceylan, Valentin Hbner, Stefan Schmid, Jir Srba |
| 2025 | TACAS | Token Elimination in Model Checking of Petri Nets. | Nicolaj . Jensen, Kim G. Larsen, Jir Srba |
| 2025 | VMCAI | ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks. | Gustav S. Bruhns, Martin P. Hansen, Rasmus Hebsgaard, Frederik M. W. Hyldgaard, Jir Srba |
| 2024 | DSN | SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks. | Csaba Gyrgyi, Kim G. Larsen, Stefan Schmid, Jir Srba |
| 2024 | INFOCOM | SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. | Csaba Gyrgyi, Kim G. Larsen, Stefan Schmid, Jir Srba |
| 2023 | FMICS | Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. | Imran Riaz Hasrat, Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2023 | PRDC | Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. | Morten Konggaard Schou, Ingmar Poese, Jir Srba |
| 2022 | ATVA | STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. | Martijn A. Goorden, Peter Gjl Jensen, Kim G. Larsen, Mihhail Samusev, Jir Srba, Guohan Zhao |
| 2022 | ATVA | PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. | Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba |
| 2022 | CoNEXT | R-MPLS: recursive protection for highly dependable MPLS networks. | Stefan Schmid, Morten Konggaard Schou, Jir Srba, Juan Vanerio |
| 2022 | DSN | The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures. | Pieter J. L. Cuijpers, Stefan Schmid, Nicolas Schnepf, Jir Srba |
| 2022 | FMCAD | Differential Testing of Pushdown Reachability with a Formally Verified Oracle. | Anders Schlichtkrull, Morten Konggaard Schou, Jir Srba, Dmitriy Traytel |
| 2022 | IFM | Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games. | Nicklas S. Johansen, Lasse B. Kr, Andreas L. Madsen, Kristian . Nielsen, Jir Srba, Rasmus G. Tollund |
| 2022 | TASE | End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. | Imran Riaz Hasrat, Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2022 | TASE | AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. | Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jir Srba |
| 2022 | VMCAI | Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. | Peter Gjl Jensen, Jir Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt |
| 2021 | ATVA | Faster Pushdown Reachability Analysis with Applications in Network Verification. | Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba, Juan Vanerio, Ingo van Duijn |
| 2021 | TACAS | Resilient Capacity-Aware Routing. | Stefan Schmid, Nicolas Schnepf, Jir Srba |
| 2020 | ATVA | Urgent Partial Order Reduction for Extended Timed Automata. | Kim G. Larsen, Marius Mikucionis, Marco Muiz, Jir Srba |
| 2020 | CoNEXT | AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. | Peter Gjl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jir Srba |
| 2020 | LOPSTR | Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. | Sren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jir Srba |
| 2019 | CONCUR | Partial Order Reduction for Reachability Games. | Frederik M. Bnneland, Peter Gjl Jensen, Kim G. Larsen, Marco Muiz, Jir Srba |
| 2019 | TACAS | Presentation of the 9th Edition of the Model Checking Contest. | Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gall, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjl Jensen, Log Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jir Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf |
| 2019 | TACAS | Abstract Dependency Graphs and Their Application to Model Checking. | Sren Enevoldsen, Kim Guldstrand Larsen, Jir Srba |
| 2018 | CAV | Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. | Frederik M. Bnneland, Peter Gjl Jensen, Kim Guldstrand Larsen, Marco Muiz, Jir Srba |
| 2018 | CoNEXT | P-Rex: fast verification of MPLS networks with multiple link failures. | Jesper Stenbjerg Jensen, Troels Beck Krgh, Jonas Sand Madsen, Stefan Schmid, Jir Srba, Marc Tom Thorgersen |
| 2018 | INFOCOM | Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. | Stefan Schmid, Jir Srba |
| 2017 | ICTAC | PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. | Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2016 | IECON | Toolchain for user-centered intelligent floor heating control. | Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muiz, Petur Olsen, Thomas Pedersen, Jir Srba, Arne Skou |
| 2016 | SETTA | Distributed Computation of Fixed Points on Dependency Graphs. | Andreas Engelbredt Dalsgaard, Sren Enevoldsen, Kim Guldstrand Larsen, Jir Srba |
| 2016 | TACAS | Online and Compositional Learning of Controllers with Application to Floor Heating. | Kim G. Larsen, Marius Mikucionis, Marco Muiz, Jir Srba, Jakob Haahr Taankvist |
| 2015 | CONCUR | Polynomial Time Decidability of Weighted Synchronization under Partial Observability. | Jan Kretnsk, Kim Guldstrand Larsen, Simon Laursen, Jir Srba |
| 2015 | ICALP | Language Emptiness of Continuous-Time Parametric Timed Automata. | Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jir Srba |
| 2015 | ICTAC | CAAL: Concurrency Workbench, Aalborg Edition. | Jesper Rank Andersen, Nicklas Andersen, Sren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jir Srba, Jacob K. Wortmann |
| 2014 | CONCUR | Synchronizing Strategies under Partial Observability. | Kim Guldstrand Larsen, Simon Laursen, Jir Srba |
| 2012 | LPAR | Dual-Priced Modal Transition Systems with Time Durations. | Nikola Benes, Jan Kretnsk, Kim Guldstrand Larsen, Mikael H. Mller, Jir Srba |
| 2012 | TACAS | TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. | Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jrgensen, Mikael H. Mller, Jir Srba |
| 2012 | TASE | A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. | Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jir Srba, Axel Legay |
| 2011 | ATVA | Parametric Modal Transition Systems. | Nikola Benes, Jan Kretnsk, Kim G. Larsen, Mikael H. Mller, Jir Srba |
| 2011 | ICTAC | Energy Games in Multiweighted Automata. | Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jir Srba |
| 2011 | SOFSEM | Verification of Timed-Arc Petri Nets. | Lasse Jacobsen, Morten Jacobsen, Mikael H. Mller, Jir Srba |
| 2011 | TACAS | Modelling and Verification of Web Services Business Activity Protocol. | Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio |
| 2010 | ISoLA | A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. | Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio |
| 2009 | ATVA | TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. | Joakim Byg, Kenneth Yrke Jrgensen, Jir Srba |
| 2009 | FOSSACS | Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. | Morten Khnrich, Stefan Schwoon, Jir Srba, Stefan Kiefer |
| 2009 | ICFEM | An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. | Joakim Byg, Kenneth Yrke Jrgensen, Jir Srba |
| 2009 | ICTAC | Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. | Nikola Benes, Jan Kretnsk, Kim Guldstrand Larsen, Jir Srba |
| 2007 | MFCS | Height-Deterministic Pushdown Automata. | Dirk Nowotka, Jir Srba |
| 2006 | ATVA | Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. | Giorgio Delzanno, Javier Esparza, Jir Srba |
| 2006 | CSL | Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. | Jir Srba |
| 2006 | FOSSACS | Undecidability Results for Bisimilarity on Prefix Rewrite Systems. | Petr Jancar, Jir Srba |
| 2005 | SOFSEM | Recursion Versus Replication in Simple Cryptographic Protocols. | Hans Httel, Jir Srba |
| 2002 | CONCUR | Undecidability of Weak Bisimilarity for Pushdown Processes. | Jir Srba |
| 2002 | DLT | Undecidability of Weak Bisimilarity for PA-Processes. | Jir Srba |
| 2002 | FOSSACS | Note on the Tableau Technique for Commutative Transition Systems. | Jir Srba |
| 2002 | ICALP | Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard. | Jir Srba |
| 2002 | STACS | Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard. | Jir Srba |
| 2001 | CONCUR | On the Power of Labels in Transition Systems. | Jir Srba |
| 2000 | MFCS | Matching Modulo Associativity and Idempotency Is NP-Complete. | Ondrej Klma, Jir Srba |
| 1999 | SOFSEM | Pattern Equations and Equations with Stuttering. | Ivana Cern, Ondrej Klma, Jir Srba |
| 1998 | MFCS | Deadlocking States in Context-Free Process Algebra. | Jir Srba |