Volker Stolz

Available identifiers

zbMath Open stolz.volkerMaRDI QIDQ338623

List of research outcomes

Publication	Date of Publication	Type
MC/DC test cases generation based on BDDs	2022-07-13	Paper
Operational semantics of a weak memory model with channel synchronization	2021-05-04	Paper
Automated test case generation for the paxos single-decree protocol using a coloured Petri net model	2019-06-20	Paper
Operational semantics of a weak memory model with channel synchronization	2019-03-27	Paper
Effect-polymorphic behaviour inference for deadlock checking	2016-11-07	Paper
Deadlock Checking by Data Race Detection	2015-09-30	Paper
Deadlock checking by data race detection	2014-10-23	Paper
RCOS: a formal model-driven engineering method for component-based software	2012-11-15	Paper
Deadlock checking by a behavioral effect system for lock handling	2012-08-14	Paper
Robustness testing for software components	2010-08-26	Paper
Temporal Assertions with Parametrized Propositions	2010-06-17	Paper
Refinement and verification in component-based model-driven design	2009-03-02	Paper
Harnessing rCOS for Tool Support —The CoCoME Experience	2008-09-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Volker Stolz