Otmane Aït Mohamed

2009
24	EE	Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan: A case study on system-level modeling by aspect-oriented programming. ISQED 2009: 345-349
2008
23		Otmane Aït Mohamed, César Muñoz, Sofiène Tahar: Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings Springer 2008
22	EE	Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane: The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. FDL 2008: 136-141
21	EE	Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song: A New Approach for the Construction of Multiway Decision Graphs. ICTAC 2008: 228-242
20	EE	Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane: Reachability analysis using multiway decision graphs in the HOL theorem prover. SAC 2008: 333-338
2007
19	EE	Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed: Autometic Generation of SystemC Transactors from AsmL Specification. FDL 2007: 104-109
18	EE	Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed: A New 10 Gbps Traffic Management algorithm for High-speed Networks. ISCAS 2007: 2510-2513
17	EE	Sayed Hafizur Rahman, Asif Iqbal Ahmed, Otmane Aït Mohamed: Analysis and Performance Evaluation of a Digital Carrier Synchronizer for Modem Applications. ISCAS 2007: 417-420
16	EE	Donglin Li, Otmane Aït Mohamed, Sa'ed Abed: Towards First-Order Symbolic Trajectory Evaluation. ISMVL 2007: 53
2006
15	EE	Donglin Li, Otmane Aït Mohamed: MDG-Based Verification of the Look-Aside Interface. CCECE 2006: 1064-1068
14	EE	Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed: Efficient assertion based verification using TLM. DATE 2006: 106-111
2005
13	EE	Abdallah Merhebi, Otmane Aït Mohamed: FPGA implementation of a modular and pipelined WF scheduler for high speed OC192 networks. ACM Great Lakes Symposium on VLSI 2005: 422-425
2004
12	EE	Fang Wang, Sofiène Tahar, Otmane Aït Mohamed: First-Order LTL Model Checking Using MDGs. ATVA 2004: 441-455
11	EE	Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Mohamed, Sofiène Tahar: On the Design and Verification Methodology of the Look-Aside Interface. DATE 2004: 290-295
10	EE	Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Mohamed, Sofiène Tahar: On the Design and Verification Methodology of the Look-Aside Interface. DATE 2004: 290-295
9	EE	Ying Xu, Xiaoyu Song, Eduard Cerny, Otmane Aït Mohamed: Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). Comput. J. 47(1): 71-84 (2004)
8	EE	Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou: MDG-Based State Enumeration By Retiming And Circuit Transformation. Journal of Circuits, Systems, and Computers 13(5): 1111-1132 (2004)
2003
7	EE	Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny: On the non-termination of M-based abstract state enumeration. Theor. Comput. Sci. 300(1-3): 161-179 (2003)
2000
6	EE	V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song: Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI 2000: 23-28
1999
5	EE	Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed: Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. IEEE Trans. on CAD of Integrated Circuits and Systems 18(7): 956-972 (1999)
1998
4		Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane Aït Mohamed: Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. CAV 1998: 219-231
3	EE	Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song: MDG-based Verification by Retiming and Combinational Transformations. Great Lakes Symposium on VLSI 1998: 356-361
1997
2		Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny: On the non-termination of MDGs-based abstract state enumeration. CHARME 1997: 218-235
1995
1		Otmane Aït Mohamed: Mechanizing a pi-Calculus Equivalence in HOL. TPHOLs 1995: 1-16

Coauthor Index

1	Sa'ed Abed	[16] [20] [21] [22]
2	Asif Iqbal Ahmed	[10] [11] [17]
3	Eduard Cerny	[2] [3] [4] [5] [7] [8] [9]
4	Francisco Corella	[4]
5	Paul Curzon	[6]
6	Fariborz Fereydouni-Forouzandeh	[18]
7	Ali Habibi	[10] [11] [14] [19]
8	Tareq Hasan Khan	[19]
9	Michel Langevin	[5]
10	Donglin Li	[14] [15] [16]
11	Feng Liu	[24]
12	Abdallah Merhebi	[13]
13	Yassine Mokhtari	[21]
14	César Muñoz	[23]
15	V. K. Pisini	[6]
16	Sayed Hafizur Rahman	[17]
17	Amer Samarah	[14]
18	Ghiath Al Sammane	[20] [22]
19	Xiaoyu Song	[2] [3] [4] [5] [6] [7] [8] [9] [21] [24]
20	Sofiène Tahar	[5] [6] [8] [10] [11] [12] [14] [19] [21] [23]
21	QingPing Tan	[24]
22	Fang Wang	[12]
23	Ying Xu	[4] [9]
24	Zijian Zhou	[5] [8]

Colors in the list of coauthors