Emmanuel Zarpas

According to our database, Emmanuel Zarpas authored at least 7 papers between 1999 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Policy Validation for System Automation: A Case Study.

Emmanuel Zarpas, Cindy Eisner, Sivan Tal

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

2006

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

Emmanuel Zarpas

J. Satisf. Boolean Model. Comput., 2006

2005

Benchmarking SAT Solvers for Bounded Model Checking.

Emmanuel Zarpas

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

A Case Study: Formal Verification of Processor Critical Properties.

Emmanuel Zarpas

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Simple Yet Efficient Improvements of SAT Based Bounded Model Checking.

Emmanuel Zarpas

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Tuning the VSIDS Decision Heuristic for Bounded Model Checking.

Ohad Shacham, Emmanuel Zarpas

Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003

1999

Prolegomena of a Logic of Causality and Dynamism.

Patrick Bellot, J.-P. Cottin, Bernard J. Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas

Stud Logica, 1999