Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Fehnker, Ansgar - National ICT Australia, University of New South Wales
Goanna --A Static Model Checker Ansgar Fehnker1
Hybrid System Verification Is Not a Sinecure The Electronic Throttle Control Case Study
International Journal of Foundations of Computer Science c World Scientific Publishing Company
CITIUS, VILIUS, MELIUS GUIDING AND COST-OPTIMALITY IN MODEL CHECKING
Benchmarks for Hybrid Systems Verification Ansgar Fehnker1
SPECIFICATIONGUIDED ANALYSIS OF HYBRID SYSTEMS USING A HIERARCHY OF
International Journal of Foundations of Computer Science c World Scientific Publishing Company
Formal Verification and Simulation for Performance Analysis for Probabilistic
Verification of a Cruise Control System using CounterexampleGuided Search
Managing Verification Activities Using SVM Bill Aldrich1
CaVi Simulation and Model Checking for Wireless Sensor Networks , A. Fehnker1
Graphical modelling for simulation and formal analysis of wireless network protocols
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks
29/09/2006 Ad-Hoc Now 2006 1 Formal Verification and Simulation forFormal Verification and Simulation for
Refining Abstractions of Hybrid Systems Using Counterexample Fragments
HSCC 2004, University of Pennsylvania Carnegie Mellon Benchmarks for HybridBenchmarks for Hybrid
Creating Correct Network Protocols PhD Defence Oskar Wibling
Formal Techniques for the Analysis of Wireless and A Fehnker2
