Ghassan Chehaibar

According to our database, Ghassan Chehaibar authored at least 6 papers between 1990 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Modeling Multiprocessor Cache Protocol Impact on MPI Performance.

Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2004

Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.

Ghassan Chehaibar

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

1996

Specification and Verification of the PowerScale^TM Bus Arbitration Protocol: An Industrial Experiment with LOTOS.

Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian

Proceedings of the Formal Description Techniques IX: Theory, 1996

1991

Méthodes d'analyse hiérarchique des réseaux de Petri.

Ghassan Chehaibar

PhD thesis, 1991

Replacement of Open Interface Subnets and Stable State Transformation Equivalence.

Ghassan Chehaibar

Proceedings of the Advances in Petri Nets 1993, 1991

1990

Use of reentrant nets in modular analysis of colored nets.

Ghassan Chehaibar

Proceedings of the Advances in Petri Nets 1991, 1990