| 1998 |
|---|
| 10 | | Ratan Nalumasu,
Rajnish Ghughal,
Abdelillah Mokkedem,
Ganesh Gopalakrishnan:
The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors.
CAV 1998: 464-476 |
| 9 | EE | Abdelillah Mokkedem,
Ravi Hosabettu,
Ganesh Gopalakrishnan:
Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.
FMCAD 1998: 237-254 |
| 8 | EE | Rajnish Ghughal,
Abdelillah Mokkedem,
Ratan Nalumasu,
Ganesh Gopalakrishnan:
Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.
SPAA 1998: 231-239 |
| 1997 |
|---|
| 7 | | Ganesh Gopalakrishnan,
Rajnish Ghughal,
Ravi Hosabettu,
Abdelillah Mokkedem,
Ratan Nalumasu:
Formal modeling and validation applied to a commercial coherent bus: a case study.
CHARME 1997: 48-62 |
| 6 | | Abdelillah Mokkedem,
Michael J. Ferguson,
Robert de B. Johnston:
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.
FME 1997: 398-417 |
| 1995 |
|---|
| 5 | | Naima Brown,
Abdelillah Mokkedem:
On Mechanizing Proofs within a Complete Proof System for Unity.
AMAST 1995: 400-415 |
| 4 | EE | Abdelillah Mokkedem,
Dominique Méry:
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems.
Theor. Comput. Sci. 140(1): 95-138 (1995) |
| 1994 |
|---|
| 3 | | Abdelillah Mokkedem,
Dominique Méry:
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.
ICTL 1994: 382-397 |
| 1993 |
|---|
| 2 | | Abdelillah Mokkedem,
Dominique Méry:
On Using a Composition Principle to Design Parallel Programs.
AMAST 1993: 315-324 |
| 1992 |
|---|
| 1 | | Dominique Méry,
Abdelillah Mokkedem:
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications.
CAV 1992: 343-356 |
