Leopold Haller : Publications

Book chapters

• [1]

  Interpolation−based verification of floating−point programs with abstract CDCL

  Martin Brain‚ Vijay D’Silva‚ Alberto Griggio‚ Leopold Haller and Daniel Kroening

  In Static Analysis. Pages 412–432. Springer Berlin Heidelberg. 2013.

  Details about Interpolation−based verification of floating−point programs with abstract CDCL | BibTeX data for Interpolation−based verification of floating−point programs with abstract CDCL

Journal papers

• [1]

  Deciding floating−point logic with abstract conflict driven clause learning

  Martin Brain‚ Vijay D’Silva‚ Alberto Griggio‚ Leopold Haller and Daniel Kroening

  In Formal Methods in System Design. Pages 1–33. 2013.

  Details about Deciding floating−point logic with abstract conflict driven clause learning | BibTeX data for Deciding floating−point logic with abstract conflict driven clause learning

• [2]

  A SAT Solver for Circuits Based on the Tableau Method

  Uwe Egly and Leopold Haller

  In KI. Vol. 24. No. 1. Pages 15−23. 2010.

  Details about A SAT Solver for Circuits Based on the Tableau Method | BibTeX data for A SAT Solver for Circuits Based on the Tableau Method

Conference papers

• [1]

  Abstract satisfaction

  Vijay D'Silva‚ Leopold Haller and Daniel Kroening

  In Proceedings of the 41st annual ACM SIGPLAN−SIGACT symposium on Principles of programming languages. Pages 139–150. ACM. 2014.

  Details about Abstract satisfaction | BibTeX data for Abstract satisfaction

• [2]

  Abstract Conflict Driven Learning

  V. D'Silva‚ L. Haller and D. Kroening

  In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013.

  Details about Abstract Conflict Driven Learning | BibTeX data for Abstract Conflict Driven Learning

• [3]

  An Abstract Interpretation of DPLL(T)

  M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening

  In Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation. 2013.

  Details about An Abstract Interpretation of DPLL(T) | BibTeX data for An Abstract Interpretation of DPLL(T)

• [4]

  Satisfiability Solvers are Static Analysers

  V. D'Silva‚ L. Haller and D. Kroening

  In Proc. of Static Analysis Symposium. Pages 317−333. Springer. 2012.

  Details about Satisfiability Solvers are Static Analysers | BibTeX data for Satisfiability Solvers are Static Analysers

• [5]

  Deciding Floating−Point Logic with Systematic Abstraction

  L. Haller‚ A. Griggio‚ M. Brain and D. Kroening

  In FMCAD. 2012.

  Details about Deciding Floating−Point Logic with Systematic Abstraction | BibTeX data for Deciding Floating−Point Logic with Systematic Abstraction | Download (pdf) of Deciding Floating−Point Logic with Systematic Abstraction

• [6]

  Numeric Bounds Analysis with Conflict−Driven Learning

  Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig

  In TACAS. 2012.

  Details about Numeric Bounds Analysis with Conflict−Driven Learning | BibTeX data for Numeric Bounds Analysis with Conflict−Driven Learning | Download (pdf) of Numeric Bounds Analysis with Conflict−Driven Learning

• [7]

  Strengthening Induction−Based Race Checking with Lightweight Static Analysis

  Alastair F. Donaldson‚ Leopold Haller and Daniel Kroening

  In VMCAI. Pages 169−183. 2011.

  Details about Strengthening Induction−Based Race Checking with Lightweight Static Analysis | BibTeX data for Strengthening Induction−Based Race Checking with Lightweight Static Analysis

• [8]

  Software Verification Using k−Induction

  Alastair F. Donaldson‚ Leopold Haller‚ Daniel Kroening and Philipp Ruemmer

  In SAS. Springer. 2011.

  Details about Software Verification Using k−Induction | BibTeX data for Software Verification Using k−Induction

• [9]

  Relieving capacity limits on FPGA−based SAT−solvers

  Leopold Haller and Satnam Singh

  In FMCAD. Pages 217−220. 2010.

  Details about Relieving capacity limits on FPGA−based SAT−solvers | BibTeX data for Relieving capacity limits on FPGA−based SAT−solvers

• [10]

  Finding Lean Induced Cycles in Binary Hypercubes

  Yury Chebiryak‚ Thomas Wahl‚ Daniel Kroening and Leopold Haller

  In SAT. Pages 18−31. 2009.

  Details about Finding Lean Induced Cycles in Binary Hypercubes | BibTeX data for Finding Lean Induced Cycles in Binary Hypercubes