AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Bernd Fischer

Bernd Fischer

Stellenbosch University - Stellenbosch / South Africa
Engineering & Technology / Computer Science
AD Scientific Index ID: 105037
University of Stellenbosch
person_outline Bernd Fischer's MOST POPULAR ARTICLES
1-) SMT-based bounded model checking for embedded ANSI-C software IEEE Transactions on Software Engineering 38 (4), 957-974, 2011
2-) Verifying multi-threaded software using SMT-based context-bounded model checking Proceedings of the 33rd International Conference on Software Engineering …, 2011
3-) ESBMC 5.0: an industrial-strength C model checker Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
4-) AutoBayes: A system for generating data analysis programs from statistical models Journal of Functional Programming 13 (3), 483-508, 2003
5-) Bounded model checking of multi-threaded C programs via lazy sequentialization International Conference on Computer Aided Verification, 585-602, 2014