HanÍne Ben-Abdallah
HanÍne Ben-Abdallah
Verified email at
Cited by
Cited by
Syntactic detection of process divergence and non-local choice in message sequence charts
H Ben-Abdallah, S Leue
Tools and Algorithms for the Construction and Analysis of Systems: Third†…, 1997
Formally specified monitoring of temporal properties
M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS†…, 1999
Timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
Formal Description Techniques and Protocol Specification, Testing and†…, 1997
A metric-based approach for anti-pattern detection in UML designs
R Fourati, N Bouassida, HB Abdallah
Computer and Information Science 2011, 17-33, 2011
MESA: Support for Scenario-Based Design of
H Ben-AbdallahĻ, S Leue
Tools and Algorithms for the Construction and Analysis of Systems: 4th†…, 1998
A monitoring and checking framework for run-time correctness assurance
I Lee, H Ben-Abdallah, S Kannan, M Kim, O Sokolsky, M Viswanathan
Quality metrics for business process modeling
W Khlif, L Makni, N Zaaboub, H Ben-Abdallah
Proceedings of the 9th WSEAS international conference on Applied computer†…, 2009
A density based algorithm for discovering clusters with varied density
S Louhichi, M Gzara, HB Abdallah
2014 world congress on computer applications and information systems (wccais†…, 2014
A process algebraic approach to the schedulability analysis of real-time systems
H Ben-Abdallah, JY Choi, D Clarke, YS Kim, I Lee, HL Xie
Real-Time Systems 15, 189-219, 1998
Expressing and analyzing timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
Coupling metrics for business process modeling
W Khlif, N Zaaboub, H Ben-Abdallah
International Journal of Computers 4 (4), 2010
Cloud description ontology for service discovery and selection
M Rekik, K Boukadi, H Ben-Abdallah
2015 10th International Joint Conference on Software Technologies (ICSOFT) 1†…, 2015
A guideline for software architecture selection based on ISO 25010 quality related characteristics
M Haoues, A Sellami, H Ben-Abdallah, L Cheikhi
International Journal of System Assurance Engineering and Management 8, 886-909, 2017
A novel approach for off-line Arabic writer identification based on stroke feature combination
MN Abdi, M Khemakhem, H Ben-Abdallah
2009 24th International Symposium on Computer and Information Sciences, 597-600, 2009
Literature review of reuse in business process modeling
N Zaaboub Haddar, L Makni, H Ben Abdallah
Software & Systems Modeling 13, 975-989, 2014
A measurement method for sizing the structure of UML sequence diagrams
A Sellami, H Hakim, A Abran, H Ben-Abdallah
Information and Software Technology 59, 222-232, 2015
Selection of discriminative sub-regions for palmprint recognition
M Hammami, S Ben Jemaa, H Ben-Abdallah
Multimedia tools and applications 68, 1023-1050, 2014
Functional size of use case diagrams: a fine-grain measurement
A Sellami, H Ben-Abdallah
2009 Fourth International Conference on Software Engineering Advances, 282-288, 2009
Mining feature models from functional requirements
M Mefteh, N Bouassida, H Ben-Abdallah
The Computer Journal 59 (12), 1784-1804, 2016
An UML class recommender system for software design
A Elkamel, M Gzara, H Ben-Abdallah
2016 IEEE/ACS 13th International Conference of Computer Systems and†…, 2016
The system can't perform the operation now. Try again later.
Articles 1–20