Leopold Haller
Titre
Citée par
Citée par
Année
Software Verification Using k-Induction
AF Donaldson, L Haller, D Kroening, P Rümmer
International Static Analysis Symposium, 351-368, 2011
1052011
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
682014
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
652012
Numeric bounds analysis with conflict-driven learning
V D’Silva, L Haller, D Kroening, M Tautschnig
International Conference on Tools and Algorithms for the Construction and …, 2012
552012
Abstract conflict driven learning
V D'Silva, L Haller, D Kroening
ACM SIGPLAN Notices 48 (1), 143-154, 2013
512013
Satisfiability solvers are static analysers
V D’Silva, L Haller, D Kroening
International Static Analysis Symposium, 317-333, 2012
332012
Interpolation-based verification of floating-point programs with abstract CDCL
M Brain, V D’Silva, A Griggio, L Haller, D Kroening
International Static Analysis Symposium, 412-432, 2013
242013
Abstract satisfaction
V D'Silva, L Haller, D Kroening
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
192014
An Abstract Interpretation of DPLL(T)
M Brain, V D'Silva, A Griggio, D Kroening
Verification Model Checking and Abstract Interpretation, to appear, 2013
152013
Relieving capacity limits on FPGA-based SAT-solvers
L Haller, S Singh
Formal Methods in Computer Aided Design, 217-220, 2010
142010
Strengthening induction-based race checking with lightweight static analysis
AF Donaldson, L Haller, D Kroening
International Workshop on Verification, Model Checking, and Abstract …, 2011
122011
Electronic design automation for IC system design, verification, and testing
L Lavagno, IL Markov, G Martin, LK Scheffer
CRC Press, 2017
92017
Abstract satisfaction
LCR Haller
University of Oxford, 2013
62013
Finding lean induced cycles in binary hypercubes
Y Chebiryak, T Wahl, D Kroening, L Haller
International Conference on Theory and Applications of Satisfiability …, 2009
32009
A SAT solver for circuits based on the tableau method
U Egly, L Haller
KI-Künstliche Intelligenz 24 (1), 15-23, 2010
22010
Lifting CDCL to Template-Based Abstract Domains for Program Verification
R Mukherjee, P Schrammel, L Haller, D Kroening, T Melham
International Symposium on Automated Technology for Verification and …, 2017
12017
Extending a tableau-based SAT procedure with techniques from CNF-based SAT
LCR Haller
na, 2008
12008
Learning Concise Models from Long Execution Traces
N Yogananda Jeppu, T Melham, D Kroening, J O'Leary
arXiv e-prints, arXiv: 2001.05230, 2020
2020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–18