The following pages link to Volker Stolz (Q338623):
Displaying 14 items.
- Effect-polymorphic behaviour inference for deadlock checking (Q338624) (← links)
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- Deadlock checking by data race detection (Q465488) (← links)
- Robustness testing for software components (Q988173) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- RCOS: a formal model-driven engineering method for component-based software (Q1762176) (← links)
- MC/DC test cases generation based on BDDs (Q2154030) (← links)
- Automated test case generation for the paxos single-decree protocol using a coloured Petri net model (Q2423754) (← links)
- Deadlock Checking by Data Race Detection (Q2948236) (← links)
- Harnessing rCOS for Tool Support —The CoCoME Experience (Q3526927) (← links)
- Temporal Assertions with Parametrized Propositions (Q3569200) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)
- Modular soundness checking of feature model evolution plans (Q6605374) (← links)