Ansgar Fehnker
Macquarie University(AU)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Logic, programming, and type systems, Teaching and Learning Programming
Most-Cited Works
- → Minimum-Cost Reachability for Priced Time Automata(2001)297 cited
- → Benchmarks for Hybrid Systems Verification(2004)185 cited
- → Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems(2003)177 cited
- → As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata(2001)140 cited
- → Efficient Guiding Towards Cost-Optimality in UPPAAL(2001)138 cited
- → Scheduling a steel plant with timed automata(2003)106 cited
- → Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement(2003)103 cited
- → Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks(2007)86 cited
- → A Process Algebra for Wireless Mesh Networks(2012)76 cited
- → UPPAAL - Now, Next, and Future(2001)66 cited