Bengt Jonsson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Parosh Aziz Abdulla
10 publications
Mohamed Faouzi Atig
9 publications
Magnus Lång
2 publications
Konstantinos Sagonas
2 publications
Frederik Meyer Bønneland
2 publications
Sarbojit Das
1 publication
Tuan Phong Ngo
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

∙ 08/19/2022

Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens

Stateless Model Checking (SMC) is a verification technique for concurren...

0 Bengt Jonsson, et al. ∙

research

∙ 08/02/2018

Optimal Stateless Model Checking under the Release-Acquire Semantics

We present a framework for efficient application of stateless model chec...

0 Parosh Aziz Abdulla, et al. ∙