Yosr Jarraya

发表

Architecture Frameworks, Model-Driven Architecture, and Simulation

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Verification, Validation, and Accreditation

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Unified Modeling Language

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Systems Modeling Language

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Software Engineering Metrics in the Context of Systems Engineering

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Automatic Approach for Synergistic Verification and Validation

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Performance Analysis of Time-Constrained SysML Activity Diagrams

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Semantic Foundations of SysML Activity Diagrams

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Probabilistic Model Checking of SysML Activity Diagrams

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Verification and validation of UML and SysML based systems engineering design models

Yosr Jarraya, 2010 .

Soundness of the Translation Algorithm

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Verification and Validation of UML Behavioral Diagrams

Mourad Debbabi, Andrei Soeanu, Fawzi Hassaïne, 2010 .

Security estimation in Streaming Protocols

Samir Ouchani, Mourad Debbabi, Yosr Jarraya, 2011, 2011 International Conference on Innovations in Information Technology.