Bernd Fischer

Cited by

	All	Since 2017
Citations	3273	1295
h-index	32	19
i10-index	82	32

320

160

240

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202210 10 20 24 50 42 46 41 70 96 89 94 79 82 83 96 91 103 133 165 228 216 316 235 195 207 198 142

Public access

View all

17 articles

1 article

available

not available

Based on funding mandates

Co-authors

Lucas CordeiroReader, Dept of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
Gennaro ParlatoAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, ItalyVerified email at gssi.it
ermenegildo tomascoUniversity of SouthamptonVerified email at soton.ac.uk
Truc Lam NguyenUniversity of SouthamptonVerified email at soton.ac.uk
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Jeremy MorseUniversity of BristolVerified email at bristol.ac.uk
Gillian GreeneComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Nurlida BasirLecturer of Computer Science, Universiti Sains Islam MalaysiaVerified email at usim.edu.my
Mikhail Yasha Ramalho GadelhaIgaliaVerified email at igalia.com
Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
Wray BuntineProfessor, VinUniversityVerified email at vinuni.edu.vn
Gregor SneltingKITVerified email at kit.edu
Felipe R. MonteiroAmazonVerified email at amazon.com
Jon WhittleCSIRO's Data61Verified email at data61.csiro.au
Moeketsi RaselimoComputer Science Division, Stellenbosch UniversityVerified email at sun.ac.za
Michael PoppletonLecturer in Formal Methods, University of SouthamptonVerified email at ecs.soton.ac.uk
Ashish DarbariFOUNDER & CEO, AXIOMISEVerified email at DARBARI.ORG

Bernd Fischer

Computer Science Division, Stellenbosch University

Verified email at cs.sun.ac.za - Homepage

software engineering program generation program verification formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
SMT-based bounded model checking for embedded ANSI-C software L Cordeiro, B Fischer, J Marques-Silva IEEE Transactions on Software Engineering 38 (4), 957-974, 2011	351	2011
Verifying multi-threaded software using SMT-based context-bounded model checking L Cordeiro, B Fischer 2011 33rd International Conference on Software Engineering (ICSE), 331-340, 2011	191	2011
AutoBayes: A system for generating data analysis programs from statistical models B Fischer, J Schumann Journal of Functional Programming 13 (3), 483-508, 2003	127	2003
Specification-based browsing of software component libraries B Fischer Automated Software Engineering 7 (2), 179-200, 2000	118	2000
Bounded model checking of multi-threaded C programs via lazy sequentialization O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato International Conference on Computer Aided Verification, 585-602, 2014	94	2014
NORA/HAMMR: Making deduction-based software component retrieval practical J Schumann, B Fischer Proceedings 12th IEEE International Conference Automated Software …, 1997	87	1997
ESBMC 5.0: an industrial-strength C model checker MR Gadelha, FR Monteiro, J Morse, LC Cordeiro, B Fischer, DA Nicole Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018	80	2018
ESBMC 1.22 J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2014	71	2014
Context-bounded model checking with ESBMC 1.17 L Cordeiro, J Morse, D Nicole, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2012	66	2012
Using automated theorem provers to certify auto-generated aerospace software E Denney, B Fischer, J Schumann International Joint Conference on Automated Reasoning, 198-212, 2004	56	2004
Lazy-cseq: A context-bounded model checking tool for multi-threaded c-programs O Inverso, TL Nguyen, B Fischer, S La Torre, G Parlato 2015 30th IEEE/ACM International Conference on Automated Software …, 2015	55	2015
Semiformal verification of embedded software in medical devices considering stringent hardware constraints L Cordeiro, B Fischer, H Chen, J Marques-Silva 2009 International Conference on Embedded Software and Systems, 396-403, 2009	55	2009
Handling unbounded loops with ESBMC 1.20 J Morse, L Cordeiro, D Nicole, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2013	53	2013
VCR: A VDM-based software component retrieval tool B Fischer, M Kievernagel, W Struckmann Abt. Datenbanken, Techn. Univ., 1994	49	1994
Verifying concurrent programs by memory unwinding E Tomasco, O Inverso, B Fischer, SL Torre, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2015	47	2015
Correctness of source-level safety policies E Denney, B Fischer International Symposium of Formal Methods Europe, 894-913, 2003	47	2003
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2017	46	2017
SMT-based bounded model checking of C++ programs M Ramalho, M Freitas, F Sousa, H Marques, L Cordeiro, B Fischer 2013 20th IEEE International Conference and Workshops on Engineering of …, 2013	46	2013
Lazy-CSeq: a lazy sequentialization tool for C O Inverso, E Tomasco, B Fischer, SL Torre, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2014	45	2014
A generic annotation inference algorithm for the safety certification of automatically generated code E Denney, B Fischer Proceedings of the 5th international conference on Generative programming …, 2006	45	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors