| 2026 | TACAS | Iekk: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution). | Paolo Di Biase, Bernd Fischer, Salvatore La Torre, Peter Schrammel, Gennaro Parlato |
| 2025 | EASE | An Anatomy of 488 Faults from Defects4J Based on the Control- and Data-Flow Graph Representations of Programs. | Alexandra van der Spuy, Bernd Fischer |
| 2025 | MSR | Mining Bug Repositories for Multi-Fault Programs. | Dylan Callaghan, Bernd Fischer |
| 2023 | ISSTA | Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. | Dylan Callaghan, Bernd Fischer |
| 2021 | SLE | Automatic grammar repair. | Moeketsi Raselimo, Bernd Fischer |
| 2021 | SLE | Vision: bias in systematic grammar-based test suite construction algorithms. | Christoff Rossouw, Bernd Fischer |
| 2020 | SLE | An interactive feedback system for grammar development (tool paper). | Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer |
| 2020 | SLE | Grammar-based testing for little languages: an experience report with student compilers. | Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer |
| 2020 | SLE | Test case generation from context-free grammars using generalized traversal of LR-automata. | Christoff Rossouw, Bernd Fischer |
| 2019 | ICFCA | ConceptCloud 2.0 Visualisation and Exploration of Geolocation-Rich Semi-Structured Data Sets. | Tiaan du Toit, Joshua Berndt, Katarina Britz, Bernd Fischer |
| 2019 | ICSE | SMT-based refutation of spurious bug reports in the clang static analyzer. | Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole |
| 2019 | SLE | Spectrum-based fault localization for context-free grammars. | Moeketsi Raselimo, Bernd Fischer |
| 2019 | SLE | Breaking parsers: mutation-based generation of programs with guaranteed syntax errors. | Moeketsi Raselimo, Jan Taljaard, Bernd Fischer |
| 2017 | SEFM | Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. | Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2017 | TACAS | Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). | Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2017 | TACAS | DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). | Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer |
| 2016 | ATVA | Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. | Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | FMCAD | Lazy sequentialization for TSO and PSO via shared memory abstractions. | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | ITiCSE | Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment. | Geoff Birch, Bernd Fischer, Michael Poppleton |
| 2016 | TACAS | MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TACAS | Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). | Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TACAS | MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TACAS | Verifying Concurrent Programs by Memory Unwinding. | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TAP | Fast Model-Based Fault Localisation with Test Suites. | Geoff Birch, Bernd Fischer, Michael R. Poppleton |
| 2015 | VISSOFT | Interactive tag cloud visualization of software version control repositories. | Gillian J. Greene, Bernd Fischer |
| 2014 | CAV | Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. | Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | TACAS | Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). | Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | TACAS | ESBMC 1.22 - (Competition Contribution). | Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2014 | TACAS | MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2013 | ICTAC | Preemptive Type Checking in Dynamically Typed Languages. | Neville Grech, Julian Rathke, Bernd Fischer |
| 2013 | TACAS | CSeq: A Sequentialization Tool for C - (Competition Contribution). | Bernd Fischer, Omar Inverso, Gennaro Parlato |
| 2013 | TACAS | Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2012 | GI | 3D Visualisierung von Organismen. | Herbert Thiele, Dennis Trede, Stefan Heldmann, Theodore Alexandrov, Bernd Fischer, Peter Maass |
| 2012 | ICSoft | A Declarative Fine-grained Role-based Access Control Model and Mechanism for the Web Application Domain. | Seyed Hossein Ghotbi, Bernd Fischer |
| 2012 | TACAS | Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). | Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer |
| 2011 | GPCE | Monitoring aspects for the customization of automatically generated code for big-step models. | Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee |
| 2011 | ICSE | Verifying multi-threaded software using smt-based context-bounded model checking. | Lucas C. Cordeiro, Bernd Fischer |
| 2011 | MICCAI | Blood Flow Computation in Phase-Contrast MRI by Minimal Paths in Anisotropic Media. | Michael Schwenke, Anja Hennemuth, Bernd Fischer, Ola Friman |
| 2011 | SEFM | Context-Bounded Model Checking of LTL Properties for ANSI-C Software. | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2011 | SLE | Comparison of Context-Free Grammars Based on Parsing Generated Test Data. | Bernd Fischer, Ralf Lmmel, Vadim Zaytsev |
| 2010 | GPCE | JEqualityGen: generating equality and hashing methods. | Neville Grech, Julian Rathke, Bernd Fischer |
| 2010 | ICTAC | Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. | Ashish Darbari, Bernd Fischer, Joo Marques-Silva |
| 2010 | MICCAI | Recursive Green's Function Registration. | Bjrn Beuthien, Ali Kamen, Bernd Fischer |
| 2010 | SAFECOMP | Deriving Safety Cases for Hierarchical Structure in Model-Based Development. | Nurlida Basir, Ewen Denney, Bernd Fischer |
| 2009 | COCOON | Optimal Transitions for Targeted Protein Quantification: Best Conditioned Submatrix Selection. | Rastislav Srmek, Bernd Fischer, Elias Vicari, Peter Widmayer |
| 2009 | ICFEM | A Lazy Unbounded Model Checker for Event-B. | Paulo J. Matos, Bernd Fischer, Joo Marques-Silva |
| 2009 | IPAS | A kernel representation for exponential splines with global tension. | Sven Barendt, Bernd Fischer, Jan Modersitzki |
| 2009 | TASE | Program Repair as Sound Optimization of Broken Programs. | Bernd Fischer, Ando Saabas, Tarmo Uustalu |
| 2008 | CVPR | Probabilistic image registration and anomaly detection by nonlinear warping. | Verena Kaynig, Bernd Fischer, Joachim M. Buhmann |
| 2008 | GPCE | Generating customized verifiers for automatically generated code. | Ewen Denney, Bernd Fischer |
| 2008 | ICML | The Group-Lasso for generalized linear models: uniqueness of solutions and efficient algorithms. | Volker Roth, Bernd Fischer |
| 2008 | SAFECOMP | Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. | Nurlida Basir, Ewen Denney, Bernd Fischer |
| 2006 | GPCE | A generic annotation inference algorithm for the safety certification of automatically generated code. | Ewen Denney, Bernd Fischer |
| 2006 | ISMB | Semi-supervised LC/MS alignment for differential proteomics. | Bernd Fischer, Jonas Grossmann, Volker Roth, Wilhelm Gruissem, Sacha Baginsky, Joachim M. Buhmann |
| 2006 | ISoLA | Extending Source Code Generators for Evidence-Based Software Certification. | Ewen Denney, Bernd Fischer |
| 2005 | GPCE | Certifiable Program Generation. | Ewen Denney, Bernd Fischer |
| 2005 | SMC | An ensemble approach to building Mercer Kernels with prior information. | Ashok N. Srivastava, Johann Schumann, Bernd Fischer |
| 2004 | CADE | Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. | Ewen Denney, Bernd Fischer, Johann Schumann |
| 2004 | MICCAI | Estimation of Organ Motion from 4D CT for 4D Radiation Therapy Planning of Lung Cancer. | Michael Kaus, Thomas Netsch, Sven Kabus, Vladimir Pekar, Todd McNutt, Bernd Fischer |
| 2003 | FM | Correctness of Source-Level Safety Policies. | Ewen Denney, Bernd Fischer |
| 2003 | LOPSTR | Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). | Bernd Fischer, Eelco Visser |
| 2002 | CADE | AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. | Michael W. Whalen, Johann Schumann, Bernd Fischer |
| 2002 | FM | Synthesizing Certified Code. | Michael W. Whalen, Johann Schumann, Bernd Fischer |
| 2002 | ICCS | Curvature Based Registration with Applications to MR-Mammography. | Bernd Fischer, Jan Modersitzki |
| 1999 | KDD | Towards Automated Synthesis of Data Mining Programs. | Wray L. Buntine, Bernd Fischer, Thomas Pressburger |
| 1997 | CADE | SETHEO Goes Software Engineering: Application of ATP to Software Reuse. | Bernd Fischer, Johann Schumann |