Follow
Frederik Meyer Bønneland
Frederik Meyer Bønneland
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
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
272018
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
222019
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
142019
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
142018
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
112021
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
12021
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
The system can't perform the operation now. Try again later.
Articles 1–9