Follow
Leopold Haller
Title
Cited by
Cited by
Year
Software Verification Using k-Induction
AF Donaldson, L Haller, D Kroening, P Rümmer
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
1252011
Deciding floating-point logic with abstract conflict driven clause learning
M Brain, V D’silva, A Griggio, L Haller, D Kroening
Formal Methods in System Design 45 (2), 213-245, 2014
722014
Deciding Floating-Point Logic with Systematic Abstraction
L Haller, A Griggio, M Brain, D Kroening
Formal Methods in Computer-Aided Design (FMCAD), 131--140, 2012
692012
Abstract conflict driven learning
V D'Silva, L Haller, D Kroening
ACM SIGPLAN Notices 48 (1), 143-154, 2013
542013
Numeric bounds analysis with conflict-driven learning
V D’Silva, L Haller, D Kroening, M Tautschnig
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
542012
Satisfiability solvers are static analysers
V D’Silva, L Haller, D Kroening
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
322012
Interpolation-based verification of floating-point programs with abstract CDCL
M Brain, V D’Silva, A Griggio, L Haller, D Kroening
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
252013
Abstract satisfaction
V D'Silva, L Haller, D Kroening
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
202014
An Abstract Interpretation of DPLL(T)
M Brain, V D'Silva, A Griggio, D Kroening
Verification Model Checking and Abstract Interpretation, to appear, 2013
162013
Relieving capacity limits on FPGA-based SAT-solvers
L Haller, S Singh
Formal Methods in Computer Aided Design, 217-220, 2010
152010
Strengthening induction-based race checking with lightweight static analysis
AF Donaldson, L Haller, D Kroening
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
122011
Abstract satisfaction
LCR Haller
University of Oxford, 2013
62013
A SAT solver for circuits based on the tableau method
U Egly, L Haller
KI-Künstliche Intelligenz 24, 15-23, 2010
32010
Finding lean induced cycles in binary hypercubes
Y Chebiryak, T Wahl, D Kroening, L Haller
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
32009
Lifting CDCL to template-based abstract domains for program verification
R Mukherjee, P Schrammel, L Haller, D Kroening, T Melham
Automated Technology for Verification and Analysis: 15th International …, 2017
22017
Extending a tableau-based SAT procedure with techniques from CNF-based SAT
LCR Haller
na, 2008
12008
Formal Property Verification
L Fix, K McMillan, N Ip, L Haller
Electronic Design Automation for IC System Design, Verification, and Testing …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–17