Martin Brain

Available identifiers

Publication	Date of Publication	Type
Invertibility conditions for floating-point formulas	2024-02-16	Paper
Verifying classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation	2023-08-17	Paper
Application of abstract interpretation to the automotive electronic control system	2020-01-23	Paper
Incremental bounded model checking for embedded software	2017-11-29	Paper
A lazy approach to adaptive exact real arithmetic using floating-point operations	2017-06-22	Paper
Satisfiability checking and symbolic computation	2017-06-21	Paper
$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation	2016-08-30	Paper
Automatic Generation of Propagation Complete SAT Encodings	2016-03-23	Paper
Deciding floating-point logic with abstract conflict driven clause learning	2014-12-05	Paper
An Abstract Interpretation of DPLL(T)	2014-11-03	Paper
Model and Proof Generation for Heap-Manipulating Programs	2014-04-16	Paper
Using Answer Set Programming in the Development of Verified Software.	2014-02-25	Paper
Simplifying the Verification of Quantified Array Assertions via Code Transformation	2013-09-13	Paper
The Significance of Memory Costs in Answer Set Solver Implementation	2009-08-24	Paper
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming	2009-01-22	Paper
TOAST: Applying Answer Set Programming to Superoptimisation	2008-03-11	Paper
Declarative Problem Solving Using Answer Set Semantics	2008-03-11	Paper
Debugging ASP Programs by Means of ASP	2007-11-13	Paper

This page was built for person: Martin Brain