Lars Tveito

Norwegian version of this page
Email larstvei@ifi.uio.no
Username
Visiting address Gaustadalléen 23B 0373 Oslo
Postal address Postboks 1080 Blindern 0316 Oslo
Other affiliations Faculty of Mathematics and Natural Sciences (Student)

Publications

  • 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, p. 10:1–10:18. doi: 10.4230/OASIcs.Gabbrielli.10. Full text in Research Archive
  • 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, p. 313–338. doi: 10.1007/978-3-030-64354-6_13. Full text in Research Archive
  • Tveito, Lars; Johnsen, Einar Broch & Schlatte, Rudolf (2020). Global Reproducibility Through Local Control for Distributed Active Objects. In Wehrheim, Heike & Cabot, Jordi (Ed.), 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. p. 140–160. doi: 10.1007/978-3-030-45234-6_7. Full text in Research Archive
  • 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. Full text in Research Archive
  • 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, p. 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, p. 194–213. doi: 10.1007/978-3-319-98938-9_12.

View all works in Cristin

Published Nov. 29, 2016 1:13 PM - Last modified Dec. 1, 2016 12:14 PM

Research groups