Frederik Meyer Bønneland | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Parosh Aziz Abdulla
10 publications
Mohamed Faouzi Atig
9 publications
Kim Guldstrand Larsen
8 publications
Peter Gjøl Jensen
5 publications
Marco Mũniz
3 publications
Bengt Jonsson
3 publications
Magnus Lång
2 publications
Konstantinos Sagonas
2 publications
Jiří Srba
2 publications
Sarbojit Das
1 publication

research

∙ 07/29/2023

Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs

Event-driven multi-threaded programming is an important idiom for struct...

0 Parosh Aziz Abdulla, et al. ∙

research

∙ 12/20/2019

Stubborn Set Reduction for Two-Player Reachability Games

Partial order reductions have been successfully applied to model checkin...

0 Frederik Meyer Bønneland, et al. ∙

Success!

An error occurred