Abdelillah Mokkedem

11 papers A* 2B 2Misc 1Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
1998 B conf
Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.
FMCAD
Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan
1998 A* conf
The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors.
CAV
Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan
1998 B conf
Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.
SPAA
Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan
1997 — conf
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.
FME
Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston
1997 — conf
Formal modeling and validation applied to a commercial coherent bus: a case study.
CHARME
Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu
1995 Misc conf
On Formal Verification of Occam Programs.
PDPTA
Otmane Aït Mohamed, Abdelillah Mokkedem
1995 — conf
On Mechanizing Proofs within a Complete Proof System for
AMAST
Naima Brown, Abdelillah Mokkedem
1995 J jnl
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems.
Theor. Comput. Sci.
Abdelillah Mokkedem, Dominique Méry
1994 — conf
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.
ICTL
Abdelillah Mokkedem, Dominique Méry
1993 — conf
On Using a Composition Principle to Design Parallel Programs.
AMAST
Abdelillah Mokkedem, Dominique Méry
1992 A* conf
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications.
CAV
Dominique Méry, Abdelillah Mokkedem