Ghassan Chehaibar

Publication Activity (10 Years)

Years Active: 1990-2009
Publications (10 Years): 0

École des ponts ParisTech, Champs-sur-Marne, France (PHD)

Education History

École des ponts ParisTech, Champs-sur-Marne, France

PHD

Publications

Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu
Modeling Multiprocessor Cache Protocol Impact on MPI Performance. AINA Workshops (2009)
Ghassan Chehaibar
Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. FORTE (2004)
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian
Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE (1996)
Ghassan Chehaibar
Replacement of Open Interface Subnets and Stable State Transformation Equivalence. Applications and Theory of Petri Nets (1991)
Ghassan Chehaibar
Use of reentrant nets in modular analysis of colored nets. Applications and Theory of Petri Nets (1990)