Martin Brain
According to our database1,
Martin Brain
authored at least 39 papers
between 2003 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2019
Application of Abstract Interpretation to the Automotive Electronic Control System.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Building Better Bit-Blasting for Floating-Point Problems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
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