Peter Gjøl Jensen

Aalborg University — Denmark

Computer Science · Physical Sciences

15h-index1.0kcitations81works0.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(41), Model-Driven Software Engineering Techniques(16), Software Testing and Debugging Techniques(13), Petri Nets in System Modeling(13), Software Reliability and Analysis Research(12)

Publications81 total

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
arXiv (Cornell University)·2025Open Access
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Lecture notes in computer science·2025
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
Lecture notes in computer science·2025
Towards model-driven heat pump control in a multi-story building
Journal of Building Performance Simulation·2025
GPU Accelerating Statistical Model Checking for Extended Timed Automata
Lecture notes in computer science·2024
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023
Lecture notes in computer science·2024· 1 citedOpen Access
Non-monotonic dependence of high-temperature stability of stone wool fibres on pre-oxidation time and temperature
Journal of Non-Crystalline Solids·2024· 1 citedOpen Access
Shielded Reinforcement Learning for Hybrid Systems
Lecture notes in computer science·2023· 9 citedOpen Access
Methods for Efficient Unfolding of Colored Petri Nets
Fundamenta Informaticae·2023· 3 citedOpen Access
Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego
2023· 6 citedOpen Access
Quantification of high temperature stability of mineral wool for fire-safe insulation
Journal of Non-Crystalline Solids·2023· 13 citedOpen Access
Shielded Reinforcement Learning for Hybrid Systems
arXiv (Cornell University)·2023· 3 citedOpen Access
Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego: Reproducibility package for the accepted IECON '23 paper
2023Open Access
A toolchain for domestic heat-pump control using Uppaal Stratego
Science of Computer Programming·2023· 12 citedOpen Access
Reproducibility Package: Elimination of Detached Regions in Dependency Graph Verification
2023· 1 citedOpen Access
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021
International Journal on Software Tools for Technology Transfer·2023· 1 citedOpen Access
Elimination of Detached Regions in Dependency Graph Verification
Lecture notes in computer science·2023· 1 cited
Dynamic Extrapolation in Extended Timed Automata
Lecture notes in computer science·2023Open Access
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
Lecture notes in computer science·2023· 7 cited
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning
Decision Analytics Journal·2022· 13 citedOpen Access
page 1 of 5Next →

Frequent Co-authors

Kim G. Larsen(34), Jiřı́ Srba(24), Imran Riaz Hasrat(6), Frederik Meyer Bønneland(6), Danny Bøgsted Poulsen(6), Marco Muñiz(6), Marius Mikučionis(5), Axel Legay(5), Jakob Haahr Taankvist(3), Hessam Golmohamadi(3), Stefan Schmid(3), Ulrik Nyman(3), Alexander Bilgram(3), Peter H. Taankvist(3), Florian Lorber(3), Alexandre David(2), Mathias Grund Sørensen(2), Elvio Gilberto Amparore(2), Bernard Berthomieu(2), Lom Messan Hillah(2)