Research output per year
Research output 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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research Outputs
-
Atelier Hands-On Training
Blaas, R., Fehnker, A. & Mader, A. H., 1 Jun 2021Research 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
2 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 proceeding › Conference proceeding contribution › peer-review
-
A distributed blockchain model of selfish mining
Eijkel, D. & Fehnker, A., 2020, Formal Methods - FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019 Revised Selected Papers, Part I. Sekerinski, E., Moreira, N. & Oliveira, J. N. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 350-361 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review