Follow
Martin Brain
Martin Brain
City, University of London
Verified email at city.ac.uk
Title
Cited by
Cited by
Year
Debugging Logic Programs under the Answer Set Semantics.
M Brain, M De Vos
Answer Set Programming, 2005
852005
Debugging ASP programs by means of ASP
M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran
Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007
732007
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
722015
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
722014
cvc5: A versatile and industrial-strength SMT solver
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ...
Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022
692022
Deciding floating-point logic with systematic abstraction
L Haller, A Griggio, M Brain, D Kroening
FMCAD, 2012
692012
Safety Verification and Refutation by k-Invariants and k-Induction
M Brain, S Joshi, D Kroening, P Schrammel
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
672015
: Satisfiability Checking Meets Symbolic Computation: (Project Paper)
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016
492016
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
482008
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
472011
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
452006
A new-generation automated warehousing capability
Q Wang, R McIntosh, M Brain
International Journal of Computer Integrated Manufacturing 23 (6), 565-573, 2010
442010
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
352017
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
342007
Ape: An ansprolog* environment
A Sureshkumar, M De Vos, M Brain, J Fitch
See De Vos and Schaub (2007), 101-115, 2007
342007
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
332008
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
282006
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
262019
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
262015
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
252013
The system can't perform the operation now. Try again later.
Articles 1–20