Fawzi Hassaïne

According to our database, Fawzi Hassaïne authored at least 7 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models.

Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

Springer, ISBN: 978-3-642-15227-6, 2010

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

Composing a high fidelity HLA federation for littoral operations.

Fawzi Hassaïne, Russ Moulton, Chris Fink

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2007

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

Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

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

Proceedings of the IASTED International Conference on Software Engineering, 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

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

On the verification and validation of uml structural and behavioral diagrams.

Luay Alawneh, Mourad Debbabi, Fawzi Hassaïne, Andrei Soeanu

Proceedings of the IASTED International Conference on Advances in Computer Science and Technology, 2006