Leopold Haller

15 papers A* 2A 2B 8Journal 3
YearRankTypeTitle / Venue / Authors
2017 B conf
Lifting CDCL to Template-Based Abstract Domains for Program Verification.
ATVA
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
2017 J jnl
Lifting CDCL to Template-based Abstract Domains for Program Verification.
CoRR
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
2014 A* conf
Abstract satisfaction.
POPL
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
2014 J jnl
Deciding floating-point logic with abstract conflict driven clause learning.
Formal Methods Syst. Des.
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
2013 A* conf
Abstract conflict driven learning.
POPL
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
2013 B conf
An Abstract Interpretation of DPLL(T).
VMCAI
Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening
2013 B conf
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.
SAS
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
2012 B conf
Deciding floating-point logic with systematic abstraction.
FMCAD
Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening
2012 A conf
Numeric Bounds Analysis with Conflict-Driven Learning.
TACAS
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig
2012 B conf
Satisfiability Solvers Are Static Analysers.
SAS
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
2011 B conf
Software Verification Using k-Induction.
SAS
Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer
2011 B conf
Strengthening Induction-Based Race Checking with Lightweight Static Analysis.
VMCAI
Alastair F. Donaldson, Leopold Haller, Daniel Kroening
2010 J jnl
A SAT Solver for Circuits Based on the Tableau Method.
Künstliche Intell.
Uwe Egly, Leopold Haller
2010 B conf
Relieving capacity limits on FPGA-based SAT-solvers.
FMCAD
Leopold Haller, Satnam Singh
2009 A conf
Finding Lean Induced Cycles in Binary Hypercubes.
SAT
Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller