Research Output 1998 2018

Filter
Article
2013
5 Citations
Model checking
Static analysis
Web browsers
Tuning
2012
7 Citations

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: Scientific - peer-reviewArticle

Model checking
Static analysis
Industry
Formal verification
2010
3 Citations

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: Scientific - peer-reviewArticle

Tuning
2009
3 Citations

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: Scientific - peer-reviewArticle

Specifications
Specification languages
Static analysis
Flow control
2006
Model checking
Hybrid systems
Systems analysis
Control systems
2003
114 Citations

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: Scientific - peer-reviewArticle

Hybrid systems
Model checking
Dynamical systems
Systems analysis
2002
20 Citations

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: Scientific - peer-reviewArticle

Model checking
Programmable logic controllers
Controllers
Chemical plants
Hybrid systems
2001
86 Citations

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: Scientific - peer-reviewArticle

180 Citations

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: Scientific - peer-reviewArticle

Uppaal - Now, Next, and Future

Amnell, T., Behrmann, G., Bengtsson, J., d' Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, O., Pettersson, P., Weise, C. & Yi, W. 2001 In : Lecture notes in artificial intelligence. 2067, p. 100-125

Research output: Scientific - peer-reviewArticle