Hanêne Ben-Abdallah
Hanêne Ben-Abdallah
Zweryfikowany adres z hct.ac.ae
Tytuł
Cytowane przez
Cytowane przez
Rok
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
1921997
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
1881999
Timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
Formal Description Techniques and Protocol Specification, Testing and …, 1997
721997
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
581998
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
572011
A monitoring and checking framework for run-time correctness assurance
I Lee, H Ben-Abdallah, S Kannan, M Kim, O Sokolsky, M Viswanathan
541998
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
532009
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
491998
Expressing and analyzing timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
471997
Coupling metrics for business process modeling
W Khlif, N Zaaboub, H Ben-Abdallah
WSEAS Transactions on Computers 9 (1), 31-41, 2010
392010
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
322014
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
312009
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
292015
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
292015
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
292009
Literature review of reuse in business process modeling
NZ Haddar, L Makni, HB Abdallah
Software & Systems Modeling 13 (3), 975-989, 2014
282014
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
281995
A tool for evaluationg the quality of business process models
L Makni, W Khlif, N Zaaboub Haddar, H Ben-Abdallah
INFORMATIK 2010–Business Process and Service Science–Proceedings of ISSS and …, 2010
272010
A UML based Framework Design Method.
H Ben-Abdallah, N Bouassida, F Gargouri, AB Hamadou
J. Object Technol. 3 (8), 97-120, 2004
272004
A process algebraic method for the specification and analysis of real-time systems
I Lee, H Ben-Abdallah, JY Choi
Formal Methods for Real-Time Computing, 167-194, 1996
271996
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20