 | 2008 |
|---|
| 7 |       | Emmanuel Zarpas,
Cindy Eisner,
Sivan Tal:
Policy Validation for System Automation: A Case Study.
POLICY 2008: 46-53 |
| 2006 |
|---|
| 6 | | Emmanuel Zarpas:
Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks.
JSAT 2(1-4): 229-237 (2006) |
| 2005 |
|---|
| 5 | | Emmanuel Zarpas:
A Case Study: Formal Verification of Processor Critical Properties.
CHARME 2005: 406-409 |
| 4 | | Emmanuel Zarpas:
Benchmarking SAT Solvers for Bounded Model Checking.
SAT 2005: 340-354 |
| 2004 |
|---|
| 3 | | Emmanuel Zarpas:
Simple Yet Efficient Improvements of SAT Based Bounded Model Checking.
FMCAD 2004: 174-185 |
| 2003 |
|---|
| 2 | | Ohad Shacham,
Emmanuel Zarpas:
Tuning the VSIDS Decision Heuristic for Bounded Model Checking.
MTV 2003: 75- |
| 1999 |
|---|
| 1 |  | Patrick Bellot,
J.-P. Cottin,
Bernard Robinet,
Djamil Sarni,
J. Leneutre,
Emmanuel Zarpas:
Prolegomena of a Logic of Causality and Dynamism.
Studia Logica 62(1): 77-105 (1999) |
