Frederik Meyer Bønneland

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Temporal Properties

Transition Systems

Publish Subscribe

Top Venues

Log. Methods Comput. Sci.

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. ATVA (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs. CoRR (2023)
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Two-Player Reachability Games. Log. Methods Comput. Sci. 17 (1) (2021)
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Two-Player Reachability Games. CoRR (2019)