|
Search the dblp DataBase
Emmanuel Zarpas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Emmanuel Zarpas
A Case Study: Formal Verification of Processor Critical Properties. [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:406-409 [Conf]
- Emmanuel Zarpas
Simple Yet Efficient Improvements of SAT Based Bounded Model Checking. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:174-185 [Conf]
- Ohad Shacham, Emmanuel Zarpas
Tuning the VSIDS Decision Heuristic for Bounded Model Checking. [Citation Graph (0, 0)][DBLP] MTV, 2003, pp:75-0 [Conf]
- Emmanuel Zarpas
Benchmarking SAT Solvers for Bounded Model Checking. [Citation Graph (0, 0)][DBLP] SAT, 2005, pp:340-354 [Conf]
- Patrick Bellot, J.-P. Cottin, Bernard Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas
Prolegomena of a Logic of Causality and Dynamism. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:62, n:1, pp:77-105 [Journal]
Policy Validation for System Automation: A Case Study. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|