Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Otmane Aït Mohamed
@article{DBLP:journals/iot/AlshalalfahMO23, author = {Abdel{-}Latif Alshalalfah and Otmane A{\"{\i}}t Mohamed and Samir Ouchani}, title = {A framework for modeling and analyzing cyber-physical systems using statistical model checking}, journal = {Internet Things}, volume = {22}, pages = {100732}, year = {2023}, url = {https://doi.org/10.1016/j.iot.2023.100732}, doi = {10.1016/J.IOT.2023.100732}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iot/AlshalalfahMO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tjs/BaouyaMO23, author = {Abdelhakim Baouya and Otmane A{\"{\i}}t Mohamed and Samir Ouchani}, title = {Toward a context-driven deployment optimization for embedded systems: a product line approach}, journal = {J. Supercomput.}, volume = {79}, number = {2}, pages = {2180--2211}, year = {2023}, url = {https://doi.org/10.1007/s11227-022-04741-8}, doi = {10.1007/S11227-022-04741-8}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tjs/BaouyaMO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icm2/BansalMG23, author = {Vivek Bansal and Otmane A{\"{\i}}t Mohamed and Fakhreddine Ghaffari}, title = {Layout-based reliability analysis of openMSP430 register file under external radiations}, booktitle = {International Conference on Microelectronics, {ICM} 2023, Abu Dhabi, United Arab Emirates, December 17-20, 2023}, pages = {294--297}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICM60448.2023.10378890}, doi = {10.1109/ICM60448.2023.10378890}, timestamp = {Fri, 09 Feb 2024 20:38:52 +0100}, biburl = {https://dblp.org/rec/conf/icm2/BansalMG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpc/SedkiHME23, author = {Issam Sedki and Abdelwahab Hamou{-}Lhadj and Otmane A{\"{\i}}t Mohamed and Naser Ezzati{-}Jivan}, title = {Towards a Classification of Log Parsing Errors}, booktitle = {31st {IEEE/ACM} International Conference on Program Comprehension, {ICPC} 2023, Melbourne, Australia, May 15-16, 2023}, pages = {84--88}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICPC58990.2023.00023}, doi = {10.1109/ICPC58990.2023.00023}, timestamp = {Thu, 20 Jul 2023 21:02:45 +0200}, biburl = {https://dblp.org/rec/conf/iwpc/SedkiHME23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/SamadiAM23, author = {Ashkan Samadi and Marwan Ammar and Otmane A{\"{\i}}t Mohamed}, title = {Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability}, booktitle = {21st {IEEE} Interregional {NEWCAS} Conference, {NEWCAS} 2023, Edinburgh, United Kingdom, June 26-28, 2023}, pages = {1--5}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/NEWCAS57931.2023.10198045}, doi = {10.1109/NEWCAS57931.2023.10198045}, timestamp = {Tue, 15 Aug 2023 11:43:59 +0200}, biburl = {https://dblp.org/rec/conf/newcas/SamadiAM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vecos/OuchaniMD23, author = {Samir Ouchani and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi}, editor = {Belgacem Ben Hedia and Yassine Maleh and Moez Krichen}, title = {An Enhanced Interface-Based Probabilistic Compositional Verification Approach}, booktitle = {Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14368}, pages = {60--75}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-49737-7\_5}, doi = {10.1007/978-3-031-49737-7\_5}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vecos/OuchaniMD23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icm2/DammakMB22, author = {Chifa Dammak and Otmane A{\"{\i}}t Mohamed and Mounir Boukadoum}, title = {{SEU} Reliability Assessment Framework for {COTS} Many-core Processors}, booktitle = {International Conference on Microelectronics, {ICM} 2022, Casablanca, Morocco, December 4-7, 2022}, pages = {42--45}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICM56065.2022.10005447}, doi = {10.1109/ICM56065.2022.10005447}, timestamp = {Sat, 28 Jan 2023 23:52:11 +0100}, biburl = {https://dblp.org/rec/conf/icm2/DammakMB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/SedkiHMS22, author = {Issam Sedki and Abdelwahab Hamou{-}Lhadj and Otmane A{\"{\i}}t Mohamed and Mohammed A. Shehab}, title = {An Effective Approach for Parsing Large Log Files}, booktitle = {{IEEE} International Conference on Software Maintenance and Evolution, {ICSME} 2022, Limassol, Cyprus, October 3-7, 2022}, pages = {1--12}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICSME55016.2022.00009}, doi = {10.1109/ICSME55016.2022.00009}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsm/SedkiHMS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isqed/NethulaBHM22, author = {Sowmith Nethula and Vivek Bansal and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, title = {Layout-based Vulnerability Analysis of {LEON3} Processor to Single Event Multiple Transients using Satisfiability Modulo Theories}, booktitle = {23rd International Symposium on Quality Electronic Design, {ISQED} 2022, Santa Clara, CA, USA, April 6-7, 2022}, pages = {1--6}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ISQED54688.2022.9806199}, doi = {10.1109/ISQED54688.2022.9806199}, timestamp = {Mon, 04 Jul 2022 17:06:19 +0200}, biburl = {https://dblp.org/rec/conf/isqed/NethulaBHM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/BansalMN22, author = {Vivek Bansal and Otmane A{\"{\i}}t Mohamed and Sowmith Nethula}, title = {{META:} {A} Layout Based Tool to Estimate the Vulnerability of Digital Circuits to Multiple Event Transient}, booktitle = {20th {IEEE} Interregional {NEWCAS} Conference, {NEWCAS} 2022, Quebec City, QC, Canada, June 19-22, 2022}, pages = {450--454}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/NEWCAS52662.2022.9842148}, doi = {10.1109/NEWCAS52662.2022.9842148}, timestamp = {Thu, 11 Aug 2022 08:52:15 +0200}, biburl = {https://dblp.org/rec/conf/newcas/BansalMN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/BaouyaMOB21, author = {Abdelhakim Baouya and Otmane A{\"{\i}}t Mohamed and Samir Ouchani and Djamal Bennouar}, title = {Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking}, journal = {Expert Syst. Appl.}, volume = {174}, pages = {114572}, year = {2021}, url = {https://doi.org/10.1016/j.eswa.2021.114572}, doi = {10.1016/J.ESWA.2021.114572}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/BaouyaMOB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcasI/AlshalalfahHM21, author = {Abdel{-}Latif Alshalalfah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, title = {Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies}, journal = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.}, volume = {68}, number = {8}, pages = {3147--3157}, year = {2021}, url = {https://doi.org/10.1109/TCSI.2021.3058355}, doi = {10.1109/TCSI.2021.3058355}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcasI/AlshalalfahHM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mwscas/AbdelhamidAAM21, author = {Mohamed Abdelhamid and Ayman A. Atallah and Marwan Ammar and Otmane A{\"{\i}}t Mohamed}, title = {Reliability Analysis Of Autonomous {UAV} Communication Using Statistical Model Checking}, booktitle = {64th {IEEE} International Midwest Symposium on Circuits and Systems, {MWSCAS} 2021, Lansing, MI, USA, August 9-11, 2021}, pages = {340--343}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/MWSCAS47672.2021.9531675}, doi = {10.1109/MWSCAS47672.2021.9531675}, timestamp = {Wed, 22 Sep 2021 16:10:31 +0200}, biburl = {https://dblp.org/rec/conf/mwscas/AbdelhamidAAM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/SamadiAM21, author = {Ashkan Samadi and Marwan Ammar and Otmane A{\"{\i}}t Mohamed}, title = {Dynamic Fault Tree Analysis and Risk Mitigation Strategies of Data Communication System via Statistical Model Checking}, booktitle = {19th {IEEE} International New Circuits and Systems Conference, {NEWCAS} 2021, Toulon, France, June 13-16, 2021}, pages = {1--4}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/NEWCAS50681.2021.9462743}, doi = {10.1109/NEWCAS50681.2021.9462743}, timestamp = {Mon, 28 Jun 2021 16:13:17 +0200}, biburl = {https://dblp.org/rec/conf/newcas/SamadiAM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-15473, author = {Issam Sedki and Abdelwahab Hamou{-}Lhadj and Otmane A{\"{\i}}t Mohamed}, title = {{AWSOM-LP:} An Effective Log Parsing Technique Using Pattern Recognition and Frequency Analysis}, journal = {CoRR}, volume = {abs/2110.15473}, year = {2021}, url = {https://arxiv.org/abs/2110.15473}, eprinttype = {arXiv}, eprint = {2110.15473}, timestamp = {Tue, 02 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-15473.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tii/AtallahHM20, author = {Ayman A. Atallah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, title = {Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks}, journal = {{IEEE} Trans. Ind. Informatics}, volume = {16}, number = {7}, pages = {4525--4534}, year = {2020}, url = {https://doi.org/10.1109/TII.2019.2950887}, doi = {10.1109/TII.2019.2950887}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tii/AtallahHM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/AlshalalfahHM20, author = {Abdel{-}Latif Alshalalfah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, title = {System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via {UPPAAL-SMC}}, booktitle = {42nd Annual International Conference of the {IEEE} Engineering in Medicine {\&} Biology Society, {EMBC} 2020, Montreal, QC, Canada, July 20-24, 2020}, pages = {2508--2511}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EMBC44109.2020.9176568}, doi = {10.1109/EMBC44109.2020.9176568}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/embc/AlshalalfahHM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/AlshalalfahM20, author = {Abdel{-}Latif Alshalalfah and Otmane A{\"{\i}}t Mohamed}, title = {System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata}, booktitle = {27th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2020, Glasgow, Scotland, UK, November 23-25, 2020}, pages = {1--4}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ICECS49266.2020.9294965}, doi = {10.1109/ICECS49266.2020.9294965}, timestamp = {Mon, 11 Jan 2021 17:46:55 +0100}, biburl = {https://dblp.org/rec/conf/icecsys/AlshalalfahM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/AlshalalfahHM20, author = {Abdel{-}Latif Alshalalfah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, title = {Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted {PID} Control Strategy}, booktitle = {18th {IEEE} International New Circuits and Systems Conference, {NEWCAS} 2020, Montr{\'{e}}al, QC, Canada, June 16-19, 2020}, pages = {146--149}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/NEWCAS49341.2020.9159828}, doi = {10.1109/NEWCAS49341.2020.9159828}, timestamp = {Wed, 12 Aug 2020 14:58:43 +0200}, biburl = {https://dblp.org/rec/conf/newcas/AlshalalfahHM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/AmmarHMS19, author = {Marwan Ammar and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs)}, journal = {{IEEE} Access}, volume = {7}, pages = {29264--29276}, year = {2019}, url = {https://doi.org/10.1109/ACCESS.2019.2902796}, doi = {10.1109/ACCESS.2019.2902796}, timestamp = {Fri, 12 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/AmmarHMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cii/BaouyaMBO19, author = {Abdelhakim Baouya and Otmane A{\"{\i}}t Mohamed and Djamal Bennouar and Samir Ouchani}, title = {Safety analysis of train control system based on model-driven design methodology}, journal = {Comput. Ind.}, volume = {105}, pages = {1--16}, year = {2019}, url = {https://doi.org/10.1016/j.compind.2018.10.007}, doi = {10.1016/J.COMPIND.2018.10.007}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cii/BaouyaMBO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ress/HoqueMS19, author = {Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs}, journal = {Reliab. Eng. Syst. Saf.}, volume = {182}, pages = {107--119}, year = {2019}, url = {https://doi.org/10.1016/j.ress.2018.10.011}, doi = {10.1016/J.RESS.2018.10.011}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ress/HoqueMS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieaaie/AtallahHM19, author = {Ayman A. Atallah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, editor = {Franz Wotawa and Gerhard Friedrich and Ingo Pill and Roxane Koitz{-}Hristov and Moonis Ali}, title = {Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks}, booktitle = {Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, {IEA/AIE} 2019, Graz, Austria, July 9-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11606}, pages = {504--515}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-22999-3\_44}, doi = {10.1007/978-3-030-22999-3\_44}, timestamp = {Mon, 01 Jul 2019 13:25:54 +0200}, biburl = {https://dblp.org/rec/conf/ieaaie/AtallahHM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/AlshalalfahHM19, author = {Abdel{-}Latif Alshalalfah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, title = {Towards System Level Security Analysis of Artificial Pancreas Via {UPPAAL-SMC}}, booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2019, Sapporo, Japan, May 26-29, 2019}, pages = {1--5}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ISCAS.2019.8702440}, doi = {10.1109/ISCAS.2019.8702440}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/AlshalalfahHM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/HailesellasieHM19, author = {Muluken Hailesellasie and Syed Rafay Hasan and Otmane A{\"{\i}}t Mohamed}, title = {MulMapper: Towards an Automated FPGA-Based {CNN} Processor Generator Based on a Dynamic Design Space Exploration}, booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2019, Sapporo, Japan, May 26-29, 2019}, pages = {1--5}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ISCAS.2019.8702589}, doi = {10.1109/ISCAS.2019.8702589}, timestamp = {Sun, 14 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscas/HailesellasieHM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/latw/AmmarHM19, author = {Marwan Ammar and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, title = {Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs)}, booktitle = {{IEEE} Latin American Test Symposium, {LATS} 2019, Santiago, Chile, March 11-13, 2019}, pages = {1--6}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LATW.2019.8704589}, doi = {10.1109/LATW.2019.8704589}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/latw/AmmarHM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/latw/AtallahHM19, author = {Ayman A. Atallah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, title = {Reliability Analysis of {TSN} Networks Under {SEU} Induced Soft Error Using Model Checking}, booktitle = {{IEEE} Latin American Test Symposium, {LATS} 2019, Santiago, Chile, March 11-13, 2019}, pages = {1--6}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LATW.2019.8704633}, doi = {10.1109/LATW.2019.8704633}, timestamp = {Tue, 07 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/latw/AtallahHM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/AtallahHMB19, author = {Ayman A. Atallah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Mounir Boukadoum}, title = {High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks}, booktitle = {17th {IEEE} International New Circuits and Systems Conference, {NEWCAS} 2019, Munich, Germany, June 23-26, 2019}, pages = {1--4}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/NEWCAS44328.2019.8961274}, doi = {10.1109/NEWCAS44328.2019.8961274}, timestamp = {Tue, 04 Feb 2020 14:36:47 +0100}, biburl = {https://dblp.org/rec/conf/newcas/AtallahHMB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/HamadAMS18, author = {Ghaith Bany Hamad and Marwan Ammar and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking}, journal = {{IEEE} Access}, volume = {6}, pages = {62107--62119}, year = {2018}, url = {https://doi.org/10.1109/ACCESS.2018.2876318}, doi = {10.1109/ACCESS.2018.2876318}, timestamp = {Sat, 01 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/HamadAMS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/MouhoubSMA18, author = {Malek Mouhoub and Samira Sadaoui and Otmane A{\"{\i}}t Mohamed and Moonis Ali}, title = {Technological Advances in Applied Intelligence {(IEA/AIE-2018)}}, journal = {{AI} Mag.}, volume = {39}, number = {4}, pages = {27--28}, year = {2018}, url = {https://doi.org/10.1609/aimag.v39i4.2836}, doi = {10.1609/AIMAG.V39I4.2836}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/MouhoubSMA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mia/DaoudAMA18, author = {Mohammad I. Daoud and Abdel{-}Latif Alshalalfah and Otmane A{\"{\i}}t Mohamed and Rami Alazrai}, title = {A hybrid camera- and ultrasound-based approach for needle localization and tracking using a 3D motorized curvilinear ultrasound probe}, journal = {Medical Image Anal.}, volume = {50}, pages = {145--166}, year = {2018}, url = {https://doi.org/10.1016/j.media.2018.09.006}, doi = {10.1016/J.MEDIA.2018.09.006}, timestamp = {Sat, 30 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mia/DaoudAMA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/AmmarHMS18, author = {Marwan Ammar and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Reliability Analysis of the {SPARC} {V8} Architecture via Fault Trees and {UPPAL-SMC}}, booktitle = {25th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2018, Bordeaux, France, December 9-12, 2018}, pages = {437--440}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICECS.2018.8617845}, doi = {10.1109/ICECS.2018.8617845}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/icecsys/AmmarHMS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieaaie/AtallahHM18, author = {Ayman A. Atallah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, editor = {Malek Mouhoub and Samira Sadaoui and Otmane A{\"{\i}}t Mohamed and Moonis Ali}, title = {Reliability-Aware Routing of {AVB} Streams in {TSN} Networks}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {10868}, pages = {697--708}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92058-0\_67}, doi = {10.1007/978-3-319-92058-0\_67}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/ieaaie/AtallahHM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iolts/AtallahHM18, author = {Ayman A. Atallah and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed}, editor = {Dimitris Gizopoulos and Dan Alexandrescu and Mihalis Maniatakos and Panagiota Papavramidou}, title = {Fault-Resilient Topology Planning and Traffic Configuration for {IEEE} 802.1Qbv {TSN} Networks}, booktitle = {24th {IEEE} International Symposium on On-Line Testing And Robust System Design, {IOLTS} 2018, Platja D'Aro, Spain, July 2-4, 2018}, pages = {151--156}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/IOLTS.2018.8474201}, doi = {10.1109/IOLTS.2018.8474201}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/iolts/AtallahHM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ciia/2018, editor = {Abdelmalek Amine and Malek Mouhoub and Otmane A{\"{\i}}t Mohamed and Bachir Djebbar}, title = {Computational Intelligence and Its Applications - 6th {IFIP} {TC} 5 International Conference, {CIIA} 2018, Oran, Algeria, May 8-10, 2018, Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {522}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89743-1}, doi = {10.1007/978-3-319-89743-1}, isbn = {978-3-319-89742-4}, timestamp = {Thu, 26 Apr 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ciia/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ieaaie/2018, editor = {Malek Mouhoub and Samira Sadaoui and Otmane A{\"{\i}}t Mohamed and Moonis Ali}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {10868}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92058-0}, doi = {10.1007/978-3-319-92058-0}, isbn = {978-3-319-92057-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ieaaie/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-04886, author = {Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Formal Dependability Modeling and Optimization of Scrubbed-Partitioned {TMR} for SRAM-based FPGAs}, journal = {CoRR}, volume = {abs/1801.04886}, year = {2018}, url = {http://arxiv.org/abs/1801.04886}, eprinttype = {arXiv}, eprint = {1801.04886}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-04886.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/et/HamadMS17, author = {Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits}, journal = {J. Electron. Test.}, volume = {33}, number = {5}, pages = {607--620}, year = {2017}, url = {https://doi.org/10.1007/s10836-017-5682-9}, doi = {10.1007/S10836-017-5682-9}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/et/HamadMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/HoqueMS17, author = {Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Formal analysis of {SEU} mitigation for early dependability and performability analysis of FPGA-based space applications}, journal = {J. Appl. Log.}, volume = {25}, pages = {47--68}, year = {2017}, url = {https://doi.org/10.1016/j.jal.2017.03.001}, doi = {10.1016/J.JAL.2017.03.001}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/HoqueMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccece/LazliBM17, author = {Lilia Lazli and Mounir Boukadoum and Otmane A{\"{\i}}t Mohamed}, title = {{HMM/MLP} speech recognition system using a novel data clustering approach}, booktitle = {30th {IEEE} Canadian Conference on Electrical and Computer Engineering, {CCECE} 2017, Windsor, ON, Canada, April 30 - May 3, 2017}, pages = {1--4}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/CCECE.2017.7946644}, doi = {10.1109/CCECE.2017.7946644}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ccece/LazliBM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codit/LazliBM17, author = {Lilia Lazli and Mounir Boukadoum and Otmane A{\"{\i}}t Mohamed}, title = {Fuzzy clustering optimized with genetic algorithms: Application for hybrid speech recognition system}, booktitle = {4th International Conference on Control, Decision and Information Technologies, CoDIT 2017, Barcelona, Spain, April 5-7, 2017}, pages = {567--572}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/CoDIT.2017.8102654}, doi = {10.1109/CODIT.2017.8102654}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/codit/LazliBM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/glvlsi/KazmaHMS17, author = {Ghaith Kazma and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, editor = {Laleh Behjat and Jie Han and Miroslav N. Velev and Deming Chen}, title = {Analysis of {SEU} Propagation in Combinational Circuits at {RTL} Based on Satisfiability Modulo Theories}, booktitle = {Proceedings of the on Great Lakes Symposium on {VLSI} 2017, Banff, AB, Canada, May 10-12, 2017}, pages = {239--244}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3060403.3060438}, doi = {10.1145/3060403.3060438}, timestamp = {Tue, 06 Nov 2018 16:59:34 +0100}, biburl = {https://dblp.org/rec/conf/glvlsi/KazmaHMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iolts/HamadKMS17, author = {Ghaith Bany Hamad and Ghaith Kazma and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Comprehensive analysis of sequential circuits vulnerability to transient faults using {SMT}}, booktitle = {23rd {IEEE} International Symposium on On-Line Testing and Robust System Design, {IOLTS} 2017, Thessaloniki, Greece, July 3-5, 2017}, pages = {33--38}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IOLTS.2017.8046195}, doi = {10.1109/IOLTS.2017.8046195}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/iolts/HamadKMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipta/LazliBM17, author = {Lilia Lazli and Mounir Boukadoum and Otmane A{\"{\i}}t Mohamed}, title = {Brain tissue classification of alzheimer disease using partial volume possibilistic modeling: Application to {ADNI} phantom images}, booktitle = {Seventh International Conference on Image Processing Theory, Tools and Applications, {IPTA} 2017, Montreal, QC, Canada, November 28 - December 1, 2017}, pages = {1--5}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/IPTA.2017.8310095}, doi = {10.1109/IPTA.2017.8310095}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ipta/LazliBM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwbbio/LazliBLM17, author = {Lilia Lazli and Mounir Boukadoum and Mohamed Tayeb Laskri and Otmane A{\"{\i}}t Mohamed}, editor = {Ignacio Rojas and Francisco M. Ortu{\~{n}}o Guzman}, title = {Diagnosis of Auditory Pathologies with Hidden Markov Models}, booktitle = {Bioinformatics and Biomedical Engineering - 5th International Work-Conference, {IWBBIO} 2017, Granada, Spain, April 26-28, 2017, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10208}, pages = {118--133}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-56148-6\_10}, doi = {10.1007/978-3-319-56148-6\_10}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwbbio/LazliBLM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/KazmaHMS17, author = {Ghaith Kazma and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Analysis of {SEU} propagation in sequential circuits at {RTL} using Satisfiability Modulo Theories}, booktitle = {15th {IEEE} International New Circuits and Systems Conference, {NEWCAS} 2017, Strasbourg, France, June 25-28, 2017}, pages = {237--240}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/NEWCAS.2017.8010149}, doi = {10.1109/NEWCAS.2017.8010149}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/newcas/KazmaHMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/snpd/LazliBM17, author = {Lilia Lazli and Mounir Boukadoum and Otmane A{\"{\i}}t Mohamed}, editor = {Teruhisa Hochin and Hiroaki Hirata and Hiroki Nomiya}, title = {Hybrid possibilistic-genetic technique for assessment of brain tissues volume: Case study for Alzheimer patients images clustering}, booktitle = {18th {IEEE/ACIS} International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, {SNPD} 2017, Kanazawa, Japan, June 26-28, 2017}, pages = {143--147}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/SNPD.2017.8022714}, doi = {10.1109/SNPD.2017.8022714}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/snpd/LazliBM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/HoqueMS17, author = {Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Formal Analysis of {SEU} Mitigation for Early Dependability and Performability Analysis of FPGA-based Space Applications}, journal = {CoRR}, volume = {abs/1701.03836}, year = {2017}, url = {http://arxiv.org/abs/1701.03836}, eprinttype = {arXiv}, eprint = {1701.03836}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HoqueMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdl/AmmarHMS16, author = {Marwan Ammar and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, editor = {Rolf Drechsler and Robert Wille}, title = {Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking}, booktitle = {2016 Forum on Specification and Design Languages, {FDL} 2016, Bremen, Germany, September 14-16, 2016}, pages = {1--8}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/FDL.2016.7880373}, doi = {10.1109/FDL.2016.7880373}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/fdl/AmmarHMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdl/HamadKMS16, author = {Ghaith Bany Hamad and Ghaith Kazma and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, editor = {Rolf Drechsler and Robert Wille}, title = {Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients}, booktitle = {2016 Forum on Specification and Design Languages, {FDL} 2016, Bremen, Germany, September 14-16, 2016}, pages = {1--7}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/FDL.2016.7880371}, doi = {10.1109/FDL.2016.7880371}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fdl/HamadKMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/HamadKMS16, author = {Ghaith Bany Hamad and Ghaith Kazma and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, editor = {Frank Liu}, title = {Efficient and accurate analysis of single event transients propagation using SMT-based techniques}, booktitle = {Proceedings of the 35th International Conference on Computer-Aided Design, {ICCAD} 2016, Austin, TX, USA, November 7-10, 2016}, pages = {54}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2966986.2967027}, doi = {10.1145/2966986.2967027}, timestamp = {Fri, 23 Jun 2023 22:29:48 +0200}, biburl = {https://dblp.org/rec/conf/iccad/HamadKMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/KazmaHMS16, author = {Ghaith Kazma and Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis}, booktitle = {2016 {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2016, Monte Carlo, Monaco, December 11-14, 2016}, pages = {273--276}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ICECS.2016.7841185}, doi = {10.1109/ICECS.2016.7841185}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/icecsys/KazmaHMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/HosseinHMB16, author = {Mohammad Hossein Askari Hemmat and Otmane A{\"{\i}}t Mohamed and Mounir Boukadoum}, title = {Towards code generation for {ARM} Cortex-M MCUs from SysML activity diagrams}, booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2016, Montr{\'{e}}al, QC, Canada, May 22-25, 2016}, pages = {970--973}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ISCAS.2016.7527404}, doi = {10.1109/ISCAS.2016.7527404}, timestamp = {Fri, 26 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscas/HosseinHMB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/HamadMS16, author = {Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Towards formal abstraction, modeling, and analysis of Single Event Transients at {RTL}}, booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2016, Montr{\'{e}}al, QC, Canada, May 22-25, 2016}, pages = {2166--2169}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ISCAS.2016.7539010}, doi = {10.1109/ISCAS.2016.7539010}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscas/HamadMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/BabaMAD16, author = {Mohammad M. Baba and Otmane A{\"{\i}}t Mohamed and Falah R. Awwad and Mohammad I. Daoud}, title = {A low-cost camera-based transducer tracking system for freehand three-dimensional ultrasound}, booktitle = {14th {IEEE} International New Circuits and Systems Conference, {NEWCAS} 2016, Vancouver, BC, Canada, June 26-29, 2016}, pages = {1--4}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/NEWCAS.2016.7604825}, doi = {10.1109/NEWCAS.2016.7604825}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/newcas/BabaMAD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/syscon/AmmarHM16, author = {Marwan Ammar and Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed}, title = {Formal analysis of fault tree using probabilistic model checking: {A} solar array case study}, booktitle = {Annual {IEEE} Systems Conference, SysCon 2016, Orlando, FL, USA, April 18-21, 2016}, pages = {1--6}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/SYSCON.2016.7490556}, doi = {10.1109/SYSCON.2016.7490556}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/syscon/AmmarHM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/syscon/HoqueMS16, author = {Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience}, booktitle = {Annual {IEEE} Systems Conference, SysCon 2016, Orlando, FL, USA, April 18-21, 2016}, pages = {1--6}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/SYSCON.2016.7490557}, doi = {10.1109/SYSCON.2016.7490557}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/syscon/HoqueMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computing/BellatrecheAM15, author = {Ladjel Bellatreche and Abdelmalek Amine and Otmane A{\"{\i}}t Mohamed}, title = {Special issue on contributions of computational intelligence in designing complex information systems}, journal = {Computing}, volume = {97}, number = {7}, pages = {663--666}, year = {2015}, url = {https://doi.org/10.1007/s00607-015-0463-8}, doi = {10.1007/S00607-015-0463-8}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computing/BellatrecheAM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/BaouyaBMO15, author = {Abdelhakim Baouya and Djamal Bennouar and Otmane A{\"{\i}}t Mohamed and Samir Ouchani}, title = {A quantitative verification framework of SysML activity diagrams under time constraints}, journal = {Expert Syst. Appl.}, volume = {42}, number = {21}, pages = {7493--7510}, year = {2015}, url = {https://doi.org/10.1016/j.eswa.2015.05.049}, doi = {10.1016/J.ESWA.2015.05.049}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/BaouyaBMO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mr/HamadHMS15, author = {Ghaith Bany Hamad and Syed Rafay Hasan and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits}, journal = {Microelectron. Reliab.}, volume = {55}, number = {1}, pages = {238--250}, year = {2015}, url = {https://doi.org/10.1016/j.microrel.2014.09.025}, doi = {10.1016/J.MICROREL.2014.09.025}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mr/HamadHMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/HoqueMS15, author = {Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, editor = {Wolfgang Nebel and David Atienza}, title = {Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking}, booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March 9-13, 2015}, pages = {1635--1640}, publisher = {{ACM}}, year = {2015}, url = {http://dl.acm.org/citation.cfm?id=2757191}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/date/HoqueMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccd/GeorgeM15, author = {M. P. Jomu George and Otmane A{\"{\i}}t Mohamed}, title = {A methodology to generate evenly distributed input stimuli by clustering of variable domain}, booktitle = {33rd {IEEE} International Conference on Computer Design, {ICCD} 2015, New York City, NY, USA, October 18-21, 2015}, pages = {605--612}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICCD.2015.7357171}, doi = {10.1109/ICCD.2015.7357171}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccd/GeorgeM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icm2/AskarihemmatMB15, author = {Mohammadhossein Askarihemmat and Otmane A{\"{\i}}t Mohamed and Mounir Boukadoum}, title = {Formal modeling, verification and implementation of a train control system}, booktitle = {27th International Conference on Microelectronics, {ICM} 2015, Casablanca, Morocco, December 20-23, 2015}, pages = {134--137}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ICM.2015.7438006}, doi = {10.1109/ICM.2015.7438006}, timestamp = {Mon, 09 Aug 2021 14:54:02 +0200}, biburl = {https://dblp.org/rec/conf/icm2/AskarihemmatMB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iolts/HamadMS15, author = {Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients}, booktitle = {21st {IEEE} International On-Line Testing Symposium, {IOLTS} 2015, Halkidiki, Greece, July 6-8, 2015}, pages = {1--6}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IOLTS.2015.7229818}, doi = {10.1109/IOLTS.2015.7229818}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/iolts/HamadMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isqed/ParetM15, author = {Jomu George Mani Paret and Otmane A{\"{\i}}t Mohamed}, title = {Optimum domain partitioning to increase functional verification coverage}, booktitle = {Sixteenth International Symposium on Quality Electronic Design, {ISQED} 2015, Santa Clara, CA, USA, March 2-4, 2015}, pages = {419--423}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ISQED.2015.7085462}, doi = {10.1109/ISQED.2015.7085462}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/isqed/ParetM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/somet/BaouyaBMO15, author = {Abdelhakim Baouya and Djamal Bennouar and Otmane A{\"{\i}}t Mohamed and Samir Ouchani}, editor = {Hamido Fujita and Guido Guizzi}, title = {On the Probabilistic Verification of Time Constrained SysML State Machines}, booktitle = {Intelligent Software Methodologies, Tools and Techniques - 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings}, series = {Communications in Computer and Information Science}, volume = {532}, pages = {425--441}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-22689-7\_33}, doi = {10.1007/978-3-319-22689-7\_33}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/somet/BaouyaBMO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/OuchaniMD14, author = {Samir Ouchani and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi}, title = {A formal verification framework for SysML activity diagrams}, journal = {Expert Syst. Appl.}, volume = {41}, number = {6}, pages = {2713--2728}, year = {2014}, url = {https://doi.org/10.1016/j.eswa.2013.10.064}, doi = {10.1016/J.ESWA.2013.10.064}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eswa/OuchaniMD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/OuchaniMD14, author = {Samir Ouchani and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi}, title = {A property-based abstraction framework for SysML activity diagrams}, journal = {Knowl. Based Syst.}, volume = {56}, pages = {328--343}, year = {2014}, url = {https://doi.org/10.1016/j.knosys.2013.11.016}, doi = {10.1016/J.KNOSYS.2013.11.016}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kbs/OuchaniMD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/HamadMS14, author = {Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Probabilistic model checking of single event transient propagation at {RTL} level}, booktitle = {21st {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2014, Marseille, France, December 7-10, 2014}, pages = {451--454}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ICECS.2014.7050019}, doi = {10.1109/ICECS.2014.7050019}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/icecsys/HamadMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icm2/AskarihemmatMB14, author = {Mohammadhossein Askarihemmat and Otmane A{\"{\i}}t Mohamed and Mounir Boukadoum}, title = {Automatic mapping of {AF3} specifications to {ARM} cortex-M based {FRDM} platfrom}, booktitle = {26th International Conference on Microelectronics, {ICM} 2014, Doha, Qatar, December 14-17, 2014}, pages = {232--235}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ICM.2014.7071849}, doi = {10.1109/ICM.2014.7071849}, timestamp = {Mon, 09 Aug 2021 14:54:02 +0200}, biburl = {https://dblp.org/rec/conf/icm2/AskarihemmatMB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/HamadHMS14, author = {Ghaith Bany Hamad and Syed Rafay Hasan and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Abstracting Single Event Transient characteristics variations due to input patterns and fan-out}, booktitle = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014, Melbourne, Victoria, Australia, June 1-5, 2014}, pages = {1468--1471}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ISCAS.2014.6865423}, doi = {10.1109/ISCAS.2014.6865423}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/HamadHMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/HoqueMST14, author = {Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed and Yvon Savaria and Claude Thibeault}, title = {Probabilistic model checking based {DAL} analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications}, booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014}, pages = {175--184}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/MEMCOD.2014.6961856}, doi = {10.1109/MEMCOD.2014.6961856}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/memocode/HoqueMST14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mwscas/HamadHMS14, author = {Ghaith Bany Hamad and Syed Rafay Hasan and Otmane A{\"{\i}}t Mohamed and Yvon Savaria}, title = {Modeling, analyzing, and abstracting single event transient propagation at gate level}, booktitle = {{IEEE} 57th International Midwest Symposium on Circuits and Systems, {MWSCAS} 2014, College Station, TX, USA, August 3-6, 2014}, pages = {515--518}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/MWSCAS.2014.6908465}, doi = {10.1109/MWSCAS.2014.6908465}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/mwscas/HamadHMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/AbedMS13, author = {Sa'ed Abed and Otmane A{\"{\i}}t Mohamed and Ghiath Al Sammane}, title = {Automatic verification of reduction techniques in Higher Order Logic}, journal = {Formal Aspects Comput.}, volume = {25}, number = {6}, pages = {971--991}, year = {2013}, url = {https://doi.org/10.1007/s00165-012-0223-x}, doi = {10.1007/S00165-012-0223-X}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/AbedMS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ant/AmmarOM13, author = {Marwan Ammar and Samir Ouchani and Otmane A{\"{\i}}t Mohamed}, editor = {Elhadi M. Shakshuki and Karim Djouani and Michael Sheng and Mohamed F. Younis and Eduardo Vaz and Wayne Groszko}, title = {Symmetry Reduction of Time-Triggered Ethernet Protocol}, booktitle = {Proceedings of the 4th International Conference on Ambient Systems, Networks and Technologies {(ANT} 2013), the 3rd International Conference on Sustainable Energy Information Technology (SEIT-2013), Halifax, Nova Scotia, Canada, June 25-28, 2013}, series = {Procedia Computer Science}, volume = {19}, pages = {273--280}, publisher = {Elsevier}, year = {2013}, url = {https://doi.org/10.1016/j.procs.2013.06.039}, doi = {10.1016/J.PROCS.2013.06.039}, timestamp = {Fri, 28 Jan 2022 08:58:39 +0100}, biburl = {https://dblp.org/rec/conf/ant/AmmarOM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdl/OuchaniMD13, author = {Samir Ouchani and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi}, title = {A formal verification framework for Bluespec System Verilog}, booktitle = {Proceedings of the 2013 Forum on specification and Design Languages, {FDL} 2013, Paris, France, September 24-26, 2013}, pages = {1--7}, publisher = {{IEEE}}, year = {2013}, url = {https://ieeexplore.ieee.org/document/6646644/}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fdl/OuchaniMD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/HoqueMST13, author = {Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed and Yvon Savaria and Claude Thibeault}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking}, booktitle = {Formal Techniques for Safety-Critical Systems - Second International Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {419}, pages = {54--70}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-05416-2\_5}, doi = {10.1007/978-3-319-05416-2\_5}, timestamp = {Wed, 24 May 2017 08:30:54 +0200}, biburl = {https://dblp.org/rec/conf/ftscs/HoqueMST13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/inap/ParetM13, author = {Jomu George Mani Paret and Otmane A{\"{\i}}t Mohamed}, editor = {Michael Hanus and Ricardo Rocha}, title = {Coverage Driven Test Generation and Consistency Algorithm}, booktitle = {Declarative Programming and Knowledge Management - Declarative Programming Days, {KDPD} 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8439}, pages = {136--151}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-08909-6\_9}, doi = {10.1007/978-3-319-08909-6\_9}, timestamp = {Thu, 14 Oct 2021 10:44:07 +0200}, biburl = {https://dblp.org/rec/conf/inap/ParetM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/somet/OuchaniMD13, author = {Samir Ouchani and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi}, title = {A probabilistic verification framework of SysML activity diagrams}, booktitle = {{IEEE} 12th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2013, Budapest, Hungary, September 22-24, 2013}, pages = {165--170}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/SoMeT.2013.6645657}, doi = {10.1109/SOMET.2013.6645657}, timestamp = {Wed, 16 Oct 2019 14:14:48 +0200}, biburl = {https://dblp.org/rec/conf/somet/OuchaniMD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/OuchaniMD13, author = {Samir Ouchani and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi}, title = {A Security Risk Assessment Framework for SysML Activity Diagrams}, booktitle = {{IEEE} 7th International Conference on Software Security and Reliability, {SERE} 2013, Gaithersburg, MD, USA, June 18-20, 2013}, pages = {227--236}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/SERE.2013.11}, doi = {10.1109/SERE.2013.11}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/ssiri/OuchaniMD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/sci/2013-488, editor = {Abdelmalek Amine and Otmane A{\"{\i}}t Mohamed and Ladjel Bellatreche}, title = {Modeling Approaches and Algorithms for Advanced Computer Applications}, series = {Studies in Computational Intelligence}, volume = {488}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-00560-7}, doi = {10.1007/978-3-319-00560-7}, isbn = {978-3-319-00559-1}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/sci/2013-488.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/chinaf/LiuTM12, author = {Feng Liu and QingPing Tan and Otmane A{\"{\i}}t Mohamed}, title = {Formal proof of integer adders using all-prefix-sums operation}, journal = {Sci. China Inf. Sci.}, volume = {55}, number = {9}, pages = {1949--1960}, year = {2012}, url = {https://doi.org/10.1007/s11432-011-4331-7}, doi = {10.1007/S11432-011-4331-7}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/chinaf/LiuTM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcat/AbedHM12, author = {Sa'ed Abed and Kamran Hussain and Otmane A{\"{\i}}t Mohamed}, title = {Abstract property language for {MDG} model checking methodology}, journal = {Int. J. Comput. Appl. Technol.}, volume = {44}, number = {1}, pages = {23--36}, year = {2012}, url = {https://doi.org/10.1504/IJCAT.2012.048205}, doi = {10.1504/IJCAT.2012.048205}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijcat/AbedHM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcat/AhmedRMA12, author = {Asif Iqbal Ahmed and Sayed Hafizur Rahman and Otmane A{\"{\i}}t Mohamed and Sa'ed Abed}, title = {Towards an {FPGA} implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment}, journal = {Int. J. Comput. Appl. Technol.}, volume = {45}, number = {1}, pages = {66--76}, year = {2012}, url = {https://doi.org/10.1504/IJCAT.2012.050133}, doi = {10.1504/IJCAT.2012.050133}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijcat/AhmedRMA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijccbs/HoqueMAB12, author = {Khaza Anuarul Hoque and Otmane A{\"{\i}}t Mohamed and Sa'ed Abed and Mounir Boukadoum}, title = {{MDG-SAT:} an automated methodology for efficient safety checking}, journal = {Int. J. Crit. Comput. Based Syst.}, volume = {3}, number = {1/2}, pages = {4--25}, year = {2012}, url = {https://doi.org/10.1504/IJCCBS.2012.045074}, doi = {10.1504/IJCCBS.2012.045074}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijccbs/HoqueMAB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsw/OuchaniJMD12, author = {Samir Ouchani and Yosr Jarraya and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi}, title = {Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols}, journal = {J. Softw.}, volume = {7}, number = {7}, pages = {1488--1495}, year = {2012}, url = {https://doi.org/10.4304/jsw.7.7.1488-1495}, doi = {10.4304/JSW.7.7.1488-1495}, timestamp = {Tue, 15 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsw/OuchaniJMD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/glvlsi/Al-bayatiMHS12, author = {Zaid Al{-}bayati and Otmane A{\"{\i}}t Mohamed and Syed Rafay Hasan and Yvon Savaria}, editor = {Erik Brunvard and Ken Stevens and Joseph R. Cavallaro and Tong Zhang}, title = {A novel hybrid {FIFO} asynchronous clock domain crossing interfacing method}, booktitle = {Great Lakes Symposium on {VLSI} 2012, GLSVLSI'12, Salt Lake City, UT, USA, May 3-4, 2012}, pages = {271--274}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2206781.2206847}, doi = {10.1145/2206781.2206847}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/glvlsi/Al-bayatiMHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/ParetM12, author = {Jomu George Mani Paret and Otmane A{\"{\i}}t Mohamed}, title = {Modeling discrete event system with distributions using SystemVerilog}, booktitle = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS} 2012, Seoul, Korea (South), May 20-23, 2012}, pages = {129--132}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/ISCAS.2012.6271474}, doi = {10.1109/ISCAS.2012.6271474}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/ParetM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/HamadMHS12, author = {Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Syed Rafay Hasan and Yvon Savaria}, title = {Identification of soft error glitch-propagation paths: Leveraging {SAT} solvers}, booktitle = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS} 2012, Seoul, Korea (South), May 20-23, 2012}, pages = {3258--3261}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/ISCAS.2012.6272020}, doi = {10.1109/ISCAS.2012.6272020}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscas/HamadMHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mwscas/ElangovanFM12, author = {S. G. Elangovan and Fariborz Fereydouni{-}Forouzandeh and Otmane A{\"{\i}}t Mohamed}, title = {Performance analysis of {TBCD} protocol over Wireless Body channel}, booktitle = {55th {IEEE} International Midwest Symposium on Circuits and Systems, {MWSCAS} 2012, Boise, ID, USA, August 5-8, 2012}, pages = {1048--1051}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/MWSCAS.2012.6292203}, doi = {10.1109/MWSCAS.2012.6292203}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mwscas/ElangovanFM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/Al-bayatiMSB12, author = {Zaid Al{-}bayati and Otmane A{\"{\i}}t Mohamed and Yvon Savaria and Mounir Boukadoum}, title = {Probabilistic model checking of clock domain crossing interfaces}, booktitle = {10th {IEEE} International {NEWCAS} Conference, Montreal, QC, Canada, June 17-20, 2012}, pages = {193--196}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/NEWCAS.2012.6328989}, doi = {10.1109/NEWCAS.2012.6328989}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/newcas/Al-bayatiMSB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/OuchaniMD12, author = {Samir Ouchani and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi}, editor = {George Eleftherakis and Mike Hinchey and Mike Holcombe}, title = {Efficient Probabilistic Abstraction for SysML Activity Diagrams}, booktitle = {Software Engineering and Formal Methods - 10th International Conference, {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7504}, pages = {263--277}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33826-7\_18}, doi = {10.1007/978-3-642-33826-7\_18}, timestamp = {Sat, 05 Sep 2020 18:01:22 +0200}, biburl = {https://dblp.org/rec/conf/sefm/OuchaniMD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/somet/OuchaniMD12, author = {Samir Ouchani and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi}, editor = {Hamido Fujita and Roberto Revetria}, title = {A Probabilistic Verification Framework for SysML Activity Diagrams}, booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eleventh SoMeT '12, Genoa, Italy, September 26{\textasciitilde}28, 2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {246}, pages = {108--123}, publisher = {{IOS} Press}, year = {2012}, url = {https://doi.org/10.3233/978-1-61499-125-0-108}, doi = {10.3233/978-1-61499-125-0-108}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/somet/OuchaniMD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ciia/2011, editor = {Abdelmalek Amine and Otmane A{\"{\i}}t Mohamed and Boualem Benatallah and Zakaria Elberrichi}, title = {Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), Saida, Algeria, December 13-15, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {825}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-825}, urn = {urn:nbn:de:0074-825-1}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ciia/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/AbedMMT10, author = {Sa'ed Abed and Yassine Mokhtari and Otmane A{\"{\i}}t Mohamed and Sofi{\`{e}}ne Tahar}, title = {NuMDG: {A} New Tool for Multiway Decision Graphs Construction}, journal = {J. Comput. Sci. Technol.}, volume = {26}, number = {1}, pages = {139--152}, year = {2011}, url = {https://doi.org/10.1007/s11390-011-9421-x}, doi = {10.1007/S11390-011-9421-X}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/AbedMMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccece/GeorgeM11, author = {M. P. Jomu George and Otmane A{\"{\i}}t Mohamed}, title = {Performance analysis of constraint solvers for coverage directed test generation: {A} car sequencing problem}, booktitle = {Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, {CCECE} 2011, Niagara Falls, Ontario, Canada, 8-11 May, 2011}, pages = {1154--1157}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/CCECE.2011.6030643}, doi = {10.1109/CCECE.2011.6030643}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/ccece/GeorgeM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/HamadMHS11, author = {Ghaith Bany Hamad and Otmane A{\"{\i}}t Mohamed and Syed Rafay Hasan and Yvon Savaria}, title = {SEGP-Finder: Tool for identification of Soft Error Glitch-Propagating paths at gate level}, booktitle = {18th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2011, Beirut, Lebanon, December 11-14, 2011}, pages = {358--361}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ICECS.2011.6122287}, doi = {10.1109/ICECS.2011.6122287}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/icecsys/HamadMHS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pst/OuchaniJM11, author = {Samir Ouchani and Yosr Jarraya and Otmane A{\"{\i}}t Mohamed}, title = {Model-based systems security quantification}, booktitle = {Ninth Annual Conference on Privacy, Security and Trust, {PST} 2011, 19-21 July, 2011, Montreal, Qu{\'{e}}bec, Canada}, pages = {142--149}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/PST.2011.5971976}, doi = {10.1109/PST.2011.5971976}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/pst/OuchaniJM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iet-cdt/LiuTCSMG10, author = {Feng Liu and Qingping Tan and Gang Chen and Xiaoyu Song and Otmane A{\"{\i}}t Mohamed and Ming Gu}, title = {Field programmable gate array prototyping of end-around carry parallel prefix tree architectures}, journal = {{IET} Comput. Digit. Tech.}, volume = {4}, number = {4}, pages = {306--316}, year = {2010}, url = {https://doi.org/10.1049/iet-cdt.2009.0036}, doi = {10.1049/IET-CDT.2009.0036}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iet-cdt/LiuTCSMG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismvl/AbedM10, author = {Sa'ed Abed and Otmane A{\"{\i}}t Mohamed}, title = {MDGs Reduction Technique Based on the {HOL} Theorem Prover}, booktitle = {40th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2010, Barcelona, Spain, 26-28 May 2010}, pages = {15--20}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ISMVL.2010.12}, doi = {10.1109/ISMVL.2010.12}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ismvl/AbedM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sera/OuchaniMDP10, author = {Samir Ouchani and Otmane A{\"{\i}}t Mohamed and Mourad Debbabi and Makan Pourzandi}, editor = {Roger Y. Lee and Olga Ormandjieva and Alain Abran and Constantinos Constantinides}, title = {Verification of the Correctness in Composed {UML} Behavioural Diagrams}, booktitle = {Software Engineering Research, Management and Applications 2010 [selected papers from the 8th {ACIS} International Conference on Software Engineering Research, Management and Applications, {SERA} 2010, Montreal, Canada, May 24-26, 2010]}, series = {Studies in Computational Intelligence}, volume = {296}, pages = {163--177}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13273-5\_11}, doi = {10.1007/978-3-642-13273-5\_11}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sera/OuchaniMDP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/AbedMS09, author = {Sa'ed Abed and Otmane A{\"{\i}}t Mohamed and Ghiath Al Sammane}, title = {An Abstract Reachability Approach by Combining {HOL} Induction and Multiway Decision Graphs}, journal = {J. Comput. Sci. Technol.}, volume = {24}, number = {1}, pages = {76--95}, year = {2009}, url = {https://doi.org/10.1007/s11390-009-9205-8}, doi = {10.1007/S11390-009-9205-8}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/AbedMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ciia/AbedM09, author = {Sa'ed Abed and Otmane A{\"{\i}}t Mohamed}, editor = {Abdelmalek Amine and Otmane A{\"{\i}}t Mohamed and Zakaria Elberrichi}, title = {LCF-style for Secure Verification Platform based on Multiway Decision Graphs}, booktitle = {Proceedings of the 2nd Conf{\'{e}}rence Internationale sur l'Informatique et ses Applications (CIIA'09), Saida, Algeria, May 3-4, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {547}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-547/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:22 +0100}, biburl = {https://dblp.org/rec/conf/ciia/AbedM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsd/LiuFMCST09, author = {Feng Liu and Fariborz Fereydouni{-}Forouzandeh and Otmane A{\"{\i}}t Mohamed and Gang Chen and Xiaoyu Song and QingPing Tan}, editor = {Antonio N{\'{u}}{\~{n}}ez and Pedro P. Carballo}, title = {A Comparative Study of Parallel Prefix Adders in {FPGA} Implementation of {EAC}}, booktitle = {12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, {DSD} 2009, 27-29 August 2009, Patras, Greece}, pages = {281--286}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/DSD.2009.135}, doi = {10.1109/DSD.2009.135}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsd/LiuFMCST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/globecom/Fereydouni-ForouzandehMSA09, author = {Fariborz Fereydouni{-}Forouzandeh and Otmane A{\"{\i}}t Mohamed and Mohamad Sawan and Falah R. Awwad}, title = {{TBCD-TDM:} Novel Ultra-Low Energy Protocol for Implantable Wireless Body Sensor Networks}, booktitle = {Proceedings of the Global Communications Conference, 2009. {GLOBECOM} 2009, Honolulu, Hawaii, USA, 30 November - 4 December 2009}, pages = {1--6}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/GLOCOM.2009.5425815}, doi = {10.1109/GLOCOM.2009.5425815}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/globecom/Fereydouni-ForouzandehMSA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isqed/LiuMST09, author = {Feng Liu and Otmane A{\"{\i}}t Mohamed and Xiaoyu Song and QingPing Tan}, title = {A case study on system-level modeling by aspect-oriented programming}, booktitle = {10th International Symposium on Quality of Electronic Design {(ISQED} 2009), 16-18 March 2009, San Jose, CA, {USA}}, pages = {345--349}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ISQED.2009.4810318}, doi = {10.1109/ISQED.2009.4810318}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isqed/LiuMST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ciia/2009, editor = {Abdelmalek Amine and Otmane A{\"{\i}}t Mohamed and Zakaria Elberrichi}, title = {Proceedings of the 2nd Conf{\'{e}}rence Internationale sur l'Informatique et ses Applications (CIIA'09), Saida, Algeria, May 3-4, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {547}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-547}, urn = {urn:nbn:de:0074-547-5}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ciia/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdl/AbedMS08, author = {Sa'ed Abed and Otmane A{\"{\i}}t Mohamed and Ghiath Al Sammane}, title = {The Performance of Combining Multiway Decision Graphs and {HOL} Theorem Prover}, booktitle = {Forum on specification and Design Languages, {FDL} 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings}, pages = {136--141}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/FDL.2008.4641435}, doi = {10.1109/FDL.2008.4641435}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fdl/AbedMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/MokhtariAMTS08, author = {Yassine Mokhtari and Sa'ed Abed and Otmane A{\"{\i}}t Mohamed and Sofi{\`{e}}ne Tahar and Xiaoyu Song}, editor = {John S. Fitzgerald and Anne E. Haxthausen and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n}, title = {A New Approach for the Construction of Multiway Decision Graphs}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5160}, pages = {228--242}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85762-4\_16}, doi = {10.1007/978-3-540-85762-4\_16}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/MokhtariAMTS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/AbedMS08, author = {Sa'ed Abed and Otmane A{\"{\i}}t Mohamed and Ghiath Al Sammane}, editor = {Roger L. Wainwright and Hisham Haddad}, title = {Reachability analysis using multiway decision graphs in the {HOL} theorem prover}, booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008}, pages = {333--338}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1363686.1363774}, doi = {10.1145/1363686.1363774}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/AbedMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AbedM09, author = {Sa'ed Abed and Otmane A{\"{\i}}t Mohamed}, editor = {Moreno Falaschi}, title = {LCF-style Platform based on Multiway Decision Graphs}, booktitle = {Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, {WFLP} 2008, Siena, Italy, July 3-4, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {246}, pages = {3--26}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.07.012}, doi = {10.1016/J.ENTCS.2009.07.012}, timestamp = {Thu, 09 Mar 2023 14:45:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AbedM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tphol/2008, editor = {Otmane A{\"{\i}}t Mohamed and C{\'{e}}sar A. Mu{\~{n}}oz and Sofi{\`{e}}ne Tahar}, title = {Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5170}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-71067-7}, doi = {10.1007/978-3-540-71067-7}, isbn = {978-3-540-71065-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tphol/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdl/KhanHTM07, author = {Tareq Hasan Khan and Ali Habibi and Sofi{\`{e}}ne Tahar and Otmane A{\"{\i}}t Mohamed}, title = {Autometic Generation of SystemC Transactors from AsmL Specification}, booktitle = {Forum on specification and Design Languages, {FDL} 2007, September 18-20, 2007, Barcelona, Spain, Proceedings}, pages = {104--109}, publisher = {{ECSI}}, year = {2007}, url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=242}, timestamp = {Thu, 03 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fdl/KhanHTM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/RahmanAM07, author = {Sayed Hafizur Rahman and Asif Iqbal Ahmed and Otmane A{\"{\i}}t Mohamed}, title = {Analysis and Performance Evaluation of a Digital Carrier Synchronizer for Modem Applications}, booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2007), 27-20 May 2007, New Orleans, Louisiana, {USA}}, pages = {417--420}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/ISCAS.2007.378552}, doi = {10.1109/ISCAS.2007.378552}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/RahmanAM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/FereydouniForouzandehM07, author = {Fariborz Fereydouni{-}Forouzandeh and Otmane A{\"{\i}}t Mohamed}, title = {A New 10 Gbps Traffic Management algorithm for High-speed Networks}, booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2007), 27-20 May 2007, New Orleans, Louisiana, {USA}}, pages = {2510--2513}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/ISCAS.2007.378749}, doi = {10.1109/ISCAS.2007.378749}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscas/FereydouniForouzandehM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismvl/LiMA07, author = {Donglin Li and Otmane A{\"{\i}}t Mohamed and Sa'ed Abed}, title = {Towards First-Order Symbolic Trajectory Evaluation}, booktitle = {37th International Symposium on Multiple-Valued Logic, {ISMVL} 2007, 13-16 May 2007, Oslo, Norway}, pages = {53}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ISMVL.2007.57}, doi = {10.1109/ISMVL.2007.57}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ismvl/LiMA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccece/LiM06, author = {Donglin Li and Otmane A{\"{\i}}t Mohamed}, title = {MDG-Based Verification of the Look-Aside Interface}, booktitle = {Proceedings of the Canadian Conference on Electrical and Computer Engineering, {CCECE} 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada}, pages = {1064--1068}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/CCECE.2006.277745}, doi = {10.1109/CCECE.2006.277745}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/ccece/LiM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/HabibiTSLM06, author = {Ali Habibi and Sofi{\`{e}}ne Tahar and Amer Samarah and Donglin Li and Otmane A{\"{\i}}t Mohamed}, editor = {Georges G. E. Gielen}, title = {Efficient assertion based verification using {TLM}}, booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe, {DATE} 2006, Munich, Germany, March 6-10, 2006}, pages = {106--111}, publisher = {European Design and Automation Association, Leuven, Belgium}, year = {2006}, url = {https://doi.org/10.1109/DATE.2006.244005}, doi = {10.1109/DATE.2006.244005}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/HabibiTSLM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/glvlsi/MerhebiM05, author = {Abdallah Merhebi and Otmane A{\"{\i}}t Mohamed}, editor = {John C. Lach and Gang Qu and Yehea I. Ismail}, title = {{FPGA} implementation of a modular and pipelined {WF} scheduler for high speed {OC192} networks}, booktitle = {Proceedings of the 15th {ACM} Great Lakes Symposium on {VLSI} 2005, Chicago, Illinois, USA, April 17-19, 2005}, pages = {422--425}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1057661.1057761}, doi = {10.1145/1057661.1057761}, timestamp = {Wed, 15 Dec 2021 17:59:57 +0100}, biburl = {https://dblp.org/rec/conf/glvlsi/MerhebiM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/XuSCM04, author = {Ying Xu and Xiaoyu Song and Eduard Cerny and Otmane A{\"{\i}}t Mohamed}, title = {Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)}, journal = {Comput. J.}, volume = {47}, number = {1}, pages = {71--84}, year = {2004}, url = {https://doi.org/10.1093/comjnl/47.1.71}, doi = {10.1093/COMJNL/47.1.71}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/XuSCM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcsc/MohamedSCTZ04, author = {Otmane A{\"{\i}}t Mohamed and Xiaoyu Song and Eduard Cerny and Sofi{\`{e}}ne Tahar and Zijian Zhou}, title = {MDG-Based State Enumeration By Retiming And Circuit Transformation}, journal = {J. Circuits Syst. Comput.}, volume = {13}, number = {5}, pages = {1111--1132}, year = {2004}, url = {https://doi.org/10.1142/S021812660400188X}, doi = {10.1142/S021812660400188X}, timestamp = {Mon, 18 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcsc/MohamedSCTZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/WangTM04, author = {Fang Wang and Sofi{\`{e}}ne Tahar and Otmane A{\"{\i}}t Mohamed}, editor = {Farn Wang}, title = {First-Order {LTL} Model Checking Using MDGs}, booktitle = {Automated Technology for Verification and Analysis: Second International Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3299}, pages = {441--455}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30476-0\_36}, doi = {10.1007/978-3-540-30476-0\_36}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/WangTM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/HabibiAMT04, author = {Ali Habibi and Asif Iqbal Ahmed and Otmane A{\"{\i}}t Mohamed and Sofi{\`{e}}ne Tahar}, title = {On the Design and Verification Methodology of the Look-Aside Interface}, booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition {(DATE} 2004), 16-20 February 2004, Paris, France}, pages = {290--295}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/DATE.2005.228}, doi = {10.1109/DATE.2005.228}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/HabibiAMT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpt/MerhebiM04, author = {Abdallah Merhebi and Otmane A{\"{\i}}t Mohamed}, editor = {Oliver Diessel and John Williams}, title = {A scalable and pipelined {FPGA} implementation of an {OC192} {WF} scheduler}, booktitle = {Proceedings of the 2004 {IEEE} International Conference on Field-Programmable Technology, Brisbane, Australia, December 6-8, 2004}, pages = {395--398}, publisher = {{IEEE}}, year = {2004}, url = {https://doi.org/10.1109/FPT.2004.1393308}, doi = {10.1109/FPT.2004.1393308}, timestamp = {Fri, 22 Nov 2019 15:44:53 +0100}, biburl = {https://dblp.org/rec/conf/fpt/MerhebiM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpt/Fereydouni-ForouzandehM04, author = {Fariborz Fereydouni{-}Forouzandeh and Otmane A{\"{\i}}t Mohamed}, editor = {Oliver Diessel and John Williams}, title = {An {FPGA} implementation of a modified version of {RED} algorithm}, booktitle = {Proceedings of the 2004 {IEEE} International Conference on Field-Programmable Technology, Brisbane, Australia, December 6-8, 2004}, pages = {425--428}, publisher = {{IEEE}}, year = {2004}, url = {https://doi.org/10.1109/FPT.2004.1393316}, doi = {10.1109/FPT.2004.1393316}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fpt/Fereydouni-ForouzandehM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MohamedSC03, author = {Otmane A{\"{\i}}t Mohamed and Xiaoyu Song and Eduard Cerny}, title = {On the non-termination of M-based abstract state enumeration}, journal = {Theor. Comput. Sci.}, volume = {300}, number = {1-3}, pages = {161--179}, year = {2003}, url = {https://doi.org/10.1016/S0304-3975(01)00345-0}, doi = {10.1016/S0304-3975(01)00345-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MohamedSC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/glvlsi/PisiniTCMS00, author = {V. K. Pisini and Sofi{\`{e}}ne Tahar and Paul Curzon and Otmane A{\"{\i}}t Mohamed and Xiaoyu Song}, editor = {Majid Sarrafzadeh and Prithviraj Banerjee and Kaushik Roy}, title = {Formal hardware verification by integrating {HOL} and {MDG}}, booktitle = {Proceedings of the 10th {ACM} Great Lakes Symposium on {VLSI} 2000, Chicago, Illinois, USA, March 2-4, 2000}, pages = {23--28}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/330855.330947}, doi = {10.1145/330855.330947}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/glvlsi/PisiniTCMS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/TaharSCZLM99, author = {Sofi{\`{e}}ne Tahar and Xiaoyu Song and Eduard Cerny and Zijian Zhou and Michel Langevin and Otmane A{\"{\i}}t Mohamed}, title = {Modeling and formal verification of the Fairisle {ATM} switch fabricusing MDGs}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {18}, number = {7}, pages = {956--972}, year = {1999}, url = {https://doi.org/10.1109/43.771178}, doi = {10.1109/43.771178}, timestamp = {Mon, 18 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcad/TaharSCZLM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/XuCSCM98, author = {Ying Xu and Eduard Cerny and Xiaoyu Song and Francisco Corella and Otmane A{\"{\i}}t Mohamed}, editor = {Alan J. Hu and Moshe Y. Vardi}, title = {Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs}, booktitle = {Computer Aided Verification, 10th International Conference, {CAV} '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1427}, pages = {219--231}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0028747}, doi = {10.1007/BFB0028747}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/XuCSCM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/glvlsi/MohamedCS98, author = {Otmane A{\"{\i}}t Mohamed and Eduard Cerny and Xiaoyu Song}, title = {MDG-based Verification by Retiming and Combinational Transformations}, booktitle = {8th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '98), 19-21 February 1998, Lafayette, LA, {USA}}, pages = {356--361}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/GLSV.1998.665311}, doi = {10.1109/GLSV.1998.665311}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/glvlsi/MohamedCS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/charme/Ait-MohamedSC97, author = {Otmane A{\"{\i}}t Mohamed and Xiaoyu Song and Eduard Cerny}, editor = {Hon Fung Li and David K. Probst}, title = {On the non-termination of MDGs-based abstract state enumeration}, booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {105}, pages = {218--235}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Thu, 18 Feb 2010 08:37:22 +0100}, biburl = {https://dblp.org/rec/conf/charme/Ait-MohamedSC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/hal/Mohamed96, author = {Otmane A{\"{\i}}t Mohamed}, title = {La th{\'{e}}orie du pi-calcul dans le syst{\`{e}}me {HOL.} (The pi-calculus theory in the {HOL} system)}, school = {Henri Poincar{\'{e}} University, Nancy, France}, year = {1996}, url = {https://hal.archives-ouvertes.fr/tel-01747761}, timestamp = {Thu, 12 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/hal/Mohamed96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/MohamedM95, author = {Otmane A{\"{\i}}t Mohamed and Abdelillah Mokkedem}, editor = {Hamid R. Arabnia}, title = {On Formal Verification of Occam Programs}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 1995, November 3-4, 1995, Georgia, {USA}}, pages = {805--814}, publisher = {{CSREA} Press}, year = {1995}, timestamp = {Mon, 09 Nov 2009 13:57:16 +0100}, biburl = {https://dblp.org/rec/conf/pdpta/MohamedM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Mohamed95, author = {Otmane A{\"{\i}}t Mohamed}, editor = {E. Thomas Schubert and Phillip J. Windley and Jim Alves{-}Foss}, title = {Mechanizing a pi-Calculus Equivalence in {HOL}}, booktitle = {Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {971}, pages = {1--16}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60275-5\_53}, doi = {10.1007/3-540-60275-5\_53}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Mohamed95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.