Hanêne Ben-Abdallah
Hanêne Ben-Abdallah
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
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
Syntactic detection of process divergence and non-local choice in message sequence charts
H Ben-Abdallah, S Leue
International Workshop on Tools and Algorithms for the Construction and …, 1997
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 concurrent systems
H Ben-Abdallah, S Leue
International Conference on Tools and Algorithms for the Construction and …, 1998
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 monitoring and checking framework for run-time correctness assurance
I Lee, H Ben-Abdallah, S Kannan, M Kim, O Sokolsky, M Viswanathan
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 (3), 189-219, 1998
Expressing and analyzing timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
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
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 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
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 (2 …, 2017
Literature review of reuse in business process modeling
N Zaaboub Haddar, L Makni, H Ben Abdallah
Software & Systems Modeling 13 (3), 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 (3), 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
A UML based Framework Design Method.
H Ben-Abdallah, N Bouassida, F Gargouri, AB Hamadou
J. Object Technol. 3 (8), 97-120, 2004
A graphical language with formal semantics for the specification and analysis of real-time systems
H Ben-Abdallah, I Lee, JY Choi
Proceedings 16th IEEE Real-Time Systems Symposium, 276-286, 1995
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20