Magnus Lng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2023
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ATVA | Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bnneland, Sarbojit Das, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2022 | FMCAD | Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. | Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2020 | ATVA | Parallel Graph-Based Stateless Model Checking. | Magnus Lng, Konstantinos Sagonas |
| 2018 | TACAS | Optimal Dynamic Partial Order Reduction with Observers. | Stavros Aronis, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |