×
Compute Distance To:
Author ID: stolz.volker Recent zbMATH articles by "Stolz, Volker"
Published as: Stolz, Volker

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 17 times in 13 Documents Cited by Year
Refinement and verification in component-based model-driven design. Zbl 1178.68158
Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun
5
2009
Temporal assertions with parametrized propositions. Zbl 1203.68103
Stolz, Volker
2
2010
Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097
Pun, Ka I.; Steffen, Martin; Stolz, Volker
2
2012
RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
2
2012
Harnessing rCOS for tool support – the CoCoME experience. Zbl 1151.68380
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu
2
2007
Deadlock checking by data race detection. Zbl 1371.68199
Pun, Ka I; Steffen, Martin; Stolz, Volker
1
2014
Deadlock checking by data race detection. Zbl 1434.68112
Pun, Ka I; Steffen, Martin; Stolz, Volker
1
2013
Operational semantics of a weak memory model with channel synchronization. Zbl 1460.68027
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker
1
2018
Operational semantics of a weak memory model with channel synchronization. Zbl 1417.68093
Fava, Daniel S.; Steffen, Martin; Stolz, Volker
1
2019
Operational semantics of a weak memory model with channel synchronization. Zbl 1417.68093
Fava, Daniel S.; Steffen, Martin; Stolz, Volker
1
2019
Operational semantics of a weak memory model with channel synchronization. Zbl 1460.68027
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker
1
2018
Deadlock checking by data race detection. Zbl 1371.68199
Pun, Ka I; Steffen, Martin; Stolz, Volker
1
2014
Deadlock checking by data race detection. Zbl 1434.68112
Pun, Ka I; Steffen, Martin; Stolz, Volker
1
2013
Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097
Pun, Ka I.; Steffen, Martin; Stolz, Volker
2
2012
RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
2
2012
Temporal assertions with parametrized propositions. Zbl 1203.68103
Stolz, Volker
2
2010
Refinement and verification in component-based model-driven design. Zbl 1178.68158
Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun
5
2009
Harnessing rCOS for tool support – the CoCoME experience. Zbl 1151.68380
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu
2
2007

Citations by Year