Abdelillah Mokkedem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1992–1998
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CAV | The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. | Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan |
| 1998 | FMCAD | Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. | Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan |
| 1998 | SPAA | Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. | Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan |
| 1997 | FM | A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. | Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston |
| 1995 | PDPTA | On Formal Verification of Occam Programs. | Otmane At Mohamed, Abdelillah Mokkedem |
| 1992 | CAV | Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. | Dominique Mry, Abdelillah Mokkedem |