| 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 | 121 | 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 | 56 | 2014 |
| Co-simulation of hybrid systems with SpaceEx and Uppaal S Bogomolov, M Greitschus, PG Jensen, KG Larsen, M Mikučionis, ... 11th International Modelica Conference, 159-169, 2015 | 24 | 2015 |
| 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 | 21 | 2019 |
| 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 | 17 | 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 | 16 | 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 | 13 | 2018 |
| 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 | 12 | 2017 |
| Optimization of power-to-heat flexibility for residential buildings in response to day-ahead electricity price H Golmohamadi, KG Larsen, PG Jensen, IR Hasrat Energy and Buildings 232, 110665, 2021 | 11 | 2021 |
| 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 | 11 | 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 | 11 | 2018 |
| Refinement of Trace Abstraction for Real-Time Programs F Cassez, PG Jensen, KG Larsen International Workshop on Reachability Problems, 42-58, 2017 | 10 | 2017 |
| 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 | 10 | 2016 |
| Partial Order Reduction for Reachability Games FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba CONCUR, 2019 | 9 | 2019 |
| 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 | 9 | 2019 |
| 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 | 9 | 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 | 9 | 2018 |
| 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 |
| Approximating euclidean by imprecise Markov decision processes M Jaeger, G Bacci, G Bacci, KG Larsen, PG Jensen International Symposium on Leveraging Applications of Formal Methods, 275-289, 2020 | 6 | 2020 |
| 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 | 6 | 2017 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
