Follow
Samir Ouchani
Samir Ouchani
Researcher
Verified email at cesi.fr
Title
Cited by
Cited by
Year
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
722009
Gene selection for cancer classification using DCA
HA Le Thi, VV Nguyen, S Ouchani
Advanced Data Mining and Applications: 4th International Conference, ADMA …, 2008
572008
A formal verification framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Expert Systems with Applications 41 (6), 2713-2728, 2014
522014
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
322019
Security analysis of socio-technical physical systems
G Lenzini, S Mauw, S Ouchani
Computers & electrical engineering 47, 258-274, 2015
292015
Ensuring the functional correctness of IoT through formal modeling and verification
S Ouchani
Model and Data Engineering: 8th International Conference, MEDI 2018 …, 2018
262018
Specification, verification, and quantification of security in model-based systems
S Ouchani, M Debbabi
Computing 97, 691-711, 2015
242015
Attacks generation by detecting attack surfaces
S Ouchani, G Lenzini
Procedia Computer Science 32, 529-536, 2014
202014
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
202013
A Probabilistic Verification Framework for SysML Activity Diagrams
S OUCHANI
New Trends in Software Methodologies, Tools and Techniques: Proceedings of …, 2012
202012
Model-based systems security quantification
S Ouchani, Y Jarraya, OA Mohamed
2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011
202011
A property-based abstraction framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Knowledge-Based Systems 56, 328-343, 2014
192014
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
172017
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
162019
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
162015
Efficient probabilistic abstraction for SysML activity diagrams
S Ouchani, O Ait Mohamed, M Debbabi
Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012
152012
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
142013
Modeling attack-defense trees’ countermeasures using continuous time markov chains
K Lounis, S Ouchani
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 2021
102021
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
102015
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
82009
The system can't perform the operation now. Try again later.
Articles 1–20