| |
| 2008 | ||
|---|---|---|
| 7 | EE | Emmanuel Zarpas, Cindy Eisner, Sivan Tal: Policy Validation for System Automation: A Case Study. POLICY 2008: 46-53 |
| 2006 | ||
| 6 | EE | 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 | EE | Emmanuel Zarpas: A Case Study: Formal Verification of Processor Critical Properties. CHARME 2005: 406-409 |
| 4 | EE | Emmanuel Zarpas: Benchmarking SAT Solvers for Bounded Model Checking. SAT 2005: 340-354 |
| 2004 | ||
| 3 | EE | Emmanuel Zarpas: Simple Yet Efficient Improvements of SAT Based Bounded Model Checking. FMCAD 2004: 174-185 |
| 2003 | ||
| 2 | EE | 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) | |
| 1 | Patrick Bellot | [1] |
| 2 | J.-P. Cottin | [1] |
| 3 | Cindy Eisner | [7] |
| 4 | J. Leneutre | [1] |
| 5 | Bernard Robinet | [1] |
| 6 | Djamil Sarni | [1] |
| 7 | Ohad Shacham | [2] |
| 8 | Sivan Tal | [7] |