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
822015
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
412014
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
92018
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
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
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
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
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
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
62019
Partial Order Reduction for Reachability Games
FM B°nneland, PG Jensen, KG Larsen, M Mu˝iz, J Srba
CONCUR, 2019
62019
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
62018
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
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
42019
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