The following pages link to Ansgar Fehnker (Q2182660):
Displayed 15 items.
- Out for coffee: with Rob (Q2182661) (← links)
- (Q2769586) (← links)
- A Process Algebra for Wireless Mesh Networks (Q2892733) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
- Incremental False Path Elimination for Static Software Analysis (Q3648704) (← links)
- (Q4417923) (← links)
- (Q4551180) (← links)
- (Q4552463) (← links)
- Counterexample Guided Path Reduction for Static Program Analysis (Q5187836) (← links)
- Hybrid Systems: Computation and Control (Q5307932) (← links)
- Automated Technology for Verification and Analysis (Q5394195) (← links)
- HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY (Q5484908) (← links)
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems (Q5696927) (← links)
- Hybrid Systems: Computation and Control (Q5703926) (← links)
- Be lazy and don't care: faster CTL model checking for recursive state machines (Q6045062) (← links)