Martin Brain

According to our database1, Martin Brain authored at least 37 papers between 2003 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Incremental bounded model checking for embedded software.
Formal Asp. Comput., 2017

Benchmarking Solvers, SAT-style.
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017

Functional Requirements-Based Automated Testing for Avionics.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

SC-square: when Satisfiability Checking and Symbolic Computation join forces.
Proceedings of the ARCADE 2017, 2017

2016
Satisfiability checking and symbolic computation.
ACM Comm. Computer Algebra, 2016

Automatic Generation of Propagation Complete SAT Encodings.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Algebraic Techniques in Software Verification : Challenges and Opportunities.
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper).
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Towards Automated Bounded Model Checking of API Implementations.
Proceedings of the 7th Workshop on Constraint Solvers in Testing, 2016

2015
A lazy approach to adaptive exact real arithmetic using floating-point operations.
ACM Comm. Computer Algebra, 2015

Safety Verification and Refutation by k-Invariants and k-Induction.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Successful Use of Incremental BMC in the Automotive Industry.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015

An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic.
Proceedings of the 22nd IEEE Symposium on Computer Arithmetic, 2015

2014
Deciding floating-point logic with abstract conflict driven clause learning.
Formal Methods in System Design, 2014

Model and Proof Generation for Heap-Manipulating Programs.
Proceedings of the Programming Languages and Systems, 2014

2013
An Abstract Interpretation of DPLL(T).
Proceedings of the Verification, 2013

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.
Proceedings of the Static Analysis - 20th International Symposium, 2013

2012
A Lightweight Technique for Distributed and Incremental Program Verification.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Simplifying the Verification of Quantified Array Assertions via Code Transformation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Using Answer Set Programming in the Development of Verified Software.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Deciding floating-point logic with systematic abstraction.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

Computational Music Theory.
Proceedings of the Musical Metacreation, 2012

2011
Automatic music composition using answer set programming.
TPLP, 2011

Anton - A Rule-Based Composition System.
Proceedings of the 2011 International Computer Music Conference, 2011

2009
The Significance of Memory Costs in Answer Set Solver Implementation.
J. Log. Comput., 2009

Generating Optimal Code Using Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

ANTON: Composing Logic and Logic Composing.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

Answer Set Programming ? a Domain in Need of Explanation: A Position Paper.
Proceedings of the Explanation-aware Computing, 2008

2007
Debugging ASP Programs by Means of ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006
TOAST: Applying Answer Set Programming to Superoptimisation.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Declarative Problem Solving Using Answer Set Semantics.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming.
Proceedings of the Declarative Agent Languages and Technologies III, 2005

An Interactive Approach to Answer Set Programming.
Proceedings of the Answer Set Programming, 2005

Debugging Logic Programs under the Answer Set Semantics.
Proceedings of the Answer Set Programming, 2005

2003
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.
Proceedings of the Answer Set Programming, 2003


  Loading...