Abdelillah Mokkedem

Abdel Mokkedem

	2001
14		Per Bjesse, Tim Leonard, Abdel Mokkedem: Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. CAV 2001: 454-464
	2000
13		Abdel Mokkedem, Tim Leonard: Formal Verification of the Alpha 21364 Network Protocol. TPHOLs 2000: 443-461
12		Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan: Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Formal Methods in System Design 16(1): 93-119 (2000)
	1998
11		Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan: The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. CAV 1998: 464-476
10		Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan: Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. FMCAD 1998: 237-254
9		Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan: Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. SPAA 1998: 231-239
	1997
8		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: 48-62
7		Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston: A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. FME 1997: 398-417
	1995
6		Naima Brown, Abdelillah Mokkedem: On Mechanizing Proofs within a Complete Proof System for Unity. AMAST 1995: 400-415
5		Otmane Aït Mohamed, Abdelillah Mokkedem: On Formal Verification of Occam Programs. PDPTA 1995: 805-814
4		Abdelillah Mokkedem, Dominique Méry: On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. Theor. Comput. Sci. 140(1): 95-138 (1995)
	1994
3		Abdelillah Mokkedem, Dominique Méry: A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. ICTL 1994: 382-397
	1993
2		Abdelillah Mokkedem, Dominique Méry: On Using a Composition Principle to Design Parallel Programs. AMAST 1993: 315-324
	1992
1		Dominique Méry, Abdelillah Mokkedem: Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. CAV 1992: 343-356

Coauthor Index

1	Per Bjesse	[14]
2	Naima Brown	[6]
3	Michael J. Ferguson	[7]
4	Rajnish Ghughal	[8] [9] [11]
5	Ganesh Gopalakrishnan	[8] [9] [10] [11] [12]
6	Ravi Hosabettu	[8] [10] [12]
7	Robert de B. Johnston	[7]
8	Michael D. Jones	[12]
9	Tim Leonard	[13] [14]
10	Dominique Méry	[1] [2] [3] [4]
11	Otmane Aït Mohamed	[5]
12	Ratan Nalumasu	[8] [9] [11]

Colors in the list of coauthors