Communications Internationales

  1. M. Rahim, M. Ioualalen, A.Hammad, Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-based Slicing Approach, CSA'2020, Avril, EMP, Alger.

  2. A. Berrachedi, M. IOualalen, A.Hammad, Preliminary Semi-Formal Approach for Designing and Evaluating WSNs' Performances”, ICMSA’2019,  Avril,  Bahrein.

  3. B. Toubal, A. Belkhir, M. Rahim, A. Kheldoun and K. Boudjebbour, "A Web Services-based Secure Platform for Inter-Institutions E-Governance," 2018 International Conference on Applied Smart Systems (ICASS), Medea, Algeria, 2018, pp. 1-6

  4. D. Mansouri, Lynda Mokdad, Jalel Benothman, M. Ioualalen, Modeling Accordion method  using SAN, ICC'2018, 20-24 Mai 2018, USA

  5. M. Rahim, M. Ioualalen, A. Hammad, 'Slicing Based Verification Approach for the Validation of SysML Activity Diagrams', TASE'2017, 13-15 Septembre, Nice, France.

  6. D. Dahmani-Zaouche, M. C. Boukala, H. Mountassir, S. Chouali, 'Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers', PNSE'2017, 26-27 Juin, Zaragoza, Espagne.    

  7. A. Berrachedi, M. Rahim, M. Ioualalen, A. Hammad, Validation of a SysML Based Design for Wireless Sensor Networks, SCLIT’2016, Rhodes, Greece, September 2016. Published Online in AIP Conference Proceedings Journal. 1863(1) :330002, July 2017.

  8. N. Ouroua, W. Bouzegza, M. Ioualalen, Formal Modeling and Performance Evaluation of Network’s Server Under SYN/TCP Attac, MSPN 2017, Paris 2017.  » au CNAM à Paris,  et a été publié dans : Lecture Notes in Computer Science, vol 10566. Springer, Cham. DOI  https://doi.org/10.1007/978-3-319-67807-8_6.

  9. A. Berrachedi, M. Ioualalen, Evaluation of the energy consumption and the packets loss in WSNs using Deterministic Stochastic Petri Nets, AINA'2016, 23-25 Mars, Switzerland, 2016.

  10. K. Barkaoui, A. Hicheur, A. Kheldoun, D. Liu, Modelling and analyzing home care plans using high-level Petri nets, WODES 2016, 30 Mai au 01 Juin 2016,  pp 284-290, chine.

  11. L. Yataghène, M. Ioualalen, M. Amziani, S.Tata, Using Formal model for Evaluation of Business Processes Elasticity in the Cloud, ICSOC'2016, 10-13 Octobre 2016, CANADA.

  12. M.Taibi, M. Ioualalen, Formal Modeling and Verification of Multi-Agents System using Well-formed Net, ICAITA'2016, 12-13 Novembre 2016, Dubai.

  13. D. Mansouri, M. Ioualalen,  Adapting LEACH algorithm for Underwater Wireless Sensor Networks, ICCGI'2016, 13-17 Novembre 2016, Barcelone.

  14. F. Ouazar, M.C. Boukala, M. Ioualalen, Verification of Modular Systems, accepté pour Présentation en Poster à IT4OD' 2014, Tebessa.  

  15. M. Sliem, N. Salmi and  M. Ioualalen, Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction, IPAC'2015, 23-25 Nov 2015, Batna, Algérie.

  16. A. Kheldoun, K. Barkaoui, M. Ioualalen, High level Petri net modelling and analysis of flexible Web Services Composition, 31 Août au 3 Sept, BPM' 2015, Australie.

  17. D. Zaouche, S. Mazouz, M. Ioualalen, A. Berrachedi, Time High-level Recursive Petri Nets, PNSE' 2015,  22-23 Juin, Belgique.

  18. D. Mansouri, L. Mokdad, J. Benothman, M. Ioualalen,  Denial of Service Attacks in Wireless Sensor Networks, ICC'2015, Juin, Londres.19. A.

  19. Kheldoun, K. Barkaoui, J. Zhang, M. Ioualalen, A high level net for modeling and analysis reconfigurable discrete event control systems, 21-22 mai, CIIA'2015, Saida, Algérie.   

  20. M. Sliem, N. Salmi and M. Ioualalen, Using Performance Modelling and Analysis for Self-adaptive Resources Allocation Systems: A case study, ISPS’2015, Algiers, 28-29  April.

  21. M. Sliem, N. Salmi and M. Ioualalen, An Approach for Performance Modelling and Analysis of Multi-tiers Autonomic Systems. The 28th IEEE International Conference on Advanced Information Networking and Applications (AINA-2014), Victoria, Canada, May 13-16, 2014.

  22. M. Sliem, N. Salmi and M. Ioualalen, Using performance modelling for    autonomic resource allocation strategies analysis. The Tenth International  Conference on Autonomic and Autonomous Systems (ICAS 2014). April 20-24, 2014 - Chamonix, France.

  23. M. Sliem, N. Salmi and M. Ioualalen, Using Performance Modelling for Self-healing and Protection in Autonomic Multi-tier Systems. In the proceeding of the  International Conference on Advanced Networking, Distributed Systems and Applications (INDS’2014). Béjaia (Algeria), June 17th-19th, 2014.

  24. D. Dahmani, S. Mazouz and M. Ioualalen, Efficient and Modular Modeling of Hierarchial Multimedia Objects by Using Time ERPN+, 4 th International Conference on Computing Multimedia and System April 14-16, Marrakesh, Morocco.

  25. D. Dahmani, M.C. Boukala and H. Mountassir, Reusing and Adapting components using Petri Nets with Synchronous Transitions” accepted in International Workshop on Petri Nets and Software Engineering Tunis, Tunisia, June 23-24, 2014.

  26. D. Dahmani, M.C. Boukala and H. Mountassir, Reusing and Adapting Components using atomic and non atomic Strong Synchronisations, accepté dans la Conférence  francophone sur l’Architecture logicielle, Paris, France,10-11 Juin 2014.

  27. A. Kheldoun, M. Ioualalen, Transformation BPEL Processes To RECATNet for Analysing Web Services Compositions. International Conf. MODELSWARD 2014.

  28. A. Kheldoun, J. Zhang, K. Barkaoui, M. Ioualalen, A high-level nets based approach for reconfigurations of distributed control systems. Accepted in 1st Int. Workshop on Petri Nets for Adaptive Discrete-Event Control Systems (ADECS 2014 - co-located event of Petri Nets 2014).

  29. M. Rahim, M. Ioualalen, A. Hammad, Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams, PNSE'2014, du 23 au 27 Juin,Tunisie.

  30. F. Ouazar,   M. Ioualalen,  M. Boukala,  Vérification des systèmes modulaires, CAL'2014, 10-11 Juin, Paris.

  31. M. Sliem, N. Salmi, M. Ioualalen, Accompanying Component Based Systems Dynamic Reconfiguration with formal modelling and Analysis, in the proceeding of PMECT, The 8th IEEE International Symposium on Performance Modeling and Evaluation of Computer and Telecom Networks, 27- 29 th, August, 2014, Barcelona, Spain.

  32. M. SLIEM, N. Salmi, M. Ioualalen, Towards Reliability and Performance Prediction of Autonomic Systems with Self-Healing and Protection, In the Proceeding of the International Conference on Cloud and Autonomic Computing, CAC'2014, Imperial College, London, 8-12 Septembre, 2014.     

  33. L.Yataghene, M. Amziani, M. Ioualalen, S.Tata, A Queuing Model for Business Processes Elasticity Evaluation, IWAISE'2014, du 10- 12 Novembre 2014.