default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Gjøl Jensen
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j13]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: 102987 (2023)- [j12]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): 129-131 (2023) - [c34]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: 113-130 - [c33]Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen:
Dynamic Extrapolation in Extended Timed Automata. ICFEM 2023: 83-99 - [c32]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: 1-6 - [c31]Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik:
Elimination of Detached Regions in Dependency Graph Verification. SPIN 2023: 163-179 - [c30]Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. AISoLA 2023: 33-54 - [i6]Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. CoRR abs/2308.14424 (2023) - 2022
- [j11]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): 297-320 (2022) - [j10]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: 102894 (2022) - [j9]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): 395-414 (2022) - [j8]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): 766-781 (2022) - [c29]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: 565-573 - [c28]Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba:
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. ATVA 2022: 225-230 - [c27]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: 327-333 - [c26]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: 283-305 - [c25]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: 381-398 - [c24]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: 363-380 - [c23]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: 151-173 - [d2]Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba:
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems". Zenodo, 2022
- [i5]Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist:
Methods for Efficient Unfolding of Colored Petri Nets. CoRR abs/2204.07039 (2022) - 2021
- [j7]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): 31-57 (2021) - [j6]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) - [j5]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): 89-104 (2021) - [c22]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: 118-137 - [c21]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: 170-186 - [c20]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: 32-49 - [c19]Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist:
Improvements in Unfolding of Colored Petri Nets. RP 2021: 69-84 - [d1]Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn:
Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification". Zenodo, 2021 - 2020
- [c18]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: 474-481 - [c17]Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen:
Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) 2020: 275-289 - [c16]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: 385-403 - [i4]Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen:
Approximating Euclidean by Imprecise Markov Decision Processes. CoRR abs/2006.14923 (2020) - [i3]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 abs/2006.16688 (2020) - [i2]Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. CoRR abs/2007.10539 (2020)
2010 – 2019
- 2019
- [j4]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: 46-63 (2019) - [c15]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: 81-97 - [c14]Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba:
Partial Order Reduction for Reachability Games. CONCUR 2019: 23:1-23:15 - [c13]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: 50-68 - [i1]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 abs/1912.09875 (2019) - 2018
- [j3]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): 351-381 (2018) - [j2]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): 529-546 (2018) - [j1]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: 181-209 (2018) - [c12]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: 143-163 - [c11]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: 527-546 - 2017
- [c10]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: 560-577 - [c9]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: 75-90 - [c8]Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS 2017: 11-19 - [c7]Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. ICTAC 2017: 248-265 - [c6]Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Refinement of Trace Abstraction for Real-Time Programs. RP 2017: 42-58 - [c5]Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Practical controller synthesis for MTL0, ∞. SPIN 2017: 102-111 - 2016
- [c4]Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. SPIN 2016: 129-146 - 2015
- [c3]Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist:
Uppaal Stratego. TACAS 2015: 206-211 - 2014
- [c2]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: 129-145 - [c1]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: 307-312
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
