Volker Stolz - Concepedia

Author

Volker Stolz

Western Norway University of Applied Sciences ORCID

Also Known As

Pun, Violet Ka I., Stolz, Volker, V. Stolz, Violet Ka I Pun, Volker Stolz

111

Publications

831

Citations

H-Index

Concepts

All Affiliations

Western Norway University of Applied Sciences University of Oslo University of Macau University of Turin RWTH Aachen University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	503
2	Computer Engineering	4	4	79
3	Management	2	2	50
4	Language Studies	1	1	28
5	Social Sciences	1	1	56

Volker Stolz

Publications

503

Citations

H-Index

Page 1

	Year	Citations
Temporal Assertions using AspectJ Volker Stolz, Eric Bodden Electronic Notes in Theoretical Computer Science Temporal AssertionsProgram CheckingEngineeringVerificationSoftware Engineering	2006	178
Refinement and verification in component-based model-driven design Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Science of Computer Programming Architectural DesignEngineeringAutomated ReasoningComponent-based Software EngineeringComponent-based Model-driven Design	2008	56
Runtime Verification of Concurrent Haskell Programs Volker Stolz, Frank Huch Electronic Notes in Theoretical Computer Science Program CheckingEngineeringVerificationSoftware EngineeringConcurrent System	2005	43
Adaptive distributed monitors of spatial properties for cyber–physical systems Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Journal of Systems and Software Cyber Physical SystemsEngineeringCyber MonitoringSystems EngineeringDistributed Systems	2021	29
Temporal Assertions with Parametrized Propositions Volker Stolz Journal of Logic and Computation EngineeringVerificationComputer-aided VerificationAutomated ProofModel Checking	2008	28
An Approach to Flexible Multilevel Modelling Fernando Macías, Adrian Rutle, Volker Stolz, Bergen Open Research Archive (BORA) (University of Bergen) EngineeringModeling MethodFlexible MultilevelSemanticsFlexible Multilevel Modelling	2016	28
QVT-based model transformation using XSLT Dan Li, Xiaoshan Li, Volker Stolz ACM SIGSOFT Software Engineering Notes EngineeringSoftware EngineeringSemantic WebModel TransformationsGraphical Notation	2011	27
rCOS: a formal model-driven engineering method for component-based software Wei Ke, Xiaoshan Li, Zhiming Liu, Frontiers of Computer Science Component-based SoftwareEngineeringComponent TechnologyComponent-based Software EngineeringFormal Methods	2012	25
Robustness testing for software components Bin Lei, Xuandong Li, Zhiming Liu, Science of Computer Programming Software MaintenanceReliability EngineeringEngineeringSoftware ComponentsSoftware System Safety	2010	24
MultEcore: Combining the best of fixed-level and multilevel metamodelling Fernando Macías, Adrian Rutle, Volker Stolz EngineeringManagementMultilevel MetamodellingData AnalyticsMetamodeling Technique	2016	23

Page 1