Seguir
Bernd Fischer
Bernd Fischer
Computer Science Division, Stellenbosch University
E-mail confirmado em cs.sun.ac.za - Página inicial
Título
Citado por
Citado por
Ano
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
4072011
Verifying multi-threaded software using SMT-based context-bounded model checking
L Cordeiro, B Fischer
Proceedings of the 33rd International Conference on Software Engineering …, 2011
2142011
AutoBayes: A system for generating data analysis programs from statistical models
B Fischer, J Schumann
Journal of Functional Programming 13 (3), 483-508, 2003
143*2003
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
1372018
Bounded model checking of multi-threaded C programs via lazy sequentialization
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1222014
Specification-based browsing of software component libraries
B Fischer
Automated Software Engineering 7, 179-200, 2000
1202000
NORA/HAMMR: Making deduction-based software component retrieval practical
J Schumann, B Fischer
Proceedings 12th IEEE International Conference Automated Software …, 1997
891997
ESBMC 1.22: (Competition Contribution)
J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
752014
Context-Bounded Model Checking with ESBMC 1.17: (Competition Contribution)
L Cordeiro, J Morse, D Nicole, B Fischer
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
712012
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
672015
Cvexplorer: Identifying candidate developers by mining and exploring their open source contributions
GJ Greene, B Fischer
Proceedings of the 31st IEEE/ACM international conference on automated …, 2016
652016
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
602009
Deduction-based software component retrieval
B Fischer, J Schumann, G Snelting
Automated Deduction—A Basis for Applications: Volume III Applications, 265-292, 1998
581998
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
572004
Handling Unbounded Loops with ESBMC 1.20: (Competition Contribution)
J Morse, L Cordeiro, D Nicole, B Fischer
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
552013
Verifying concurrent programs by memory unwinding
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
512015
Lazy-CSeq: A Lazy Sequentialization Tool for C: (Competition Contribution)
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2014
512014
CSeq: A concurrency pre-processor for sequential C verification tools
B Fischer, O Inverso, G Parlato
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
502013
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
502013
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs: (Competition Contribution)
W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer
International Conference on Tools and Algorithms for the Construction and …, 2017
492017
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20