| A survey of model-driven testing techniques M Mussa, S Ouchani, W Al Sammane, A Hamou-Lhadj 2009 Ninth International Conference on Quality Software, 167-172, 2009 | 76 | 2009 |
| Gene selection for cancer classification using DCA HA Le Thi, VV Nguyen, S Ouchani Advanced Data Mining and Applications: 4th International Conference, ADMA …, 2008 | 64 | 2008 |
| A formal verification framework for SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi Expert Systems with Applications 41 (6), 2713-2728, 2014 | 57 | 2014 |
| Recommendations-based on semantic analysis of social networks in learning environments A Khaled, S Ouchani, C Chohra Computers in Human Behavior 101, 435-449, 2019 | 42 | 2019 |
| Ensuring the functional correctness of IoT through formal modeling and verification S Ouchani Model and Data Engineering: 8th International Conference, MEDI 2018 …, 2018 | 38 | 2018 |
| Security analysis of socio-technical physical systems G Lenzini, S Mauw, S Ouchani Computers & electrical engineering 47, 258-274, 2015 | 32 | 2015 |
| Specification, verification, and quantification of security in model-based systems S Ouchani, M Debbabi Computing 97, 691-711, 2015 | 30 | 2015 |
| Attacks generation by detecting attack surfaces S Ouchani, G Lenzini Procedia Computer Science 32, 529-536, 2014 | 25 | 2014 |
| Assessing the severity of smart attacks in industrial cyber-physical systems A Khaled, S Ouchani, Z Tari, K Drira ACM Transactions on Cyber-Physical Systems 5 (1), 1-28, 2020 | 22 | 2020 |
| A probabilistic and timed verification approach of SysML state machine diagram A Baouya, D Bennouar, OA Mohamed, S Ouchani 2015 12th International Symposium on Programming and Systems (ISPS), 1-9, 2015 | 21 | 2015 |
| Safety analysis of train control system based on model-driven design methodology A Baouya, OA Mohamed, D Bennouar, S Ouchani Computers in Industry 105, 1-16, 2019 | 20 | 2019 |
| A security risk assessment framework for SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi 2013 IEEE 7th International Conference on Software Security and Reliability …, 2013 | 20 | 2013 |
| Model-based systems security quantification S Ouchani, Y Jarraya, OA Mohamed 2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011 | 20 | 2011 |
| A survey on silicon PUFs F Zerrouki, S Ouchani, H Bouarfa Journal of Systems Architecture 127, 102514, 2022 | 19 | 2022 |
| Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals G Lenzini, S Ouchani, P Roenne, PYA Ryan, Y Geng, J Lagerwall, ... 2017 IEEE workshop on information forensics and security (WIFS), 1-6, 2017 | 19 | 2017 |
| A Probabilistic Verification Framework for SysML Activity Diagrams S OUCHANI New Trends in Software Methodologies, Tools and Techniques: Proceedings of …, 2012 | 19 | 2012 |
| A property-based abstraction framework for SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi Knowledge-Based Systems 56, 328-343, 2014 | 18 | 2014 |
| Efficient probabilistic abstraction for SysML activity diagrams S Ouchani, O Ait Mohamed, M Debbabi Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012 | 17 | 2012 |
| PUF-based mutual authentication and session key establishment protocol for IoT devices F Zerrouki, S Ouchani, H Bouarfa Journal of Ambient Intelligence and Humanized Computing 14 (9), 12575-12593, 2023 | 16 | 2023 |
| Reliability-driven automotive software deployment based on a parametrizable probabilistic model checking A Baouya, OA Mohamed, S Ouchani, D Bennouar Expert Systems with Applications 174, 114572, 2021 | 16 | 2021 |
Otmane AIT MOHAMEDProfessor of Computer Engineering, Concordia UniversityVerifierad e-postadress på concordia.ca
