Otmane Aït Mohamed

	2012
40		Zaid Al-bayati, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria: A novel hybrid FIFO asynchronous clock domain crossing interfacing method. ACM Great Lakes Symposium on VLSI 2012: 271-274
39		Khaza Anuarul Hoque, Otmane Aït Mohamed, Sa'ed Abed, Mounir Boukadoum: MDG-SAT: an automated methodology for efficient safety checking. IJCCBS 3(1/2): 4-25 (2012)
	2011
38		Abdelmalek Amine, Otmane Aït Mohamed, Boualem Benatallah, Zakaria Elberrichi: Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), Saida, Algeria, December 13-15, 2011 CEUR-WS.org 2011
37		M. P. Jomu George, Otmane Aït Mohamed: Performance analysis of constraint solvers for coverage directed test generation: A car sequencing problem. CCECE 2011: 1154-1157
36		Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria: SEGP-Finder: Tool for identification of Soft Error Glitch-Propagating paths at gate level. ICECS 2011: 358-361
35		Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed: Model-based systems security quantification. PST 2011: 142-149
34		Sa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar: NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. 26(1): 139-152 (2011)
	2010
33		Sa'ed Abed, Otmane Aït Mohamed: MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL 2010: 15-20
32		Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi, Makan Pourzandi: Verification of the Correctness in Composed UML Behavioural Diagrams. SERA (selected papers) 2010: 163-177
31		Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu: Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Computers & Digital Techniques 4(4): 306-316 (2010)
	2009
30		Abdelmalek Amine, Otmane Aït Mohamed, Zakaria Elberrichi: Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), Saida, Algeria, May 3-4, 2009 CEUR-WS.org 2009
29		Sa'ed Abed, Otmane Aït Mohamed: LCF-style for Secure Verification Platform based on Multiway Decision Graphs. CIIA 2009
28		Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan: A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD 2009: 281-286
27		Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Mohamad Sawan, Falah R. Awwad: TBCD-TDM: Novel Ultra-Low Energy Protocol for Implantable Wireless Body Sensor Networks. GLOBECOM 2009: 1-6
26		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
25		Sa'ed Abed, Otmane Aït Mohamed: LCF-style Platform based on Multiway Decision Graphs. Electr. Notes Theor. Comput. Sci. 246: 3-26 (2009)
24		Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane: An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. J. Comput. Sci. Technol. 24(1): 76-95 (2009)
	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		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		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		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		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		Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed: A New 10 Gbps Traffic Management algorithm for High-speed Networks. ISCAS 2007: 2510-2513
17		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		Donglin Li, Otmane Aït Mohamed, Sa'ed Abed: Towards First-Order Symbolic Trajectory Evaluation. ISMVL 2007: 53
	2006
15		Donglin Li, Otmane Aït Mohamed: MDG-Based Verification of the Look-Aside Interface. CCECE 2006: 1064-1068
14		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		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		Fang Wang, Sofiène Tahar, Otmane Aït Mohamed: First-Order LTL Model Checking Using MDGs. ATVA 2004: 441-455
11		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		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)
9		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
8		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
7		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
6		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
5		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
4		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
3		Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny: On the non-termination of MDGs-based abstract state enumeration. CHARME 1997: 218-235
	1995
2		Otmane Aït Mohamed, Abdelillah Mokkedem: On Formal Verification of Occam Programs. PDPTA 1995: 805-814
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] [24] [25] [29] [33] [34] [39]
2	Asif Iqbal Ahmed	[11] [17]
3	Zaid Al-bayati	[40]
4	Abdelmalek Amine	[30] [38]
5	Falah R. Awwad	[27]
6	Boualem Benatallah	[38]
7	Mounir Boukadoum	[39]
8	Eduard Cerny	[3] [4] [5] [6] [8] [9] [10]
9	Gang Chen	[28] [31]
10	Francisco Corella	[5]
11	Paul Curzon	[7]
12	Mourad Debbabi	[32]
13	Zakaria Elberrichi	[30] [38]
14	Fariborz Fereydouni-Forouzandeh	[18] [27] [28]
15	M. P. Jomu George	[37]
16	Ming Gu	[31]
17	Ali Habibi	[11] [14] [19]
18	Ghaith Bany Hamad	[36]
19	Syed Rafay Hasan	[36] [40]
20	Khaza Anuarul Hoque	[39]
21	Yosr Jarraya	[35]
22	Tareq Hasan Khan	[19]
23	Michel Langevin	[6]
24	Donglin Li	[14] [15] [16]
25	Feng Liu	[26] [28] [31]
26	Abdallah Merhebi	[13]
27	Yassine Mokhtari	[21] [34]
28	Abdelillah Mokkedem (Abdel Mokkedem)	[2]
29	César Muñoz	[23]
30	Samir Ouchani	[32] [35]
31	V. K. Pisini	[7]
32	Makan Pourzandi	[32]
33	Sayed Hafizur Rahman	[17]
34	Amer Samarah	[14]
35	Ghiath Al Sammane	[20] [22] [24]
36	Yvon Savaria	[36] [40]
37	Mohamad Sawan	[27]
38	Xiaoyu Song	[3] [4] [5] [6] [7] [8] [9] [10] [21] [26] [28] [31]
39	Sofiène Tahar	[6] [7] [9] [11] [12] [14] [19] [21] [23] [34]
40	QingPing Tan (Qingping Tan)	[26] [28] [31]
41	Fang Wang	[12]
42	Ying Xu	[5] [10]
43	Zijian Zhou	[6] [9]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page