Login / Signup
Lars Tveito
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 5
Top Topics
Petri Net
Multi Lingual
Analysis Tool
Arabic Language
Top Venues
Gabbrielli's Festschrift
FASE
ICTAC
NIK
</>
Publications
</>
Lars Tveito
,
Einar Broch Johnsen
,
Rudolf Schlatte
Global Reproducibility Through Local Control for Distributed Active Objects.
FASE
(2020)
Frank S. de Boer
,
Einar Broch Johnsen
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
,
Lars Tveito
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.
Gabbrielli's Festschrift
(2020)
Einar Broch Johnsen
,
Martin Steffen
,
Johanna Beate Stumpf
,
Lars Tveito
Resource-Aware Virtually Timed Ambients.
IFM
(2018)
Einar Broch Johnsen
,
Martin Steffen
,
Johanna Beate Stumpf
,
Lars Tveito
An Analysis Tool for Models of Virtualized Systems.
NIK
(2018)
Einar Broch Johnsen
,
Martin Steffen
,
Johanna Beate Stumpf
,
Lars Tveito
Checking Modal Contracts for Virtually Timed Ambients.
ICTAC
(2018)