MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ansgar Fehnker" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

26 documents found, showing 1 through 10. Next 10 →

ATOM

Automotive Control Revisited
by A. Fehnker, Ansgar Fehnker — 1997 — In Henzinger and Sastry [5
… 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
by Ansgar Fehnker — In Henzinger and Sastry [5
…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
by A. Fehnker, Ansgar Fehnker — 2000
… 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
by Ansgar Fehnker — 1999 — In Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA’99). IEEE Computer
…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
by Ansgar Fehnker, Peng Gao — 2006 — In Proc. 5th Conf. on Ad-Hoc, Mobile, and Wireless Networks (ADHOC-NOW’06), volume 4104 of LNCS
… 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
by Ansgar Fehnker, Franjo Ivancic — 2004 — In Hybrid Systems: Computation and Control (HSCC 2004) (2004
…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
by Ansgar Fehnker, Bruce H. Krogh — 2004 — In ATVA 2004
…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
by Ansgar Fehnker, Frits Vaandrager, Miaomiao Zhang — 2003
…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
by Ansgar Fehnker, Edmund Clarke, Sumit Jha, Bruce Krogh — In Hybrid Systems: Computation and Control (HSCC’05), volume 3414 of Lect. Notes Comput. Sci
…Refining Abstractions of Hybrid Systems Using Counterexample Fragments Ansgar Fehnker, Edmund…
Cited by 2 (1 self) – Add To MetaCart

Goanna: Syntactic Software Model Checking
by Ansgar Fehnker, Jörg Brauer, Ralf Huuck, Sean Seefried
…Goanna: Syntactic Software Model Checking Ansgar Fehnker, Jörg Brauer, Ralf Huuck, and Sean…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB