Martin Brain
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
17
Active years
2006–2024
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | A Pyramid Of (Formal) Software Verification. | Martin Brain, Elizabeth Polgreen |
| 2022 | TACAS | cvc5: A Versatile and Industrial-Strength SMT Solver. | Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Ntzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar |
| 2019 | CAV | Invertibility Conditions for Floating-Point Formulas. | Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2019 | TACAS | Building Better Bit-Blasting for Floating-Point Problems. | Martin Brain, Florian Schanda, Youcheng Sun |
| 2019 | VMCAI | Application of Abstract Interpretation to the Automotive Electronic Control System. | Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura |
| 2017 | CADE | SC-square: when Satisfiability Checking and Symbolic Computation join forces. | Erika brahm, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler |
| 2017 | ICECCS | Functional Requirements-Based Automated Testing for Avionics. | Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster |
| 2017 | ISSAC | Benchmarking Solvers, SAT-style. | Martin Brain, James H. Davenport, Alberto Griggio |
| 2016 | ISSTA | Towards Automated Bounded Model Checking of API Implementations. | Daniel Neville, Andrew J. Malton, Martin Brain, Daniel Kroening |
| 2016 | SYNASC | Algebraic Techniques in Software Verification : Challenges and Opportunities. | Martin Brain, Daniel Kroening, Ryan McCleeary |
| 2016 | VMCAI | Automatic Generation of Propagation Complete SAT Encodings. | Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins |
| 2015 | ARITH | An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. | Martin Brain, Cesare Tinelli, Philipp Rmmer, Thomas Wahl |
| 2015 | FMICS | Successful Use of Incremental BMC in the Automotive Industry. | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmller |
| 2015 | SAS | Safety Verification and Refutation by k-Invariants and k-Induction. | Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel |
| 2014 | ESOP | Model and Proof Generation for Heap-Manipulating Programs. | Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel |
| 2013 | SAS | Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. | Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening |
| 2013 | VMCAI | An Abstract Interpretation of DPLL(T). | Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening |
| 2012 | FMCAD | Deciding floating-point logic with systematic abstraction. | Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening |
| 2012 | ICLP | Using Answer Set Programming in the Development of Verified Software. | Florian Schanda, Martin Brain |
| 2012 | LOPSTR | Simplifying the Verification of Quantified Array Assertions via Code Transformation. | Mohamed Nassim Seghir, Martin Brain |
| 2009 | LPNMR | ANTON: Composing Logic and Logic Composing. | Georg Boenn, Martin Brain, Marina De Vos, John ffitch |
| 2009 | LPNMR | Generating Optimal Code Using Answer Set Programming. | Tom Crick, Martin Brain, Marina De Vos, John P. Fitch |
| 2008 | ICLP | Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. | Georg Boenn, Martin Brain, Marina De Vos, John ffitch |
| 2008 | ICLP | ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. | Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget |
| 2007 | LPNMR | Debugging ASP Programs by Means of ASP. | Martin Brain, Martin Gebser, Jrg Phrer, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2006 | ICLP | Declarative Problem Solving Using Answer Set Semantics. | Martin Brain |
| 2006 | ICLP | TOAST: Applying Answer Set Programming to Superoptimisation. | Martin Brain, Tom Crick, Marina De Vos, John P. Fitch |