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)
- DAT153 "Mobile Application Development"
- DAT355 "Model-driven Software Engineering and Reliable Software Systems"
- PCS954 "Model Checking and Software Verification"
- DAT159 "Refactoring"
- Software Engineering
- Testing & Monitoring
- Runtime Verification
- Formal Methods
- Smart Software System (S3) IoT research lab
- Software Engineering
Publikasjonar
-
Preface: Special issue on Theoretical Aspects of Computing
-
Enforced Dependencies for Active Objects
-
Coverage visualization and analysis of net inscriptions in coloured Petri net models
-
NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series
-
Modular Soundness Checking of Feature Model Evolution Plans