samir ouchani
samir ouchani
Email verificata su encs.concordia.ca
TitoloCitata daAnno
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
542009
Gene selection for cancer classification using DCA
HA Le Thi, S Ouchani
International Conference on Advanced Data Mining and Applications, 62-72, 2008
282008
A formal verification framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Expert Systems with Applications 41 (6), 2713-2728, 2014
272014
Security analysis of socio-technical physical systems
G Lenzini, S Mauw, S Ouchani
Computers & electrical engineering 47, 258-274, 2015
172015
Model-based systems security quantification
S Ouchani, Y Jarraya, OA Mohamed
2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011
162011
Specification, verification, and quantification of security in model-based systems
S Ouchani, M Debbabi
Computing 97 (7), 691-711, 2015
152015
A property-based abstraction framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Knowledge-Based Systems 56, 328-343, 2014
122014
A Probabilistic Verification Framework for SysML Activity Diagrams
S OUCHANI
New Trends in Software Methodologies, Tools and Techniques: Proceedings of …, 2012
122012
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
112013
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
92013
Efficient probabilistic abstraction for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
International Conference on Software Engineering and Formal Methods, 263-277, 2012
92012
Attacks generation by detecting attack surfaces
S Ouchani, G Lenzini
Procedia Computer Science 32, 529-536, 2014
82014
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
Why SystemVeriog?
P Flake
Proceedings of the 2013 Forum on specification and Design Languages (FDL), 1-6, 2013
52013
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
52010
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
Recommendations-based on semantic analysis of social networks in learning environments
A Khaled, S Ouchani, C Chohra
Computers in Human Behavior, 2018
32018
A Security Verification Framework for SysML Activity Diagrams
S Ouchani
Phd Tesis, September, 2013
32013
Symmetry reduction of time-triggered Ethernet protocol
M Ammar, S Ouchani, OA Mohamed
Procedia Computer Science 19, 273-280, 2013
32013
A non-convex classifier support for abstraction-refinement framework
S Ouchani, O Ait'Mohamed, M Debbabi
2012 24th International Conference on Microelectronics (ICM), 1-4, 2012
32012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20