Abdelillah Mokkedem

According to our database, Abdelillah Mokkedem authored at least 15 papers between 1992 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Accelerated verification of RTL assertions based on satisfiability solvers.

Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers.

Per Bjesse, Tim Leonard, Abdel Mokkedem

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

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

Formal Verification of the Alpha 21364 Network Protocol.

Abdel Mokkedem, Tim Leonard

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1998

Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.

Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan

Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures, 1998

Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.

Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan

Proceedings of the Formal Methods in Computer-Aided Design, 1998

The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors.

Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.

Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Formal modeling and validation applied to a commercial coherent bus: a case study.

Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu

Proceedings of the Advances in Hardware Design and Verification, 1997

1995

On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems.

Abdelillah Mokkedem, Dominique Méry

Theor. Comput. Sci., 1995

On Formal Verification of Occam Programs.

Otmane Aït Mohamed, Abdelillah Mokkedem

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995

On Mechanizing Proofs within a Complete Proof System for <i>Unity</i>.

Naima Brown, Abdelillah Mokkedem

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.

Abdelillah Mokkedem, Dominique Méry

Proceedings of the Temporal Logic, First International Conference, 1994

1993

On Using a Composition Principle to Design Parallel Programs.

Abdelillah Mokkedem, Dominique Méry

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Crocos: An Integrated Environment for Interactive Verification of SDL Specifications.

Dominique Méry, Abdelillah Mokkedem

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992