Martin Brain

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Invertibility conditions for floating-point formulas Computer Aided Verification	2024-02-16	Paper
Verifying classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation Code-Based Cryptography	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 Formal Aspects of Computing	2017-11-29	Paper
A lazy approach to adaptive exact real arithmetic using floating-point operations ACM Communications in Computer Algebra	2017-06-22	Paper
Satisfiability checking and symbolic computation ACM Communications in Computer Algebra	2017-06-21	Paper
Satisfiability checking and symbolic computation ACM Communications in Computer Algebra	2017-06-21	Paper
\textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper) Lecture Notes in Computer Science	2016-08-30	Paper
Automatic generation of propagation complete SAT encodings Lecture Notes in Computer Science	2016-03-23	Paper
Deciding floating-point logic with abstract conflict driven clause learning Formal Methods in System Design	2014-12-05	Paper
An abstract interpretation of DPLL(T) Lecture Notes in Computer Science	2014-11-03	Paper
Model and proof generation for heap-manipulating programs Programming Languages and Systems	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 Logic-Based Program Synthesis and Transformation	2013-09-13	Paper
The Significance of Memory Costs in Answer Set Solver Implementation Journal Of Logic And Computation	2009-08-24	Paper
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming Logic Programming	2009-01-22	Paper
TOAST: Applying Answer Set Programming to Superoptimisation Logic Programming	2008-03-11	Paper
Declarative Problem Solving Using Answer Set Semantics Logic Programming	2008-03-11	Paper
Debugging ASP Programs by Means of ASP Logic Programming and Nonmonotonic Reasoning	2007-11-13	Paper

Research outcomes over time

This page was built for person: Martin Brain