| 2024 | ITS | Keeping Humans in the Loop: LLM Supported Oral Examinations. | Ansgar Fehnker, Luke Glover |
| 2021 | ITS | Automated Assessment of Learning Objectives in Programming Assignments. | Arthur Rump, Ansgar Fehnker, Angelika Mader |
| 2021 | SEFM | Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. | Clemens Dubslaff, Patrick Wienhft, Ansgar Fehnker |
| 2020 | CSEDU | Tinkering in Informatics as Teaching Method. | Angelika Mader, Ansgar Fehnker, Edwin Dertien |
| 2019 | FM | A Distributed Blockchain Model of Selfish Mining. | Dennis Eijkel, Ansgar Fehnker |
| 2018 | CSEDU | Detecting and Addressing Design Smells in Novice Processing Programs. | Ansgar Fehnker, Remco de Man |
| 2018 | CSEDU | The Smell of Processing. | Remco de Man, Ansgar Fehnker |
| 2015 | FMICS | Model Checking a Server-Side Micro Payment Protocol. | Kaylash Chaudhary, Ansgar Fehnker |
| 2013 | ATVA | The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. | Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho |
| 2012 | ESOP | A Process Algebra for Wireless Mesh Networks. | Ansgar Fehnker, Rob J. van Glabbeek, Peter Hfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
| 2012 | ICFEM | SMT-Based False Positive Elimination in Static Program Analysis. | Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp |
| 2012 | MSWIM | A rigorous analysis of AODV and its variants. | Peter Hfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker |
| 2012 | TACAS | Automated Analysis of AODV Using UPPAAL. | Ansgar Fehnker, Rob J. van Glabbeek, Peter Hfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
| 2010 | ICFEM | Software Metrics in Static Program Analysis. | Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif |
| 2009 | ATVA | Incremental False Path Elimination for Static Software Analysis. | Ansgar Fehnker, Ralf Huuck, Sean Seefried |
| 2009 | SOFSEM | Automatic Bug Detection in Microcontroller Software by Static Program Analysis. | Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp |
| 2008 | ATVA | Goanna: Syntactic Software Model Checking. | Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jrg Brauer |
| 2008 | SCAM | Some Assembly Required - Program Analysis of Embedded System Code. | Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried |
| 2007 | IFM | Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. | Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader |
| 2007 | TASE | Model Checking Software at Compile Time. | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
| 2006 | FMICS | Goanna - A Static Model Checker. | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
| 2006 | ISoLA | Formal Techniques for the Analysis of Wireless Networks. | A. K. McIver, Ansgar Fehnker |
| 2004 | ATVA | Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. | Ansgar Fehnker, Bruce H. Krogh |
| 2004 | ICFEM | Managing Verification Activities Using SVM. | Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar |
| 2003 | TACAS | Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. | Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald |
| 2001 | CAV | As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. | Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn |
| 2001 | TACAS | Efficient Guiding Towards Cost-Optimality in UPPAAL. | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn |
| 1999 | RTCSA | Scheduling a Steel Plant with Timed Automata. | Ansgar Fehnker |