| 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 | 30 | 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 | 25 | 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 | 18 | 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 | 16 | 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 | 13 | 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 | 2 | 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 | 2 | 2021 |
| Time For Stubborn Game Reductions FM Bønneland Aalborg Universitetsforlag, 2021 | | 2021 |
| 30th International Conference on Concurrency Theory (CONCUR 2019) WJ Fokkink, RJ van Glabbeek 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | | 2019 |
Jiri SrbaProfessor of Computer Science, Aalborg UniversityEmail confirmado em cs.aau.dk
