Travelled to:1 × Australia
1 × Canada
1 × France
1 × The Netherlands
1 × Tunisia
2 × Portugal
3 × Spain
4 × USA
Collaborated with:N.Bouassida S.Leue F.Gargouri M.Ali I.Lee J.Feki M.Mefteh D.Kchaou J.Maâzoun R.Grati K.Boukadi A.Salem F.Ghozzi Y.Kim S.Triki N.Harbi A.B.Hamadou A.Nabli A.Soussi D.Clarke H.Xie O.Sokolsky
Talks about:model (7) uml (6) design (5) specif (3) formal (3) approach (2) resourc (2) pattern (2) languag (2) diagram (2)
Person: Hanêne Ben-Abdallah
DBLP: Ben-Abdallah:Han=ecirc=ne
Contributed to:
2015
20152014
2013
2010
2010200820052004
2003
1998
19971997
1996Wrote 15 papers:
- SAC-2015-MeftehBB #approach #case study #diagrams #evaluation #feature model #implementation #modelling #uml
- Implementation and evaluation of an approach for extracting feature models from documented UML use case diagrams (MM, NB, HBA), pp. 1602–1609.
- SEKE-2015-KchaouBB #modelling #uml
- CQV-UML Tool: a tool for managing the impact of change on UML models (DK, NB, HBA), pp. 670–673.
- SEKE-2014-MaazounBB #feature model
- Feature model recovery from product variants based on a cloning technique (JM, NB, HBA), pp. 431–436.
- ICEIS-v2-2013-BouassidaBA #design #named #semantics
- P-UML — A Pattern Design Language with a Formal Semantics (NB, HBA, MA), pp. 197–205.
- ICEIS-v2-2013-GratiBB #metamodelling #monitoring #requirements
- A Meta Model for Monitoring Requirements in Cloud Environnment (RG, KB, HBA), pp. 223–231.
- CAiSE-2010-BouassidaB #approach #detection #problem
- A New Approach for Pattern Problem Detection (NB, HBA), pp. 150–164.
- KEOD-2010-TrikiBFH #design #modelling
- Modeling Conflict of Interest in the Design of Secure Data Warehouses (ST, HBA, JF, NH), pp. 445–448.
- ICEIS-DISI-2008-SalemGB #concept #modelling #multi #specification #verification
- Multi-Dimensional Modeling — Formal Specification and Verification of the Hierarchy Concept (AS, FG, HBA), pp. 317–322.
- ICEIS-v1-2005-NabliSFBG #automation #design #towards
- Towards an Automatic Data Mart Design (AN, AS, JF, HBA, FG), pp. 226–231.
- ICEIS-v3-2004-AliBG #dependence #diagrams #uml #verification
- UML Model Verification Through Diagram Dependency Relationships (MA, HBA, FG), pp. 184–191.
- SEFM-2003-BouassidaBGH #design #formal method #framework
- Formalizing the Framework Design Language F-UML (NB, HBA, FG, ABH), pp. 164–172.
- TACAS-1998-Ben-AbdallahL #concurrent #design #named
- MESA: Support for Scenario-Based Design of Concurrent Systems (HBA, SL), pp. 118–135.
- RE-1997-Ben-AbdallahLK #analysis #functional #requirements #specification
- Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (HBA, IL, YSK), pp. 198–209.
- TACAS-1997-Ben-AbdallahL #detection #process #sequence chart
- Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts (HBA, SL), pp. 259–274.
- CAV-1996-ClarkeBLXS #analysis #bound #named #realtime #specification #tool support #visual notation
- XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.