Volker Stolz
Western Norway University of Applied Sciences(NO)Department of Mathematical Sciences(RU)Western Norway University of Applied Sciences(NO)
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques, Parallel Computing and Optimization Techniques, Security and Verification in Computing, Formal Methods in Verification
Most-Cited Works
- → Temporal Assertions using AspectJ(2006)178 cited
- → Refinement and verification in component-based model-driven design(2008)57 cited
- → Runtime Verification of Concurrent Haskell Programs(2005)43 cited
- → rCOS: Theory and Tool for Component-Based Model Driven Development(2010)33 cited
- → Adaptive distributed monitors of spatial properties for cyber–physical systems(2021)29 cited
- → Temporal Assertions with Parametrized Propositions(2008)28 cited
- → An Approach to Flexible Multilevel Modelling