default search action

combined dblp search
author search
venue search
publication search

ask others

Peter Gjøl Jensen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HasratJLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HasratJLS23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/JensenN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JensenN23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HasratJLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HasratJLS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/JensenJL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/JensenJL23
Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen:
Dynamic Extrapolation in Extended Timed Automata. ICFEM 2023: 83-99
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/KristjansenKJTL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/KristjansenKJTL23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JensenLSU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JensenLSU23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/BrorholtJLLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/BrorholtJLLS23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-14424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-14424
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BilgramJPST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BilgramJPST22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GuJSEL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GuJSEL22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GuJPSEL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GuJPSEL22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/DuijnJJKMSST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/DuijnJJKMSST22
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]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/BoghJKLN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/BoghJKLN22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JensenSSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JensenSSS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GoordenJLSSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GoordenJLSSZ22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/JensenLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/JensenLM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JensenKLNMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JensenKLNMM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/HasratJLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/HasratJLS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/JensenSUV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/JensenSUV22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/JensenSSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/JensenSSS22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-07039
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-07039
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CassezJL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CassezJL21
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]
- view
  - electronic edition @ episciences.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/lmcs/BonnelandJLMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BonnelandJLMS21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HansenLLJP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HansenLLJP21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DidriksenJJKLLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DidriksenJJKLLS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JensenSSSVD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JensenSSSVD21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/BonnelandJLMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BonnelandJLMS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/BilgramJPST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/BilgramJPST21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/JensenSSSVD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/JensenSSSVD21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/conext/JensenK0SSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conext/JensenK0SSS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Jaeger0BLJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Jaeger0BLJ20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/JensenJLMMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/JensenJLMMP20
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-14923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-14923
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16688
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16688
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-10539
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-10539
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BonnelandDJJS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BonnelandDJJS19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JaegerJLLST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JaegerJLLST19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BonnelandJLMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BonnelandJLMS19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AmparoreBCDGHHJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AmparoreBCDGHHJ19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-09875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-09875
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DalsgaardEFJJJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DalsgaardEFJJJK18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JensenLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JensenLS18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KordonGHPJHABBEJBLMSTPW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BonnelandDJJS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BonnelandDJJS18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BonnelandJLMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BonnelandJLMS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CassezAJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CassezAJ17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HansenJLLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HansenJLLP17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/JensenLLN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/JensenLLN17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/JensenLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/JensenLS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/CassezJL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/CassezJL17
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Refinement of Trace Abstraction for Real-Time Programs. RP 2017: 42-58
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LiJLLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LiJLLP17
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Practical controller synthesis for MTL_{0, ∞}. SPIN 2017: 102-111
2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JensenLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JensenLS16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DavidJLMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DavidJLMT15
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist:
Uppaal Stratego. TACAS 2015: 206-211
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DavidJLLLST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DavidJLLLST14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/JensenLSST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/JensenLSST14
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

see FAQ

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.