Abdelillah Mokkedem

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Publications

Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan
Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. SPAA (1998)
Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan
Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. FMCAD (1998)
Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan
The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. CAV (1998)
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)
Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. FME (1997)
Naima Brown, Abdelillah Mokkedem
. AMAST (1995)
Otmane Aït Mohamed, Abdelillah Mokkedem
On Formal Verification of Occam Programs. PDPTA (1995)
Abdelillah Mokkedem, Dominique Méry
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. Theor. Comput. Sci. 140 (1) (1995)
Abdelillah Mokkedem, Dominique Méry
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. ICTL (1994)
Abdelillah Mokkedem, Dominique Méry
On Using a Composition Principle to Design Parallel Programs. AMAST (1993)
Dominique Méry, Abdelillah Mokkedem
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. CAV (1992)