Searching for authors named "Ansgar Fehnker" – sorted by Relevance.
-
Automotive Control Revisited
- as Approximation of Reachable Sets Ansgar Fehnker CSI P.O. Box 9010, 6500 GL Nijmegen, the Netherlands ansgar
- Add To MetaCart
-
Automotive Control Revisited - Linear Inequalities as Approximation of Reachable Sets
- Automotive Control Revisited Linear Inequalities as Approximation of Reachable Sets Ansgar Fehnker
- Cited by 4 (4 self) – Add To MetaCart
-
Bounding and Heuristics in Forward Reachability Algorithms
- in forward reachability algorithms Ansgar Fehnker Computing Science Institute Nijmegen P.O. Box 9010, 6500
- Cited by 4 (1 self) – Add To MetaCart
-
Scheduling a Steel Plant with Timed Automata
- Scheduling a Steel Plant with Timed Automata Ansgar Fehnker Computing Science Institute
- Cited by 45 (5 self) – Add To MetaCart
-
Formal verification and simulation for performance analysis for probabilistic broadcast protocols
- and Simulation for Performance Analysis for Probabilistic Broadcast Protocols Ansgar Fehnker and Peng Gao
- Cited by 4 (3 self) – Add To MetaCart
-
Benchmarks for Hybrid Systems Verification
- Benchmarks for Hybrid Systems Verification Ansgar Fehnker 1 and Franjo Ivančić 2 1 Carnegie Mellon
- Cited by 14 (1 self) – Add To MetaCart
-
Hybrid System Verification is not a Sinecure - The Electronic Throttle Control Case Study
- Hybrid System Verification is not a Sinecure The Electronic Throttle Control Case Study Ansgar
- Add To MetaCart
-
Modeling and Verifying a Lego Car Using Hybrid I/O Automata
- Modeling and Verifying a Lego Car Using Hybrid I/O Automata Ansgar FEHNKER 1 Frits VAANDRAGER 2
- Cited by 4 (1 self) – Add To MetaCart
-
Refining Abstractions of Hybrid Systems Using Counterexample Fragments
- Refining Abstractions of Hybrid Systems Using Counterexample Fragments Ansgar Fehnker, Edmund
- Cited by 2 (1 self) – Add To MetaCart
-
Goanna: Syntactic Software Model Checking
- Goanna: Syntactic Software Model Checking Ansgar Fehnker, Jörg Brauer, Ralf Huuck, and Sean
- Add To MetaCart

