Samir Ouchani

Samir Ouchani
Postal Address Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2016

Full Text
See detailAnalysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems
Lenzini, Gabriele; Mauw, Sjouke; Ouchani, Samir

in Barthe, Gilles; Markatos, Evangelos (Eds.) Security and Trust Management - STM 2016 (2016)

Top of Page

2015

Full Text
See detailA Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints
Baouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; Ouchani, Samir

in Expert Systems with Applications (2015)

Full Text
See detailA probabilistic and timed verification approach of SysML state machine diagram
Baouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; Ouchani, Samir

in A probabilistic and timed verification approach of SysML state machine diagram (2015)

Full Text
See detailOn the Probabilistic Verification of Time Constrained SysML State Machines
Baouya, Abdelhakim; Bennouar, Djamal; Mohamed, Otmane Ait; Ouchani, Samir

in Intelligent Software Methodologies, Tools and Techniques (2015)

Full Text
See detailSecurity analysis of socio-technical physical systems
Lenzini, Gabriele; Mauw, Sjouke; Ouchani, Samir

in Computers electrical engineering (2015)

Full Text
See detailGenerating attacks in SysML activity diagrams by detecting attack surfaces
Ouchani, Samir; Lenzini, Gabriele

in Journal of Ambient Intelligence and Humanized Computing (2015), 6(3), 361-373

Top of Page

2014

Full Text
See detailAttacks Generation by Detecting Attack Surfaces
Ouchani, Samir; Lenzini, Gabriele

Scientific Conference (2014)

Top of Page