Concepedia

Volker Stolz

VS

13

Publications

503

Citations

12

H-Index

2005

Active since

Affiliations

Western Norway University of Applied Sciences(Current)

University of Oslo

University of Macau

University of Turin

RWTH Aachen University

Volker Stolz is an author at Western Norway University of Applied Sciences specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationSoftware AnalysisSoftware DesignAutomated ReasoningSystems EngineeringSoftware Engineering

Publications per year

2005–2022

13

Publications

13

Temporal Assertions using AspectJ

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

Temporal Assertions, Program Checking, Engineering +20

Refinement and verification in component-based model-driven design

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

Architectural Design, Engineering, Automated Reasoning +12

Runtime Verification of Concurrent Haskell Programs

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

Program Checking, Engineering, Verification +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 · 29 citations · Full text

Cyber Physical Systems, Engineering, Cyber Monitoring +5

Temporal Assertions with Parametrized Propositions

Volker Stolz · Journal of Logic and Computation · 2008 · 28 citations

Engineering, Verification, Computer-aided Verification +19

Rows per page

1–5 of 13