Hanêne Ben-Abdallah Vis

*	2008
24		Yasser Hachaichi, Jamel Feki, Hanêne Ben-Abdallah: XML Source Preparation for Building Data Warehouses. Enterprise Information Systems and Web Technologies 2008: 61-67
23		Ali Salem, Faïza Ghozzi, Hanêne Ben-Abdallah: Multi-Dimensional Modeling - Formal Specification and Verification of the Hierarchy Concept. ICEIS (1) 2008: 317-322
22	EE	Maher Khemakhem, Hanêne Ben-Abdallah, Abdelfattah Belghith: Towards an agent based framework for the design of secure web services. SWS 2008: 81-86
	2006
21	EE	Nadia Bouassida, Hanêne Ben-Abdallah: Extending UML to Guide Design Pattern Reuse. AICCSA 2006: 1131-1138
20		Jamel Feki, Hanêne Ben-Abdallah, Mounira Ben-Abdallah: Réutilisation des patrons en étoile. INFORSID 2006: 687-701
19		Mouez Ali, Hanêne Ben-Abdallah, Faïez Gargouri: Validation des Besoins dans les Modèles UML2.0. INFORSID 2006: 959-974
	2005
18	EE	Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou: Towards a rigorous architectural reuse. AICCSA 2005: 138
17		Ahlem Nabli, Ahlem Soussi, Jamel Feki, Hanêne Ben-Abdallah, Faïez Gargouri: Towards an Automatic Data Mart Design. ICEIS (1) 2005: 226-231
	2004
16		Mouez Ali, Hanêne Ben-Abdallah, Faïez Gargouri: UML Model Verification Through Diagram Dependency Relationships. ICEIS (3) 2004: 184-191
15		Nadia Bouassida, Hanêne Ben-Abdallah, Abdelmajid Ben Hamadou: F-UML Tool for the formal design of frameworks. INFORSID 2004: 511-528
14	EE	Hanêne Ben-Abdallah, Nadia Bouassida, Faïez Gargouri, Abdelmajid Ben Hamadou: A UML based Framework Design Method. Journal of Object Technology 3(8): 97-120 (2004)
	2003
13	EE	Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou: Formalizing the Framework Design Language F-UML. SEFM 2003: 164-172
	2002
12	EE	Nadia Bouassida, Thouraya Ayadi, Hanêne Ben-Abdallah, Faïez Gargouri: Design of a Framework for Electronic Commerce Brokers. IEEE ICCI 2002: 317-328
	2001
11		Nadia Bouassida, Hanêne Ben-Abdallah, Walid Mahdi, Liming Chen: Script alignment based video retrieval. EGC 2001: 149-154
10		Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri: A UML based Design Language for Framework Reuse. OOIS 2001: 211-
	1999
9	EE	Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky: Formally specified monitoring of temporal properties. ECRTS 1999: 114-122
8		Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah: Specification and Analysis of Real-Time Systems with PARAGON. Ann. Software Eng. 7: 211-234 (1999)
	1998
7	EE	Hanêne Ben-Abdallah, Stefan Leue: MESA: Support for Scenario-Based Design of Concurrent Systems. TACAS 1998: 118-135
6		Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie: A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real-Time Systems 15(3): 189-219 (1998)
	1997
5		Hanêne Ben-Abdallah, Stefan Leue: Timing Constraints in Message Sequence Chart Specifications. FORTE 1997: 91-106
4	EE	Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim: Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. RE 1997: 198-209
3		Hanêne Ben-Abdallah, Stefan Leue: Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. TACAS 1997: 259-274
	1996
2	EE	Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky: XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems. CAV 1996: 402-405
	1995
1		Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi: A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1995: 276-287

Coauthor Index

1	Mouez Ali	[16] [19]
2	Thouraya Ayadi	[12]
3	Abdelfattah Belghith	[22]
4	Mounira Ben-Abdallah	[20]
5	Nadia Bouassida	[10] [11] [12] [13] [14] [15] [18] [21]
6	Liming Chen	[11]
7	Jin-Young Choi	[1] [6]
8	Duncan Clarke	[2] [6]
9	Jamel Feki	[17] [20] [24]
10	Faïez Gargouri	[10] [12] [13] [14] [16] [17] [18] [19]
11	Faïza Ghozzi	[23]
12	Yasser Hachaichi	[24]
13	Abdelmajid Ben Hamadou	[13] [14] [15] [18]
14	Sampath Kannan	[9]
15	Maher Khemakhem	[22]
16	Moonjoo Kim	[9]
17	Young-Si Kim	[4] [6]
18	Insup Lee	[1] [2] [4] [6] [8] [9]
19	Stefan Leue	[3] [5] [7]
20	Walid Mahdi	[11]
21	Ahlem Nabli	[17]
22	Ali Salem	[23]
23	Oleg Sokolsky	[2] [8] [9]
24	Ahlem Soussi	[17]
25	Mahesh Viswanathan	[9]
26	Hong-liang Xie	[2] [6]

Colors in the list of coauthors