Bengt Jonsson

Identifiers

• name variant Bengt Jonsson 0.60 · backfill

Papers (3)

1. Optimal Stateless Model Checking under the Release-Acquire Semantics cs.PL · 2018 · author #3
2. Stateless Model Checking for POWER cs.LO · 2016 · author #3
3. Stateless Model Checking for TSO and PSO cs.LO · 2015 · author #4

Mentions

• 1501.02069 #4 · backfill · confidence 0.70 Bengt Jonsson

Frequent Coauthors

• Carl Leonardsson 2 shared papers
• Mohamed Faouzi Atig 2 shared papers
• Parosh Aziz Abdulla 2 shared papers
• Konstantinos Sagonas 1 shared papers
• Mohammed Faouzi Atig 1 shared papers
• Parosh Abdulla 1 shared papers
• Stavros Aronis 1 shared papers
• Tuan Phong Ngo 1 shared papers