dblp.uni-trier.dewww.uni-trier.de

Hanêne Ben-Abdallah

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
23 Yasser Hachaichi, Jamel Feki, Hanêne Ben-Abdallah: XML Source Preparation for Building Data Warehouses. Enterprise Information Systems and Web Technologies 2008: 61-67
22 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
21EEMaher Khemakhem, Hanêne Ben-Abdallah, Abdelfattah Belghith: Towards an agent based framework for the design of secure web services. SWS 2008: 81-86
2006
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
18EENadia 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
14EEHanê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
13EENadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou: Formalizing the Framework Design Language F-UML. SEFM 2003: 164-172
2002
12EENadia 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
9EEMoonjoo 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
7EEHanê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
4EEHanê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 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)