Bernd Fischer

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 35

Top Venues

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Moeketsi Raselimo, Bernd Fischer
Spectrum-based rule- and item-level localization of faults in context-free grammars. J. Syst. Softw. 215 (2024)
Dylan Callaghan, Bernd Fischer
Mining Bug Repositories for Multi-Fault Programs. CoRR (2024)
Christoff Rossouw, Bernd Fischer
Grammar-based test suite construction using coverage-directed algorithms over LR-graphs. J. Syst. Softw. 214 (2024)
Dylan Callaghan, Bernd Fischer
Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. ISSTA (2023)
Moeketsi Raselimo, Lars Grunske, Bernd Fischer
Static Test Case Prioritization Strategies for Grammar-Based Testing. ASEW (2023)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Bernd Fischer, Salvatore La Torre, Gennaro Parlato, Peter Schrammel
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. ASE (2022)
Christoff Rossouw, Bernd Fischer
Vision: bias in systematic grammar-based test suite construction algorithms. SLE (2021)
Moeketsi Raselimo, Bernd Fischer
Automatic grammar repair. SLE (2021)
Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer
Grammar-based testing for little languages: an experience report with student compilers. SLE (2020)
Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer
An interactive feedback system for grammar development (tool paper). SLE (2020)
Christoff Rossouw, Bernd Fischer
Test case generation from context-free grammars using generalized traversal of LR-automata. SLE (2020)
Tiaan du Toit, Joshua Berndt, Katarina Britz, Bernd Fischer
ConceptCloud 2.0 Visualisation and Exploration of Geolocation-Rich Semi-Structured Data Sets. ICFCA (Supplements) (2019)
Moeketsi Raselimo, Jan Taljaard, Bernd Fischer
Breaking parsers: mutation-based generation of programs with guaranteed syntax errors. SLE (2019)
Bernd Fischer, Salvatore La Torre, Gennaro Parlato
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq. ASE (2019)
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
SMT-based refutation of spurious bug reports in the clang static analyzer. ICSE (Companion Volume) (2019)
Moeketsi Raselimo, Bernd Fischer
Spectrum-based fault localization for context-free grammars. SLE (2019)
Geoff Birch, Bernd Fischer, Michael Poppleton
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs. Softw. Syst. Model. 18 (1) (2019)
Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. CoRR (2018)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
ESBMC 5.0: an industrial-strength C model checker. ASE (2018)
Neville Grech, Bernd Fischer, Julian Rathke
Preemptive type checking. J. Log. Algebraic Methods Program. 101 (2018)
Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). TACAS (2) (2017)
Marcel Dunaiski, Gillian J. Greene, Bernd Fischer
Exploratory search of academic publication and citation data using interactive tag cloud visualizations. Scientometrics 110 (3) (2017)
Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Parallel bug-finding in concurrent programs via reduced interleaving instances. ASE (2017)
Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. SEFM (2017)
Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. NETYS (2017)
Gillian J. Greene, Marvin Esterhuizen, Bernd Fischer
Visualizing and exploring software version control repositories using interactive tag clouds over formal concept lattices. Inf. Softw. Technol. 87 (2017)
Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Gillian J. Greene, Bernd Fischer
Single-Focus Broadening Navigation in Concept Lattices. CDUD@CLA (2016)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy sequentialization for TSO and PSO via shared memory abstractions. FMCAD (2016)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). TACAS (2016)
Gillian J. Greene, Bernd Fischer
CVExplorer: identifying candidate developers by mining and exploring their open source contributions. ASE (2016)
Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. ATVA (2016)
Tristan Aubrey-Jones, Bernd Fischer
Synthesizing MPI Implementations from Functional Data-Parallel Programs. Int. J. Parallel Program. 44 (3) (2016)
Geoff Birch, Bernd Fischer, Michael Poppleton
Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment. ITiCSE (2016)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Verifying Concurrent Programs by Memory Unwinding. TACAS (2015)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Model checking LTL properties over ANSI-C programs with bounded traces. Softw. Syst. Model. 14 (1) (2015)
Gillian J. Greene, Bernd Fischer
Interactive tag cloud visualization of software version control repositories. VISSOFT (2015)
Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). TACAS (2015)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). TACAS (2015)
Geoff Birch, Bernd Fischer, Michael R. Poppleton
Fast Model-Based Fault Localisation with Test Suites. TAP@STAF (2015)
Omar Inverso, Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. ASE (2015)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV (2014)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). TACAS (2014)
Gillian J. Greene, Bernd Fischer
ConceptCloud: a tagcloud browser for software archives. SIGSOFT FSE (2014)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). TACAS (2014)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Applying symbolic bounded model checking to the 2012 RERS greybox challenge. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
ESBMC 1.22 - (Competition Contribution). TACAS (2014)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). TACAS (2013)
Bernd Fischer, Omar Inverso, Gennaro Parlato
CSeq: A concurrency pre-processor for sequential C verification tools. ASE (2013)
Neville Grech, Julian Rathke, Bernd Fischer
Preemptive Type Checking in Dynamically Typed Languages. ICTAC (2013)
Bernd Fischer, Omar Inverso, Gennaro Parlato
CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS (2013)
Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer
SMT-Based Bounded Model Checking of C++ Programs. ECBS (2013)
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Trans. Software Eng. 38 (4) (2012)
Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS (2012)
Seyed Hossein Ghotbi, Bernd Fischer
A Declarative Fine-grained Role-based Access Control Model and Mechanism for the Web Application Domain. ICSOFT (2012)
Bernd Fischer, Ralf Lämmel, Vadim Zaytsev
Comparison of Context-Free Grammars Based on Parsing Generated Test Data. SLE (2011)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM (2011)
Giorgios Rob Economopoulos, Bernd Fischer
Higher-order transformations with nested concrete syntax. LDTA (2011)
Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee
Monitoring aspects for the customization of automatically generated code for big-step models. GPCE (2011)
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker CoRR (2011)
Alisdair Jorgensen, Giorgios Rob Economopoulos, Bernd Fischer
VLex: visualizing a lexical analyzer generator - tool demonstration. LDTA (2011)
Lucas C. Cordeiro, Bernd Fischer
Verifying multi-threaded software using smt-based context-bounded model checking. ICSE (2011)
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. SBESC (2011)
Neville Grech, Julian Rathke, Bernd Fischer
JEqualityGen: generating equality and hashing methods. GPCE (2010)
Lucas C. Cordeiro, Bernd Fischer
Bounded Model Checking of Multi-threaded Software using SMT solvers CoRR (2010)
Nurlida Basir, Ewen Denney, Bernd Fischer
Deriving Safety Cases for Hierarchical Structure in Model-Based Development. SAFECOMP (2010)
Ashish Darbari, Bernd Fischer, João Marques-Silva
Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. ICTAC (2010)
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. ECBS (2010)
Lucas C. Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. ICESS (2009)
Lucas C. Cordeiro, Bernd Fischer, João P. Marques Silva
SMT-Based Bounded Model Checking for Embedded ANSI-C Software CoRR (2009)
Lucas C. Cordeiro, Bernd Fischer, João P. Marques Silva
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking CoRR (2009)
Ashish Darbari, Bernd Fischer, João P. Marques Silva
Industrial-Strength Formally Certified SAT Solving CoRR (2009)
Nurlida Basir, Ewen Denney, Bernd Fischer
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Ewen Denney, Bernd Fischer
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. ASE (2009)
Bernd Fischer, Ando Saabas, Tarmo Uustalu
Program Repair as Sound Optimization of Broken Programs. TASE (2009)
Alexander Egyed, Bernd Fischer
Guest editors' introduction. Autom. Softw. Eng. 16 (1) (2009)
Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ASE (2009)
Paulo J. Matos, Bernd Fischer, João P. Marques Silva
A Lazy Unbounded Model Checker for Event-B. ICFEM (2009)
Nurlida Basir, Ewen Denney, Bernd Fischer
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. SAFECOMP (2008)
Ewen Denney, Bernd Fischer
Generating customized verifiers for automatically generated code. GPCE (2008)
Ewen Denney, Bernd Fischer
Explaining Verification Conditions. AMAST (2008)
Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
Empirically Successful Automated Reasoning: Systems Issue. J. Autom. Reason. 36 (4) (2006)
Ewen Denney, Bernd Fischer
A generic annotation inference algorithm for the safety certification of automatically generated code. GPCE (2006)
Ewen Denney, Bernd Fischer
Extending Source Code Generators for Evidence-Based Software Certification. ISoLA (2006)
Bernd Fischer, Geoff Sutcliffe, Stephan Schulz
Empirically Successful Automated Reasoning: Applications Issue. J. Autom. Reason. 37 (1-2) (2006)
Ewen Denney, Bernd Fischer
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE (2006)
Ewen Denney, Bernd Fischer, Johann Schumann
An Empirical Evaluation of Automated Theorem Provers in Software Certification. Int. J. Artif. Intell. Tools 15 (1) (2006)
Ashok N. Srivastava, Johann Schumann, Bernd Fischer
An ensemble approach to building Mercer Kernels with prior information. SMC (2005)
Ewen Denney, Bernd Fischer
Certifiable Program Generation. GPCE (2005)
Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones
Software certificate management (SoftCeMent'05). ASE (2005)
Ewen Denney, Bernd Fischer, Johann Schumann
Adding Assurance to Automatically Generated Code. HASE (2004)
Ewen Denney, Bernd Fischer, Johann Schumann
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. IJCAR (2004)
Bernd Fischer, Johann Schumann
AutoBayes: a system for generating data analysis programs from statistical models. J. Funct. Program. 13 (3) (2003)
Ewen Denney, Bernd Fischer
Correctness of Source-Level Safety Policies. FME (2003)
Bernd Fischer, Eelco Visser
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. Domain-Specific Program Generation (2003)
Bernd Fischer, Johann Schumann
Applying AutoBayes to the Analysis of Planetary Nebulae Images. ASE (2003)
Bernd Fischer, Eelco Visser
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). LOPSTR (2003)
Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle
Certification Support for Automatically Generated Programs. HICSS (2003)
Michael W. Whalen, Johann Schumann, Bernd Fischer
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE (2002)

Bernd Fischer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernd Fischer