Publications

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