Professor
Volker Stolz
Field of work
Pre-prints of articles are available through our institutional archive via my CRIStin-profile on the right!
Download my CV: https://lambda.foldr.org/~vs/stolz-4p.pdf
Mastodon: @fm_volker@mastodon.social
Ongoing projects:
- MSCA DN "TUAI - Towards an Understanding of Artificial Intelligence" https://tuai.eu
- General Chair ECOOP'25
Past projects:
- 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)
Courses taught
- DAT153 "Mobile Application Development"
- DAT355 "Model-driven Software Engineering and Reliable Software Systems"
- PCS955 "Model Checking and Software Verification"
- DAT159 "Refactoring"
Research areas
- Software Engineering
- Testing & Monitoring
- Runtime Verification
- Formal Methods
- IoT
Research groups
- Smart Software System (S3) IoT research lab
- Software Engineering
- DAT153, Mobile and Distributed Applications, Spring 2026
- DAT191, Bachelor Thesis, Spring 2026
- DAT300, Master's Thesis, Spring 2026
- DAT300, Master's Thesis, Fall 2025
- DAT355, Model-driven Software Engineering and Reliable Software Systems, Spring 2026
- PCS900, PhD Dissertation in Computer Science: Software Engineering, Sensor Networks and Engineering Computing, Fall 2025
- PCS900, PhD Dissertation in Computer Science: Software Engineering, Sensor Networks and Engineering Computing, Spring 2026
Publications
-
Distributed Runtime Verification in Proximity-Based Networks: A Tutorial on the Aggregate Programming Approach
-
ECOOP Workshop Post-Proceedings
-
Uncertainty-Aware DevOps for Cyber-Physical Systems and Runtime Verification
-
Ruleless Digital Twins
-
Modular soundness checking of feature model evolution plans
Laster...