Førsteamanuensis

Volker Stolz

Arbeids- og kompetanseområde

EU H2020 project "COEMS - Continuous Observation of Embedded Multicore Systems"

Search-based composed refactorings

Kristiansen, Erlend, Stolz, Volker (2014)

NIK: Norsk Informatikkonferanse 2014 Volum 3 ;
Deadlock checking by data race detection

Pun, Ka I, Steffen, Martin, Stolz, Volker (2014)

Journal of Logical and Algebraic Methods in Programming 2014 Volum 83 ;s. 400-426
How useful are existing monitoring languages for securing Android apps?

Steven, Arzt, Falzon, Kevin, Follner, Andreas, Rasthofer, Siegfried, Bodden, Eric, Stolz, Volker (2013)

Lecture Notes in Informatics 2013 Volum 215 ;s. 107-122
Interactive Transformations from Object-Oriented Models to Component-Based Models

Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2012)

Lecture Notes in Computer Science (LNCS) 2012 Volum 7253 ;s. 97-114
Special Issue: Harnessing Theories for Tool Support in Software

Stolz, Volker (2012)

Innovations in Systems and Software Engineering 2012