Hanêne Ben-Abdallah
Hanêne Ben-Abdallah
Dirección de correo verificada de hct.ac.ae
Título
Citado por
Citado por
Año
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
1911997
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
1731999
Timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
Formal Description Techniques and Protocol Specification, Testing and …, 1997
701997
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
601998
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
481998
A monitoring and checking framework for run-time correctness assurance
I Lee, H Ben-Abdallah, S Kannan, M Kim, O Sokolsky, M Viswanathan
481998
Expressing and analyzing timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
481997
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
452009
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
412011
Coupling metrics for business process modeling
W Khlif, N Zaaboub, H Ben-Abdallah
WSEAS Transactions on Computers 9 (1), 31-41, 2010
362010
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
282009
Literature review of reuse in business process modeling
NZ Haddar, L Makni, HB Abdallah
Software & Systems Modeling 13 (3), 975-989, 2014
262014
Specification and analysis of real-time systems with PARAGON
O Sokolsky, I Lee, H Ben-Abdallah
Annals of Software Engineering 7 (1-4), 211-234, 1999
261999
Syntactic analysis of message sequence chart specifications
H Ben-Abdallah, S Leue
261996
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
261995
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
252015
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
252009
Selection of discriminative sub-regions for palmprint recognition
M Hammami, SB Jemaa, H Ben-Abdallah
Multimedia tools and applications 68 (3), 1023-1050, 2014
242014
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
241996
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
232010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20