| Optimal dynamic partial order reduction with observers S Aronis, B Jonsson, M Lång, K Sagonas Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 38 | 2018 |
| Optimal stateless model checking for reads-from equivalence under sequential consistency PA Abdulla, MF Atig, B Jonsson, M Lång, TP Ngo, K Sagonas Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 36 | 2019 |
| Precise and sound automatic fence insertion procedure under PSO PA Abdulla, MF Atig, M Lång, TP Ngo Networked Systems: Third International Conference, NETYS 2015, Agadir …, 2015 | 22 | 2015 |
| Experiences from a field test using ICN for live video streaming AM Malik, B Ahlgren, B Ohlman, A Lindgren, E Ngai, L Klingsbo, M Lång 2015 IEEE International Conference on Multimedia & Expo Workshops (ICMEW), 1-6, 2015 | 7 | 2015 |
| Parallel graph-based stateless model checking M Lång, K Sagonas Automated Technology for Verification and Analysis: 18th International …, 2020 | 5 | 2020 |
| Awaiting for Godot: Stateless model checking that avoids executions where nothing happens B Jonsson, M Lång, K Sagonas CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2022, 284, 2022 | 1 | 2022 |
| Erlang on Adapteva's Parallella M Lång | | 2016 |
| NetInf Live Video Streaming at the 2015 Nordic World Ski Championship AM Malik, B Ahlgren, L Klingsbo, A Lindgren, M Lång, ECH Ngai, ... 11th Swedish National Computer Networking Workshop (SNCNW 2015), May 28-29 …, 2015 | | 2015 |
| Sound and Complete Reachability Analysis under PSO M Lång | | 2013 |
Konstantinos SagonasUppsala University and National Technical University of AthensVerified email at it.uu.se
