Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSamir Ouchani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j16]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)- 2022
- [j15]Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga:
Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. 52(8): 8874-8894 (2022) - [j14]Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa:
A survey on silicon PUFs. J. Syst. Archit. 127: 102514 (2022) - [c43]Souhila Badra Guendouzi, Samir Ouchani, Mimoun Malki:
Genetic Algorithm Based Aggregation for Federated Learning in Industrial Cyber Physical Systems. CISIS-ICEUTE 2022: 12-21 - [c42]Souhila Badra Guendouzi, Samir Ouchani, Mimoune Malki:
Enhancing the Aggregation of the Federated Learning for the Industrial Cyber Physical Systems. CSR 2022: 197-202 - [c41]Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem:
Formal Modelling and Security Analysis of Inter-Operable Systems. IEA/AIE 2022: 555-567 - [c40]Souhila Badra Guendouzi, Samir Ouchani, Mimoun Malki:
Aggregation using Genetic Algorithms for Federated Learning in Industrial Cyber-Physical Systems. INISTA 2022: 1-6 - [c39]Mohamed-el-Amine Brahmia, Sami Babouche, Samir Ouchani, Mourad Zghal:
An Adaptive Attack Prediction Framework in Cyber-Physical Systems. SDS 2022: 1-7 - 2021
- [j13]Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa:
Towards a reliable smart city through formal verification and network analysis. Comput. Commun. 180: 171-187 (2021) - [j12]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) - [j11]Samir Ouchani:
A security policy hardening framework for Socio-Cyber-Physical Systems. J. Syst. Archit. 119: 102259 (2021) - [j10]Abdelaziz Khaled, Samir Ouchani, Zahir Tari, Khalil Drira:
Assessing the Severity of Smart Attacks in Industrial Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 5(1): 10:1-10:28 (2021) - [c38]Fatima Salma Sadek, Khaled Belkadi, Abdelhafid Abouaissa, Samir Ouchani, Mohamed-el-Amine Brahmia, Pascal Lorenz:
Modeling the Greedy Behavior Attack and Analyzing its Impact on IoT Networks. EUSPN/ICTH 2021: 770-775 - [c37]Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa:
Towards a Foundation of a Mutual Authentication Protocol for a Robust and Resilient PUF-Based Communication Network. FNC/MobiSPC 2021: 215-222 - [c36]Mohamed Anis Aguida, Samir Ouchani, Mourad Benmalek:
An IoT-based Framework for an Optimal Monitoring and Control of Cyber-Physical Systems: Application on Biogas Production System. IOT 2021: 143-149 - [c35]Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa:
A Low-Cost Authentication Protocol Using Arbiter-PUF. MEDI 2021: 101-116 - [c34]Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa:
A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key. MEDI Workshops 2021: 121-137 - [c33]Nicolas Dimeglio, Sebastien Romano, Alexandre Vesseron, Vincent Pelegrin, Samir Ouchani:
COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection. MEDI Workshops 2021: 166-178 - [c32]Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa:
Guaranteeing Information Integrity Through Blockchains for Smart Cities. MEDI 2021: 199-212 - [e1]Ladjel Bellatreche, George A. Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain:
Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings. Communications in Computer and Information Science 1481, Springer 2021, ISBN 978-3-030-87656-2 [contents] - 2020
- [c31]Samir Ouchani, Khaled Khebbeb, Meriem Hafsi:
Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach. AICCSA 2020: 1-6 - [c30]Samir Ouchani, Abdelaziz Khaled:
Security Assessment and Hardening of Autonomous Vehicles. CRiSIS 2020: 365-375 - [c29]Samir Ouchani, Moez Krichen:
Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems. ICOST 2020: 364-372 - [c28]Novi Azman, Abdusy Syarif, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Samir Ouchani, Lhassane Idoumghar:
Performance Analysis of RPL Protocols in LLN Network Using Friedman's Test. IoTSMS 2020: 1-6 - [c27]Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa:
Quantifying Security and Performance of Physical Unclonable Functions. IoTSMS 2020: 1-4 - [c26]Walid Miloud Dahmane, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Samir Ouchani:
A BIM-based framework for an Optimal WSN Deployment in Smart Building. NOF 2020: 110-114 - [c25]Samir Ouchani:
Towards a Security Reinforcement Mechanism for Social Cyber-Physical Systems. SADASC 2020: 59-73 - [c24]Karim Lounis, Samir Ouchani:
Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains. SEFM 2020: 30-42 - [c23]Mohamed Anis Aguida, Samir Ouchani, Mourad Benmalek:
A Review on Cyber-Physical Systems: Models and Architectures. WETICE 2020: 275-278
2010 – 2019
- 2019
- [j9]Abdelaziz Khaled, Samir Ouchani, Chemseddine Chohra:
Recommendations-based on semantic analysis of social networks in learning environments. Comput. Hum. Behav. 101: 435-449 (2019) - [j8]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) - [c22]Samir Ouchani, Abdelaziz Khaled:
A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous Vehicle. AICCSA 2019: 1-8 - [c21]Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa:
Security Implementation and Verification in Smart Buildings. CITSC 2019: 51-56 - [c20]Samir Ouchani:
Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams. ICTAC 2019: 216-234 - [c19]Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa:
A Smart Living Framework: Towards Analyzing Security in Smart Rooms. MEDI 2019: 206-215 - [c18]Samir Ouchani:
Towards a fractionation-based verification: application on SysML activity diagrams. SAC 2019: 2032-2039 - 2018
- [c17]Mourad Messaadia, Samir Ouchani, Anne Louis:
A Recursive K-means towards trade-off between PLM Competences, Positions, and Offers. FNC/MobiSPC 2018: 297-302 - [c16]Mourad Messaadia, Samir Ouchani, Anne Louis:
PLM Competencies Analysis Based on Industry Demand. PLM 2018: 692-701 - [c15]Samir Ouchani:
Ensuring the Functional Correctness of IoT through Formal Modeling and Verification. MEDI 2018: 401-417 - 2017
- [c14]Gabriele Lenzini, Samir Ouchani, Peter B. Rønne, Peter Y. A. Ryan, Yong Geng, Jan Lagerwall, JungHyun Noh:
Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals. WIFS 2017: 1-6 - 2016
- [c13]Gabriele Lenzini, Sjouke Mauw, Samir Ouchani:
Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems. STM 2016: 170-178 - 2015
- [j7]Gabriele Lenzini, Sjouke Mauw, Samir Ouchani:
Security analysis of socio-technical physical systems. Comput. Electr. Eng. 47: 258-274 (2015) - [j6]Samir Ouchani, Mourad Debbabi:
Specification, verification, and quantification of security in model-based systems. Computing 97(7): 691-711 (2015) - [j5]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) - [j4]Samir Ouchani, Gabriele Lenzini:
Generating attacks in SysML activity diagrams by detecting attack surfaces. J. Ambient Intell. Humaniz. Comput. 6(3): 361-373 (2015) - [c12]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
- [j3]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A formal verification framework for SysML activity diagrams. Expert Syst. Appl. 41(6): 2713-2728 (2014) - [j2]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A property-based abstraction framework for SysML activity diagrams. Knowl. Based Syst. 56: 328-343 (2014) - [c11]Samir Ouchani, Gabriele Lenzini:
Attacks Generation by Detecting Attack Surfaces. ANT/SEIT 2014: 529-536 - 2013
- [c10]Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed:
Symmetry Reduction of Time-Triggered Ethernet Protocol. ANT/SEIT 2013: 273-280 - [c9]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A formal verification framework for Bluespec System Verilog. FDL 2013: 1-7 - [c8]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A probabilistic verification framework of SysML activity diagrams. SoMeT 2013: 165-170 - [c7]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A Security Risk Assessment Framework for SysML Activity Diagrams. SERE 2013: 227-236 - 2012
- [j1]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) - [c6]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM 2012: 263-277 - [c5]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A Probabilistic Verification Framework for SysML Activity Diagrams. SoMeT 2012: 108-123 - 2011
- [c4]Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed:
Model-based systems security quantification. PST 2011: 142-149 - 2010
- [c3]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
- [c2]Mohamed Mussa, Samir Ouchani, Waseem Al Sammane, Abdelwahab Hamou-Lhadj:
A Survey of Model-Driven Testing Techniques. QSIC 2009: 167-172 - 2008
- [c1]Le Thi Hoai An, Van Vinh Nguyen, Samir Ouchani:
Gene Selection for Cancer Classification Using DCA. ADMA 2008: 62-72
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-03-25 01:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
