| Formal verification of complex business processes based on high-level Petri nets A Kheldoun, K Barkaoui, M Ioualalen Information Sciences 385, 39-54, 2017 | 81 | 2017 |
| GSPN analysis of retrial systems with servers breakdowns and repairs N Gharbi, M Ioualalen Applied Mathematics and Computation 174 (2), 1151-1168, 2006 | 59 | 2006 |
| Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems N Gharbi, C Dutheillet, M Ioualalen Mathematical and Computer Modelling 49 (7-8), 1436-1448, 2009 | 44 | 2009 |
| Detecting DoS attacks in WSN based on clustering technique D Mansouri, L Mokdad, J Ben-Othman, M Ioualalen 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2214-2219, 2013 | 40 | 2013 |
| Specification and verification of complex business processes-a high-level petri net-based approach A Kheldoun, K Barkaoui, M Ioualalen Business Process Management: 13th International Conference, BPM 2015 …, 2015 | 33 | 2015 |
| Preventing denial of service attacks in wireless sensor networks D Mansouri, L Mokddad, J Ben-Othman, M Ioualalen 2015 IEEE International Conference on Communications (ICC), 3014-3019, 2015 | 25 | 2015 |
| Numerical investigation of finite-source multiserver systems with different vacation policies N Gharbi, M Ioualalen Journal of Computational and Applied Mathematics 234 (3), 625-635, 2010 | 25 | 2010 |
| A methodology for verifying SysML requirements using activity diagrams M Rahim, A Hammad, M Ioualalen Innovations in Systems and Software Engineering 13, 19-33, 2017 | 17 | 2017 |
| Performance analysis of retrial queueing systems using generalized stochastic Petri nets N Gharbi, M Ioualalen Electronic Notes in Theoretical Computer Science 65 (6), 86-100, 2002 | 17 | 2002 |
| Adapting LEACH algorithm for underwater wireless sensor networks D Mansouri, M Ioualalen Proceedings ICCGI, 36-40, 2016 | 13 | 2016 |
| A queuing model for business processes elasticity evaluation L Yataghene, M Amziani, M Ioualalen, S Tata 2014 International Workshop on Advanced Information Systems for Enterprises …, 2014 | 11 | 2014 |
| A high level net for modeling and analysis reconfigurable discrete event control systems A Kheldoun, K Barkaoui, J Zhang, M Ioualalen Computer Science and Its Applications: 5th IFIP TC 5 International …, 2015 | 9 | 2015 |
| Modular and distributed verification of SysML activity diagrams M Rahim, A Hammad, M Ioualalen MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software …, 2013 | 9 | 2013 |
| A clustering method for wireless sensors networks S Fouchal, Q Monnet, D Mansouri, L Mokdad, M Ioualalen 2012 IEEE Symposium on Computers and Communications (ISCC), 000888-000892, 2012 | 8 | 2012 |
| An approach for performance modelling and analysis of multi-tiers autonomic systems M Sliem, N Salmi, M Ioualalen 2014 28th International Conference on Advanced Information Networking and …, 2014 | 7 | 2014 |
| A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. A Kheldoun, JF Zhang, K Barkaoui, M Ioualalen ADECS@ Petri Nets, 36-51, 2014 | 6 | 2014 |
| Transformation BPEL processes to recatnet for analysing web services compositions A Kheldoun, M Ioualalen 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 6 | 2014 |
| Clustering wireless sensors networks with FFUCA S Fouchal, D Mansouri, L Mokdad, J Ben-Othman, M Ioualalen 2013 IEEE International Conference on Communications (ICC), 6438-6443, 2013 | 6 | 2013 |
| Towards modelling-based self-adaptive resource allocation in multi-tiers cloud systems M Sliem, N Salmi, M Ioualalen Internet and Distributed Computing Systems: 8th International Conference …, 2015 | 5 | 2015 |
| A new clustering algorithm for wireless sensor networks S Fouchal, Q Monnet, D Mansouri, L Mokdad, M Ioualalen Proceedings of the seventeenth IEEE Symposium on Computers and …, 2012 | 5 | 2012 |
