Leopold Haller : Publications

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

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

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

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)

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

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

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

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

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

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

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

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

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