No photo of Ansgar Fehnker

Ansgar Fehnker

dr.

19982018
If you made any changes in Pure these will be visible here soon.

Research Output 1998 2018

Filter
Article
2013
6 Citations (Scopus)

Model checking driven static analysis for the real world: designing and tuning large scale bug detection

Fehnker, A. & Huuck, R., 2013, In : Innovations in systems and software engineering. 9, 1, p. 45-56 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Model checking
Static analysis
Tuning
Web browsers
Data storage equipment
2012
8 Citations (Scopus)
7 Downloads (Pure)

High Performance Static Analysis for Industry

Bradley, M., Cassez, F., Fehnker, A., Given-Wilson, T. & Huuck, R., 2012, In : Electronic proceedings in theoretical computer science. 289, p. 3-14 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Static analysis
Industry
Formal verification
2010
5 Citations (Scopus)
3 Downloads (Pure)

Fade to Grey: Tuning Static Program Analysis

Fehnker, A., Huuck, R., Seefried, S. & Tapp, M., 2010, In : Electronic notes in theoretical computer science. 266, p. 17-32 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2009
3 Citations (Scopus)
9 Downloads (Pure)

An Abstract Specification Language for Static Program Analysis

Vistein, M., Ortmeier, F., Reif, W., Huuck, R. & Fehnker, A., 2009, In : Electronic notes in theoretical computer science. 254, p. 181-197 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Specification languages
Program Analysis
Specification Languages
Static Analysis
Specification
2006
1 Citation (Scopus)
13 Downloads (Pure)

Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study

Fehnker, A. & Krogh, B. H., 2006, In : International journal of foundations of computer science. 17, 4, p. 885-902 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Hybrid systems
Systems analysis
Control systems
2003
121 Citations (Scopus)
9 Downloads (Pure)

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

Clarke, E. M., Fehnker, A., Han, Z., Krogh, B. H., Ouaknine, J., Stursberg, O. & Theobald, M., 2003, In : International journal of foundations of computer science. 14, 4, p. 583-604 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Hybrid systems
Dynamical systems
Systems analysis
2002
23 Citations (Scopus)
31 Downloads (Pure)

Verification and Optimization of a PLC Control Schedule

Brinksma, H., Mader, A. H., Fehnker, A. & Fehnker, A., 2002, In : International journal on software tools for technology transfer. 4, 1, p. 21-33 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2001
90 Citations (Scopus)

Efficient Guiding Towards Cost-Optimality in Uppaal

Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P. & Romijn, J. M. T., 2001, In : Lecture notes in artificial intelligence. 2031, p. - 188 p.

Research output: Contribution to journalArticleAcademicpeer-review

196 Citations (Scopus)

Minimum-Cost Reachability for Priced Timed Automata

Larsen, K. G., Fehnker, A., Hune, T. & Vaandrager, F., 2001, In : Lecture notes in artificial intelligence. 2034, p. 147-161

Research output: Contribution to journalArticleAcademicpeer-review