Ansgar Fehnker

Dr,

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

Research activity per year

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

Personal profile

Biography

Ansgar Fehnker is an Associate Professor (Teaching and Leadership) in the School of Computing at Macquarie University. He was previously an Associate Professor at the University of Twente, a professor in CS/IS at the University of the South Pacific, and a researcher at National ICT Australia in Sydney. His research interest is the use of automated system and software verification tools, in particular model checking and static analysis, and their application in the design and development of software systems. His work includes verification for cyber-physical systems, static analysis for C/C++, modelling and verification of wireless routing protocols, analysis of block-chain technology and more recently, developing and applying software analysis tools and methods for an educational context. 

External positions

Associate Professor, University of Twente

1 Feb 201614 Nov 2021

Professor, University of the South Pacific

1 Feb 201231 Jan 2016

Researcher, National ICT Australia Limited (NICTA)

1 Nov 200431 Dec 2012

Fingerprint

Dive into the research topics where Ansgar Fehnker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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

  • Atelier Hands-On Training

    Blaas, R., Fehnker, A. & Mader, A. H., 1 Jun 2021

    Research output: Non-traditional research outputDigital or Visual products

    Open Access
  • Atelier – tutor moderated comments in programming education

    Fehnker, A., Mader, A. H. & Rump, A., 2021, Technology-Enhanced Learning for a Free, Safe, and Sustainable World: 16th European Conference on Technology Enhanced Learning, EC-TEL 2021 Bolzano, Italy, September 20–24, 2021 Proceedings. De Laet, T., Klemke, R., Alario-Hoyos, C., Hilliger, I. & Ortega-Arranz, A. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 379-383 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12884 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    1 Citation (Scopus)
  • Automated assessment of learning objectives in programming assignments

    Rump, A., Fehnker, A. & Mader, A., 2021, Intelligent Tutoring Systems: 17th International Conference, ITS 2021 Virtual Event, June 7–11, 2021 Proceedings. Cristea, A. I. & Troussas, C. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 299-309 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12677 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

    3 Citations (Scopus)
  • Be lazy and don’t care: faster CTL model checking for recursive state machines

    Dubslaff, C., Wienhöft, P. & Fehnker, A., 2021, Software Engineering and Formal Methods: 19th International Conference, SEFM 2021 Virtual Event, December 6–10, 2021 Proceedings. Calinescu, R. & Păsăreanu, C. S. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 332-350 19 p. (Lecture Notes in Computer Science; vol. 13085).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review