default search action
Otmane Aït Mohamed
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j32]Issam Sedki
, Abdelwahab Hamou-Lhadj
AML: An accuracy metric model for effective evaluation of log parsing techniques. J. Syst. Softw. 216: 112154 (2024) - [c95]Issam Sedki
Decoding Log Parsing Challenges: A Comprehensive Taxonomy for Actionable Solutions. ICSE Companion 2024: 392-393 - [c94]Ashkan Samadi, Abdellah Harous, Otmane Aït Mohamed, Mounir Boukadoum:
Advanced SEU and MBU Vulnerability Assessment of Deep Neural Networks in Air-to-Air Collision Avoidance Systems via SAT-Based Techniques. MWSCAS 2024: 1201-1205 - 2023
- [j31]Abdel-Latif Alshalalfah
A framework for modeling and analyzing cyber-physical systems using statistical model checking. Internet Things 22: 100732 (2023) - [j30]Abdelhakim Baouya
Toward a context-driven deployment optimization for embedded systems: a product line approach. J. Supercomput. 79(2): 2180-2211 (2023) - [c93]Vivek Bansal, Otmane Aït Mohamed, Fakhreddine Ghaffari:
Layout-based reliability analysis of openMSP430 register file under external radiations. ICM 2023: 294-297 - [c92]Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Naser Ezzati-Jivan:
Towards a Classification of Log Parsing Errors. ICPC 2023: 84-88 - [c91]Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed:
Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability. NEWCAS 2023: 1-5 - [c90]Samir Ouchani
An Enhanced Interface-Based Probabilistic Compositional Verification Approach. VECoS 2023: 60-75 - 2022
- [c89]Chifa Dammak, Otmane Aït Mohamed, Mounir Boukadoum:
SEU Reliability Assessment Framework for COTS Many-core Processors. ICM 2022: 42-45 - [c88]Issam Sedki, Abdelwahab Hamou-Lhadj
An Effective Approach for Parsing Large Log Files. ICSME 2022: 1-12 - [c87]Sowmith Nethula, Vivek Bansal, Ghaith Bany Hamad, Otmane Aït Mohamed:
Layout-based Vulnerability Analysis of LEON3 Processor to Single Event Multiple Transients using Satisfiability Modulo Theories. ISQED 2022: 1-6 - [c86]Vivek Bansal, Otmane Aït Mohamed, Sowmith Nethula:
META: A Layout Based Tool to Estimate the Vulnerability of Digital Circuits to Multiple Event Transient. NEWCAS 2022: 450-454 - 2021
- [j29]Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Expert Syst. Appl. 174: 114572 (2021) - [j28]Abdel-Latif Alshalalfah
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies. IEEE Trans. Circuits Syst. I Regul. Pap. 68(8): 3147-3157 (2021) - [c85]Mohamed Abdelhamid, Ayman A. Atallah, Marwan Ammar, Otmane Aït Mohamed:
Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking. MWSCAS 2021: 340-343 - [c84]Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed:
Dynamic Fault Tree Analysis and Risk Mitigation Strategies of Data Communication System via Statistical Model Checking. NEWCAS 2021: 1-4 - [i3]Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed:
AWSOM-LP: An Effective Log Parsing Technique Using Pattern Recognition and Frequency Analysis. CoRR abs/2110.15473 (2021) - 2020
- [j27]Ayman A. Atallah
Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks. IEEE Trans. Ind. Informatics 16(7): 4525-4534 (2020) - [c83]Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed:
System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC. EMBC 2020: 2508-2511 - [c82]Abdel-Latif Alshalalfah, Otmane Aït Mohamed:
System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata. ICECS 2020: 1-4 - [c81]Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted PID Control Strategy. NEWCAS 2020: 146-149
2010 – 2019
- 2019
- [j26]Marwan Ammar
Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). IEEE Access 7: 29264-29276 (2019) - [j25]Abdelhakim Baouya, Otmane Aït Mohamed, Djamal Bennouar
Safety analysis of train control system based on model-driven design methodology. Comput. Ind. 105: 1-16 (2019) - [j24]Khaza Anuarul Hoque
Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs. Reliab. Eng. Syst. Saf. 182: 107-119 (2019) - [c80]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks. IEA/AIE 2019: 504-515 - [c79]Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. ISCAS 2019: 1-5 - [c78]Muluken Hailesellasie, Syed Rafay Hasan, Otmane Aït Mohamed:
MulMapper: Towards an Automated FPGA-Based CNN Processor Generator Based on a Dynamic Design Space Exploration. ISCAS 2019: 1-5 - [c77]Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed:
Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs). LATS 2019: 1-6 - [c76]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Reliability Analysis of TSN Networks Under SEU Induced Soft Error Using Model Checking. LATS 2019: 1-6 - [c75]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed, Mounir Boukadoum:
High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks. NEWCAS 2019: 1-4 - 2018
- [j23]Ghaith Bany Hamad
New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. IEEE Access 6: 62107-62119 (2018) - [j22]Malek Mouhoub, Samira Sadaoui, Otmane Aït Mohamed, Moonis Ali:
Technological Advances in Applied Intelligence (IEA/AIE-2018). AI Mag. 39(4): 27-28 (2018) - [j21]Mohammad I. Daoud
A hybrid camera- and ultrasound-based approach for needle localization and tracking using a 3D motorized curvilinear ultrasound probe. Medical Image Anal. 50: 145-166 (2018) - [c74]Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC. ICECS 2018: 437-440 - [c73]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Reliability-Aware Routing of AVB Streams in TSN Networks. IEA/AIE 2018: 697-708 - [c72]Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed:
Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks. IOLTS 2018: 151-156 - [e6]Abdelmalek Amine, Malek Mouhoub, Otmane Aït Mohamed, Bachir Djebbar:
Computational Intelligence and Its Applications - 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings. IFIP Advances in Information and Communication Technology 522, Springer 2018, ISBN 978-3-319-89742-4 [contents] - [e5]Malek Mouhoub, Samira Sadaoui, Otmane Aït Mohamed, Moonis Ali:
Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings. Lecture Notes in Computer Science 10868, Springer 2018, ISBN 978-3-319-92057-3 [contents] - [i2]Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria:
Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs. CoRR abs/1801.04886 (2018) - 2017
- [j20]Ghaith Bany Hamad
Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits. J. Electron. Test. 33(5): 607-620 (2017) - [j19]Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria:
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. J. Appl. Log. 25: 47-68 (2017) - [c71]Lilia Lazli
HMM/MLP speech recognition system using a novel data clustering approach. CCECE 2017: 1-4 - [c70]Lilia Lazli
Fuzzy clustering optimized with genetic algorithms: Application for hybrid speech recognition system. CoDIT 2017: 567-572 - [c69]Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories. ACM Great Lakes Symposium on VLSI 2017: 239-244 - [c68]Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria:
Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. IOLTS 2017: 33-38 - [c67]Lilia Lazli
Brain tissue classification of alzheimer disease using partial volume possibilistic modeling: Application to ADNI phantom images. IPTA 2017: 1-5 - [c66]Lilia Lazli
Diagnosis of Auditory Pathologies with Hidden Markov Models. IWBBIO (1) 2017: 118-133 - [c65]Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories. NEWCAS 2017: 237-240 - [c64]Lilia Lazli
Hybrid possibilistic-genetic technique for assessment of brain tissues volume: Case study for Alzheimer patients images clustering. SNPD 2017: 143-147 - [i1]Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria:
Formal Analysis of SEU Mitigation for Early Dependability and Performability Analysis of FPGA-based Space Applications. CoRR abs/1701.03836 (2017) - 2016
- [c63]Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. FDL 2016: 1-8 - [c62]Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria:
Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. FDL 2016: 1-7 - [c61]Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria:
Efficient and accurate analysis of single event transients propagation using SMT-based techniques. ICCAD 2016: 54 - [c60]Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis. ICECS 2016: 273-276 - [c59]Mohammad Hossein Askari Hemmat, Otmane Aït Mohamed, Mounir Boukadoum:
Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams. ISCAS 2016: 970-973 - [c58]Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. ISCAS 2016: 2166-2169 - [c57]Mohammad M. Baba, Otmane Aït Mohamed, Falah R. Awwad
A low-cost camera-based transducer tracking system for freehand three-dimensional ultrasound. NEWCAS 2016: 1-4 - [c56]Marwan Ammar, Khaza Anuarul Hoque, Otmane Aït Mohamed:
Formal analysis of fault tree using probabilistic model checking: A solar array case study. SysCon 2016: 1-6 - [c55]Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria:
Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience. SysCon 2016: 1-6 - 2015
- [j18]Ladjel Bellatreche, Abdelmalek Amine
Special issue on contributions of computational intelligence in designing complex information systems. Computing 97(7): 663-666 (2015) - [j17]Abdelhakim Baouya
A quantitative verification framework of SysML activity diagrams under time constraints. Expert Syst. Appl. 42(21): 7493-7510 (2015) - [j16]Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria:
Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits. Microelectron. Reliab. 55(1): 238-250 (2015) - [c54]Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria:
Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. DATE 2015: 1635-1640 - [c53]M. P. Jomu George, Otmane Aït Mohamed:
A methodology to generate evenly distributed input stimuli by clustering of variable domain. ICCD 2015: 605-612 - [c52]Mohammadhossein Askarihemmat, Otmane Aït Mohamed, Mounir Boukadoum:
Formal modeling, verification and implementation of a train control system. ICM 2015: 134-137 - [c51]Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. IOLTS 2015: 1-6 - [c50]Jomu George Mani Paret, Otmane Aït Mohamed:
Optimum domain partitioning to increase functional verification coverage. ISQED 2015: 419-423 - [c49]Abdelhakim Baouya
On the Probabilistic Verification of Time Constrained SysML State Machines. SoMeT 2015: 425-441 - 2014
- [j15]Samir Ouchani
A formal verification framework for SysML activity diagrams. Expert Syst. Appl. 41(6): 2713-2728 (2014) - [j14]Samir Ouchani
A property-based abstraction framework for SysML activity diagrams. Knowl. Based Syst. 56: 328-343 (2014) - [c48]Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Probabilistic model checking of single event transient propagation at RTL level. ICECS 2014: 451-454 - [c47]Mohammadhossein Askarihemmat, Otmane Aït Mohamed, Mounir Boukadoum:
Automatic mapping of AF3 specifications to ARM cortex-M based FRDM platfrom. ICM 2014: 232-235 - [c46]Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria:
Abstracting Single Event Transient characteristics variations due to input patterns and fan-out. ISCAS 2014: 1468-1471 - [c45]Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault:
Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. MEMOCODE 2014: 175-184 - [c44]Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria:
Modeling, analyzing, and abstracting single event transient propagation at gate level. MWSCAS 2014: 515-518 - 2013
- [j13]Sa'ed Abed
Automatic verification of reduction techniques in Higher Order Logic. Formal Aspects Comput. 25(6): 971-991 (2013) - [c43]Marwan Ammar, Samir Ouchani
Symmetry Reduction of Time-Triggered Ethernet Protocol. ANT/SEIT 2013: 273-280 - [c42]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A formal verification framework for Bluespec System Verilog. FDL 2013: 1-7 - [c41]Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault:
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. FTSCS 2013: 54-70 - [c40]Jomu George Mani Paret, Otmane Aït Mohamed:
Coverage Driven Test Generation and Consistency Algorithm. KDPD 2013: 136-151 - [c39]Samir Ouchani
A probabilistic verification framework of SysML activity diagrams. SoMeT 2013: 165-170 - [c38]Samir Ouchani
A Security Risk Assessment Framework for SysML Activity Diagrams. SERE 2013: 227-236 - [e4]Abdelmalek Amine, Otmane Aït Mohamed, Ladjel Bellatreche:
Modeling Approaches and Algorithms for Advanced Computer Applications. Studies in Computational Intelligence 488, Springer 2013, ISBN 978-3-319-00559-1 [contents] - 2012
- [j12]Feng Liu, QingPing Tan, Otmane Aït Mohamed:
Formal proof of integer adders using all-prefix-sums operation. Sci. China Inf. Sci. 55(9): 1949-1960 (2012) - [j11]Sa'ed Abed
Abstract property language for MDG model checking methodology. Int. J. Comput. Appl. Technol. 44(1): 23-36 (2012) - [j10]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. Int. J. Comput. Appl. Technol. 45(1): 66-76 (2012) - [j9]Khaza Anuarul Hoque, Otmane Aït Mohamed, Sa'ed Abed
MDG-SAT: an automated methodology for efficient safety checking. Int. J. Crit. Comput. Based Syst. 3(1/2): 4-25 (2012) - [j8]Samir Ouchani
Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. J. Softw. 7(7): 1488-1495 (2012) - [c37]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 - [c36]Jomu George Mani Paret, Otmane Aït Mohamed:
Modeling discrete event system with distributions using SystemVerilog. ISCAS 2012: 129-132 - [c35]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 - [c34]S. G. Elangovan, Fariborz Fereydouni-Forouzandeh
Performance analysis of TBCD protocol over Wireless Body channel. MWSCAS 2012: 1048-1051 - [c33]Zaid Al-bayati, Otmane Aït Mohamed, Yvon Savaria, Mounir Boukadoum:
Probabilistic model checking of clock domain crossing interfaces. NEWCAS 2012: 193-196 - [c32]Samir Ouchani
Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM 2012: 263-277 - [c31]Samir Ouchani
A Probabilistic Verification Framework for SysML Activity Diagrams. SoMeT 2012: 108-123 - [e3]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 Workshop Proceedings 825, CEUR-WS.org 2012 [contents] - 2011
- [j7]Sa'ed Abed
NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. 26(1): 139-152 (2011) - [c30]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 - [c29]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 - [c28]Samir Ouchani
Model-based systems security quantification. PST 2011: 142-149 - 2010
- [j6]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 Comput. Digit. Tech. 4(4): 306-316 (2010) - [c27]Sa'ed Abed
MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL 2010: 15-20 - [c26]Samir Ouchani
Verification of the Correctness in Composed UML Behavioural Diagrams. SERA (selected papers) 2010: 163-177
2000 – 2009
- 2009
- [j5]Sa'ed Abed
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. J. Comput. Sci. Technol. 24(1): 76-95 (2009) - [c25]Sa'ed Abed, Otmane Aït Mohamed:
LCF-style for Secure Verification Platform based on Multiway Decision Graphs. CIIA 2009 - [c24]Feng Liu, Fariborz Fereydouni-Forouzandeh
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD 2009: 281-286 - [c23]Fariborz Fereydouni-Forouzandeh
TBCD-TDM: Novel Ultra-Low Energy Protocol for Implantable Wireless Body Sensor Networks. GLOBECOM 2009: 1-6 - [c22]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:
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 [contents] - 2008
- [c21]Sa'ed Abed
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. FDL 2008: 136-141 - [c20]Yassine Mokhtari, Sa'ed Abed
A New Approach for the Construction of Multiway Decision Graphs. ICTAC 2008: 228-242 - [c19]Sa'ed Abed
Reachability analysis using multiway decision graphs in the HOL theorem prover. SAC 2008: 333-338 - [c18]Sa'ed Abed
LCF-style Platform based on Multiway Decision Graphs. WFLP 2008: 3-26 - [e1]Otmane Aït Mohamed, César A. Muñoz, Sofiène Tahar:
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 [contents] - 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
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. J. Circuits Syst. Comput. 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. Comput. Aided Des. Integr. Circuits Syst. 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 - 1996
- [b1]Otmane Aït Mohamed:
La théorie du pi-calcul dans le système HOL. (The pi-calculus theory in the HOL system). Henri Poincaré University, Nancy, France, 1996 - 1995
- [c2]Otmane Aït Mohamed, Abdelillah Mokkedem:
On Formal Verification of Occam Programs. PDPTA 1995: 805-814 - [c1]Otmane Aït Mohamed:
Mechanizing a pi-Calculus Equivalence in HOL. TPHOLs 1995: 1-16
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-11 17:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: