Lars Tveito

According to our database, Lars Tveito authored at least 6 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Global Reproducibility Through Local Control for Distributed Active Objects.

Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte

Proceedings of the Fundamental Approaches to Software Engineering, 2020

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

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2018

An Analysis Tool for Models of Virtualized Systems.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Resource-Aware Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Checking Modal Contracts for Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018