Volker Stolz

Temporal Assertions using AspectJ

Volker Stolz, Eric Bodden · Electronic Notes in Theoretical Computer Science · 2006 · 180 citations · Full text

Computing, Computer Science, Formal Methods +16

Refinement and verification in component-based model-driven design

Zhenbang Chen, Zhiming Liu, Anders P. Ravn et al. · Science of Computer Programming · 2008 · 58 citations

Computing, Computer Science, Systems Engineering +12

Runtime Verification of Concurrent Haskell Programs

Volker Stolz, Frank Huch · Electronic Notes in Theoretical Computer Science · 2005 · 43 citations · Full text

Computing, Computer Engineering, Computer Science +17

Adaptive distributed monitors of spatial properties for cyber–physical systems

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani et al. · Journal of Systems and Software · 2021 · 31 citations · Full text

Computing, Computer Science, Systems Engineering +13

An Approach to Flexible Multilevel Modelling

Fernando Macías, Adrian Rutle, Volker Stolz et al. · Bergen Open Research Archive (BORA) (University of Bergen) · 2016 · 29 citations · Full text

Engineering, Systems Engineering, Model-based Systems Engineering +16