SystemC waiting state automata. - Nesrine Harrath; Bruno Monsuez (Int. J. Crit. Comput. Based Syst., 2012)

Verifying SystemC with predicate abstraction: A component based approach. - Nesrine Harrath; Bruno Monsuez; Kamel Barkaoui (IRI, 2013)

A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. - Nesrine Harrath; Bruno Monsuez; Kamel Barkaoui (IRI (best papers), 2013)

Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. - Nesrine Harrath; Bruno Monsuez (Int. J. Crit. Comput. Based Syst., 2014)

A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level. (Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles). - Nesrine Harrath (2014)