Peter Gjøl Jensen

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 50

Top Topics

Partial Order Reduction

Dependency Graphs

Top Venues

Int. J. Softw. Tools Technol. Transf.

Fundam. Informaticae

Publications

Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. FMICS (2023)
Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen
Dynamic Extrapolation in Extended Timed Automata. ICFEM (2023)
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling
Shielded Reinforcement Learning for Hybrid Systems. AISoLA (2023)
Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling
Shielded Reinforcement Learning for Hybrid Systems. CoRR (2023)
Peter Gjøl Jensen, Thomas Neele
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
A toolchain for domestic heat-pump control using Uppaal Stratego. Sci. Comput. Program. 230 (2023)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik
Elimination of Detached Regions in Dependency Graph Verification. SPIN (2023)
Martin Kristjansen, Abhijit Kulkarni, Peter Gjøl Jensen, Remus Teodorescu, Kim Guldstrand Larsen
Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego. IECON (2023)
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
Methods for Efficient Unfolding of Colored Petri Nets. Fundam. Informaticae 189 (3-4) (2022)
Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt
Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. VMCAI (2022)
Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis
Playing Wordle with Uppaal Stratego. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ATVA (2022)
Ingo van Duijn, Peter Gjøl Jensen, Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen
Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures. IEEE/ACM Trans. Netw. 30 (2) (2022)
Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. Sci. Comput. Program. 224 (2022)
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. TASE (2022)
Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. ATVA (2022)
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
Methods for Efficient Unfolding of Colored Petri Nets. CoRR (2022)
Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen
Monte Carlo Tree Search for Priced Timed Automata. QEST (2022)
Simon Bøgh, Peter Gjøl Jensen, Martin Kristjansen, Kim Guldstrand Larsen, Ulrik Nyman
Distributed Fleet Management in Noisy Environments via Model-Predictive Control. ICAPS (2022)
René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen
ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. 23 (1) (2021)
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Two-Player Reachability Games. Log. Methods Comput. Sci. 17 (1) (2021)
Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn
Faster Pushdown Reachability Analysis with Applications in Network Verification. ATVA (2021)
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. Fundam. Informaticae 178 (1-2) (2021)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Timed Reachability and Safety Games. FORMATS (2021)
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist
Improvements in Unfolding of Colored Petri Nets. RP (2021)
Martin Didriksen, Peter Gjøl Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D. L. Lama, Frederik B. Lottrup, Shahab Shajarat, Jirí Srba
Automatic Synthesis of Transiently Correct Network Updates via Petri Games. Petri Nets (2021)
Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen
Fluid Model-Checking in UPPAAL for Covid-19. ISoLA (1) (2020)
Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jirí Srba
AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. CoNEXT (2020)
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. CoRR (2020)
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano
It's Time to Play Safe: Shield Synthesis for Timed Systems. CoRR (2020)
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) (2020)
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
Approximating Euclidean by Imprecise Markov Decision Processes. CoRR (2020)
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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Frederik M. Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba
Stubborn versus structural reductions for Petri nets. J. Log. Algebraic Methods Program. 102 (2019)
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Two-Player Reachability Games. CoRR (2019)
Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. ATVA (2019)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
Partial Order Reduction for Reachability Games. CONCUR (2019)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
Discrete and continuous strategies for timed-arc Petri net games. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. CAV (1) (2018)
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
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 161 (4) (2018)
Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. Petri Nets (2018)
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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
. SPIN (2017)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. ICTAC (2017)
René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. GraMSec@CSF (2017)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS (2017)
Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. Models, Algorithms, Logics and Tools (2017)
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Refinement of Trace Abstraction for Real-Time Programs. RP (2017)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. SPIN (2016)
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
Uppaal Stratego. TACAS (2015)
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist
On Time with Minimal Expected Cost! ATVA (2014)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
Memory Efficient Data Structures for Explicit Verification of Timed Systems. NASA Formal Methods (2014)