![]() | ![]() |
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] |