- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu: Modeling Multiprocessor Cache Protocol Impact on MPI Performance. AINA Workshops 2009: 1073-1078 |
| 2004 | ||
| 4 | | Ghassan Chehaibar: Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. FORTE 2004: 243-258 |
| 1996 | ||
| 3 |  | Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian: Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE 1996: 435-450 |
| 1991 | ||
| 2 | | Ghassan Chehaibar: Replacement of Open Interface Subnets and Stable State Transformation Equivalence. Applications and Theory of Petri Nets 1991: 1-25 |
| 1990 | ||
| 1 | | Ghassan Chehaibar: Use of reentrant nets in modular analysis of colored nets. Applications and Theory of Petri Nets 1990: 58-77 |
| 1 | Hubert Garavel | [3] |
| 2 | Radu Mateescu | [5] |
| 3 | Laurent Mounier | [3] |
| 4 | Nadia Tawbi | [3] |
| 5 | Meriem Zidouni | [5] |
| 6 | Ferruccio Zulian | [3] |