Bernd Fischer
Orcid: 0000-0002-1815-218XAffiliations:
- Stellenbosch University, South Africa
- University of Southampton, UK
According to our database1,
Bernd Fischer
authored at least 112 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.sun.ac.za
On csauthors.net:
Bibliography
2024
Grammar-based test suite construction using coverage-directed algorithms over LR-graphs.
J. Syst. Softw., 2024
J. Syst. Softw., 2024
Proceedings of the Networked Systems - 12th International Conference, 2024
2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023
Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
2022
ACM Trans. Program. Lang. Syst., 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
2021
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021
2020
Test case generation from context-free grammars using generalized traversal of LR-automata.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020
Grammar-based testing for little languages: an experience report with student compilers.
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020
2019
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs.
Softw. Syst. Model., 2019
Breaking parsers: mutation-based generation of programs with guaranteed syntax errors.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
ConceptCloud 2.0 Visualisation and Exploration of Geolocation-Rich Semi-Structured Data Sets.
Proceedings of the Supplementary Proceedings of ICFCA 2019 Conference and Workshops, 2019
2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
2017
Exploratory search of academic publication and citation data using interactive tag cloud visualizations.
Scientometrics, 2017
Visualizing and exploring software version control repositories using interactive tag clouds over formal concept lattices.
Inf. Softw. Technol., 2017
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the Networked Systems - 5th International Conference, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
2016
Int. J. Parallel Program., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
CVExplorer: identifying candidate developers by mining and exploring their open source contributions.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Using Fast Model-Based Fault Localisation to Aid Students in Self-Guided Program Repair and to Improve Assessment.
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
Proceedings of the Third Workshop on Concept Discovery in Unstructured Data co-located with the 13th International Conference on Concept Lattices and Their Applications (CLA 2016), 2016
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
Softw. Syst. Model., 2015
Proceedings of the 3rd IEEE Working Conference on Software Visualization, 2015
Proceedings of the Tests and Proofs - 9th International Conference, 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
2012
IEEE Trans. Software Eng., 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
A Declarative Fine-grained Role-based Access Control Model and Mechanism for the Web Application Domain.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012
2011
CoRR, 2011
Proceedings of the Software Language Engineering - 4th International Conference, 2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011
Proceedings of the Language Descriptions, Tools and Applications, 2011
Proceedings of the Language Descriptions, Tools and Applications, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Monitoring aspects for the customization of automatically generated code for big-step models.
Proceedings of the Generative Programming And Component Engineering, 2011
2010
Proceedings of the Computer Safety, 2010
Proceedings of the Theoretical Aspects of Computing, 2010
Proceedings of the Generative Programming And Component Engineering, 2010
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010
2009
Proceedings of the TASE 2009, 2009
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.
Proceedings of the ASE 2009, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints.
Proceedings of the International Conference on Embedded Software and Systems, 2009
2008
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code.
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.
Proceedings of the Computer Safety, 2008
Proceedings of the Generative Programming and Component Engineering, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2006
J. Autom. Reason., 2006
Int. J. Artif. Intell. Tools, 2006
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
A generic annotation inference algorithm for the safety certification of automatically generated code.
Proceedings of the Generative Programming and Component Engineering, 2006
2005
Proceedings of the IEEE International Conference on Systems, 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the Generative Programming and Component Engineering, 2005
2004
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
2003
J. Funct. Program., 2003
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract).
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
Proceedings of the FME 2003: Formal Methods, 2003
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
2002
Proceedings of the Advances in Neural Information Processing Systems 15 [Neural Information Processing Systems, 2002
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description.
Proceedings of the Automated Deduction, 2002
2001
Proceedings of the Second International Workshop on Rule-Based Programming, 2001
Proceedings of the Ausgezeichnete Informatikdissertationen 2001, 2001
2000
Autom. Softw. Eng., 2000
Proceedings of the Semantics, 2000
1999
J. Univers. Comput. Sci., 1999
Proceedings of the Fifth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 1999
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999
1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
Proceedings of the Automated Deduction, 1997
1994
Die inferenzbasierte Softwareentwicklungsumgebung NORA.
Inform. Forsch. Entwickl., 1994
1992
Softw. Pract. Exp., 1992