Emmanuel Zarpas

Publication Activity (10 Years)

Years Active: 1999-2008
Publications (10 Years): 0

Publications

Emmanuel Zarpas, Cindy Eisner, Sivan Tal
Policy Validation for System Automation: A Case Study. POLICY (2008)
Emmanuel Zarpas
Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks. J. Satisf. Boolean Model. Comput. 2 (1-4) (2006)
Emmanuel Zarpas
A Case Study: Formal Verification of Processor Critical Properties. CHARME (2005)
Emmanuel Zarpas
Benchmarking SAT Solvers for Bounded Model Checking. SAT (2005)
Emmanuel Zarpas
Simple Yet Efficient Improvements of SAT Based Bounded Model Checking. FMCAD (2004)
Ohad Shacham, Emmanuel Zarpas
Tuning the VSIDS Decision Heuristic for Bounded Model Checking. MTV (2003)
Patrick Bellot, J.-P. Cottin, Bernard J. Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas
Prolegomena of a Logic of Causality and Dynamism. Stud Logica 62 (1) (1999)