Ansgar Fehnker

Dr,

Calculated based on number of publications stored in Pure and citations from Scopus
19982022

Research activity per year

Filter
Chapter

Search results

  • 2022

    What's in school? – topic maps for secondary school computer science

    Fehnker, A., 2022, A journey from process algebra via timed automata to model learning : essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Cham: Springer, Springer Nature, p. 151-163 13 p. (Lecture Notes in Computer Science; vol. 13560).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2010

    Counterexample guided path reduction for static program analysis

    Fehnker, A., Huuck, R. & Seefried, S., 2010, Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever. Dams, D., Hannemann, U. & Steffen, M. (eds.). Berlin: Springer, Springer Nature, p. 322-341 20 p. (Lecture Notes in Computer Science; vol. 5930).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    6 Citations (Scopus)
  • 2005

    Temporal logic model checking

    Clarke, E., Fehnker, A., Jha, S. K. & Veith, H., 2005, Handbook of Networked and Embedded Control Systems. Hristu-Varsakelis, D. & Levine, W. S. (eds.). New York, NY: Birkhauser Boston, p. 539-558 20 p. (Control engineering).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2001

    As cheap as possible: efficient cost-optimal reachability for priced timed automata

    Larsen, K., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Petterson, P. & Romijn, J., 2001, Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18-22, 2001, Proceedings. Berry, G., Comon, H. & Finkel, A. (eds.). Berlin: Springer, Springer Nature, p. 493-505 13 p. (Lecture Notes in Computer Science; vol. 2102).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    113 Citations (Scopus)