Peter Gjøl Jensen

According to our database, Peter Gjøl Jensen authored at least 50 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., August, 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., April, 2023

Shielded Reinforcement Learning for Hybrid Systems.

Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Elimination of Detached Regions in Dependency Graph Verification.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik

Proceedings of the Model Checking Software - 29th International Symposium, 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

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Dynamic Extrapolation in Extended Timed Automata.

Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen

Proceedings of the Formal Methods and Software Engineering, 2023

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems".

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba

Dataset, August, 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, Jirí Srba, Marc Tom Thorgersen

IEEE/ACM Trans. Netw., 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

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

Methods for Efficient Unfolding of Colored Petri Nets.

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist

Fundam. Informaticae, 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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Proceedings of the Theoretical Aspects of Software Engineering, 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

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Playing Wordle with Uppaal Stratego.

Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems.

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 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

Proceedings of the Automated Technology for Verification and Analysis, 2022

Distributed Fleet Management in Noisy Environments via Model-Predictive Control.

Simon Bøgh, Peter Gjøl Jensen, Martin Kristjansen, Kim Guldstrand Larsen, Ulrik Nyman

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification".

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn

Dataset, June, 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

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

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

Improvements in Unfolding of Colored Petri Nets.

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist

Proceedings of the Reachability Problems - 15th International Conference, 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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Faster Pushdown Reachability Analysis with Applications in Network Verification.

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn

Proceedings of the Automated Technology for Verification and Analysis, 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

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

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

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Approximating Euclidean by Imprecise Markov Decision Processes.

Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks.

Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jirí Srba

Proceedings of the CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, 2020

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

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, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Partial Order Reduction for Reachability Games.

Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba

Proceedings of the 30th International Conference on Concurrency Theory, 2019

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

Proceedings of the Automated Technology for Verification and Analysis, 2019

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, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf

Trans. Petri Nets Other Model. Concurr., 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

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

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

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.

Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Practical controller synthesis for MTL_{0, ∞}.

Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Refinement of Trace Abstraction for Real-Time Programs.

Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen

Proceedings of the Reachability Problems - 11th International Workshop, 2017

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 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

Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.

Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2015

Uppaal Stratego.

Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

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

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

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

Proceedings of the Automated Technology for Verification and Analysis, 2014