Lars Tveito
Universitetslektor
-
Programmeringsteknologi
English version of this page
E-post
larstvei@ifi.uio.no
Brukernavn
Besøksadresse
Gaustadalléen 23B
0373 Oslo
Postadresse
Postboks 1080 Blindern
0316 Oslo
Andre tilknytninger
Det matematisk-naturvitenskapelige fakultet
(Student)
Publikasjoner
-
de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Tveito, Lars (2020). Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. OpenAccess Series in Informatics. ISSN 2190-6807. 86, s. 10:1–10:18. doi: 10.4230/OASIcs.Gabbrielli.10. Fulltekst i vitenarkiv
-
de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth & Tveito, Lars (2020). SymPaths: Symbolic Execution Meets Partial Order Reduction. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12345, s. 313–338. doi: 10.1007/978-3-030-64354-6_13. Fulltekst i vitenarkiv
-
Tveito, Lars; Johnsen, Einar Broch & Schlatte, Rudolf (2020). Global Reproducibility Through Local Control for Distributed Active Objects. I Wehrheim, Heike & Cabot, Jordi (Red.), Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings . Springer. ISSN 978-3-030-45233-9. s. 140–160. doi: 10.1007/978-3-030-45234-6_7. Fulltekst i vitenarkiv
-
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars (2018). An Analysis Tool for Models of Virtualized Systems. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. Fulltekst i vitenarkiv
-
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars (2018). Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11187 LNCS, s. 252–272. doi: 10.1007/978-3-030-02508-3_14.
-
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars (2018). Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11023, s. 194–213. doi: 10.1007/978-3-319-98938-9_12.
Publisert
29. nov. 2016 13:12
- Sist endret
6. sep. 2022 13:33