| 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 | 100 | 2015 |
| 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 | 44 | 2014 |
| 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 | 21 | 2015 |
| 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 | 13 | 2018 |
| 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 | 12 | 2017 |
| 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 | 11 | 2018 |
| 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 | 10 | 2017 |
| 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 | 9 | 2014 |
| Refinement of Trace Abstraction for Real-Time Programs F Cassez, PG Jensen, KG Larsen International Workshop on Reachability Problems, 42-58, 2017 | 8 | 2017 |
| Partial Order Reduction for Reachability Games FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba CONCUR, 2019 | 7 | 2019 |
| 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 | 7 | 2018 |
| 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 | 7 | 2018 |
| 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 | 7 | 2018 |
| 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 | 7 | 2016 |
| 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 | 6 | 2019 |
| Learning optimal scheduling for time uncertain settings PG Jensen, JH Taankvist Aalborg University, Student project, 2014 | 4 | 2014 |
| 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 | 3 | 2019 |
| 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 | 3 | 2017 |
| 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 | 2 | 2019 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
