| 2007 |
|---|
| 4 | EE | 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 |
|---|
| 3 | | Luay Alawneh,
Mourad Debbabi,
Fawzi Hassaïne,
Andrei Soeanu:
On the verification and validation of uml structural and behavioral diagrams.
ACST 2006: 304-309 |
| 2 | EE | 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 |
