Thouraya Bouabana-Tebibel

	2011
11		Thouraya Bouabana-Tebibel: Language integration for model formalization. IRI 2011: 372-377
	2010
10		Thouraya Bouabana-Tebibel, Sara Mehar, Rym Nesrine Guibadj: Secure information exchange. IRI 2010: 59-62
9		Thouraya Bouabana-Tebibel, Rym Nesrine Guibadj, Sara Mehar: Secure ad-hoc routing protocol. SEKE 2010: 771-776
	2009
8		Thouraya Bouabana-Tebibel: Semantics of the Interaction Overview Diagram. IRI 2009: 278-283
	2008
7		Thouraya Bouabana-Tebibel, Mounira Belmesk: Integration of the Association Ends within UML State Diagrams. Int. Arab J. Inf. Technol. 5(1): 7-15 (2008)
	2007
6		Thouraya Bouabana-Tebibel: Roles at the basis of UML validation. CIT 15(2): 171-183 (2007)
5		Thouraya Bouabana-Tebibel: Object Dynamics Formalization Using Object Flows within UML State Machines. Enterprise Modelling and Information Systems Architectures 2(1): 26-39 (2007)
4		Thouraya Bouabana-Tebibel, Mounira Belmesk: An object-oriented approach to formally analyze the UML 2.0 activity partitions. Information & Software Technology 49(9-10): 999-1016 (2007)
	2006
3		Thouraya Bouabana-Tebibel: Data flow formalization. ICINCO-ICSO 2006: 148-153
	2004
2		Thouraya Bouabana-Tebibel, Mounira Belmesk: From UML Towards Petri Nets to Specify and Verify. ICINCO (1) 2004: 249-256
1		Thouraya Bouabana-Tebibel, Mounira Belmesk: Formalization of UML object dynamics and behavior. SMC (5) 2004: 4971-4976

Coauthor Index

1	Mounira Belmesk	[1] [2] [4] [7]
2	Rym Nesrine Guibadj	[9] [10]
3	Sara Mehar	[9] [10]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page