Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. - Dominique Méry; Abdelillah Mokkedem (CAV, 1992)

On Using a Composition Principle to Design Parallel Programs. - Abdelillah Mokkedem; Dominique Méry (AMAST, 1993)

A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. - Abdelillah Mokkedem; Dominique Méry (ICTL, 1994)

On Mechanizing Proofs within a Complete Proof System for Unity. - Naima Brown; Abdelillah Mokkedem (AMAST, 1995)

On Formal Verification of Occam Programs. - Otmane Aït Mohamed; Abdelillah Mokkedem (PDPTA, 1995)

On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. - Abdelillah Mokkedem; Dominique Méry (Theor. Comput. Sci., 1995)

Formal modeling and validation applied to a commercial coherent bus: a case study. - Ganesh Gopalakrishnan; Rajnish Ghughal; Ravi Hosabettu; Abdelillah Mokkedem; Ratan Nalumasu (CHARME, 1997)

A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. - Abdelillah Mokkedem; Michael J. Ferguson; Robert de B. Johnston (FME, 1997)

The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. - Ratan Nalumasu; Rajnish Ghughal; Abdelillah Mokkedem; Ganesh Gopalakrishnan (CAV, 1998)

Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. - Abdelillah Mokkedem; Ravi Hosabettu; Ganesh Gopalakrishnan (FMCAD, 1998)

Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. - Rajnish Ghughal; Abdelillah Mokkedem; Ratan Nalumasu; Ganesh Gopalakrishnan (SPAA, 1998)

Formal Verification of the Alpha 21364 Network Protocol. - Abdel Mokkedem; Tim Leonard (TPHOLs, 2000)

Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. - Abdel Mokkedem; Ravi Hosabettu; Michael D. Jones; Ganesh Gopalakrishnan (Formal Methods Syst. Des., 2000)

Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. - Per Bjesse; Tim Leonard; Abdel Mokkedem (CAV, 2001)

Accelerated verification of RTL assertions based on satisfiability solvers. - Ranan Fraer; Shahid Ikram; Gila Kamhi; Tim Leonard; Abdel Mokkedem (HLDVT, 2002)