Ansgar Fehnker

According to our database, Ansgar Fehnker authored at least 64 papers between 1998 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

What's in School? - Topic Maps for Secondary School Computer Science.

Ansgar Fehnker

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines.

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Automated Assessment of Learning Objectives in Programming Assignments.

Arthur Rump, Ansgar Fehnker, Angelika Mader

Proceedings of the Intelligent Tutoring Systems - 17th International Conference, 2021

Atelier - Tutor Moderated Comments in Programming Education.

Ansgar Fehnker, Angelika Mader, Arthur Rump

Proceedings of the Technology-Enhanced Learning for a Free, Safe, and Sustainable World, 2021

2020

Out for coffee: with Rob.

Ansgar Fehnker

Acta Informatica, 2020

Double-Spending Analysis of Bitcoin.

Kaylash Chaudhary, Vishal Chand, Ansgar Fehnker

Proceedings of the 24th Pacific Asia Conference on Information Systems, 2020

Atelier: an online platform for programming tutorials.

Ansgar Fehnker, Angelika Mader, Arthur Rump, Margot Rutgers, Lotte Steenmeijer, Chris Witteveen

Proceedings of the CSERC '20: the 9th Computer Science Education Research Conference, 2020

A sports day for programming.

Ansgar Fehnker

Proceedings of the CSERC '20: the 9th Computer Science Education Research Conference, 2020

Tinkering in Informatics as Teaching Method.

Angelika Mader, Ansgar Fehnker, Edwin Dertien

Proceedings of the 12th International Conference on Computer Supported Education, 2020

2019

A Distributed Blockchain Model of Selfish Mining.

Dennis Eijkel, Ansgar Fehnker

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

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

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Twenty Percent and a Few Days - Optimising a Bitcoin Majority Attack.

Ansgar Fehnker, Kaylash Chaudhary

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Adaptive Formal Framework for WMN Routing Protocols.

Mojgan Kamali, Ansgar Fehnker

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

The Smell of Processing.

Remco de Man, Ansgar Fehnker

Proceedings of the 10th International Conference on Computer Supported Education, 2018

Detecting and Addressing Design Smells in Novice Processing Programs.

Ansgar Fehnker, Remco de Man

Proceedings of the Computer Supported Education - 10th International Conference, 2018

2017

Automated Program Analysis for Novice Programmers.

Tim Blok, Ansgar Fehnker

CoRR, 2017

Evaluating the Stream Control Transmission Protocol Using Uppaal.

Shruti Saini, Ansgar Fehnker

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol.

Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

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

Modeling and Verification of the Bitcoin Protocol.

Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga

Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

Model Checking a Server-Side Micro Payment Protocol.

Kaylash Chaudhary, Ansgar Fehnker

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

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

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

Topology-Based Mobility Models for Wireless Networks.

Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.

Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

High Performance Static Analysis for Industry.

Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

Automated Analysis of AODV Using UPPAAL.

Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the 15th ACM International Conference on Modeling, 2012

SMT-Based False Positive Elimination in Static Program Analysis.

Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp

Proceedings of the Formal Methods and Software Engineering, 2012

A Process Algebra for Wireless Mesh Networks.

Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

Proceedings of the Programming Languages and Systems, 2012

2010

Software Metrics in Static Program Analysis.

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif

Proceedings of the Formal Methods and Software Engineering, 2010

Counterexample Guided Path Reduction for Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Proceedings of the Concurrency, 2010

2009

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.

Ansgar Fehnker, Matthias Fruth, Annabelle McIver

Proceedings of the Methods, 2009

An Abstract Specification Language for Static Program Analysis.

Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Fade to Grey: Tuning Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Automatic Bug Detection in Microcontroller Software by Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

On the Impact of Modelling Choices for Distributed Information Spread.

Rena Bakhshi, Ansgar Fehnker

Proceedings of the QEST 2009, 2009

Incremental False Path Elimination for Static Software Analysis.

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Some Assembly Required - Program Analysis of Embedded System Code.

Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

CaVi -- Simulation and Model Checking for Wireless Sensor Networks.

Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Survey on Directed Model Checking.

Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Goanna: Syntactic Software Model Checking.

Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Model Checking Software at Compile Time.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.

Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

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

Formal Techniques for the Analysis of Wireless Networks.

A. K. McIver, Ansgar Fehnker

Proceedings of the Leveraging Applications of Formal Methods, 2006

Goanna - A Static Model Checker.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Proceedings of the Formal Methods: Applications and Technology, 2006

Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols.

Ansgar Fehnker, Peng Gao

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 5th International Conference, 2006

2005

Refining Abstractions of Hybrid Systems Using Counterexample Fragments.

Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Temporal Logic Model Checking.

Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

Managing Verification Activities Using SVM.

Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar

Proceedings of the Formal Methods and Software Engineering, 2004

Benchmarks for Hybrid Systems Verification.

Ansgar Fehnker, Franjo Ivancic

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

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

Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.

Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Modeling and Verifying a Lego Car Using Hybrid I/O Automata.

Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods.

Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002

Verification and optimization of a PLC control schedule.

Ed Brinksma, Angelika Mader, Ansgar Fehnker

Int. J. Softw. Tools Technol. Transf., 2002

2001

Efficient Guiding Towards Cost-Optimality in UPPAAL.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Minimum-Cost Reachability for Priced Timed Automata.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

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

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

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, Wang Yi

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1999

Scheduling a Steel Plant with Timed Automata.

Ansgar Fehnker

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

1998

Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets.

Ansgar Fehnker

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Operational and Logical Semantics for Polling Real-Time Systems.

Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998