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
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"
- PCS954 "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
-
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
-
Enforced Dependencies for Active Objects
-
NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series
Laster...