The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hanêne Ben-Abdallah: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nadia Bouassida, Thouraya Ayadi, Hanêne Ben-Abdallah, Faïez Gargouri
    Design of a Framework for Electronic Commerce Brokers. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2002, pp:317-328 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:402-405 [Conf]
  3. Nadia Bouassida, Hanêne Ben-Abdallah, Walid Mahdi, Liming Chen
    Script alignment based video retrieval. [Citation Graph (0, 0)][DBLP]
    EGC, 2001, pp:149-154 [Conf]
  4. Hanêne Ben-Abdallah, Stefan Leue
    Timing Constraints in Message Sequence Chart Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:91-106 [Conf]
  5. Mouez Ali, Hanêne Ben-Abdallah, Faïez Gargouri
    UML Model Verification Through Diagram Dependency Relationships. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2004, pp:184-191 [Conf]
  6. Ahlem Nabli, Ahlem Soussi, Jamel Feki, Hanêne Ben-Abdallah, Faïez Gargouri
    Towards an Automatic Data Mart Design. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2005, pp:226-231 [Conf]
  7. Mouez Ali, Hanêne Ben-Abdallah, Faïez Gargouri
    Validation des Besoins dans les Modèles UML2.0. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2006, pp:959-974 [Conf]
  8. Nadia Bouassida, Hanêne Ben-Abdallah, Abdelmajid Ben Hamadou
    F-UML Tool for the formal design of frameworks. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2004, pp:511-528 [Conf]
  9. Jamel Feki, Hanêne Ben-Abdallah, Mounira Ben-Abdallah
    Réutilisation des patrons en étoile. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2006, pp:687-701 [Conf]
  10. Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri
    A UML based Design Language for Framework Reuse. [Citation Graph (0, 0)][DBLP]
    OOIS, 2001, pp:211-0 [Conf]
  11. Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim
    Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:198-209 [Conf]
  12. Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi
    A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1995, pp:276-287 [Conf]
  13. Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou
    Formalizing the Framework Design Language F-UML. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:164-172 [Conf]
  14. Hanêne Ben-Abdallah, Stefan Leue
    Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:259-274 [Conf]
  15. Hanêne Ben-Abdallah, Stefan Leue
    MESA: Support for Scenario-Based Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:118-135 [Conf]
  16. Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah
    Specification and Analysis of Real-Time Systems with PARAGON. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:211-234 [Journal]
  17. Hanêne Ben-Abdallah, Nadia Bouassida, Faïez Gargouri, Abdelmajid Ben Hamadou
    A UML based Framework Design Method. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:8, pp:97-120 [Journal]
  18. 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. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1998, v:15, n:3, pp:189-219 [Journal]
  19. Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou
    Towards a rigorous architectural reuse. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2005, pp:138- [Conf]

  20. Extending UML to Guide Design Pattern Reuse. [Citation Graph (, )][DBLP]


  21. A New Approach for Pattern Problem Detection. [Citation Graph (, )][DBLP]


  22. Formally specified monitoring of temporal properties. [Citation Graph (, )][DBLP]


  23. Multi-Dimensional Modeling - Formal Specification and Verification of the Hierarchy Concept. [Citation Graph (, )][DBLP]


  24. A novel approach for off-line Arabic writer identification based on stroke feature combination. [Citation Graph (, )][DBLP]


  25. SVE: an integrated system for soccer video edition. [Citation Graph (, )][DBLP]


  26. A Hybrid Approach for Data Mart Schema Design from NL-OLAP Requirements. [Citation Graph (, )][DBLP]


  27. Functional Size of Use Case Diagrams: A Fine-Grain Measurement. [Citation Graph (, )][DBLP]


  28. Artificial Ants for Clustering with Adaptive Aggregation Conditions: Application to Image Clustering. [Citation Graph (, )][DBLP]


  29. XML Source Preparation for Building Data Warehouses. [Citation Graph (, )][DBLP]


  30. A new approach for TV program identification based on video grammar. [Citation Graph (, )][DBLP]


  31. Towards an agent based framework for the design of secure web services. [Citation Graph (, )][DBLP]


Search in 0.096secs, Finished in 0.098secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002