Concepedia

Ansgar Fehnker

AF

22

Publications

763

Citations

14

H-Index

2000

Active since

Affiliations

Data61(Current)

University of Twente

Carnegie Mellon University

Aalborg University

Ansgar Fehnker is an author at Data61 specializing in engineering, verification, and formal methods.

Top concepts

EngineeringFormal VerificationVerificationFormal MethodsComputer ScienceSystems EngineeringComputer EngineeringProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

2000–2020

22

Publications

22

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Edmund M. Clarke, Ansgar Fehnker, Zhi Han et al. · International Journal of Foundations of Computer Science · 2003 · 177 citations

Hybrid System Abstractions, Engineering, Reachability Problem +17

Scheduling a steel plant with timed automata

Ansgar Fehnker · 2003 · 106 citations

Engineering, Reachability Problem, Industrial Engineering +23

Minimum-Cost Reachability for Priced Timed Automata

Gerd Behrmann, Ansgar Fehnker, Thomas Hune et al. · BRICS Report Series · 2001 · 65 citations · Full text

Engineering, Reachability Problem, Verification +17

Verification and optimization of a PLC control schedule

Ed Brinksma, Angelika Mader, Ansgar Fehnker · International Journal on Software Tools for Technology Transfer · 2002 · 53 citations · Full text

Verification of a cruise control system using counterexample-guided search

Olaf Stursberg, Ansgar Fehnker, Zhi Han et al. · Control Engineering Practice · 2004 · 44 citations

Naval Architecture, Engineering, Ship Maneuvering +5

Rows per page

1–5 of 22