Yosr Jarraya

	2011
6		Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed: Model-based systems security quantification. PST 2011: 142-149
	2010
5		Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh: Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models. Springer 2010: I-XXVI, 1-248
	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

Coauthor Index

1	Luay Alawneh	[1] [2] [5]
2	Jamal Bentahar	[4]
3	Mourad Debbabi	[1] [2] [3] [4] [5]
4	Fawzi Hassaïne	[1] [2] [3] [5]
5	Otmane Aït Mohamed	[6]
6	Samir Ouchani	[6]
7	Payam Shahi	[1]
8	Andrei Soeanu	[1] [2] [3] [5]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page