Otmane Aït Mohamed

Feng Liu, QingPing Tan, Otmane Aït Mohamed: Formal proof of integer adders using all-prefix-sums operation. SCIENCE CHINA Information Sciences 55(9): 1949-1960 (2012)

Sa'ed Abed, Kamran Hussain, Otmane Aït Mohamed: Abstract property language for MDG model checking methodology. IJCAT 44(1): 23-36 (2012)

Asif Iqbal Ahmed, Sayed Hafizur Rahman, Otmane Aït Mohamed, Sa'ed Abed: Towards an FPGA implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment. IJCAT 45(1): 66-76 (2012)

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)

Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi: Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. JSW 7(7): 1488-1495 (2012)

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

Jomu George Mani Paret, Otmane Aït Mohamed: Modeling discrete event system with distributions using SystemVerilog. ISCAS 2012: 129-132

Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria: Identification of soft error glitch-propagation paths: Leveraging SAT solvers. ISCAS 2012: 3258-3261

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi: Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM 2012: 263-277

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi: A Probabilistic Verification Framework for SysML Activity Diagrams. SoMeT 2012: 108-123

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)

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

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

Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed: Model-based systems security quantification. PST 2011: 142-149

Abdelmalek Amine, Otmane Aït Mohamed, Boualem Benatallah, Zakaria Elberrichi (Eds.): Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), Saida, Algeria, December 13-15, 2011. CEUR Workshop Proceedings 825, CEUR-WS.org 2011

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)

Sa'ed Abed, Otmane Aït Mohamed: MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL 2010: 15-20

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

Sa'ed Abed, Otmane Aït Mohamed: LCF-style Platform based on Multiway Decision Graphs. Electr. Notes Theor. Comput. Sci. 246: 3-26 (2009)

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)

Sa'ed Abed, Otmane Aït Mohamed: LCF-style for Secure Verification Platform based on Multiway Decision Graphs. CIIA 2009

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

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

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

Abdelmalek Amine, Otmane Aït Mohamed, Zakaria Elberrichi (Eds.): Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), Saida, Algeria, May 3-4, 2009. CEUR Workshop Proceedings 547, CEUR-WS.org 2009

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

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

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

Otmane Aït Mohamed, César A. Muñoz, Sofiène Tahar (Eds.): Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Lecture Notes in Computer Science 5170, Springer 2008, isbn 978-3-540-71065-3

Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed: Autometic Generation of SystemC Transactors from AsmL Specification. FDL 2007: 104-109

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

Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed: A New 10 Gbps Traffic Management algorithm for High-speed Networks. ISCAS 2007: 2510-2513

Donglin Li, Otmane Aït Mohamed, Sa'ed Abed: Towards First-Order Symbolic Trajectory Evaluation. ISMVL 2007: 53

Donglin Li, Otmane Aït Mohamed: MDG-Based Verification of the Look-Aside Interface. CCECE 2006: 1064-1068

Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed: Efficient assertion based verification using TLM. DATE 2006: 106-111

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

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)

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)

Fang Wang, Sofiène Tahar, Otmane Aït Mohamed: First-Order LTL Model Checking Using MDGs. ATVA 2004: 441-455

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

Abdallah Merhebi, Otmane Aït Mohamed: A scalable and pipelined FPGA implementation of an OC192 WF scheduler. FPT 2004: 395-398

Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed: An FPGA implementation of a modified version of RED algorithm. FPT 2004: 425-428

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)

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

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)

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

Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song: MDG-based Verification by Retiming and Combinational Transformations. Great Lakes Symposium on VLSI 1998: 356-361

Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny: On the non-termination of MDGs-based abstract state enumeration. CHARME 1997: 218-235

Otmane Aït Mohamed, Abdelillah Mokkedem: On Formal Verification of Occam Programs. PDPTA 1995: 805-814

Otmane Aït Mohamed: Mechanizing a pi-Calculus Equivalence in HOL. TPHOLs 1995: 1-16