Arbeids- og kompetanseområde
EU H2020 project "COEMS - Continuous Observation of Embedded Multicore Systems"
Underviser i
- DAT159 "Refactoring", MAT101, DAT153 "Mobile Application Development", MOD350
Forskar på
- Software Engineering
- Testing & Monitoring
- Runtime Verification
- Formal Methods
Utvalde publikasjonar
-
Search-based composed refactorings
Kristiansen, Erlend, Stolz, Volker (2014)
-
Pun, Ka I, Steffen, Martin, Stolz, Volker (2014)
-
How useful are existing monitoring languages for securing Android apps?
Steven, Arzt, Falzon, Kevin, Follner, Andreas, Rasthofer, Siegfried, Bodden, Eric, Stolz, Volker (2013)
-
Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2012)
-
Stolz, Volker (2012)