Operational and Logical Semantics for Polling Real-Time Systems. - Henning Dierks; Ansgar Fehnker; Angelika Mader; Frits W. Vaandrager (FTRTFT, 1998)

Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. - Ansgar Fehnker (HSCC, 1998)

Scheduling a Steel Plant with Timed Automata. - Ansgar Fehnker (RTCSA, 1999)

UPPAAL - Now, Next, and Future. - Tobias Amnell; Gerd Behrmann; Johan Bengtsson; Pedro R. D'Argenio; Alexandre David; Ansgar Fehnker; Thomas Hune; Bertrand Jeannet; Kim Guldstrand Larsen; M. Oliver Möller; Paul Pettersson; Carsten Weise; et al. (MOVEP, 2000)

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 (CAV, 2001)

Minimum-Cost Reachability for Priced Timed Automata. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim Guldstrand Larsen; Paul Pettersson; Judi Romijn; Frits W. Vaandrager (HSCC, 2001)

Efficient Guiding Towards Cost-Optimality in UPPAAL. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim G. Larsen; Paul Pettersson; Judi Romijn (TACAS, 2001)

Verification and optimization of a PLC control schedule. - Ed Brinksma; Angelika Mader; Ansgar Fehnker (Int. J. Softw. Tools Technol. Transf., 2002)

Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. - Olaf Stursberg; Ansgar Fehnker; Zhi Han; Bruce H. Krogh (ADHS, 2003)

Modeling and Verifying a Lego Car Using Hybrid I/O Automata. - Ansgar Fehnker; Frits W. Vaandrager; Miaomiao Zhang (QSIC, 2003)

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. - Edmund M. Clarke; Ansgar Fehnker; Zhi Han; Bruce H. Krogh; Olaf Stursberg; Michael Theobald (TACAS, 2003)

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. - Edmund M. Clarke; Ansgar Fehnker; Zhi Han; Bruce H. Krogh; Joël Ouaknine; Olaf Stursberg; Michael Theobald (Int. J. Found. Comput. Sci., 2003)

Benchmarks for Hybrid Systems Verification. - Ansgar Fehnker; Franjo Ivancic (HSCC, 2004)

Managing Verification Activities Using SVM. - Bill Aldrich; Ansgar Fehnker; Peter H. Feiler; Zhi Han; Bruce H. Krogh; Eric Lim; Shiva Sivashankar (ICFEM, 2004)

Temporal Logic Model Checking. - Edmund M. Clarke; Ansgar Fehnker; Sumit Kumar Jha 001; Helmut Veith (Handbook of Networked and Embedded Control Systems, 2005)

Refining Abstractions of Hybrid Systems Using Counterexample Fragments. - Ansgar Fehnker; Edmund M. Clarke; Sumit Kumar Jha 001; Bruce H. Krogh (HSCC, 2005)

Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. - Ansgar Fehnker; Peng Gao (ADHOC-NOW, 2006)

Goanna - A Static Model Checker. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (FMICS/PDMC, 2006)

Formal Techniques for the Analysis of Wireless Networks. - A. K. McIver; Ansgar Fehnker (ISoLA, 2006)

Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. - Ansgar Fehnker; Bruce H. Krogh (Int. J. Found. Comput. Sci., 2006)

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. - Ansgar Fehnker; Lodewijk van Hoesel; Angelika Mader (IFM, 2007)

Model Checking Software at Compile Time. - Ansgar Fehnker; Ralf Huuck; Patrick Jayet; Michel Lussenburg; Felix Rauch (TASE, 2007)

Goanna: Syntactic Software Model Checking. - Ralf Huuck; Ansgar Fehnker; Sean Seefried; Jörg Brauer (ATVA, 2008)

Survey on Directed Model Checking. - Stefan Edelkamp; Viktor Schuppan; Dragan Bosnacki; Anton Wijs; Ansgar Fehnker; Husain Aljazzar (MoChArt, 2008)

CaVi – Simulation and Model Checking for Wireless Sensor Networks. - Athanassios Boulis; Ansgar Fehnker; Matthias Fruth; Annabelle McIver (QEST, 2008)

Some Assembly Required - Program Analysis of Embedded System Code. - Ansgar Fehnker; Ralf Huuck; Felix Rauch; Sean Seefried (SCAM, 2008)

Incremental False Path Elimination for Static Software Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried (ATVA, 2009)

On the Impact of Modelling Choices for Distributed Information Spread. - Rena Bakhshi; Ansgar Fehnker (QEST, 2009)

Automatic Bug Detection in Microcontroller Software by Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Bastian Schlich; Michael Tapp (SOFSEM, 2009)

Fade to Grey: Tuning Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried; Michael Tapp (TTSS, 2009)

An Abstract Specification Language for Static Program Analysis. - Michael Vistein; Frank Ortmeier; Wolfgang Reif; Ralf Huuck; Ansgar Fehnker (SSV, 2009)

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. - Ansgar Fehnker; Matthias Fruth; Annabelle McIver (Methods, Models and Tools for Fault Tolerance, 2009)

Counterexample Guided Path Reduction for Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried (Concurrency, Compositionality, and Correctness, 2010)

Software Metrics in Static Program Analysis. - Andreas Vogelsang; Ansgar Fehnker; Ralf Huuck; Wolfgang Reif (ICFEM, 2010)

A Process Algebra for Wireless Mesh Networks. - Ansgar Fehnker; Rob J. van Glabbeek; Peter Höfner; Annabelle McIver; Marius Portmann; Wee Lum Tan (ESOP, 2012)

SMT-Based False Positive Elimination in Static Program Analysis. - Maximilian Junker; Ralf Huuck; Ansgar Fehnker; Alexander Knapp (ICFEM, 2012)

A rigorous analysis of AODV and its variants. - Peter Höfner; Rob J. van Glabbeek; Wee Lum Tan; Marius Portmann; Annabelle McIver; Ansgar Fehnker (MSWiM, 2012)

Automated Analysis of AODV Using UPPAAL. - Ansgar Fehnker; Rob J. van Glabbeek; Peter Höfner; Annabelle McIver; Marius Portmann; Wee Lum Tan (TACAS, 2012)

High Performance Static Analysis for Industry. - Mark Bradley; Franck Cassez; Ansgar Fehnker; Thomas Given-Wilson; Ralf Huuck (TAPAS@SAS, 2012)

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. - Jakob Mund; Ralf Huuck; Ansgar Fehnker; Cyrille Artho (ATVA, 2013)

Topology-Based Mobility Models for Wireless Networks. - Ansgar Fehnker; Peter Höfner; Maryam Kamali; Vinay Mehta (QEST, 2013)

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. - Ansgar Fehnker; Rob J. van Glabbeek; Peter Höfner; Annabelle McIver; Marius Portmann; Wee Lum Tan (CoRR, 2013)

Model checking driven static analysis for the real world: designing and tuning large scale bug detection. - Ansgar Fehnker; Ralf Huuck (Innov. Syst. Softw. Eng., 2013)

Model Checking a Server-Side Micro Payment Protocol. - Kaylash Chaudhary; Ansgar Fehnker (FMICS, 2015)

Modeling and Verification of the Bitcoin Protocol. - Kaylash Chaudhary; Ansgar Fehnker; Jaco van de Pol; Mariëlle Stoelinga (MARS, 2015)

Modelling and Analysis of AODV in UPPAAL. - Ansgar Fehnker; Rob J. van Glabbeek; Peter Höfner; Annabelle McIver; Marius Portmann; Wee Lum Tan (CoRR, 2015)

Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. - Kaylash Chaudhary; Ansgar Fehnker; Vinay Mehta (MARS@ETAPS, 2017)

Evaluating the Stream Control Transmission Protocol Using Uppaal. - Shruti Saini; Ansgar Fehnker (MARS@ETAPS, 2017)

Automated Program Analysis for Novice Programmers. - Tim Blok; Ansgar Fehnker (CoRR, 2017)

Detecting and Addressing Design Smells in Novice Processing Programs. - Ansgar Fehnker; Remco de Man (CSEDU (Selected Papers), 2018)

The Smell of Processing. - Remco de Man; Ansgar Fehnker (CSEDU (2), 2018)

Adaptive Formal Framework for WMN Routing Protocols. - Mojgan Kamali; Ansgar Fehnker (FACS, 2018)

Twenty Percent and a Few Days - Optimising a Bitcoin Majority Attack. - Ansgar Fehnker; Kaylash Chaudhary (NFM, 2018)

An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis. - Ansgar Fehnker; Kaylash Chaudhary; Vinay Mehta (NFM, 2018)

A Distributed Blockchain Model of Selfish Mining. - Dennis Eijkel; Ansgar Fehnker (FM Workshops (1), 2019)

Tinkering in Informatics as Teaching Method. - Angelika Mader; Ansgar Fehnker; Edwin Dertien (CSEDU (1), 2020)

A sports day for programming. - Ansgar Fehnker (CSERC, 2020)

Atelier: an online platform for programming tutorials. - Ansgar Fehnker; Angelika Mader; Arthur Rump; Margot Rutgers; Lotte Steenmeijer; Chris Witteveen (CSERC, 2020)

Double-Spending Analysis of Bitcoin. - Kaylash Chaudhary; Vishal Chand; Ansgar Fehnker (PACIS, 2020)

Out for coffee: with Rob. - Ansgar Fehnker (Acta Informatica, 2020)

Atelier - Tutor Moderated Comments in Programming Education. - Ansgar Fehnker; Angelika Mader; Arthur Rump (EC-TEL, 2021)

Automated Assessment of Learning Objectives in Programming Assignments. - Arthur Rump; Ansgar Fehnker; Angelika Mader (ITS, 2021)

Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. - Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker (SEFM, 2021)

What's in School? - Topic Maps for Secondary School Computer Science. - Ansgar Fehnker (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Keeping Humans in the Loop: LLM Supported Oral Examinations. - Ansgar Fehnker; Luke Glover (ITS (1), 2024)

Lazy model checking for recursive state machines. - Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker (Softw. Syst. Model., 2024)