Peter Gjøl Jensen
Title
Cited by
Cited by
Year
Uppaal Stratego
A David, PG Jensen, KG Larsen, M Mikučionis, JH Taankvist
Tools and Algorithms for the Construction and Analysis of Systems, 206-211, 2015
742015
On Time with Minimal Expected Cost!
A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ...
International Symposium on Automated Technology for Verification and …, 2014
392014
Co-simulation of hybrid systems with SpaceEx and Uppaal
S Bogomolov, M Greitschus, PG Jensen, KG Larsen, M Mikučionis, ...
Proceedings of the 11th International Modelica Conference, Versailles …, 2015
202015
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing
PG Jensen, KG Larsen, J Srba
International Colloquium on Theoretical Aspects of Computing, 248-265, 2017
122017
Memory Efficient Data Structures for Explicit Verification of Timed Systems
PG Jensen, KG Larsen, J Srba, MG Sørensen, JH Taankvist
NASA Formal Methods, 307-312, 2014
92014
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets
F Bønneland, J Dyhr, PG Jensen, M Johannsen, J Srba
International Conference on Applications and Theory of Petri Nets and …, 2018
82018
MCC’2017–The Seventh Model Checking Contest
F Kordon, H Garavel, LM Hillah, E Paviot-Adet, L Jezequel, ...
Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209, 2018
82018
Refinement of Trace Abstraction for Real-Time Programs
F Cassez, PG Jensen, KG Larsen
International Workshop on Reachability Problems, 42-58, 2017
72017
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
PG Jensen, KG Larsen, J Srba
International Symposium on Model Checking Software, 129-146, 2016
72016
Discrete and continuous strategies for timed-arc Petri net games
PG Jensen, KG Larsen, J Srba
International Journal on Software Tools for Technology Transfer 20 (5), 529-546, 2018
62018
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs
AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, PG Jensen, TS Jepsen, ...
Fundamenta Informaticae 161 (4), 351-381, 2018
62018
Presentation of the 9th Edition of the Model Checking Contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
52019
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems
FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba
International Conference on Computer Aided Verification, 527-546, 2018
52018
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata
RR Hansen, PG Jensen, KG Larsen, A Legay, DB Poulsen
International Workshop on Graphical Models for Security, 75-90, 2017
52017
Learning optimal scheduling for time uncertain settings
PG Jensen, JH Taankvist
Aalborg University, Student project, 2014
42014
Partial Order Reduction for Reachability Games
FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba
CONCUR, 2019
32019
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL
F Cassez, PG de Aledo, PG Jensen
Models, Algorithms, Logics and Tools, 560-577, 2017
32017
Stubborn versus structural reductions for Petri nets
FM Bønneland, J Dyhr, PG Jensen, M Johannsen, J Srba
Journal of Logical and Algebraic Methods in Programming 102, 46-63, 2019
22019
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU
PG Jensen, KG Larsen, A Legay, U Nyman
2017 22nd International Conference on Engineering of Complex Computer …, 2017
22017
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs
M Jaeger, PG Jensen, KG Larsen, A Legay, S Sedwards, JH Taankvist
International Symposium on Automated Technology for Verification and …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20