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
1002015
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
442014
Co-simulation of hybrid systems with SpaceEx and Uppaal
S Bogomolov, M Greitschus, PG Jensen, KG Larsen, M Mikucionis, ...
Proceedings of the 11th International Modelica Conference, 159-169, 2015
212015
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
132018
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
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
112018
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
10*2019
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
102017
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
Refinement of Trace Abstraction for Real-Time Programs
F Cassez, PG Jensen, KG Larsen
International Workshop on Reachability Problems, 42-58, 2017
82017
Partial Order Reduction for Reachability Games
FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba
CONCUR, 2019
72019
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
72018
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
72018
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
72018
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
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
62019
Learning optimal scheduling for time uncertain settings
PG Jensen, JH Taankvist
Aalborg University, Student project, 2014
42014
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
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 Set Reduction for Two-Player Reachability Games
FM Bønneland, PG Jensen, KG Larsen, M Mũniz, J Srba
arXiv preprint arXiv:1912.09875, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20