Ansgar Fehnker

View Scopus Profile

Ansgar Fehnker

Dr,

 https://orcid.org/0000-0002-5326-3432
Calculated based on number of publications stored in Pure and citations from Scopus
1998 …2024

Research activity per year

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 2016 → 14 Nov 2021

Professor, University of the South Pacific

1 Feb 2012 → 31 Jan 2016

Researcher, National ICT Australia Limited (NICTA)

1 Nov 2004 → 31 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.
  • 2 Similar Profiles
View full fingerprint

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
Explore network further

  • Lazy model checking for recursive state machines

    Dubslaff, C., Wienhöft, P. & Fehnker, A., Apr 2024, In: Software and Systems Modeling. 23, 2, p. 369-401 33 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    2 Downloads (Pure)

  • 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 proceeding › Chapter › peer-review

  • Atelier Hands-On Training

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

    Research output: Non-traditional research output › Digital 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 proceeding › Conference proceeding contribution › peer-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 proceeding › Conference proceeding contribution › peer-review

    8 Citations (Scopus)
View all 72 research outputs