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
942015
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
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
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
112018
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
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
8*2019
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
82017
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
82017
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
Partial Order Reduction for Reachability Games
FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba
CONCUR, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20