Martin Brain
Martin Brain
Adresse e-mail validée de cs.ox.ac.uk
Titre
Citée par
Citée par
Année
Debugging Logic Programs under the Answer Set Semantics.
M Brain, M De Vos
Answer Set Programming, 2005
842005
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
712007
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
692014
Deciding floating-point logic with systematic abstraction
L Haller, A Griggio, M Brain, D Kroening
FMCAD, 2012
682012
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
632015
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
492015
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
462011
Automatic composition of melodic and harmonic music by answer set programming
G Boenn, M Brain, M De Vos
International Conference on Logic Programming, 160-174, 2008
442008
TOAST: Applying answer set programming to superoptimisation
M Brain, T Crick, M De Vos, J Fitch
International Conference on Logic Programming, 270-284, 2006
442006
A new-generation automated warehousing capability
Q Wang, R McIntosh, M Brain
International Journal of Computer Integrated Manufacturing 23 (6), 565-573, 2010
412010
SC2: Satisfiability checking meets symbolic computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: Proceedings CICM 9791, 28-43, 2016
402016
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
332007
Ape: An ansprolog* environment
A Sureshkumar, M De Vos, M Brain, J Fitch
Proc. SEA 7, 101-115, 2007
332007
ASPVIZ: Declarative visualisation and animation using answer set programming
O Cliffe, M De Vos, M Brain, J Padget
International Conference on Logic Programming, 724-728, 2008
322008
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 (5), 911-931, 2017
302017
LAIMA: A multi-agent platform using ordered choice logic programming
M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham
International Workshop on Declarative Agent Languages and Technologies, 72-88, 2005
272005
Interpolation-based verification of floating-point programs with abstract CDCL
M Brain, V D’Silva, A Griggio, L Haller, D Kroening
International Static Analysis Symposium, 412-432, 2013
252013
Successful use of incremental BMC in the automotive industry
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015
232015
Anton: Composing logic and logic composing
G Boenn, M Brain, M De Vos
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
202009
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 Volume 5, 2012
182012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20