Volker Stolz

From MaRDI portal
Person:338623

Available identifiers

zbMath Open stolz.volkerMaRDI QIDQ338623

List of research outcomes





PublicationDate of PublicationType
Modular soundness checking of feature model evolution plans2024-09-13Paper
MC/DC test cases generation based on BDDs2022-07-13Paper
Operational semantics of a weak memory model with channel synchronization2021-05-04Paper
Automated test case generation for the paxos single-decree protocol using a coloured Petri net model2019-06-20Paper
Operational semantics of a weak memory model with channel synchronization2019-03-27Paper
Effect-polymorphic behaviour inference for deadlock checking2016-11-07Paper
Deadlock Checking by Data Race Detection2015-09-30Paper
Deadlock checking by data race detection2014-10-23Paper
RCOS: a formal model-driven engineering method for component-based software2012-11-15Paper
Deadlock checking by a behavioral effect system for lock handling2012-08-14Paper
Robustness testing for software components2010-08-26Paper
Temporal Assertions with Parametrized Propositions2010-06-17Paper
Refinement and verification in component-based model-driven design2009-03-02Paper
Harnessing rCOS for Tool Support —The CoCoME Experience2008-09-25Paper

Research outcomes over time

This page was built for person: Volker Stolz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:338623&oldid=6957035"
Powered by MediaWiki