Peter Gjl Jensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
14
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ATVA | TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets. | Bruno Maria Ren Gonzalez, Peter Gjl Jensen, Stefan Schmid, Jir Srba, Martin Zimmermann |
| 2023 | FMICS | Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. | Imran Riaz Hasrat, Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2023 | ICFEM | Dynamic Extrapolation in Extended Timed Automata. | Nicolaj . Jensen, Peter Gjl Jensen, Kim G. Larsen |
| 2023 | IECON | Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego. | Martin Kristjansen, Abhijit Kulkarni, Peter Gjl Jensen, Remus Teodorescu, Kim Guldstrand Larsen |
| 2023 | VECoS | Shielded Reinforcement Learning for Hybrid Systems. | Asger Horn Brorholt, Peter Gjl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling |
| 2022 | ATVA | STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. | Martijn A. Goorden, Peter Gjl Jensen, Kim G. Larsen, Mihhail Samusev, Jir Srba, Guohan Zhao |
| 2022 | ATVA | PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. | Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba |
| 2022 | TASE | End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. | Imran Riaz Hasrat, Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2022 | VMCAI | Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. | Peter Gjl Jensen, Jir Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt |
| 2021 | ATVA | Faster Pushdown Reachability Analysis with Applications in Network Verification. | Peter Gjl Jensen, Stefan Schmid, Morten Konggaard Schou, Jir Srba, Juan Vanerio, Ingo van Duijn |
| 2020 | CoNEXT | AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. | Peter Gjl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jir Srba |
| 2020 | ISoLA | Approximating Euclidean by Imprecise Markov Decision Processes. | Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjl Jensen |
| 2020 | ISoLA | Fluid Model-Checking in UPPAAL for Covid-19. | Peter Gjl Jensen, Kenneth Yrke Jrgensen, Kim G. Larsen, Marius Mikucionis, Marco Muiz, Danny Bgsted Poulsen |
| 2019 | ATVA | Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. | Manfred Jaeger, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist |
| 2019 | CONCUR | Partial Order Reduction for Reachability Games. | Frederik M. Bnneland, Peter Gjl Jensen, Kim G. Larsen, Marco Muiz, Jir Srba |
| 2019 | TACAS | 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 Gjl Jensen, Log 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 |
| 2018 | CAV | Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. | Frederik M. Bnneland, Peter Gjl Jensen, Kim Guldstrand Larsen, Marco Muiz, Jir Srba |
| 2017 | ICECCS | Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. | Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman |
| 2017 | ICTAC | PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. | Peter Gjl Jensen, Kim Guldstrand Larsen, Jir Srba |
| 2015 | TACAS | Uppaal Stratego. | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist |
| 2014 | ATVA | On Time with Minimal Expected Cost! | Alexandre David, Peter Gjl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Srensen, Jakob Haahr Taankvist |