Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. - Frederik Bønneland; Jakob Dyhr; Peter Gjøl Jensen; Mads Johannsen; Jirí Srba (Petri Nets, 2018)

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. - Frederik M. Bønneland; Peter Gjøl Jensen; Kim Guldstrand Larsen; Marco Muñiz; Jirí Srba (CAV (1), 2018)

Partial Order Reduction for Reachability Games. - Frederik M. Bønneland; Peter Gjøl Jensen; Kim G. Larsen; Marco Muñiz; Jirí Srba (CONCUR, 2019)

Stubborn versus structural reductions for Petri nets. - Frederik M. Bønneland; Jakob Dyhr; Peter Gjøl Jensen; Mads Johannsen; Jirí Srba (J. Log. Algebraic Methods Program., 2019)

Stubborn Set Reduction for Timed Reachability and Safety Games. - Frederik M. Bønneland; Peter Gjøl Jensen; Kim G. Larsen; Marco Muñiz; Jirí Srba (FORMATS, 2021)

Stubborn Set Reduction for Two-Player Reachability Games. - Frederik Meyer Bønneland; Peter Gjøl Jensen; Kim Guldstrand Larsen; Marco Muñiz; Jirí Srba (Log. Methods Comput. Sci., 2021)

Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Frederik Meyer Bønneland; Sarbojit Das; Bengt Jonsson 001; Magnus Lång; Konstantinos Sagonas (ATVA, 2023)