Volker Stolz
Reliable Systems (Associate professor) - University of Oslo
Department of Computer science, Electrical engineering and Mathematical sciences (Professor) - Western Norway University of Applied Sciences
Contact information
Universitetet i Oslo
Høgskulen på Vestlandet
Other
Private e-mail
Website
Personal website
Academic disciplines
Information and communication science
Subjects
Country
Macau
Germany
Main scientific works
Projects
GoRETech - Go Runtime Enforcement Techniques
Runtime Verification for ABS Product Lines
Multilevel Modelling and Domain-Specific Languages
Methods and Tool Support for Refinement, Model Transformation and Verification of Network System
Security-relevant analysis of execution traces
Applied Runtime Verification (ARV)
COEMS - Continuous Observation of Embedded Multicore Systems