Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Otmane Aït Mohamed
2010 – today
- 2013
[c35]Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed: Symmetry Reduction of Time-Triggered Ethernet Protocol. ANT/SEIT 2013: 273-280- [e4]Abdelmalek Amine, Otmane Aït Mohamed, Ladjel Bellatreche (Eds.): Modeling Approaches and Algorithms for Advanced Computer Applications. Studies in Computational Intelligence 488, Springer 2013, ISBN 978-3-319-00559-1
- 2012
- [j13]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)
- [j12]Sa'ed Abed, Kamran Hussain, Otmane Aït Mohamed: Abstract property language for MDG model checking methodology. IJCAT 44(1): 23-36 (2012)
- [j11]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)
- [j10]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)
- [j9]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)
- [c34]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
- [c33]Jomu George Mani Paret, Otmane Aït Mohamed: Modeling discrete event system with distributions using SystemVerilog. ISCAS 2012: 129-132
- [c32]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
- [c31]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi: Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM 2012: 263-277
- [c30]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi: A Probabilistic Verification Framework for SysML Activity Diagrams. SoMeT 2012: 108-123
- 2011
- [j8]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)
- [c29]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
- [c28]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
- [c27]Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed: Model-based systems security quantification. PST 2011: 142-149
- [e3]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
- 2010
- [j7]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)
- [c26]Sa'ed Abed, Otmane Aït Mohamed: MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL 2010: 15-20
- [c25]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
2000 – 2009
- 2009
- [j6]Sa'ed Abed, Otmane Aït Mohamed: LCF-style Platform based on Multiway Decision Graphs. Electr. Notes Theor. Comput. Sci. 246: 3-26 (2009)
- [j5]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)
- [c24]Sa'ed Abed, Otmane Aït Mohamed: LCF-style for Secure Verification Platform based on Multiway Decision Graphs. CIIA 2009
- [c23]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
- [c22]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
- [c21]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
- [e2]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
- 2008
- [c20]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
- [c19]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
- [c18]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
- [e1]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
- 2007
- [c17]Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed: Autometic Generation of SystemC Transactors from AsmL Specification. FDL 2007: 104-109
- [c16]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
- [c15]Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed: A New 10 Gbps Traffic Management algorithm for High-speed Networks. ISCAS 2007: 2510-2513
- [c14]Donglin Li, Otmane Aït Mohamed, Sa'ed Abed: Towards First-Order Symbolic Trajectory Evaluation. ISMVL 2007: 53
- 2006
- [c13]Donglin Li, Otmane Aït Mohamed: MDG-Based Verification of the Look-Aside Interface. CCECE 2006: 1064-1068
- [c12]Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed: Efficient assertion based verification using TLM. DATE 2006: 106-111
- 2005
- [c11]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
- [j4]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)
- [j3]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)
- [c10]Fang Wang, Sofiène Tahar, Otmane Aït Mohamed: First-Order LTL Model Checking Using MDGs. ATVA 2004: 441-455
- [c9]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
- [c8]Abdallah Merhebi, Otmane Aït Mohamed: A scalable and pipelined FPGA implementation of an OC192 WF scheduler. FPT 2004: 395-398
- [c7]Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed: An FPGA implementation of a modified version of RED algorithm. FPT 2004: 425-428
- 2003
- [j2]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
- [c6]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
1990 – 1999
- 1999
- [j1]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
- [c5]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
- [c4]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
- [c3]Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny: On the non-termination of MDGs-based abstract state enumeration. CHARME 1997: 218-235
- 1995
- [c2]Otmane Aït Mohamed, Abdelillah Mokkedem: On Formal Verification of Occam Programs. PDPTA 1995: 805-814
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:00 CEST by the dblp team