Peter Gjøl Jensen

59 papers A* 1A 2B 11C 4Misc 1Journal 21Unranked 19

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