Use of reentrant nets in modular analysis of colored nets. - Ghassan Chehaibar (Applications and Theory of Petri Nets, 1990)

Replacement of Open Interface Subnets and Stable State Transformation Equivalence. - Ghassan Chehaibar (Applications and Theory of Petri Nets, 1991)

Méthodes d'analyse hiérarchique des réseaux de Petri. - Ghassan Chehaibar (1991)

Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. - Ghassan Chehaibar; Hubert Garavel; Laurent Mounier; Nadia Tawbi; Ferruccio Zulian (FORTE, 1996)

Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. - Ghassan Chehaibar (FORTE, 2004)

Modeling Multiprocessor Cache Protocol Impact on MPI Performance. - Ghassan Chehaibar; Meriem Zidouni; Radu Mateescu 001 (AINA Workshops, 2009)

c2c-gem5: Full System Simulation of Cache-Coherent Chip-to-Chip Interconnects. - Luis Bertran Alvarez; Ghassan Chehaibar; Stephen Busch; Pascal Benoit; David Novo (DATE, 2025)