On the verification and validation of uml structural and behavioral diagrams. - Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne; Andrei Soeanu (ACST, 2006)

A Unified Approach for Verification and Validation of Systems and Software Engineering Models. - Luay Alawneh; Mourad Debbabi; Yosr Jarraya; Andrei Soeanu; Fawzi Hassaïne (ECBS, 2006)

Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models. - Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Payam Shahi; Andrei Soeanu (IASTED Conf. on Software Engineering, 2006)

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. - Yosr Jarraya; Andrei Soeanu; Mourad Debbabi; Fawzi Hassaïne (ECBS, 2007)

Composing a high fidelity HLA federation for littoral operations. - Fawzi Hassaïne; Russ Moulton; Chris Fink (SAC, 2009)

Synergistic verification and validation of systems and software engineering models. - Yosr Jarraya; Andrei Soeanu; Luay Alawneh; Mourad Debbabi; Fawzi Hassaïne (Int. J. Gen. Syst., 2009)

Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models. - Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh (Springer, 2010)