Prolegomena of a Logic of Causality and Dynamism. - Patrick Bellot; J.-P. Cottin; Bernard J. Robinet; Djamil Sarni; J. Leneutre; Emmanuel Zarpas (Stud Logica, 1999)

Tuning the VSIDS Decision Heuristic for Bounded Model Checking. - Ohad Shacham; Emmanuel Zarpas (MTV, 2003)

Simple Yet Efficient Improvements of SAT Based Bounded Model Checking. - Emmanuel Zarpas (FMCAD, 2004)

A Case Study: Formal Verification of Processor Critical Properties. - Emmanuel Zarpas (CHARME, 2005)

Benchmarking SAT Solvers for Bounded Model Checking. - Emmanuel Zarpas (SAT, 2005)

Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks. - Emmanuel Zarpas (J. Satisf. Boolean Model. Comput., 2006)

Policy Validation for System Automation: A Case Study. - Emmanuel Zarpas; Cindy Eisner; Sivan Tal (POLICY, 2008)