| cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 440 | 2022 |
| Safety Verification and Refutation by k-Invariants and k-Induction M Brain, S Joshi, D Kroening, P Schrammel International Static Analysis Symposium, 145-161, 2015 | 90 | 2015 |
| Debugging Logic Programs under the Answer Set Semantics. M Brain, M De Vos Answer Set Programming, 2005 | 90 | 2005 |
| An automatable formal semantics for IEEE-754 floating-point arithmetic M Brain, C Tinelli, P Rümmer, T Wahl 2015 IEEE 22nd Symposium on Computer Arithmetic, 160-167, 2015 | 83 | 2015 |
| Debugging ASP programs by means of ASP M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran International Conference on Logic Programming and Nonmonotonic Reasoning, 31-43, 2007 | 77 | 2007 |
| Deciding floating-point logic with abstract conflict driven clause learning M Brain, V D’silva, A Griggio, L Haller, D Kroening Formal Methods in System Design 45 (2), 213-245, 2014 | 76 | 2014 |
| Deciding floating-point logic with systematic abstraction L Haller, A Griggio, M Brain, D Kroening FMCAD, 2012 | 72 | 2012 |
| A new-generation automated warehousing capability Q Wang, R Mcintosh, M Brain International Journal of Computer Integrated Manufacturing 23 (6), 565-573, 2010 | 57 | 2010 |
| : Satisfiability Checking Meets Symbolic Computation: (Project Paper) E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ... International Conference on Intelligent Computer Mathematics, 28-43, 2016 | 54 | 2016 |
| Automatic composition of melodic and harmonic music by answer set programming G Boenn, M Brain, M De Vos, J Ffitch Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 52 | 2008 |
| Automatic music composition using answer set programming G Boenn, M Brain, M De Vos, J Ffitch Theory and practice of logic programming 11 (2-3), 397-427, 2011 | 50 | 2011 |
| TOAST: Applying answer set programming to superoptimisation M Brain, T Crick, M De Vos, J Fitch Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006 | 46 | 2006 |
| Incremental bounded model checking for embedded software P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller Formal Aspects of Computing 29, 911-931, 2017 | 41 | 2017 |
| ASPVIZ: Declarative visualisation and animation using answer set programming O Cliffe, M De Vos, M Brain, J Padget Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 38 | 2008 |
| That is illogical captain! The debugging support tool spock for answer-set programs: system description M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran Proceedings of the Workshop on Software Engineering for Answer Set …, 2007 | 38 | 2007 |
| Building better bit-blasting for floating-point problems M Brain, F Schanda, Y Sun Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 35 | 2019 |
| Ape: An ansprolog* environment A Sureshkumar, M De Vos, M Brain, J Fitch Proc. SEA 7, 101-115, 2007 | 35 | 2007 |
| Successful use of incremental BMC in the automotive industry P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015 | 31 | 2015 |
| LAIMA: A multi-agent platform using ordered choice logic programming M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham Declarative Agent Languages and Technologies III: Third International …, 2006 | 28 | 2006 |
| Interpolation-based verification of floating-point programs with abstract CDCL M Brain, V D’Silva, A Griggio, L Haller, D Kroening Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 26 | 2013 |
