 | 2009 |
|---|
| 4 |       | Yosr Jarraya,
Mourad Debbabi,
Jamal Bentahar:
On the Meaning of SysML Activity Diagrams.
ECBS 2009: 95-105 |
| 2007 |
|---|
| 3 | | Yosr Jarraya,
Andrei Soeanu,
Mourad Debbabi,
Fawzi Hassaïne:
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.
ECBS 2007: 515-522 |
| 2006 |
|---|
| 2 | | Luay Alawneh,
Mourad Debbabi,
Yosr Jarraya,
Andrei Soeanu,
Fawzi Hassaïne:
A Unified Approach for Verification and Validation of Systems and Software Engineering Models.
ECBS 2006: 409-418 |
| 1 |  | Luay Alawneh,
Mourad Debbabi,
Fawzi Hassaïne,
Yosr Jarraya,
Payam Shahi,
Andrei Soeanu:
Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models.
IASTED Conf. on Software Engineering 2006: 282-287 |
