(Links to the published versions come a few weeks later when they’re archived in NVA)

2026

June 15: Tore Tveita, “Business process mining in smart homes”. Supervisor(s): Violet Ka I Pun, Volker Stolz. Examiners: Felix Mannhardt, Lars Michael Kristensen. (Repo)
June 16: Petter Tesdal, “Embedded Systems Tracing & Debugging”. Supervisor(s): Volker Stolz. Examiners: Svetlana Jaksic, Espen Oen Lie. (Repo, Dataverse artefact)
June 23: Kristoffer E. Wågen, “A Platform-Independant Migration Framework for Smart Home Automations”. Supervisor(s): Volker Stolz. Examiners: Gianluca Torta, Adrian Rutle. (Repo, thesis (Zenodo), Video)
June 23: Adrian H. Blikås, “Classification of Smart Home Automations”. Supervisor(s): Volker Stolz. Examiners: Gianluca Torta, Adrian Rutle. (Repo, “Replication Data for Classification of Smart Home Automations” (Zenodo))
June 23: Iver Sande, “Skystruct - A Domain Specific Language for Defining Readable Data Structures”. Supervisor(s): Violet Ka I Pun. Examiners: Mikhail Barash, Adrian Rutle. (Repo)

2025

December 17: Tore Wie Bøe, Measuring MC/DC for Python”“. Supervisor(s):Volker Stolz. Examiners: Hassan Sartaj, Tosin Oyetoyan. (Thesis, repo (Zenodo))