| |
| * | 2004 | |
|---|---|---|
| 4 | EE | 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 | EE | Ghassan Chehaibar: Replacement of Open Interface Subnets and Stable State Transformation Equivalence. Applications and Theory of Petri Nets 1991: 1-25 |
| 1990 | ||
| 1 | EE | 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 | Laurent Mounier | [3] |
| 3 | Nadia Tawbi | [3] |
| 4 | Ferruccio Zulian | [3] |