The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Brain" ( http://dblp.L3S.de/Authors/Martin_Brain )

  Author page on DBLP  Author page in RDF  Community of Martin Brain in ASPL-2

Publication years (Num. hits)
2003-2011 (16) 2012-2015 (15) 2016-2019 (16)
Publication types (Num. hits)
article(13) inproceedings(34)
Venues (Conferences, Journals, ...)
CoRR(7) ICLP(4) Answer Set Programming(3) LPNMR(3) VMCAI(3) ACM Comm. Computer Algebra(2) SAS(2) ARCADE@CADE(1) ARITH(1) CAV (2)(1) CICM(1) CSTVA@ISSTA(1) DALT(1) ESOP(1) ExaCt(1) FMCAD(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 48 publication records. Showing 47 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli Invertibility Conditions for Floating-Point Formulas. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Brain, Florian Schanda, Youcheng Sun Building Better Bit-Blasting for Floating-Point Problems. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura Application of Abstract Interpretation to the Automotive Electronic Control System. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King 0001, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli CVC4 at the SMT Competition 2018. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster Functional Requirements-Based Automated Testing for Avionics. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental bounded model checking for embedded software. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 SC-square: when Satisfiability Checking and Symbolic Computation join forces. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster Functional Requirements-Based Automated Testing for Avionics. Search on Bibsonomy ICECCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Brain, James H. Davenport, Alberto Griggio Benchmarking Solvers, SAT-style. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Neville, Andrew Malton, Martin Brain, Daniel Kroening Towards Automated Bounded Model Checking of API Implementations. Search on Bibsonomy CSTVA@ISSTA The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Brain, Daniel Kroening, Ryan McCleeary Algebraic Techniques in Software Verification : Challenges and Opportunities. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins Automatic Generation of Propagation Complete SAT Encodings. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ryan McCleeary, Martin Brain, Aaron Stump A lazy approach to adaptive exact real arithmetic using floating-point operations. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Brain, Saurabh Joshi 0001, Daniel Kroening, Peter Schrammel Safety Verification and Refutation by k-invariants and k-induction (extended version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Brain, Cesare Tinelli, Philipp Rümmer, Thomas Wahl An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. Search on Bibsonomy ARITH The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Successful Use of Incremental BMC in the Automotive Industry. Search on Bibsonomy FMICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Brain, Saurabh Joshi 0001, Daniel Kroening, Peter Schrammel Safety Verification and Refutation by k-Invariants and k-Induction. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening Deciding floating-point logic with abstract conflict driven clause learning. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental Bounded Model Checking for Embedded Software (extended version). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel Model and Proof Generation for Heap-Manipulating Programs. Search on Bibsonomy ESOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Brain, Vijay D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening An Abstract Interpretation of DPLL(T). Search on Bibsonomy VMCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Brain, Florian Schanda A Lightweight Technique for Distributed and Incremental Program Verification. Search on Bibsonomy VSTTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Florian Schanda, Martin Brain Using Answer Set Programming in the Development of Verified Software. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch Computational Music Theory. Search on Bibsonomy MUME@AIIDE The full citation details ... 2012 DBLP  BibTeX  RDF
1Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening Deciding floating-point logic with systematic abstraction. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Mohamed Nassim Seghir, Martin Brain Simplifying the Verification of Quantified Array Assertions via Code Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John P. Fitch Automatic music composition using answer set programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch Anton - A Rule-Based Composition System. Search on Bibsonomy ICMC The full citation details ... 2011 DBLP  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch Automatic Music Composition using Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Martin Brain, Marina De Vos The Significance of Memory Costs in Answer Set Solver Implementation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch ANTON: Composing Logic and Logic Composing. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tom Crick, Martin Brain, Marina De Vos, John P. Fitch Generating Optimal Code Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Brain, Marina De Vos Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. Search on Bibsonomy ExaCt The full citation details ... 2008 DBLP  BibTeX  RDF
1Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran Debugging ASP Programs by Means of ASP. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Brain, Tom Crick, Marina De Vos, John P. Fitch TOAST: Applying Answer Set Programming to Superoptimisation. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin Brain Declarative Problem Solving Using Answer Set Semantics. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. Search on Bibsonomy DALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin Brain, Richard Watson, Marina De Vos An Interactive Approach to Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Martin Brain, Marina De Vos Debugging Logic Programs under the Answer Set Semantics. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Martin Brain, Marina De Vos Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
Displaying result #1 - #47 of 47 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license