| Global Reproducibility Through Local Control for Distributed Active Objects. L Tveito, EB Johnsen, R Schlatte FASE, 140-160, 2020 | 17 | 2020 |
| Checking modal contracts for virtually timed ambients EB Johnsen, M Steffen, JB Stumpf, L Tveito International Colloquium on Theoretical Aspects of Computing, 252-272, 2018 | 5* | 2018 |
| SymPaths: Symbolic execution meets partial order reduction FS de Boer, M Bonsangue, EB Johnsen, VKI Pun, SL Tapia Tarifa, ... Deductive Software Verification: Future Perspectives: Reflections on the …, 2020 | 3 | 2020 |
| Resource-aware virtually timed ambients EB Johnsen, M Steffen, JB Stumpf, L Tveito Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 1 | 2018 |
| OnlineProver: First Experience with Teaching Formal Proofs J Kristensen, J Perháč, MK Thomsen, L Tveito, O Shturmov, S Novotný, ... Norsk IKT-konferanse for forskning og utdanning, 2024 | | 2024 |
| OnlineProver: A proof assistant for online teaching of formal logic and semantics JT Kristensen, JPL Tveito, LBH Vadgaard, MK Thomsen, O Shturmov, ... 30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024 | | 2024 |
| SymPaths: Symbolic Execution Meets FS de Boer¹, M Bonsangue, EB Johnsen, VKI Pun, SLT Tarifa, L Tveito Deductive Software Verification: Future Perspectives: Reflections on the …, 2020 | | 2020 |
| OASIcs, Volume 86, Gabbrielli's Festschrift, Complete Volume}} FS de Boer, J Mauro, C Laneve, A Veschetti, M Dezani-Ciancaglini, ... Recent Developments in the Design and Implementation of Programming …, 2020 | | 2020 |
| Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages F de Boer, EB Johnsen, R Schlatte, SL Tapia Tarifa, L Tveito OpenAccess Series in Informatics 86, 10: 1-10: 18, 2020 | | 2020 |
| An Analysis Tool for Models of Virtualized Systems EB Johnsen, M Steffen, JB Stumpf, L Tveito Norsk IKT-konferanse for forskning og utdanning, 2018 | | 2018 |
| Developing Real-Time Collaborative Editing Using Formal Methods L Tveito | | 2016 |
| A Framework for Exogenous Stateless Model Checking L Tveito, EB Johnsen, R Schlatte NWPT 2019, 73, 0 | | |
