Concepedia

Peter Gjøl Jensen

PG

15

Publications

274

Citations

12

H-Index

2015

Active since

Affiliations

Aalborg University(Current)

Mälardalen University

Peter Gjøl Jensen is an author at Aalborg University specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceVerificationFormal VerificationBusinessProgram AnalysisSoftware AnalysisAutomated Reasoning

Publications per year

2015–2023

15

Publications

15

Optimization of power-to-heat flexibility for residential buildings in response to day-ahead electricity price

Hessam Golmohamadi, Kim G. Larsen, Peter Gjøl Jensen et al. · Energy and Buildings · 2020 · 58 citations

Energy Refurbishment, Engineering, Smart Grid +11

Hierarchical flexibility potentials of residential buildings with responsive heat pumps: A case study of Denmark

Hessam Golmohamadi, Kim G. Larsen, Peter Gjøl Jensen et al. · Journal of Building Engineering · 2021 · 28 citations

Built Environment, Hierarchical Flexibility Potentials, Energy Refurbishment +14

Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

Sergiy Bogomolov, Marius Greitschus, Peter Gjøl Jensen et al. · Linköping electronic conference proceedings · 2015 · 20 citations · Full text

Engineering, Verification, Simulation +20

Stubborn versus structural reductions for Petri nets

Frederik Meyer Bønneland, Jakob Dyhr, Peter Gjøl Jensen et al. · Journal of Logical and Algebraic Methods in Programming · 2018 · 20 citations

Petri Net, Engineering, Reachability Problem +5

Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid et al. · 2020 · 18 citations

Reachability Analysis, Weighted Pushdown Automata, Formal Specification +14

Rows per page

1–5 of 15