• Sign in
  • Sign up
conf.researchr.org / Volker Stolz
  • ASE 2024 profile
  • ASE 2025 profile
  • ECOOP 2019 profile
  • ECOOP 2022 profile
  • ECOOP 2025 profile
  • ECOOP and ISSTA 2018 profile
  • ECOOP and ISSTA 2023 profile
  • ISSTA/ECOOP 2024 profile
Volker Stolz

Registered user since Thu 22 Mar 2018

Name:Volker Stolz
Country:Norway
Affiliation:Høgskulen på Vestlandet
Personal website: https://selabhvl.github.io/vsto/
GitHub: https://github.com/VolkerStolz
Research interests:Software Engineering, Formal Methods, Runtime Verification

Contributions

2025

ASE

  • Committee Member in NIER Track Program Committee within the NIER Track-track

ECOOP

  • General Chair in Organizing Committee

2024

ASE

  • Committee Member in Program Committee within the NIER Track-track

ECOOP

  • Conference Chair of Closing and Invitation to ECOOP 2025 within the Technical Papers-track

2023

VORTEX

  • PC Member in Program Committee within the VORTEX 2023-track
  • Author of Runtime Monitoring of Human Behaviour with Aggregate Computing on Android within the VORTEX 2023-track

2022

VORTEX

  • Session Chair of Second afternoon session (part of VORTEX 2022)
  • Invited Speaker of Hardware-assisted Runtime Monitoring within the VORTEX 2022-track
  • Author of Predictive Semantics for Past-CTL Runtime Monitors within the VORTEX 2022-track

2019

VORTEX

  • Author of Empowering Multilevel DSMLs with Integrated Runtime Verification within the VORTEX 2019-track
  • Author of A Field Calculus Implementation of Spatial Logic within the VORTEX 2019-track

2018

VORTEX

  • Committee Member in Program Committee within the VORTEX-track
  • Author of On Distributed runtime verification by aggregate computing within the VORTEX-track
Share
xThu 12 Jun 18:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up