Frederik Meyer Bønneland

Aalborg University — Denmark

Computer Science · Physical Sciences

4h-index80citations10works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(9), Petri Nets in System Modeling(5), Model-Driven Software Engineering Techniques(4), Business Process Modeling and Analysis(2), Radiation Effects in Electronics(2)

Publications10 total

Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
arXiv (Cornell University)·2023· 1 citedOpen Access
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
Lecture notes in computer science·2023· 3 citedOpen Access
Stubborn Set Reduction for Two-Player Reachability Games
Logical Methods in Computer Science·2021· 3 citedOpen Access
Stubborn Set Reduction for Timed Reachability and Safety Games
Lecture notes in computer science·2021· 4 cited
Time For Stubborn Game Reductions
2021Open Access
Artifact for "Partial Order Reduction for Reachability Games"
Figshare·2019· 1 citedOpen Access
Partial Order Reduction for Reachability Games
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2019· 13 citedOpen Access
Stubborn versus structural reductions for Petri nets
Journal of Logical and Algebraic Methods in Programming·2018· 20 cited
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems
Lecture notes in computer science·2018· 12 citedOpen Access
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets
Lecture notes in computer science·2018· 23 cited

Frequent Co-authors

Peter Gjøl Jensen(7), Jiřı́ Srba(7), Kim G. Larsen(5), Marco Muñiz(5), Jakob Dyhr(2), Mads Johannsen(2), Parosh Aziz Abdulla(2), Mohamed Faouzi Atig(2), Sarbojit Das(2), Bengt Jönsson(2), Magnus Lång(2), Konstantinos Sagonas(2)