Frederik Bønneland

According to our database, Frederik Bønneland authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas

Proceedings of the Automated Technology for Verification and Analysis, 2023

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

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

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

Partial Order Reduction for Reachability Games.

Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba

Proceedings of the 30th International Conference on Concurrency Theory, 2019

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

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.

Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018