| 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 | 207 | 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 | 199 | 1999 |
| 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 | 80 | 2011 |
| 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 | 77 | 2017 |
| Timing constraints in message sequence chart specifications H Ben-Abdallah, S Leue Formal Description Techniques and Protocol Specification, Testing and …, 1997 | 75 | 1997 |
| 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 | 67 | 2014 |
| 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 | 62 | 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 | 59 | 2009 |
| A monitoring and checking framework for run-time correctness assurance I Lee, S Kannan, H Ben-Abdallah, O Sokolsky, M Kim, M Viswanathan | 58 | 1998 |
| 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 | 50 | 1998 |
| Expressing and analyzing timing constraints in message sequence chart specifications H Ben-Abdallah, S Leue | 49 | 1997 |
| 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 | 46 | 2016 |
| 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 | 41 | 2015 |
| Coupling metrics for business process modeling W Khlif, N Zaaboub, H Ben-Abdallah WSEAS Transactions on Computers 9 (1), 31-41, 2010 | 39 | 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 | 36 | 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 | 36 | 2009 |
| Using metric-based filtering to improve design pattern detection approaches I Issaoui, N Bouassida, H Ben-Abdallah Innovations in Systems and Software Engineering 11, 39-53, 2015 | 35 | 2015 |
| Mining feature models from functional requirements M Mefteh, N Bouassida, H Ben-Abdallah The Computer Journal 59 (12), 1784-1804, 2016 | 34 | 2016 |
| Selection of discriminative sub-regions for palmprint recognition M Hammami, S Ben Jemaa, H Ben-Abdallah Multimedia tools and applications 68, 1023-1050, 2014 | 34 | 2014 |
| Literature review of reuse in business process modeling N Zaaboub Haddar, L Makni, H Ben Abdallah Software & Systems Modeling 13, 975-989, 2014 | 33 | 2014 |