Yakir Vizel
Yakir Vizel
Geverifieerd e-mailadres voor cs.technion.ac.il - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Boolean satisfiability solvers and their applications in model checking
Y Vizel, G Weissenbacher, S Malik
Proceedings of the IEEE 103 (11), 2021-2035, 2015
732015
Interpolation-sequence based model checking
Y Vizel, O Grumberg
2009 Formal Methods in Computer-Aided Design, 1-8, 2009
642009
Lazy abstraction and SAT-based reachability in hardware model checking
Y Vizel, O Grumberg, S Shoham
2012 Formal Methods in Computer-Aided Design (FMCAD), 173-181, 2012
412012
Interpolating property directed reachability
Y Vizel, A Gurfinkel
International Conference on Computer Aided Verification, 260-276, 2014
352014
Template-based synthesis of instruction-level abstractions for SoC verification
P Subramanyan, Y Vizel, S Ray, S Malik
2015 Formal Methods in Computer-Aided Design (FMCAD), 160-167, 2015
242015
Efficient generation of small interpolants in CNF
Y Vizel, A Nadel, V Ryvchin
Formal Methods in System Design 47 (1), 51-74, 2015
192015
Intertwined forward-backward reachability analysis using interpolants
Y Vizel, O Grumberg, S Shoham
International Conference on Tools and Algorithms for the Construction and …, 2013
182013
Instruction-Level Abstraction (ILA) A Uniform Specification for System-on-Chip (SoC) Verification
BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
142018
Quantifiers on demand
A Gurfinkel, S Shoham, Y Vizel
International Symposium on Automated Technology for Verification and …, 2018
132018
Fast interpolating BMC
Y Vizel, A Gurfinkel, S Malik
International Conference on Computer Aided Verification, 641-657, 2015
132015
Druping for interpolates
A Gurfinkel, Y Vizel
2014 Formal Methods in Computer-Aided Design (FMCAD), 99-106, 2014
132014
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
F Libisch, J Sonntag, C Stampfer, L Wirtz, B Beschoten, MI Katsnelson, ...
Physical Review Letters 120, 187701, 2018
12*2018
Template-based parameterized synthesis of uniform instruction-level abstractions for SoC verification
P Subramanyan, BY Huang, Y Vizel, A Gupta, S Malik
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
102017
Lazy self-composition for security verification
W Yang, Y Vizel, P Subramanyan, A Gupta, S Malik
International Conference on Computer Aided Verification, 136-156, 2018
92018
Property directed self composition
R Shemer, A Gurfinkel, S Shoham, Y Vizel
International Conference on Computer Aided Verification, 161-179, 2019
72019
Solving linear arithmetic with SAT-based model checking
Y Vizel, A Nadel, S Malik
2017 Formal Methods in Computer Aided Design (FMCAD), 47-54, 2017
72017
Error-tolerant processors: Formal specification and verification
A Golnari, Y Vizel, S Malik
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 286-293, 2015
72015
Deeper bound in BMC by combining constant propagation and abstraction
R Armoni, L Fix, R Fraer, T Heyman, M Vardi, Y Vizel, Y Zbar
2007 Asia and South Pacific Design Automation Conference, 304-309, 2007
72007
IC3-flipping the E in ICE
Y Vizel, A Gurfinkel, S Shoham, S Malik
International Conference on Verification, Model Checking, and Abstract …, 2017
62017
Efficient Information-Flow Verification Under Speculative Execution
R Bloem, S Jacobs, Y Vizel
International Symposium on Automated Technology for Verification and …, 2019
22019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20