On Time with Minimal Expected Cost! - Alexandre David; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Didier Lime; Mathias Grund Sørensen; Jakob Haahr Taankvist (ATVA, 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)

Uppaal Stratego. - Alexandre David; Peter Gjøl Jensen; Kim Guldstrand Larsen; Marius Mikucionis; Jakob Haahr Taankvist (TACAS, 2015)

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

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. - Franck Cassez; Pablo González de Aledo; Peter Gjøl Jensen (Models, Algorithms, Logics and Tools, 2017)

Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. - René Rydhof Hansen; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (GraMSec@CSF, 2017)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. - Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Ulrik Nyman (ICECCS, 2017)

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

Refinement of Trace Abstraction for Real-Time Programs. - Franck Cassez; Peter Gjøl Jensen; Kim Guldstrand Larsen (RP, 2017)

Practical controller synthesis for MTL0, ∞. - Guangyuan Li; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (SPIN, 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)

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)

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)

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. - Manfred Jaeger; Peter Gjøl Jensen; Kim Guldstrand Larsen; Axel Legay; Sean Sedwards; Jakob Haahr Taankvist (ATVA, 2019)

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

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)

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)

Approximating Euclidean by Imprecise Markov Decision Processes. - Manfred Jaeger; Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Peter Gjøl Jensen (ISoLA (1), 2020)

Fluid Model-Checking in UPPAAL for Covid-19. - Peter Gjøl Jensen; Kenneth Yrke Jørgensen; Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Danny Bøgsted Poulsen (ISoLA (1), 2020)

It's Time to Play Safe: Shield Synthesis for Timed Systems. - Roderick Bloem; Peter Gjøl Jensen; Bettina Könighofer; Kim Guldstrand Larsen; Florian Lorber; Alexander Palmisano (CoRR, 2020)

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)

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. - Franck Cassez; Peter Gjøl Jensen; Kim Guldstrand Larsen (Fundam. Informaticae, 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)

ADTLang: a programming language approach to attack defense trees. - René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Peter Gjøl Jensen; Danny Bøgsted Poulsen (Int. J. Softw. Tools Technol. Transf., 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)

Distributed Fleet Management in Noisy Environments via Model-Predictive Control. - Simon Bøgh; Peter Gjøl Jensen; Martin Kristjansen; Kim Guldstrand Larsen; Ulrik Nyman (ICAPS, 2022)

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)

Playing Wordle with Uppaal Stratego. - Peter Gjøl Jensen; Kim G. Larsen; Marius Mikucionis (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Monte Carlo Tree Search for Priced Timed Automata. - Peter Gjøl Jensen; Andrej Kiviriga; Kim Guldstrand Larsen; Ulrik Nyman; Adriana Mijacika; Jeppe Høiriis Mortensen (QEST, 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)

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)

Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. - Rong Gu; Peter Gjøl Jensen; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (Sci. Comput. Program., 2022)

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. - Rong Gu; Peter Gjøl Jensen; Danny Bøgsted Poulsen; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (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)

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)

Dynamic Extrapolation in Extended Timed Automata. - Nicolaj Ø. Jensen; Peter Gjøl Jensen; Kim G. Larsen (ICFEM, 2023)

Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego. - Martin Kristjansen; Abhijit Kulkarni; Peter Gjøl Jensen; Remus Teodorescu; Kim Guldstrand Larsen (IECON, 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)

Shielded Reinforcement Learning for Hybrid Systems. - Asger Horn Brorholt; Peter Gjøl Jensen; Kim Guldstrand Larsen; Florian Lorber; Christian Schilling 001 (AISoLA, 2023)

Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021. - Peter Gjøl Jensen; Thomas Neele (Int. J. Softw. Tools Technol. Transf., 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)

GPU Accelerating Statistical Model Checking for Extended Timed Automata. - Oliver S. Bak; Mathias W. B. Christiansen; Oliver V. Eriksen; Sergio Feo-Arenis; Peter Gjøl Jensen; Marcus D. Jensen; Simas Juozapaitis; Kim G. Larsen; Marius Mikucionis; Marco Muñiz; Andreas Windfeld (Principles of Verification (2), 2024)