The following pages link to Stefan Leue (Q420802):
Displaying 20 items.
- K\(^{\ast}\): A heuristic search algorithm for finding the \(k\) shortest paths (Q420803) (← links)
- Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN (Q1856167) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- Dynamic causes for the violation of timed reachability properties (Q1996021) (← links)
- (Q2729086) (← links)
- Causality Checking for Complex System Models (Q2926648) (← links)
- An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking (Q3297592) (← links)
- Extended Directed Search for Probabilistic Timed Reachability (Q3511221) (← links)
- Specification Languages for Stutter-Invariant Regular Properties (Q3648702) (← links)
- (Q4356437) (← links)
- (Q4530808) (← links)
- (Q4738472) (← links)
- Model Checking Software (Q5308378) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308416) (← links)
- Model Checking Software (Q5394554) (← links)
- A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems (Q5756591) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897962) (← links)
- Model Checking Software (Q5899046) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899067) (← links)
- Automated repair for timed systems (Q6108434) (← links)
