Otmane Aït Mohamed Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelmalek 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSa'ed Abed, Otmane Aït Mohamed: LCF-style for Secure Verification Platform based on Multiway Decision Graphs. CIIA 2009
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, M. Sawan, F. Awwad: TBCD-TDM: Novel Ultra-Low Energy Protocol for Implantable Wireless Body Sensor Networks. GLOBECOM 2009: 1-6
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan: A case study on system-level modeling by aspect-oriented programming. ISQED 2009: 345-349
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSa'ed Abed, Otmane Aït Mohamed: LCF-style Platform based on Multiway Decision Graphs. Electr. Notes Theor. Comput. Sci. 246: 3-26 (2009)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSa'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
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOtmane 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane: The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. FDL 2008: 136-141
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYassine 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSa'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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed: Autometic Generation of SystemC Transactors from AsmL Specification. FDL 2007: 104-109
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed: A New 10 Gbps Traffic Management algorithm for High-speed Networks. ISCAS 2007: 2510-2513
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSayed 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonglin Li, Otmane Aït Mohamed, Sa'ed Abed: Towards First-Order Symbolic Trajectory Evaluation. ISMVL 2007: 53
2006
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonglin Li, Otmane Aït Mohamed: MDG-Based Verification of the Look-Aside Interface. CCECE 2006: 1064-1068
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed: Efficient assertion based verification using TLM. DATE 2006: 106-111
2005
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdallah 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFang Wang, Sofiène Tahar, Otmane Aït Mohamed: First-Order LTL Model Checking Using MDGs. ATVA 2004: 441-455
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYing 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOtmane 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOtmane 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSofiè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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYing 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOtmane Aït Mohamed, Eduard Cerny, Xiaoyu Song: MDG-based Verification by Retiming and Combinational Transformations. Great Lakes Symposium on VLSI 1998: 356-361
1997
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOtmane Aït Mohamed, Xiaoyu Song, Eduard Cerny: On the non-termination of MDGs-based abstract state enumeration. CHARME 1997: 218-235
1995
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOtmane Aït Mohamed, Abdelillah Mokkedem: On Formal Verification of Occam Programs. PDPTA 1995: 805-814
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOtmane Aït Mohamed: Mechanizing a pi-Calculus Equivalence in HOL. TPHOLs 1995: 1-16

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)