| Towards an efficient and a more accurate web service selection using MCDM methods W Serrai, A Abdelli, L Mokdad, Y Hammal Journal of computational science 22, 253-267, 2017 | 129 | 2017 |
| Dealing with value constraints in decision making using MCDM methods A Abdelli, L Mokdad, Y Hammal Journal of Computational Science 44, 101154, 2020 | 43 | 2020 |
| An efficient approach for Web service selection W Serrai, A Abdelli, L Mokdad, Y Hammal 2016 IEEE Symposium on Computers and Communication (ISCC), 167-172, 2016 | 37 | 2016 |
| Branching time semantics for UML 2.0 sequence diagrams Y Hammal International Conference on Formal Techniques for Networked and Distributed …, 2006 | 35 | 2006 |
| Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol Y Hammal, J Ben-Othman, L Mokdad, A Abdelli Journal of Communications and Networks 16 (4), 385-396, 2014 | 31 | 2014 |
| A formal semantics of UML statecharts by means of timed petri nets Y Hammal International Conference on Formal Techniques for Networked and Distributed …, 2005 | 23 | 2005 |
| Formal techniques for consistency checking of orchestrations of semantic web services Y Hammal, KS Mansour, A Abdelli, L Mokdad Journal of computational science 44, 101165, 2020 | 22 | 2020 |
| Dealing with a non green behaviour in wsn A Abdelli, L Mokdad, JB Othman, Y Hammal Simulation Modelling Practice and Theory 84, 124-142, 2018 | 11 | 2018 |
| Fair election of monitoring nodes in WSNs Q Monnet, Y Hammal, L Mokdad, J Ben-Othman 2015 IEEE Global Communications Conference (GLOBECOM), 1-6, 2015 | 10 | 2015 |
| Formal modeling of greedy nodes in 802.15. 4 wsn Y Hammal, J Ben-Othman, L Mokdad, A Abdelli ICT Express 1 (1), 10-13, 2015 | 8 | 2015 |
| A modular state exploration and compatibility checking of UML dynamic diagrams Y Hammal 2008 IEEE/ACS International Conference on Computer Systems and Applications …, 2008 | 8 | 2008 |
| DoS detection in WSNs: Energy‐efficient methods for selecting monitoring nodes Q Monnet, L Mokdad, P Ballarini, Y Hammal, J Ben‐Othman Concurrency and Computation: Practice and Experience 29 (23), e4266, 2017 | 7 | 2017 |
| Timed automata based modeling and verification of denial of service attacks in wireless sensor networks Y Hammal, Q Monnet, L Mokdad, J Ben-Othman, A Abdelli Studia Informatica Universalis 12 (1), pp 1− 46, 2014 | 7 | 2014 |
| Behavioral compatibility of active components Y Hammal 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 7 | 2008 |
| ISOCOV: a new MCDM method to handle value constraints in Web service selection A Abdelli, Y Hammal, L Mokdad 2019 IEEE symposium on computers and communications (ISCC), 1022-1027, 2019 | 6 | 2019 |
| Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols L Mokdad, Y Hammal, J Ben-Othman, A Abdelli 2015 IEEE International Conference on Communications (ICC), 3579-3584, 2015 | 6 | 2015 |
| ATL based refinement of WS-CDL choreography into BPEL processes KS Mansour, Y Hammal Modelling and Implementation of Complex Systems: Proceedings of the 5th …, 2019 | 5 | 2019 |
| An approach for the dynamic reconfiguration of software architecture A Saadi, MC Oussalah, Y Hammal, A Henni 2018 International Conference on Applied Smart Systems (ICASS), 1-6, 2018 | 5 | 2018 |
| Towards checking protocol conformance of active components Y Hammal Int. J. Softw. Eng. Appl 5 (2), 2011 | 5 | 2011 |
| A component-based approach for consistency checking of UML dynamic diagrams Y Hammal 591-193) Software Engineering and Applications 591, 2007 | 4 | 2007 |
