Carl Leonardsson

Identifiers

• name variant Carl Leonardsson 0.60 · backfill

Papers (2)

1. Stateless Model Checking for POWER cs.LO · 2016 · author #4
2. Stateless Model Checking for TSO and PSO cs.LO · 2015 · author #5

Mentions

• 1501.02069 #5 · backfill · confidence 0.70 Carl Leonardsson

Frequent Coauthors

• Bengt Jonsson 2 shared papers
• Konstantinos Sagonas 1 shared papers
• Mohamed Faouzi Atig 1 shared papers
• Mohammed Faouzi Atig 1 shared papers
• Parosh Abdulla 1 shared papers
• Parosh Aziz Abdulla 1 shared papers
• Stavros Aronis 1 shared papers