default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOtmane 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, Otmane Aït Mohamed:
AML: An accuracy metric model for effective evaluation of log parsing techniques. J. Syst. Softw. 216: 112154 (2024)- [c95]Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Naser Ezzati-Jivan, Mohammed A. Shehab:
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, Otmane Aït Mohamed, Samir Ouchani:
A framework for modeling and analyzing cyber-physical systems using statistical model checking. Internet Things 22: 100732 (2023) - [j30]Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani:
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, Otmane Aït Mohamed, Mourad Debbabi:
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, Otmane Aït Mohamed, Mohammed A. Shehab:
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, Djamal Bennouar:
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Expert Syst. Appl. 174: 114572 (2021) - [j28]Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed:
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, Ghaith Bany Hamad, Otmane Aït Mohamed:
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, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
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, Samir Ouchani:
Safety analysis of train control system based on model-driven design methodology. Comput. Ind. 105: 1-16 (2019) - [j24]Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria:
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, Marwan Ammar, Otmane Aït Mohamed, Yvon Savaria:
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, Abdel-Latif Alshalalfah, Otmane Aït Mohamed, Rami Alazrai:
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, Otmane Aït Mohamed, Yvon Savaria:
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, Mounir Boukadoum, Otmane Aït Mohamed:
HMM/MLP speech recognition system using a novel data clustering approach. CCECE 2017: 1-4 - [c70]Lilia Lazli, Mounir Boukadoum, Otmane Aït Mohamed:
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, Mounir Boukadoum, Otmane Aït Mohamed:
Brain tissue classification of alzheimer disease using partial volume possibilistic modeling: Application to ADNI phantom images. IPTA 2017: 1-5 - [c66]Lilia Lazli, Mounir Boukadoum, Mohamed Tayeb Laskri, Otmane Aït Mohamed:
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, Mounir Boukadoum, Otmane Aït Mohamed:
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, Mohammad I. Daoud:
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, Otmane Aït Mohamed:
Special issue on contributions of computational intelligence in designing complex information systems. Computing 97(7): 663-666 (2015) - [j17]Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani:
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, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani:
On the Probabilistic Verification of Time Constrained SysML State Machines. SoMeT 2015: 425-441 - 2014
- [j15]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A formal verification framework for SysML activity diagrams. Expert Syst. Appl. 41(6): 2713-2728 (2014) - [j14]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
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, Otmane Aït Mohamed, Ghiath Al Sammane:
Automatic verification of reduction techniques in Higher Order Logic. Formal Aspects Comput. 25(6): 971-991 (2013) - [c43]Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed:
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, Otmane Aït Mohamed, Mourad Debbabi:
A probabilistic verification framework of SysML activity diagrams. SoMeT 2013: 165-170 - [c38]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
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, Kamran Hussain, Otmane Aït Mohamed:
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, Mounir Boukadoum:
MDG-SAT: an automated methodology for efficient safety checking. Int. J. Crit. Comput. Based Syst. 3(1/2): 4-25 (2012) - [j8]Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi:
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, Otmane Aït Mohamed:
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, Otmane Aït Mohamed, Mourad Debbabi:
Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM 2012: 263-277 - [c31]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
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, 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) - [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, Yosr Jarraya, Otmane Aït Mohamed:
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, Otmane Aït Mohamed:
MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL 2010: 15-20 - [c26]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
- [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) - [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, 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 - [c23]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 - [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, Otmane Aït Mohamed, Ghiath Al Sammane:
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. FDL 2008: 136-141 - [c20]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 - [c19]