Volker Stolz
Email: Send email

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:

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