Professor
Volker Stolz
Field of work
EU H2020 project "COEMS - Continuous Observation of Embedded Multicore Systems"
AURORA bilateral project "SecuTrace" NO/FR (2020-2021)
DIKU/CAPES bilateral project "Modern Refactoring" NO/BR (2017-2021)
Research areas
- Software Engineering
- Mobil Application Development
- Runtime Verification
Research groups
Publications
-
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
-
Formal Methods: Foundations and Applications
-
Theoretical Aspects of Computing – ICTAC 2020
-
Refactoring and Active Object Languages
-
Multi-objective Search for Model-based Testing
Show all