Samir Ouchani
Samir Ouchani
Verifierad e-postadress på encs.concordia.ca
Titel
Citeras av
Citeras av
År
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
592009
A formal verification framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Expert Systems with Applications 41 (6), 2713-2728, 2014
372014
Gene selection for cancer classification using DCA
HA Le Thi, S Ouchani
International Conference on Advanced Data Mining and Applications, 62-72, 2008
312008
Security analysis of socio-technical physical systems
G Lenzini, S Mauw, S Ouchani
Computers & electrical engineering 47, 258-274, 2015
202015
Specification, verification, and quantification of security in model-based systems
S Ouchani, M Debbabi
Computing 97 (7), 691-711, 2015
172015
A Probabilistic Verification Framework for SysML Activity Diagrams
S OUCHANI
New Trends in Software Methodologies, Tools and Techniques: Proceedings of …, 2012
172012
Model-based systems security quantification
S Ouchani, Y Jarraya, OA Mohamed
2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011
172011
A property-based abstraction framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Knowledge-Based Systems 56, 328-343, 2014
162014
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
142013
Efficient probabilistic abstraction for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
International Conference on Software Engineering and Formal Methods, 263-277, 2012
132012
Attacks generation by detecting attack surfaces
S Ouchani, G Lenzini
Procedia Computer Science 32, 529-536, 2014
122014
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
122013
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
112019
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
72015
Verification of the correctness in composed UML behavioural diagrams
S Ouchani, OA Mohamed, M Debbabi, M Pourzandi
Software Engineering Research, Management and Applications 2010, 163-177, 2010
72010
Ensuring the functional correctness of IoT through formal modeling and verification
S Ouchani
International Conference on Model and Data Engineering, 401-417, 2018
62018
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
62015
Why SystemVeriog?
P Flake
Proceedings of the 2013 Forum on specification and Design Languages (FDL), 1-6, 2013
62013
Symmetry Reduction of Time-Triggered Ethernet Protocol.
M Ammar, S Ouchani, OA Mohamed
ANT/SEIT, 273-280, 2013
52013
Gene Selection for Cancer Classification Using DCA, Journal of Frontiers of Computer Science and Technology
HA Le Thi, S Ouchani
Journal of Frontiers of Computer Science and Technology 3 (6), 612-620, 2009
52009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20