Concepedia

Bernd Fischer

BF

42

Publications

1.5K

Citations

19

H-Index

2000

Active since

Affiliations

University of Southampton(Current)

Stellenbosch University

Ames Research Center

Research Institute for Advanced Computer Science

University of Salerno

Bernd Fischer is an author at University of Southampton specializing in computer science, software analysis, and program analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisFormal VerificationFormal MethodsSoftware TestingSoftware EngineeringVerificationComputer Engineering

Publications per year

2000–2021

42

Publications

42

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Lucas C. Cordeiro, Bernd Fischer, João Marques‐Silva · 2009 · 200 citations

Program Checking, Engineering, Hardware Verification Language +20

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Lucas C. Cordeiro, Bernd Fischer, João Marques‐Silva · IEEE Transactions on Software Engineering · 2011 · 150 citations

Engineering, Hardware Verification Language, Verification +18

Verifying multi-threaded software using smt-based context-bounded model checking

Lucas C. Cordeiro, Bernd Fischer · 2011 · 137 citations

Program Checking, Engineering, Verification +17

AutoBayes: a system for generating data analysis programs from statistical models

Bernd Fischer, Johann Schumann · Journal of Functional Programming · 2003 · 106 citations · Full text

ESBMC 5.0: an industrial-strength C model checker

Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse et al. · 2018 · 99 citations

Program Checking, Engineering, Hardware Verification Language +23

Rows per page

1–5 of 42