Ansgar Fehnker

Ansgar Fehnker, Ralf Huuck: Model checking driven static analysis for the real world: designing and tuning large scale bug detection. ISSE 9(1): 45-56 (2013)

Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck: High Performance Static Analysis for Industry. Electr. Notes Theor. Comput. Sci. 289: 3-14 (2012)

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

Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp: SMT-Based False Positive Elimination in Static Program Analysis. ICFEM 2012: 316-331

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

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

Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp: Fade to Grey: Tuning Static Program Analysis. Electr. Notes Theor. Comput. Sci. 266: 17-32 (2010)

Ansgar Fehnker, Ralf Huuck, Sean Seefried: Counterexample Guided Path Reduction for Static Program Analysis. Concurrency, Compositionality, and Correctness 2010: 322-341

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif: Software Metrics in Static Program Analysis. ICFEM 2010: 485-500

Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker: An Abstract Specification Language for Static Program Analysis. Electr. Notes Theor. Comput. Sci. 254: 181-197 (2009)

Ansgar Fehnker, Ralf Huuck, Sean Seefried: Incremental False Path Elimination for Static Software Analysis. ATVA 2009: 255-270

Rena Bakhshi, Ansgar Fehnker: On the Impact of Modelling Choices for Distributed Information Spread. QEST 2009: 41-50

Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp: Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278

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

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

Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89

Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver: CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST 2008: 37-38

Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried: Some Assembly Required - Program Analysis of Embedded System Code. SCAM 2008: 15-24

Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. IFM 2007: 253-272

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56

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

Ansgar Fehnker, Peng Gao: Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. ADHOC-NOW 2006: 128-141

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300

A. K. McIver, Ansgar Fehnker: Formal Techniques for the Analysis of Wireless Networks. ISoLA 2006: 263-270

Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith: Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems 2005: 539-558

Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh: Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257

Ansgar Fehnker, Bruce H. Krogh: Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277

Ansgar Fehnker, Franjo Ivancic: Benchmarks for Hybrid Systems Verification. HSCC 2004: 326-341

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

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

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

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

Ed Brinksma, Angelika Mader, Ansgar Fehnker: Verification and optimization of a PLC control schedule. STTT 4(1): 21-33 (2002)

Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn: As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505

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

Gerd Behrmann, Ansgar Fehnker: Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188

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: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124

Ansgar Fehnker: Scheduling a Steel Plant with Timed Automata. RTCSA 1999: 280-286

Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager: Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40

Ansgar Fehnker: Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. HSCC 1998: 110-125