Samir Ouchani

发表

Generating attacks in SysML activity diagrams by detecting attack surfaces

Samir Ouchani, Gabriele Lenzini, 2015, J. Ambient Intell. Humaniz. Comput..

Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols

Samir Ouchani, Mourad Debbabi, Yosr Jarraya, 2012, J. Softw..

A probabilistic verification framework of SysML activity diagrams

Samir Ouchani, Mourad Debbabi, Otmane Aït Mohamed, 2013, 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT).

A quantitative verification framework of SysML activity diagrams under time constraints

Samir Ouchani, Abdelhakim Baouya, Djamal Bennouar, 2015, Expert Syst. Appl..

PLM Competencies Analysis Based on Industry Demand

Samir Ouchani, Anne Louis, Mourad Messaadia, 2018, PLM.

A BIM-based framework for an Optimal WSN Deployment in Smart Building

Samir Ouchani, Mohamed-el-Amine Brahmia, Walid Miloud Dahmane, 2020, 2020 11th International Conference on Network of the Future (NoF).

A property-based abstraction framework for SysML activity diagrams

Samir Ouchani, Mourad Debbabi, Otmane Aït Mohamed, 2014, Knowl. Based Syst..

A Probabilistic Verification Framework for SysML Activity Diagrams

Samir Ouchani, Mourad Debbabi, Otmane Aït Mohamed, 2012, New Trends in Software Methodologies, Tools and Techniques.

Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals

Samir Ouchani, Gabriele Lenzini, Peter Y. A. Ryan, 2017, 2017 IEEE Workshop on Information Forensics and Security (WIFS).

A formal verification framework for SysML activity diagrams

Samir Ouchani, Mourad Debbabi, Otmane Aït Mohamed, 2014, Expert Syst. Appl..

A Survey of Model-Driven Testing Techniques

Abdelwahab Hamou-Lhadj, Samir Ouchani, Mohamed Mussa, 2009, 2009 Ninth International Conference on Quality Software.

Security Implementation and Verification in Smart Buildings

Hafida Bouarfa, Samir Ouchani, Walid Miloud Dahmane, 2019, CITSC.

A probabilistic and timed verification approach of SysML state machine diagram

Samir Ouchani, Abdelhakim Baouya, Djamal Bennouar, 2015, 2015 12th International Symposium on Programming and Systems (ISPS).

A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking

Samir Ouchani, Abdelhakim Baouya, Djamal Bennouar, 2016 .

Model-based systems security quantification

Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, 2011, 2011 Ninth Annual International Conference on Privacy, Security and Trust.

Gene Selection for Cancer Classification Using DCA

Samir Ouchani, Le Thi Hoai An, Van Vinh Nguyen, 2008, ADMA.

A formal verification framework for Bluespec System Verilog

Samir Ouchani, Mourad Debbabi, Otmane Aït Mohamed, 2013, Proceedings of the 2013 Forum on specification and Design Languages (FDL).

Towards an Automatic Evaluation of the Performance of Physical Unclonable Functions

Hafida Bouarfa, Samir Ouchani, Fahem Zerrouki, 2021 .

A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous Vehicle

Samir Ouchani, Abdelaziz Khaled, 2019, 2019 IEEE/ACS 16th International Conference on Computer Systems and Applications (AICCSA).

Safety analysis of train control system based on model-driven design methodology

Samir Ouchani, Otmane Aït Mohamed, Djamel Bennouar, 2019, Comput. Ind..

Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems

Samir Ouchani, Moez Krichen, 2020, ICOST.

Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams

Samir Ouchani, 2019, ICTAC.

Verification of the Correctness in Composed UML Behavioural Diagrams

Samir Ouchani, Mourad Debbabi, Otmane Aït Mohamed, 2010, SERA.

Ensuring the Functional Correctness of IoT through Formal Modeling and Verification

Samir Ouchani, Samir Ouchani, 2018, MEDI.

Recommendations-based on semantic analysis of social networks in learning environments

Samir Ouchani, Abdelaziz Khaled, Chemseddine Chohra, 2019, Comput. Hum. Behav..

Towards a Security Reinforcement Mechanism for Social Cyber-Physical Systems

Samir Ouchani, 2020, SADASC.

Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems

Samir Ouchani, Gabriele Lenzini, Sjouke Mauw, 2016, STM.

Symmetry Reduction of Time-Triggered Ethernet Protocol

Samir Ouchani, Otmane Aït Mohamed, Marwan Ammar, 2013, ANT/SEIT.

On the Probabilistic Verification of Time Constrained SysML State Machines

Samir Ouchani, Otmane Aït Mohamed, Djamel Bennouar, 2015, SoMeT.

Specification, verification, and quantification of security in model-based systems

Samir Ouchani, Mourad Debbabi, 2015, Computing.

A Recursive K-means towards trade-off between PLM Competences, Positions, and Offers

Samir Ouchani, Anne Louis, Mourad Messaadia, 2018, FNC/MobiSPC.

A Security Risk Assessment Framework for SysML Activity Diagrams

Samir Ouchani, Mourad Debbabi, Otmane Aït Mohamed, 2013, 2013 IEEE 7th International Conference on Software Security and Reliability.

Towards a fractionation-based verification: application on SysML activity diagrams

Samir Ouchani, Samir Ouchani, 2019, SAC.

Gene Selection for Cancer Classification Using DCA, Journal of Frontiers of Computer Science and Technology

Samir Ouchani, Hoai An Le Thi, Van Vinh Nguyen, 2008 .

Security analysis of socio-technical physical systems

Samir Ouchani, Gabriele Lenzini, Sjouke Mauw, 2015, Comput. Electr. Eng..

Attacks Generation by Detecting Attack Surfaces

Samir Ouchani, Gabriele Lenzini, G. Lenzini, 2014, ANT/SEIT.

5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), the 4th International Conference on Sustainable Energy Information Technology (SEIT-2014) Attacks Generation By Detecting Attack Surfaces

Samir Ouchani, Gabriele Lenzini, 2014 .

Security estimation in Streaming Protocols

Samir Ouchani, Mourad Debbabi, Yosr Jarraya, 2011, 2011 International Conference on Innovations in Information Technology.

A Smart Living Framework: Towards Analyzing Security in Smart Rooms

Hafida Bouarfa, Samir Ouchani, Walid Miloud Dahmane, 2019, MEDI.

Efficient Probabilistic Abstraction for SysML Activity Diagrams

Samir Ouchani, Mourad Debbabi, Otmane Aït Mohamed, 2012, SEFM.

A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key

Hafida Bouarfa, Samir Ouchani, Fahem Zerrouki, 2021, MEDI Workshops.

Guaranteeing Information Integrity Through Blockchains for Smart Cities

Hafida Bouarfa, Samir Ouchani, Walid Miloud Dahmane, 2021, MEDI.

Towards a reliable smart city through formal verification and network analysis

Hafida Bouarfa, Samir Ouchani, Walid Miloud Dahmane, 2021, Comput. Commun..

A security policy hardening framework for Socio-Cyber-Physical Systems

Samir Ouchani, 2021, J. Syst. Archit..

A Low-Cost Authentication Protocol Using Arbiter-PUF

Hafida Bouarfa, Samir Ouchani, Fahem Zerrouki, 2021, MEDI.

Assessing the Severity of Smart Attacks in Industrial Cyber-Physical Systems

Zahir Tari, Khalil Drira, Samir Ouchani, 2020, ACM Trans. Cyber Phys. Syst..

Towards a Foundation of a Mutual Authentication Protocol for a Robust and Resilient PUF-Based Communication Network

Hafida Bouarfa, Samir Ouchani, Fahem Zerrouki, 2021, FNC/MobiSPC.

COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection

Samir Ouchani, Nicolas Dimeglio, Sebastien Romano, 2021, MEDI Workshops.

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking

Samir Ouchani, Abdelhakim Baouya, Djamal Bennouar, 2021, Expert Syst. Appl..

A non-convex classifier support for abstraction-refinement framework

Samir Ouchani, Mourad Debbabi, Otmane Ait Mohamed, 2012, 2012 24th International Conference on Microelectronics (ICM).