Deadlocking States in Context-Free Process Algebra. - Jirí Srba (MFCS, 1998)

Pattern Equations and Equations with Stuttering. - Ivana Cerná; Ondrej Klíma 001; Jirí Srba (SOFSEM, 1999)

Matching Modulo Associativity and Idempotency Is NP-Complete. - Ondrej Klíma 001; Jirí Srba (MFCS, 2000)

Complexity of Weak Bisimilarity and Regularity for BPA and BPP. - Jirí Srba (EXPRESS, 2000)

Towards a Notion of Distributed Time for Petri Nets. - Mogens Nielsen; Vladimiro Sassone; Jirí Srba (ICATPN, 2001)

On the Power of Labels in Transition Systems. - Jirí Srba (CONCUR, 2001)

Properties of Distributed Timed-Arc Petri Nets. - Mogens Nielsen; Vladimiro Sassone; Jirí Srba (FSTTCS, 2001)

Basic process algebra with deadlocking states. - Jirí Srba (Theor. Comput. Sci., 2001)

Undecidability of Weak Bisimilarity for Pushdown Processes. - Jirí Srba (CONCUR, 2002)

Undecidability of Weak Bisimilarity for PA-Processes. - Jirí Srba (Developments in Language Theory, 2002)

Note on the Tableau Technique for Commutative Transition Systems. - Jirí Srba (FoSSaCS, 2002)

Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard. - Jirí Srba (ICALP, 2002)

Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard. - Jirí Srba (STACS, 2002)

Roadmap of Infinite Results. - Jirí Srba (Bull. EATCS, 2002)

Strong bisimilarity of simple process algebras: complexity lower bounds. - Jirí Srba (Acta Informatica, 2003)

Completeness Results for Undecidable Bisimilarity Problems. - Jirí Srba (INFINITY, 2003)

Undecidability of domino games and hhp-bisimilarity. - Marcin Jurdzinski; Mogens Nielsen; Jirí Srba (Inf. Comput., 2003)

Highly Undecidable Questions for Process Algebras. - Petr Jancar; Jirí Srba (IFIP TCS, 2004)

On the computational complexity of bisimulation, redux. - Faron Moller; Scott A. Smolka; Jirí Srba (Inf. Comput., 2004)

Timed-Arc Petri Nets vs. Networks of Timed Automata. - Jirí Srba (ICATPN, 2005)

On Counting the Number of Consistent Genotype Assignments for Pedigrees. - Jirí Srba (FSTTCS, 2005)

Recursion Versus Replication in Simple Cryptographic Protocols. - Hans Hüttel; Jirí Srba (SOFSEM, 2005)

Preface. - Jirí Srba; Scott A. Smolka (INFINITY, 2005)

Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. - Giorgio Delzanno; Javier Esparza; Jirí Srba (ATVA, 2006)

Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. - Jirí Srba (CSL, 2006)

Undecidability Results for Bisimilarity on Prefix Rewrite Systems. - Petr Jancar; Jirí Srba (FoSSaCS, 2006)

Decidability Issues for Extended Ping-Pong Protocols. - Hans Hüttel; Jirí Srba (J. Autom. Reason., 2006)

Height-Deterministic Pushdown Automata. - Dirk Nowotka; Jirí Srba (MFCS, 2007)

Infinite Runs in Weighted Timed Automata with Energy Constraints. - Patricia Bouyer; Ulrich Fahrenberg; Kim Guldstrand Larsen; Nicolas Markey; Jirí Srba (FORMATS, 2008)

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. - Jirí Srba (FORMATS, 2008)

Undecidability of bisimilarity by defender's forcing. - Petr Jancar; Jirí Srba (J. ACM, 2008)

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. - Joakim Byg; Kenneth Yrke Jørgensen; Jirí Srba (ATVA, 2009)

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. - Morten Kühnrich; Stefan Schwoon; Jirí Srba; Stefan Kiefer (FoSSaCS, 2009)

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. - Joakim Byg; Kenneth Yrke Jørgensen; Jirí Srba (ICFEM, 2009)

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. - Nikola Benes; Jan Kretínský; Kim Guldstrand Larsen; Jirí Srba (ICTAC, 2009)

Teaching Concurrency: Theory in Practice. - Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jirí Srba (TFM, 2009)

Beyond Language Equivalence on Visibly Pushdown Automata - Jirí Srba (Log. Methods Comput. Sci., 2009)

On determinism in modal transition systems. - Nikola Benes; Jan Kretínský; Kim Guldstrand Larsen; Jirí Srba (Theor. Comput. Sci., 2009)

An experiment with using Google tools for project supervision at tertiary education. - Jirí Srba (CompSysTech, 2010)

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. - Lasse Jacobsen; Morten Jacobsen; Mikael H. Møller; Jirí Srba (EPEW, 2010)

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. - Anders P. Ravn; Jirí Srba; Muhammad Saleem Vighio (ISoLA (1), 2010)

Parametric Modal Transition Systems. - Nikola Benes; Jan Kretínský; Kim G. Larsen; Mikael H. Møller; Jirí Srba (ATVA, 2011)

Energy Games in Multiweighted Automata. - Uli Fahrenberg; Line Juhl; Kim G. Larsen; Jirí Srba (ICTAC, 2011)

opaal: A Lattice Model Checker. - Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Kenneth Yrke Jørgensen; Kim Guldstrand Larsen; Mads Chr. Olesen; Petur Olsen; Jirí Srba (NASA Formal Methods, 2011)

Verification of Timed-Arc Petri Nets. - Lasse Jacobsen; Morten Jacobsen; Mikael H. Møller; Jirí Srba (SOFSEM, 2011)

Modelling and Verification of Web Services Business Activity Protocol. - Anders P. Ravn; Jirí Srba; Muhammad Saleem Vighio (TACAS, 2011)

The algorithmics of bisimilarity. - Luca Aceto; Anna Ingólfsdóttir; Jirí Srba (Advanced Topics in Bisimulation and Coinduction, 2012)

Unblockable compositions of software components. - Ruzhen Dong; Johannes Faber; Zhiming Liu 001; Jirí Srba; Naijun Zhan; Jiaqi Zhu 001 (CBSE, 2012)

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. - Cristiano Bertolini; Zhiming Liu 001; Jirí Srba (FHIES, 2012)

Dual-Priced Modal Transition Systems with Time Durations. - Nikola Benes; Jan Kretínský; Kim Guldstrand Larsen; Mikael H. Møller; Jirí Srba (LPAR, 2012)

Verification of Liveness Properties on Closed Timed-Arc Petri Nets. - Mathias Andersen; Heine Gatten Larsen; Jirí Srba; Mathias Grund Sørensen; Jakob Haahr Taankvist (MEMICS, 2012)

Action Investment Energy Games. - Kim G. Larsen; Simon Laursen; Jirí Srba (MEMICS, 2012)

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. - Alexandre David; Lasse Jacobsen; Morten Jacobsen; Kenneth Yrke Jørgensen; Mikael H. Møller; Jirí Srba (TACAS, 2012)

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. - Sebastian S. Bauer; Line Juhl; Kim G. Larsen; Jirí Srba; Axel Legay (TASE, 2012)

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets - Alexandre David; Lasse Jacobsen; Morten Jacobsen; Jirí Srba (SSV, 2012)

Time-Darts: A Data Structure for Verification of Closed Timed Automata - Kenneth Yrke Jørgensen; Kim G. Larsen; Jirí Srba (SSV, 2012)

EXPTIME-completeness of thorough refinement on modal transition systems. - Nikola Benes; Jan Kretínský; Kim G. Larsen; Jirí Srba (Inf. Comput., 2012)

Modal transition systems with weight intervals. - Line Juhl; Kim G. Larsen; Jirí Srba (J. Log. Algebraic Methods Program., 2012)

Extending modal transition systems with structured labels. - Sebastian S. Bauer; Line Juhl; Kim G. Larsen; Axel Legay; Jirí Srba (Math. Struct. Comput. Sci., 2012)

Tools for Model-Checking Timed Systems. - Alexandre David; Gerd Behrmann; Peter E. Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jirí Srba; Wang Yi 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

Models for Real-Time Embedded Systems. - Didier Lime; Olivier H. Roux; Jirí Srba (Communicating Embedded Systems, 2013)

Local Model Checking of Weighted CTL with Upper-Bound Constraints. - Jonas Finnemann Jensen; Kim Guldstrand Larsen; Jirí Srba; Lars Kaerlund Oestergaard (SPIN, 2013)

Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes - Petr Jancar; Jirí Srba (CoRR, 2013)

Model-checking web services business activity protocols. - Abinoam P. Marques Jr.; Anders P. Ravn; Jirí Srba; Muhammad Saleem Vighio (Int. J. Softw. Tools Technol. Transf., 2013)

Soundness of Timed-Arc Workflow Nets. - José Antonio Mateo; Jirí Srba; Mathias Grund Sørensen (Petri Nets, 2014)

Synchronizing Strategies under Partial Observability. - Kim Guldstrand Larsen; Simon Laursen; Jirí Srba (CONCUR, 2014)

Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. - Sine Viesmose Birch; Thomas Stig Jacobsen; Jacob Jon Jensen; Christoffer Moesgaard; Niels Nørgaard Samuelsen; Jirí Srba (FORMATS, 2014)

Memory Efficient Data Structures for Explicit Verification of Timed Systems. - Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba; Mathias Grund Sørensen; Jakob Haahr Taankvist (NASA Formal Methods, 2014)

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. - Joakim Byg; Morten Jacobsen; Lasse Jacobsen; Kenneth Yrke Jørgensen; Mikael Harkjær Møller; Jirí Srba (Theor. Comput. Sci., 2014)

Polynomial Time Decidability of Weighted Synchronization under Partial Observability. - Jan Kretínský; Kim Guldstrand Larsen; Simon Laursen; Jirí Srba (CONCUR, 2015)

Language Emptiness of Continuous-Time Parametric Timed Automata. - Nikola Benes; Peter Bezdek; Kim Guldstrand Larsen; Jirí Srba (ICALP (2), 2015)

CAAL: Concurrency Workbench, Aalborg Edition. - Jesper Rank Andersen; Nicklas Andersen; Søren Enevoldsen; Mathias M. Hansen; Kim G. Larsen; Simon R. Olesen; Jirí Srba; Jacob K. Wortmann (ICTAC, 2015)

Refinement checking on parametric modal transition systems. - Nikola Benes; Jan Kretínský; Kim G. Larsen; Mikael H. Møller; Salomon Sickert; Jirí Srba (Acta Informatica, 2015)

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. - José Antonio Mateo; Jirí Srba; Mathias Grund Sørensen (Fundam. Informaticae, 2015)

Toolchain for user-centered intelligent floor heating control. - Mads Kronborg Agesen; Kim Guldstrand Larsen; Marius Mikucionis; Marco Muñiz; Petur Olsen; Thomas Pedersen; Jirí Srba; Arne Skou (IECON, 2016)

Distributed Computation of Fixed Points on Dependency Graphs. - Andreas Engelbredt Dalsgaard; Søren Enevoldsen; Kim Guldstrand Larsen; Jirí Srba (SETTA, 2016)

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. - Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba (SPIN, 2016)

Online and Compositional Learning of Controllers with Application to Floor Heating. - Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Jirí Srba; Jakob Haahr Taankvist (TACAS, 2016)

Efficient model-checking of weighted CTL with upper-bound constraints. - Jonas Finnemann Jensen; Kim Guldstrand Larsen; Jirí Srba; Lars Kaerlund Oestergaard (Int. J. Softw. Tools Technol. Transf., 2016)

TAPAAL and Reachability Analysis of P/T Nets. - Jonas Finnemann Jensen; Thomas Nielsen; Lars Kaerlund Oestergaard; Jirí Srba (Trans. Petri Nets Other Model. Concurr., 2016)

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. - Andreas Engelbredt Dalsgaard; Søren Enevoldsen; Peter Fogh; Lasse S. Jensen; Tobias Skovgaard Jepsen; Isabella Kaufmann; Kim G. Larsen; Søren M. Nielsen; Mads Chr. Olesen; Samuel Pastva; Jirí Srba (Petri Nets, 2017)

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. - Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba (ICTAC, 2017)

Recording and evaluation of high resolution optical meteor spectra and comparative laboratory measurements using laser ablation of solid meteorite specimens. - Martin Ferus; Jakub Koukal; Libor Lenza; Jirí Srba; Petr Kubelík; Vojtech Laitl; Ekaterina M. Zanozina; Pavel Vana; Tereza Kaiserova; Antonín Knizek; Svatopluk Civis (ICTON, 2017)

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. - Frederik Bønneland; Jakob Dyhr; Peter Gjøl Jensen; Mads Johannsen; Jirí Srba (Petri Nets, 2018)

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. - Frederik M. Bønneland; Peter Gjøl Jensen; Kim Guldstrand Larsen; Marco Muñiz; Jirí Srba (CAV (1), 2018)

P-Rex: fast verification of MPLS networks with multiple link failures. - Jesper Stenbjerg Jensen; Troels Beck Krøgh; Jonas Sand Madsen; Stefan Schmid 001; Jirí Srba; Marc Tom Thorgersen (CoNEXT, 2018)

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. - Stefan Schmid 001; Jirí Srba (INFOCOM, 2018)

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. - Dmitry Ivanov; Kim G. Larsen; Sibylle Schupp; Jirí Srba (QEST, 2018)

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. - Andreas Engelbredt Dalsgaard; Søren Enevoldsen; Peter Fogh; Lasse S. Jensen; Peter Gjøl Jensen; Tobias Skovgaard Jepsen; Isabella Kaufmann; Kim G. Larsen; Søren M. Nielsen; Mads Chr. Olesen; Samuel Pastva; Jirí Srba (Fundam. Informaticae, 2018)

Discrete and continuous strategies for timed-arc Petri net games. - Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba (Int. J. Softw. Tools Technol. Transf., 2018)

Reachability problems: Special issue. - Kim G. Larsen; Igor Potapov; Jirí Srba (Theor. Comput. Sci., 2018)

MCC'2017 - The Seventh Model Checking Contest. - Fabrice Kordon; Hubert Garavel; Lom-Messan Hillah; Emmanuel Paviot-Adet; Loïg Jezequel; Francis Hulin-Hubard; Elvio Gilberto Amparore; Marco Beccuti; Bernard Berthomieu; Hugues Evrard; Peter Gjøl Jensen; Didier Le Botlan; et al. (Trans. Petri Nets Other Model. Concurr., 2018)

Partial Order Reduction for Reachability Games. - Frederik M. Bønneland; Peter Gjøl Jensen; Kim G. Larsen; Marco Muñiz; Jirí Srba (CONCUR, 2019)

Safe and Time-Optimal Control for Railway Games. - Shyam Lal Karra; Kim Guldstrand Larsen; Florian Lorber; Jirí Srba (RSSRail, 2019)

Model Verification Through Dependency Graphs. - Søren Enevoldsen; Kim Guldstrand Larsen; Jirí Srba (SPIN, 2019)

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 Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Didier Le Botlan; Torsten Liebke; et al. (TACAS (3), 2019)

Abstract Dependency Graphs and Their Application to Model Checking. - Søren Enevoldsen; Kim Guldstrand Larsen; Jirí Srba (TACAS (1), 2019)

Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). - Kim G. Larsen; Jirí Srba (J. Log. Algebraic Methods Program., 2019)

Stubborn versus structural reductions for Petri nets. - Frederik M. Bønneland; Jakob Dyhr; Peter Gjøl Jensen; Mads Johannsen; Jirí Srba (J. Log. Algebraic Methods Program., 2019)

Model checking and synthesis for branching multi-weighted logics. - Lasse S. Jensen; Isabella Kaufmann; Kim G. Larsen; Søren M. Nielsen; Jirí Srba (J. Log. Algebraic Methods Program., 2019)

On-the-Fly Synthesis for Strictly Alternating Games. - Shyam Lal Karra; Kim Guldstrand Larsen; Marco Muñiz; Jirí Srba (Petri Nets, 2020)

Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. - Isabella Kaufmann; Kim Guldstrand Larsen; Jirí Srba (Petri Nets, 2020)

Urgent Partial Order Reduction for Extended Timed Automata. - Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Jirí Srba (ATVA, 2020)

AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. - Peter Gjøl Jensen; Dan Kristiansen; Stefan Schmid 001; Morten Konggaard Schou; Bernhard Clemens Schrenk; Jirí Srba (CoNEXT, 2020)

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. - Søren Enevoldsen; Mathias Claus Jensen; Kim Guldstrand Larsen; Anders Mariegaard; Jirí Srba (LOPSTR, 2020)

Latte: Improving the Latency of Transiently Consistent Network Update Schedules. - Niels Christensen; Mark Glavind; Stefan Schmid 001; Jirí Srba (SIGMETRICS Perform. Evaluation Rev., 2020)

Dependency graphs with applications to verification. - Søren Enevoldsen; Kim G. Larsen; Anders Mariegaard; Jirí Srba (Int. J. Softw. Tools Technol. Transf., 2020)

Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. - Martijn A. Goorden; Kim G. Larsen; Jesper E. Nielsen; Thomas D. Nielsen; Michael R. Rasmussen; Jirí Srba (ADHS, 2021)

Automatic Synthesis of Transiently Correct Network Updates via Petri Games. - Martin Didriksen; Peter Gjøl Jensen; Jonathan F. Jønler; Andrei-Ioan Katona; Sangey D. L. Lama; Frederik B. Lottrup; Shahab Shajarat; Jirí Srba (Petri Nets, 2021)

Faster Pushdown Reachability Analysis with Applications in Network Verification. - Peter Gjøl Jensen; Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba; Juan Vanerio; Ingo van Duijn (ATVA, 2021)

Stubborn Set Reduction for Timed Reachability and Safety Games. - Frederik M. Bønneland; Peter Gjøl Jensen; Kim G. Larsen; Marco Muñiz; Jirí Srba (FORMATS, 2021)

Improvements in Unfolding of Colored Petri Nets. - Alexander Bilgram; Peter Gjøl Jensen; Thomas Pedersen; Jirí Srba; Jakob Haahr Taankvist (RP, 2021)

Resilient Capacity-Aware Routing. - Stefan Schmid 001; Nicolas Schnepf; Jirí Srba (TACAS (1), 2021)

Stubborn Set Reduction for Two-Player Reachability Games. - Frederik Meyer Bønneland; Peter Gjøl Jensen; Kim Guldstrand Larsen; Marco Muñiz; Jirí Srba (Log. Methods Comput. Sci., 2021)

Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification". - Peter Gjøl Jensen; Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba; Juan Vanerio; Ingo van Duijn (Zenodo, 2021)

STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. - Martijn A. Goorden; Peter Gjøl Jensen; Kim G. Larsen; Mihhail Samusev; Jirí Srba; Guohan Zhao (ATVA, 2022)

PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. - Peter Gjøl Jensen; Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba (ATVA, 2022)

Simulation Relations and Applications in Formal Methods. - Kim G. Larsen; Christian Schilling 001; Jirí Srba (Principles of Systems Design, 2022)

FBR: Dynamic Memory-Aware Fast Rerouting. - Nicklas S. Johansen; Lasse B. Kær; Andreas L. Madsen; Kristian Ø. Nielsen; Stefan Schmid 001; Jirí Srba; Rasmus G. Tollund (CloudNet, 2022)

MPLS-Kit: An MPLS Data Plane Toolkit. - Juan Vanerio; Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba (CloudNet, 2022)

R-MPLS: recursive protection for highly dependable MPLS networks. - Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba; Juan Vanerio (CoNEXT, 2022)

The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures. - Pieter Cuijpers; Stefan Schmid 001; Nicolas Schnepf; Jirí Srba (DSN, 2022)

Differential Testing of Pushdown Reachability with a Formally Verified Oracle. - Anders Schlichtkrull; Morten Konggaard Schou; Jirí Srba; Dmitriy Traytel (FMCAD, 2022)

Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games. - Nicklas S. Johansen; Lasse B. Kær; Andreas L. Madsen; Kristian Ø. Nielsen; Jirí Srba; Rasmus G. Tollund (IFM, 2022)

End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. - Imran Riaz Hasrat; Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba (TASE, 2022)

AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. - Kim Guldstrand Larsen; Anders Mariegaard; Stefan Schmid 001; Jirí Srba (TASE, 2022)

Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. - Peter Gjøl Jensen; Jirí Srba; Nikolaj Jensen Ulrik; Simon Mejlby Virenfeldt (VMCAI, 2022)

Methods for Efficient Unfolding of Colored Petri Nets. - Alexander Bilgram; Peter Gjøl Jensen; Thomas Pedersen; Jirí Srba; Peter Haahr Taankvist (Fundam. Informaticae, 2022)

Extended abstract dependency graphs. - Søren Enevoldsen; Kim Guldstrand Larsen; Jirí Srba (Int. J. Softw. Tools Technol. Transf., 2022)

Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures. - Ingo van Duijn; Peter Gjøl Jensen; Jesper Stenbjerg Jensen; Troels Beck Krøgh; Jonas Sand Madsen; Stefan Schmid 001; Jirí Srba; Marc Tom Thorgersen (IEEE/ACM Trans. Netw., 2022)

Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems". - Peter Gjøl Jensen; Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba (Zenodo, 2022)

Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks". - Stefan Schmid 001; Morten Konggaard Schou; Jirí Srba; Juan Vanerio (Zenodo, 2022)

Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. - Imran Riaz Hasrat; Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba (FMICS, 2023)

Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. - Morten Konggaard Schou; Ingmar Poese; Jirí Srba (PRDC, 2023)

Potency-Based Heuristic Search with Randomness for Explicit Model Checking. - Emil G. Henriksen; Alan M. Khorsid; Esben Nielsen; Theodor Risager; Jirí Srba; Adam M. Stück; Andreas S. Sørensen (SPIN, 2023)

Elimination of Detached Regions in Dependency Graph Verification. - Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba; Nikolaj Jensen Ulrik (SPIN, 2023)

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. - Nicolas Amat; Elvio G. Amparore; Bernard Berthomieu; Pierre Bouvier; Silvano Dal-Zilio; Francis Hulin-Hubard; Peter Gjøl Jensen; Loïg Jezequel; Fabrice Kordon; Shuo Li; Emmanuel Paviot-Adet; Laure Petrucci; et al. (TOOLympics@ETAPS, 2023)

Labeled Transition Systems. - Anders Schlichtkrull; Morten Konggaard Schou; Jirí Srba; Dmitriy Traytel (Arch. Formal Proofs, 2023)

Pushdown Systems. - Anders Schlichtkrull; Morten Konggaard Schou; Jirí Srba; Dmitriy Traytel (Arch. Formal Proofs, 2023)

A toolchain for domestic heat-pump control using Uppaal Stratego. - Imran Riaz Hasrat; Peter Gjøl Jensen; Kim Guldstrand Larsen; Jirí Srba (Sci. Comput. Program., 2023)

AllSynth: A BDD-based approach for network update synthesis. - Kim G. Larsen; Anders Mariegaard; Stefan Schmid 001; Jirí Srba (Sci. Comput. Program., 2023)

Kaki: Efficient Concurrent Update Synthesis for SDN. - Nicklas S. Johansen; Lasse B. Kær; Andreas L. Madsen; Kristian Ø. Nielsen; Jirí Srba; Rasmus G. Tollund (Formal Aspects Comput., 2023)

SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks. - Csaba Györgyi; Kim G. Larsen; Stefan Schmid 001; Jirí Srba (DSN, 2024)

SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. - Csaba Györgyi; Kim G. Larsen; Stefan Schmid 001; Jirí Srba (INFOCOM, 2024)

Reproducibility Package for SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. - Csaba Györgyi; Kim Guldstrand Larsen; Stefan Schmid 001; Jirí Srba (Zenodo, 2024)

Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks. - Morten Konggaard Schou; Ingmar Poese; Jirí Srba (Formal Aspects Comput., 2024)

Statistical Model Checking of Stochastic Timed-Arc Petri Nets. - Tanguy Dubois; Kim G. Larsen; Jirí Srba (Petri Nets, 2025)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. - Nicolaj Ø. Jensen; Kim G. Larsen; Didier Lime; Jirí Srba (CONCUR, 2025)

On-The-Fly Verification: Advancements in Dependency Graphs (Invited Talk). - Jirí Srba (CONCUR, 2025)

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 001; Jirí Srba (NOMS, 2025)

Token Elimination in Model Checking of Petri Nets. - Nicolaj Ø. Jensen; Kim G. Larsen; Jirí Srba (TACAS (1), 2025)

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 (VMCAI (2), 2025)

Token Elimination in Model Checking of Petri Nets Reproducibility Package. - Nicolaj Østerby Jensen; Kim Guldstrand Larsen; Jirí Srba (Zenodo, 2025)

Token Elimination in Model Checking of Petri Nets Reproducibility Package. - Nicolaj Østerby Jensen; Kim Guldstrand Larsen; Jirí Srba (Zenodo, 2025)