Peter Gjøl Jensen

Publikationer

  1. 2018
  2. Udgivet
  3. Udgivet

    Discrete and Continuous Strategies for Timed-Arc Petri Net Games. / Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiri.

    I: International Journal on Software Tools for Technology Transfer, Bind 20, Nr. 5, 2018, s. 529–546.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  4. Udgivet

    Efficient Analysis and Synthesis of Complex Quantitative Systems. / Jensen, Peter Gjøl.

    Aalborg Universitetsforlag, 2018. 227 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  5. Udgivet

    Integrating Tools : Co-simulation in UPPAAL Using FMI-FMU. / Nyman, Ulrik; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel.

    22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, 2018. s. 11-19.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  6. Udgivet

    MCC’2017 : The Seventh Model Checking Contest. / Kordon, Fabrice; Garavel, Hubert; Hillah, Lom Messan; Paviot-Adet, Emmanuel; Jezequel, Loïg; Hulin-Hubard, Francis; Amparore, Elvio; Beccuti, Marco; Berthomieu, Bernard; Evrard, Hugues; Jensen, Peter G.; Le Botlan, Didier; Liebke, Torsten; Meijer, Jeroen; Srba, Jiří; Thierry-Mieg, Yann; van de Pol, Jaco; Wolf, Karsten.

    Transactions on Petri Nets and Other Models of Concurrency XIII: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). red. / Maciej Koutny; Lars Michael Kristensen; Wojciech Penczek. Springer, 2018. s. 181-209.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  7. Udgivet

    Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. / Bønneland, Fredrik Meyer; Dyhr, Jakob; Jensen, Peter Gjøl; Johannsen, Mads; Srba, Jiri.

    PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7 : Springer Publishing Company, 2018. s. 143.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  8. Udgivet

    Start Pruning When Time Gets Urgent : Partial Order Reduction for Timed Systems. / Bønneland, Fredrik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muniz, Marco; Srba, Jiri.

    International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, 2018. s. 527-546.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  9. 2017
  10. Udgivet

    Practical controller synthesis for MTL0,∞. / Li, Guangyuan; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel; Poulsen, Danny Bøgsted.

    SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, 2017. s. 102-111.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  11. Udgivet

    PTrie : Data Structure for Compressing and Storing Sets via Prefix Sharing. / Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiri.

    Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Bind 10580 Springer, 2017. s. 248-265.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  12. Udgivet

    Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata. / Hansen, Rene Rydhof; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel; Poulsen, Danny Bøgsted.

    Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, 2017. s. 75-90.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  13. Udgivet

    Refinement of Trace Abstraction for Real-Time Programs. / Cassez, Franck; Jensen, Peter Gjøl; Larsen, Kim Guldstrand.

    Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, 2017. s. 42-58.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  14. Udgivet

    WUPPAAL : Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. / Cassez, Franck; Gonzalez de Aledo, Pablo; Jensen, Peter Gjøl.

    Models, Algorithms, Logics and Tools. Springer, 2017.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  15. 2016
  16. Udgivet

    Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. / Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiri.

    Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, 2016. s. 129-146.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  17. 2015
  18. Udgivet

    Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. / Bogomolov, Sergiy; Greitschus, Marius; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Mikučionis, Marius; Strump, Thomas; Tripakis, Stavros.

    11th International Modelica Conference Proceedings. Linköping University Electronic Press, 2015. s. 159-169 17.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  19. Udgivet

    Uppaal Stratego. / David, Alexandre; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Mikučionis, Marius; Taankvist, Jakob Haahr.

    Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. red. / Christel Baier; Cesare Tinelli. London, UK : Springer, 2015. s. 206-211.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  20. 2014
  21. Udgivet

    Memory Efficient Data Structures for Explicit Verification of Timed Systems. / Taankvist, Jakob Haahr; Srba, Jiri; Larsen, Kim Guldstrand; Sørensen, Mathias Grund; Jensen, Peter Gjøl.

    NASA Formal Methods. red. / Julia M. Badger; Kristin Yvonne Rozier. Bind 8430 Springer Publishing Company, 2014. s. 307-312.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  22. Udgivet

    On Time with Minimal Expected Cost! / David, Alexandre; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob Haahr.

    Automated Technology for Verification and Analysis. red. / Franck Cassez; Jean-François Raskin. Bind 8837 Springer Publishing Company, 2014. s. 129-145.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review