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
Research groups
- Smart Software System (S3) IoT research lab
- Software Engineering
- DAT153, Mobile and Distributed Applications, Spring 2025
- DAT191, Bachelor Thesis, Spring 2025
- DAT300, Master's Thesis, Fall 2024
- DAT300, Master's Thesis, Spring 2025
- DAT355, Model-driven Software Engineering and Reliable Software Systems, Spring 2025
- ING303, Systems Thinking and Innovation for Engineers, Fall 2024
- PCS900, PhD Dissertation in Computer Science: Software Engineering, Sensor Networks and Engineering Computing, Fall 2024
- PCS900, PhD Dissertation in Computer Science: Software Engineering, Sensor Networks and Engineering Computing, Spring 2025
Publications
-
Toward Digital-Twin-Assisted Data Acquisition in Underwater Acoustic Sensor Networks
-
Automated Clone Elimination in Python Tests
-
Evaluation of K-Means Time Series Clustering Based on Z-Normalization and NP-Free
-
Runtime Verification of Timed Petri Nets
-
Preface: Special issue on Theoretical Aspects of Computing
Laster...