| 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 | 424 | 2011 |
| 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 | 219 | 2011 |
| 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 | 164 | 2018 |
| AutoBayes: A system for generating data analysis programs from statistical models B Fischer, J Schumann Journal of Functional Programming 13 (3), 483-508, 2003 | 150* | 2003 |
| 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 | 125 | 2014 |
| Specification-based browsing of software component libraries B Fischer Automated Software Engineering 7 (2), 179-200, 2000 | 125 | 2000 |
| NORA/HAMMR: Making deduction-based software component retrieval practical J Schumann, B Fischer Proceedings 12th IEEE International Conference Automated Software …, 1997 | 89 | 1997 |
| 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 | 77 | 2016 |
| ESBMC 1.22: (Competition Contribution) J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2014 | 75 | 2014 |
| Context-Bounded Model Checking with ESBMC 1.17: (Competition Contribution) L Cordeiro, J Morse, D Nicole, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2012 | 73 | 2012 |
| 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 | 71 | 2015 |
| Deduction-based software component retrieval B Fischer, J Schumann, G Snelting Automated Deduction—A Basis for Applications: Volume III Applications, 265-292, 1998 | 62 | 1998 |
| 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 | 60 | 2009 |
| 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 | 57 | 2004 |
| Handling Unbounded Loops with ESBMC 1.20: (Competition Contribution) J Morse, L Cordeiro, D Nicole, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2013 | 55 | 2013 |
| 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 | 54 | 2013 |
| 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 | 54 | 2013 |
| 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 | 52 | 2014 |
| 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 | 51 | 2017 |
| 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 | 51 | 2015 |
Lucas C. CordeiroProfessor of Computer Science, University of Manchester | UFAM | VeribeeVerified email at manchester.ac.uk
