| 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 |
| 21 | 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 |
|---|
| 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 | | 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 |
