Yosr Jarraya

A Survey and a Layered Taxonomy of Software-Defined Networking

Yosr Jarraya, Taous Madi, Mourad Debbabi · IEEE Communications Surveys & Tutorials · 2014 · 365 citations

Efficient Provisioning of Security Service Function Chaining Using Network Security Defense Patterns

Alireza Shameli-Sendi, Yosr Jarraya, Makan Pourzandi et al. · IEEE Transactions on Services Computing · 2016 · 82 citations

Secure Service, Engineering, Service Security +20

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams

Yosr Jarraya, Andrei Soeanu, Mourad Debbabi et al. · 2007 · 42 citations

Engineering, Verification, Computer-aided Verification +21

Auditing Security Compliance of the Virtualized Infrastructure in the Cloud

Taous Madi, Suryadipta Majumdar, Yushun Wang et al. · 2016 · 37 citations

Secure Service, Engineering, Information Security +18

A unified approach for verification and validation of systems and software engineering models

Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne et al. · 2006 · 36 citations

Engineering, Verification, Software Engineering +21