Emmanuel Zarpas

发表

Mark Moulin, Sitvanit Ruah, Avigail Orni, 2007 .

Tuning the VSIDS decision heuristic for bounded model checking

Ohad Shacham, Emmanuel Zarpas, Ohad Shacham, 2003, Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions.

Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks

Emmanuel Zarpas, 2006, J. Satisf. Boolean Model. Comput..

A Case Study: Formal Verification of Processor Critical Properties

Emmanuel Zarpas, E. Zarpas, 2005, CHARME.

Policy Validation for System Automation: A Case Study

Cindy Eisner, Sivan Tal, Emmanuel Zarpas, 2008, 2008 IEEE Workshop on Policies for Distributed Systems and Networks.

Prolegomena of a Logic of Causality and Dynamism

Bernard Robinet, Patrick Bellot, Emmanuel Zarpas, 1999, Stud Logica.

Simple Yet Efficient Improvements of SAT Based Bounded Model Checking

Emmanuel Zarpas, 2004, FMCAD.

Benchmarking SAT Solvers for Bounded Model Checking

Emmanuel Zarpas, E. Zarpas, 2005, SAT.

Improved Decision Heuristics for High Performance SAT Based Static Property Checking

Marco Roveri, Alessandro Cimatti, Klaus Winkelmann, 2004 .

Governance of Software Development: The Transition to Agile Scenario

Yishai A. Feldman, Yael Dubinsky, Avi Yaeli, 2009 .