Arbeids- og kompetanseområde
Min hovedinteresse er programmeringsspråk og testing av programvare. Jeg utvikler nye verktøy som hjelper utviklerne å bli mer produktive. Det vil si at de kan utvikle raskere og tryggere, med mindre antall feil i koden. Som brukere opplever vi dette ved å ha mindre antall crasher i mobilapplikasjoner, websider og andre programvarer vi bruker.
Publikasjoner (inkl. pre-prints): CRIStin
Last ned CV: https://lambda.foldr.org/~vs/stolz-4p.pdf
Mastodon: @fm_volker@mastodon.social
Avsluttede prosjekter:
- EU H2020 project "COEMS - Continuous Observation of Embedded Multicore Systems"
- AURORA bilateral project "SecuTrace" NO/FR (2020-2022)
- DIKU/CAPES bilateral project "Modern Refactoring" NO/BR (2017-2021)
Underviser i
- DAT153 "Mobile Application Development"
- DAT355 "Model-driven Software Engineering and Reliable Software Systems"
- PCS954 "Model Checking and Software Verification"
- DAT159 "Refactoring"
Forskar på
- Software Engineering
- Testing & Monitoring
- Runtime Verification
- Formal Methods
Forskargrupper
- Smart Software System (S3) IoT research lab
- Software Engineering
- DAT153, Mobile og distribuerte applikasjonar, Vår 2025
- DAT191, Bacheloroppgåve, Vår 2025
- DAT300, Masteroppgåve, Høst 2024
- DAT300, Masteroppgåve, Vår 2025
- DAT355, Modelldriven programvareutvikling og pålitelege programvaresystem, Vår 2025
- ING303, Systemtenking og innovasjon for ingeniørar , Høst 2024
- PCS900, PhD disputas i datateknologi:programvareutvikling, berekningsorientert ingeniørvitskap og sensornettverk, Høst 2024
- PCS900, PhD disputas i datateknologi:programvareutvikling, berekningsorientert ingeniørvitskap og sensornettverk, Vår 2025
Publikasjonar
-
Evaluation of K-Means Time Series Clustering Based on Z-Normalization and NP-Free
-
Runtime Verification of Timed Petri Nets
-
Preface: Special issue on Theoretical Aspects of Computing
-
Enforced Dependencies for Active Objects
-
NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series
Laster...