Follow
Martin Brain
Martin Brain
City, University of London
Verified email at city.ac.uk
Title
Cited by
Cited by
Year
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
4882022
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
902015
Debugging Logic Programs under the Answer Set Semantics.
M Brain, M De Vos
Answer Set Programming, 2005
902005
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
842015
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
782014
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
772007
Deciding floating-point logic with systematic abstraction
L Haller, A Griggio, M Brain, D Kroening
FMCAD, 2012
732012
A new-generation automated warehousing capability
Q Wang, R Mcintosh, M Brain
International Journal of Computer Integrated Manufacturing 23 (6), 565-573, 2010
582010
: 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
552016
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
522008
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
512011
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
462006
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
412017
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
402008
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
382007
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
372019
Ape: An ansprolog* environment
A Sureshkumar, M De Vos, M Brain, J Fitch
Proc. SEA 7, 101-115, 2007
352007
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
312015
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
Event-sequence testing using answer-set programming
M Brain, E Erdem, K Inoue, J Oetsch, J Pührer, H Tompits, C Yilmaz
International Journal on Advances in Software 5 (3&4), 2012
272012
The system can't perform the operation now. Try again later.
Articles 1–20