| 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 | 72 | 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 | 58 | 2008 |
| A formal verification framework for SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi Expert Systems with Applications 41 (6), 2713-2728, 2014 | 56 | 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 | 34 | 2019 |
| Security analysis of socio-technical physical systems G Lenzini, S Mauw, S Ouchani Computers & electrical engineering 47, 258-274, 2015 | 29 | 2015 |
| Ensuring the functional correctness of IoT through formal modeling and verification S Ouchani Model and Data Engineering: 8th International Conference, MEDI 2018 …, 2018 | 26 | 2018 |
| Specification, verification, and quantification of security in model-based systems S Ouchani, M Debbabi Computing 97, 691-711, 2015 | 24 | 2015 |
| Model-based systems security quantification S Ouchani, Y Jarraya, OA Mohamed 2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011 | 21 | 2011 |
| Attacks generation by detecting attack surfaces S Ouchani, G Lenzini Procedia Computer Science 32, 529-536, 2014 | 20 | 2014 |
| A property-based abstraction framework for SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi Knowledge-Based Systems 56, 328-343, 2014 | 20 | 2014 |
| 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 |
| A Probabilistic Verification Framework for SysML Activity Diagrams S OUCHANI New Trends in Software Methodologies, Tools and Techniques: Proceedings of …, 2012 | 20 | 2012 |
| 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 | 18 | 2017 |
| 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 | 18 | 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 | 16 | 2019 |
| Efficient probabilistic abstraction for SysML activity diagrams S Ouchani, O Ait Mohamed, M Debbabi Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012 | 16 | 2012 |
| A formal verification framework for Bluespec System Verilog S Ouchani, OA Mohamed, M Debbabi Proceedings of the 2013 Forum on specification and Design Languages (FDL), 1-7, 2013 | 14 | 2013 |
| A quantitative verification framework of SysML activity diagrams under time constraints A Baouya, D Bennouar, OA Mohamed, S Ouchani Expert Systems with Applications 42 (21), 7493-7510, 2015 | 11 | 2015 |
| Modeling attack-defense trees’ countermeasures using continuous time markov chains K Lounis, S Ouchani Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 2021 | 10 | 2021 |
| Gene selection for cancer classification using DCA LETHIH An+, N Van-Vinh, O Samir Journal of Frontiers of Computer Science & Technology 3 (6), 612, 2009 | 9 | 2009 |
Otmane AIT MOHAMEDProfessor of Computer Engineering, Concordia UniversityVerified email at concordia.ca
