Volker Stolz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modular soundness checking of feature model evolution plans	2024-09-13	Paper
MC/DC test cases generation based on BDDs	2022-07-13	Paper
Operational semantics of a weak memory model with channel synchronization Formal Methods	2021-05-04	Paper
Automated test case generation for the paxos single-decree protocol using a coloured Petri net model Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
Operational semantics of a weak memory model with channel synchronization Journal of Logical and Algebraic Methods in Programming	2019-03-27	Paper
Effect-polymorphic behaviour inference for deadlock checking Journal of Logical and Algebraic Methods in Programming	2016-11-07	Paper
Deadlock checking by data race detection Fundamentals of Software Engineering	2015-09-30	Paper
Deadlock checking by data race detection Journal of Logical and Algebraic Methods in Programming	2014-10-23	Paper
RCOS: a formal model-driven engineering method for component-based software Frontiers of Computer Science	2012-11-15	Paper
Deadlock checking by a behavioral effect system for lock handling The Journal of Logic and Algebraic Programming	2012-08-14	Paper
Robustness testing for software components Science of Computer Programming	2010-08-26	Paper
Temporal Assertions with Parametrized Propositions Journal Of Logic And Computation	2010-06-17	Paper
Refinement and verification in component-based model-driven design Science of Computer Programming	2009-03-02	Paper
Harnessing rCOS for Tool Support —The CoCoME Experience Formal Methods and Hybrid Real-Time Systems	2008-09-25	Paper

Research outcomes over time

This page was built for person: Volker Stolz