Simplification of CTL formulae for efficient model checking of Petri nets F Bønneland, J Dyhr, PG Jensen, M Johannsen, J Srba Application and Theory of Petri Nets and Concurrency: 39th International …, 2018 | 27 | 2018 |
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 | 22 | 2019 |
Partial order reduction for reachability games FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 14 | 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 Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 14 | 2018 |
Stubborn set reduction for two-player reachability games FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba Logical Methods in Computer Science 17, 2021 | 11 | 2021 |
Stubborn Set Reduction for Timed Reachability and Safety Games FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba Formal Modeling and Analysis of Timed Systems: 19th International Conference …, 2021 | 1 | 2021 |
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs PA Abdulla, MF Atig, FM Bønneland, S Das, B Jonsson, M Lång, ... International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |
Time For Stubborn Game Reductions FM Bønneland Aalborg Universitetsforlag, 2021 | | 2021 |
30th International Conference on Concurrency Theory (CONCUR 2019) MZ Kwiatkowska, KG Larsen, J Ouaknine, J van de Pol, J Kretínský, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |