| 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 | 28 | 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 | 23 | 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 | 15 | 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 | 12 | 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 | 1 | 2023 |
| 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 |
| 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 |
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
