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 | 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 | Laurent Mounier | [3] |
3 | Nadia Tawbi | [3] |
4 | Ferruccio Zulian | [3] |