List of Publications:
Ph.D. Thesis: Parallel Model Checking For Multiprocessor Architecture
ATVA 2012: An Experiment on Parallel Model Checking of a CTL Fragment
ISPDC 2011: Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
PDMC 2010: A General Lock-Free Algorithm for Parallel State Space Construction
EWDC 2009: Observation Graph implementation for TINA toolbox
The Syntax and Semantics of FIACRE