Bernd Fischer
Bernd Fischer
Computer Science Division, Stellenbosch University
Verified email at cs.sun.ac.za - Homepage
TitleCited byYear
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
2592011
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
1522011
Specification-based browsing of software component libraries
B Fischer
Automated Software Engineering 7 (2), 179-200, 2000
1122000
AutoBayes: A system for generating data analysis programs from statistical models
B Fischer, J Schumann
Journal of Functional Programming 13 (3), 483-508, 2003
1092003
NORA/HAMMR: Making deduction-based software component retrieval practical
J Schumann, B Fischer
Proceedings 12th IEEE International Conference Automated Software …, 1997
841997
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
572014
ESBMC 1.22
J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer
International Conference on Tools and Algorithms for the Construction and …, 2014
562014
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
532004
VCR: A VDM-based software component retrieval tool
B Fischer, M Kievernagel, W Struckmann
Abt. Datenbanken, Techn. Univ., 1994
491994
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
472013
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
472009
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
462012
Correctness of source-level safety policies
E Denney, B Fischer
International Symposium of Formal Methods Europe, 894-913, 2003
442003
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
422006
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
412013
Synthesizing certified code
M Whalen, J Schumann, B Fischer
International Symposium of Formal Methods Europe, 431-450, 2002
412002
Verifying concurrent programs by memory unwinding
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
392015
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
372015
CSeq: a concurrency pre-processor for sequential C verification tools
B Fischer, O Inverso, G Parlato
Proceedings of the 28th IEEE/ACM International Conference on Automated …, 2013
352013
Certifiable program generation
E Denney, B Fischer
International Conference on Generative Programming and Component Engineering …, 2005
342005
The system can't perform the operation now. Try again later.
Articles 1–20