Checking Modal Contracts for Virtually Timed Ambients. - Einar Broch Johnsen; Martin Steffen; Johanna Beate Stumpf; Lars Tveito (ICTAC, 2018)

Resource-Aware Virtually Timed Ambients. - Einar Broch Johnsen; Martin Steffen; Johanna Beate Stumpf; Lars Tveito (IFM, 2018)

An Analysis Tool for Models of Virtualized Systems. - Einar Broch Johnsen; Martin Steffen; Johanna Beate Stumpf; Lars Tveito (NIK, 2018)

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. - Frank S. de Boer; Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa; Lars Tveito (Gabbrielli's Festschrift, 2020)

Global Reproducibility Through Local Control for Distributed Active Objects. - Lars Tveito; Einar Broch Johnsen; Rudolf Schlatte (FASE, 2020)

SymPaths: Symbolic Execution Meets Partial Order Reduction. - Frank S. de Boer; Marcello M. Bonsangue; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa; Lars Tveito (20 Years of KeY, 2020)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs. - Ján Perhác; Samuel Novotný; Sergej Chodarev; Joachim Tilsted Kristensen; Lars Tveito; Oleks Shturmov; Michael Kirkedal Thomsen (ThEdu@CADE, 2024)