Hat mitgewirkt an:
-
Directed explicit state-space search in the generation of counterexamples for stochastic model checking
-
Dynamic Causes for the Violation of Timed Reachability Properties
-
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
-
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking