Lars Tveito

Universitetslektor - Programmeringsteknologi
English version of this page
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.

Se alle arbeider i Cristin

Publisert 29. nov. 2016 13:12 - Sist endret 6. sep. 2022 13:33