ALADIN: A Scanner Generator for Incremental Programming Environments. - Bernd Fischer 002; Carsten Hammer; Werner Struckmann (Softw. Pract. Exp., 1992)

Die inferenzbasierte Softwareentwicklungsumgebung NORA. - Gregor Snelting; Bernd Fischer 002; Franz-Josef Grosch; Matthias Kievernagel; Andreas Zeller (Inform. Forsch. Entwickl., 1994)

SETHEO Goes Software Engineering: Application of ATP to Software Reuse. - Bernd Fischer 002; Johann Schumann (CADE, 1997)

NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. - Johann Schumann; Bernd Fischer 002 (ASE, 1997)

An Integration of Deductive Retrieval into Deductive Synthesis. - Bernd Fischer 002; Jon Whittle 001 (ASE, 1999)

Towards Automated Synthesis of Data Mining Programs. - Wray L. Buntine; Bernd Fischer 002; Thomas Pressburger (KDD, 1999)

Integrating Deduction Techniques in a Software Reuse Application. - Thomas Baar; Bernd Fischer 002; Dirk Fuchs (J. Univers. Comput. Sci., 1999)

Generating Data Analysis Programs from Statistical Models. - Bernd Fischer 002; Johann Schumann; Thomas Pressburger (SAIG, 2000)

Specification-Based Browsing of Software Component Libraries. - Bernd Fischer 002 (Autom. Softw. Eng., 2000)

Deduction-based software component retrieval. - Bernd Fischer 002 (Ausgezeichnete Informatikdissertationen, 2001)

Interpreting Abstract Interpretations in Membership Equational Logic. - Bernd Fischer 002; Grigore Rosu (RULE@PLI, 2001)

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. - Michael W. Whalen; Johann Schumann; Bernd Fischer 002 (CADE, 2002)

Synthesizing Certified Code. - Michael W. Whalen; Johann Schumann; Bernd Fischer 002 (FME, 2002)

Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. - Alexander G. Gray; Bernd Fischer 002; Johann Schumann; Wray L. Buntine (NIPS, 2002)

The 2002 AAAI Spring Symposium Series. - Jussi Karlgren; Pentti Kanerva; Björn Gambäck; Kenneth D. Forbus; Kagan Tumer; Peter Stone 001; Kai Goebel; Gaurav S. Sukhatme; Tucker R. Balch; Bernd Fischer 002; Doug Smith; Sanda M. Harabagiu; et al. (AI Mag., 2002)

Deduction-based software component retrieval. - Bernd Fischer 002 (2002)

Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. - Bernd Fischer 002; Eelco Visser (Domain-Specific Program Generation, 2003)

Correctness of Source-Level Safety Policies. - Ewen Denney; Bernd Fischer 002 (FME, 2003)

Certification Support for Automatically Generated Programs. - Johann Schumann; Bernd Fischer 002; Michael W. Whalen; Jon Whittle 001 (HICSS, 2003)

Applying AutoBayes to the Analysis of Planetary Nebulae Images. - Bernd Fischer 002; Johann Schumann (ASE, 2003)

Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). - Bernd Fischer 002; Eelco Visser (LOPSTR, 2003)

AutoBayes: a system for generating data analysis programs from statistical models. - Bernd Fischer 002; Johann Schumann (J. Funct. Program., 2003)

Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. - Ewen Denney; Bernd Fischer 002; Johann Schumann (IJCAR, 2004)

Adding Assurance to Automatically Generated Code. - Ewen Denney; Bernd Fischer 002; Johann Schumann (HASE, 2004)

Certifiable Program Generation. - Ewen Denney; Bernd Fischer 002 (GPCE, 2005)

Software certificate management (SoftCeMent'05). - Ewen Denney; Bernd Fischer 002; Dieter Hutter; Mark Jones (ASE, 2005)

An ensemble approach to building Mercer Kernels with prior information. - Ashok N. Srivastava; Johann Schumann; Bernd Fischer 002 (SMC, 2005)

A generic annotation inference algorithm for the safety certification of automatically generated code. - Ewen Denney; Bernd Fischer 002 (GPCE, 2006)

Extending Source Code Generators for Evidence-Based Software Certification. - Ewen Denney; Bernd Fischer 002 (ISoLA, 2006)

Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). - Ewen Denney; Bernd Fischer 002 (ASE, 2006)

An Empirical Evaluation of Automated Theorem Provers in Software Certification. - Ewen Denney; Bernd Fischer 002; Johann Schumann (Int. J. Artif. Intell. Tools, 2006)

Empirically Successful Automated Reasoning: Systems Issue. - Bernd Fischer 002; Geoff Sutcliffe; Stephan Schulz 001 (J. Autom. Reason., 2006)

Empirically Successful Automated Reasoning: Applications Issue. - Bernd Fischer 002; Geoff Sutcliffe; Stephan Schulz 001 (J. Autom. Reason., 2006)

Explaining Verification Conditions. - Ewen Denney; Bernd Fischer 002 (AMAST, 2008)

Generating customized verifiers for automatically generated code. - Ewen Denney; Bernd Fischer 002 (GPCE, 2008)

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. - Nurlida Basir; Ewen Denney; Bernd Fischer 002 (SAFECOMP, 2008)

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. - Nurlida Basir; Ewen Denney; Bernd Fischer 002 (SafeCert@ETAPS, 2008)

Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. - Lucas C. Cordeiro; Bernd Fischer 002; Huan Chen 001; João Marques-Silva 001 (ICESS, 2009)

A Lazy Unbounded Model Checker for Event-B. - Paulo J. Matos; Bernd Fischer 002; João Marques-Silva 001 (ICFEM, 2009)

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. - Ewen Denney; Bernd Fischer 002 (ASE, 2009)

Program Repair as Sound Optimization of Broken Programs. - Bernd Fischer 002; Ando Saabas; Tarmo Uustalu (TASE, 2009)

Guest editors' introduction. - Alexander Egyed; Bernd Fischer 002 (Autom. Softw. Eng., 2009)

Industrial-Strength Formally Certified SAT Solving - Ashish Darbari; Bernd Fischer 002; João Marques-Silva 001 (CoRR, 2009)

Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. - Lucas C. Cordeiro; Bernd Fischer 002; João Marques-Silva 001 (ECBS, 2010)

JEqualityGen: generating equality and hashing methods. - Neville Grech; Julian Rathke; Bernd Fischer 002 (GPCE, 2010)

Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. - Ashish Darbari; Bernd Fischer 002; João Marques-Silva 001 (ICTAC, 2010)

Deriving Safety Cases for Hierarchical Structure in Model-Based Development. - Nurlida Basir; Ewen Denney; Bernd Fischer 002 (SAFECOMP, 2010)

Bounded Model Checking of Multi-threaded Software using SMT solvers - Lucas C. Cordeiro; Bernd Fischer 002 (CoRR, 2010)

Monitoring aspects for the customization of automatically generated code for big-step models. - Shahram Esmaeilsabzali; Bernd Fischer 002; Joanne M. Atlee (GPCE, 2011)

Verifying multi-threaded software using smt-based context-bounded model checking. - Lucas C. Cordeiro; Bernd Fischer 002 (ICSE, 2011)

Higher-order transformations with nested concrete syntax. - Giorgios Rob Economopoulos; Bernd Fischer 002 (LDTA, 2011)

VLex: visualizing a lexical analyzer generator - tool demonstration. - Alisdair Jorgensen; Giorgios Rob Economopoulos; Bernd Fischer 002 (LDTA, 2011)

Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. - Raimundo S. Barreto; Lucas C. Cordeiro; Bernd Fischer 002 (SBESC, 2011)

Context-Bounded Model Checking of LTL Properties for ANSI-C Software. - Jeremy Morse; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (SEFM, 2011)

Comparison of Context-Free Grammars Based on Parsing Generated Test Data. - Bernd Fischer 002; Ralf Lämmel; Vadim Zaytsev (SLE, 2011)

Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker - Raimundo S. Barreto; Lucas C. Cordeiro; Bernd Fischer 002 (CoRR, 2011)

A Declarative Fine-grained Role-based Access Control Model and Mechanism for the Web Application Domain. - Seyed Hossein Ghotbi; Bernd Fischer 002 (ICSOFT, 2012)

Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). - Lucas C. Cordeiro; Jeremy Morse; Denis A. Nicole; Bernd Fischer 002 (TACAS, 2012)

SMT-Based Bounded Model Checking for Embedded ANSI-C Software. - Lucas C. Cordeiro; Bernd Fischer 002; João Marques-Silva 001 (IEEE Trans. Software Eng., 2012)

SMT-Based Bounded Model Checking of C++ Programs. - Mikhail Ramalho; Mauro Freitas; Felipe Rodrigues Monteiro Sousa; Hendrio Marques; Lucas C. Cordeiro; Bernd Fischer 002 (ECBS, 2013)

Preemptive Type Checking in Dynamically Typed Languages. - Neville Grech; Julian Rathke; Bernd Fischer 002 (ICTAC, 2013)

CSeq: A concurrency pre-processor for sequential C verification tools. - Bernd Fischer 002; Omar Inverso; Gennaro Parlato (ASE, 2013)

CSeq: A Sequentialization Tool for C - (Competition Contribution). - Bernd Fischer 002; Omar Inverso; Gennaro Parlato (TACAS, 2013)

Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). - Jeremy Morse; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (TACAS, 2013)

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. - Omar Inverso; Ermenegildo Tomasco; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (CAV, 2014)

ConceptCloud: a tagcloud browser for software archives. - Gillian J. Greene; Bernd Fischer 002 (SIGSOFT FSE, 2014)

Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). - Omar Inverso; Ermenegildo Tomasco; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2014)

ESBMC 1.22 - (Competition Contribution). - Jeremy Morse; Mikhail Ramalho; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (TACAS, 2014)

MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). - Ermenegildo Tomasco; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2014)

Applying symbolic bounded model checking to the 2012 RERS greybox challenge. - Jeremy Morse; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (Int. J. Softw. Tools Technol. Transf., 2014)

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. - Omar Inverso; Truc L. Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ASE, 2015)

Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). - Truc L. Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2015)

MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). - Ermenegildo Tomasco; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2015)

Verifying Concurrent Programs by Memory Unwinding. - Ermenegildo Tomasco; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2015)

Fast Model-Based Fault Localisation with Test Suites. - Geoff Birch; Bernd Fischer 002; Michael R. Poppleton (TAP@STAF, 2015)

Interactive tag cloud visualization of software version control repositories. - Gillian J. Greene; Bernd Fischer 002 (VISSOFT, 2015)

Model checking LTL properties over ANSI-C programs with bounded traces. - Jeremy Morse; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (Softw. Syst. Model., 2015)

Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. - Truc L. Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ATVA, 2016)

Single-Focus Broadening Navigation in Concept Lattices. - Gillian J. Greene; Bernd Fischer 002 (CDUD@CLA, 2016)

Lazy sequentialization for TSO and PSO via shared memory abstractions. - Ermenegildo Tomasco; Truc L. Nguyen; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (FMCAD, 2016)

Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment. - Geoff Birch; Bernd Fischer 002; Michael Poppleton (ITiCSE, 2016)

CVExplorer: identifying candidate developers by mining and exploring their open source contributions. - Gillian J. Greene; Bernd Fischer 002 (ASE, 2016)

MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). - Ermenegildo Tomasco; Truc L. Nguyen; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2016)

Synthesizing MPI Implementations from Functional Data-Parallel Programs. - Tristan Aubrey-Jones; Bernd Fischer 002 (Int. J. Parallel Program., 2016)

Parallel bug-finding in concurrent programs via reduced interleaving instances. - Truc L. Nguyen; Peter Schrammel; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ASE, 2017)

Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. - Truc L. Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (NETYS, 2017)

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. - Ermenegildo Tomasco; Truc Lam Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (SEFM, 2017)

Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). - Truc L. Nguyen; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS (2), 2017)

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 002 (TACAS (2), 2017)

Visualizing and exploring software version control repositories using interactive tag clouds over formal concept lattices. - Gillian J. Greene; Marvin Esterhuizen; Bernd Fischer 002 (Inf. Softw. Technol., 2017)

Exploratory search of academic publication and citation data using interactive tag cloud visualizations. - Marcel Dunaiski; Gillian J. Greene; Bernd Fischer 002 (Scientometrics, 2017)

ESBMC 5.0: an industrial-strength C model checker. - Mikhail Y. R. Gadelha; Felipe R. Monteiro; Jeremy Morse; Lucas C. Cordeiro; Bernd Fischer 002; Denis A. Nicole (ASE, 2018)

Preemptive type checking. - Neville Grech; Bernd Fischer 002; Julian Rathke (J. Log. Algebraic Methods Program., 2018)

ConceptCloud 2.0 Visualisation and Exploration of Geolocation-Rich Semi-Structured Data Sets. - Tiaan du Toit; Joshua Berndt; Katarina Britz; Bernd Fischer 002 (ICFCA (Supplements), 2019)

SMT-based refutation of spurious bug reports in the clang static analyzer. - Mikhail Y. R. Gadelha; Enrico Steffinlongo; Lucas C. Cordeiro; Bernd Fischer 002; Denis A. Nicole (ICSE (Companion Volume), 2019)

VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq. - Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ASE, 2019)

Spectrum-based fault localization for context-free grammars. - Moeketsi Raselimo; Bernd Fischer 002 (SLE, 2019)

Breaking parsers: mutation-based generation of programs with guaranteed syntax errors. - Moeketsi Raselimo; Jan Taljaard; Bernd Fischer 002 (SLE, 2019)

Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs. - Geoff Birch; Bernd Fischer 002; Michael Poppleton (Softw. Syst. Model., 2019)

An interactive feedback system for grammar development (tool paper). - Chelsea Barraball; Moeketsi Raselimo; Bernd Fischer 002 (SLE, 2020)

Grammar-based testing for little languages: an experience report with student compilers. - Phillip van Heerden; Moeketsi Raselimo; Konstantinos Sagonas; Bernd Fischer 002 (SLE, 2020)

Test case generation from context-free grammars using generalized traversal of LR-automata. - Christoff Rossouw; Bernd Fischer 002 (SLE, 2020)

Automatic grammar repair. - Moeketsi Raselimo; Bernd Fischer 002 (SLE, 2021)

Vision: bias in systematic grammar-based test suite construction algorithms. - Christoff Rossouw; Bernd Fischer 002 (SLE, 2021)

CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. - Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato; Peter Schrammel (ASE, 2022)

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. - Omar Inverso; Ermenegildo Tomasco; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ACM Trans. Program. Lang. Syst., 2022)

Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. - Dylan Callaghan; Bernd Fischer 002 (ISSTA, 2023)

Static Test Case Prioritization Strategies for Grammar-Based Testing. - Moeketsi Raselimo; Lars Grunske; Bernd Fischer 002 (ASEW, 2023)

Static Data Race Detection via Lazy Sequentialization. - Bernd Fischer 002; Giulio Garbi; Salvatore La Torre; Gennaro Parlato; Peter Schrammel (NETYS, 2024)

Spectrum-based rule- and item-level localization of faults in context-free grammars. - Moeketsi Raselimo; Bernd Fischer 002 (J. Syst. Softw., 2024)

Grammar-based test suite construction using coverage-directed algorithms over LR-graphs. - Christoff Rossouw; Bernd Fischer 002 (J. Syst. Softw., 2024)

Mining Bug Repositories for Multi-Fault Programs. - Dylan Callaghan; Bernd Fischer 002 (MSR, 2025)