| |
| 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 | J. Leneutre | [1] |
| 4 | Bernard Robinet | [1] |
| 5 | Djamil Sarni | [1] |
| 6 | Ohad Shacham | [2] |