| 2026 | MODELSWARD | Explicit Energy Quantification in Wireless Sensor Networks Using Petri Nets. | Amel Berrachedi, Malika Ioualalen, Ahmed Hammad |
| 2023 | CoDIT | A Defense Strategy for Securing Wireless Sensor Networks. | Djamel Mansouri, Malika Ioualalen |
| 2021 | SIMULTECH | Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. | Amel Berrachedi, Malika Ioualalen, Ahmed Hammad |
| 2016 | ICSOC | Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud. | Lydia Yataghene, Malika Ioualalen, Mourad Amziani, Samir Tata |
| 2015 | BPM | Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. | Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen |
| 2014 | AINA | An Approach for Performance Modelling and Analysis of Multi-tiers Autonomic Systems. | Mehdi Sliem, Nabila Salmi, Malika Ioualalen |
| 2014 | MODELSWARD | Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions. | Ahmed Kheldoun, Malika Ioualalen |
| 2013 | MODELSWARD | Modular and Distributed Verification of SysML Activity Diagrams. | Messaoud Rahim, Ahmed Hammad, Malika Ioualalen |
| 2013 | WCNC | Detecting DoS attacks in WSN based on clustering technique. | Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen |
| 2013 | WorldCIST | A Tool for Fractal Component Based Applications Performance Modelling Using Stochastic Well Formed Nets. | Nabila Salmi, Malika Ioualalen, Smail Lallali, Hamza Zerguine |
| 2012 | ISCC | A clustering method for wireless sensors networks. | Said Fouchal, Quentin Monnet, Djamel Mansouri, Lynda Mokdad, Malika Ioualalen |
| 2007 | ISoLA | Formal models of Fractal Component Based Systems for performance analysis. | Nabila Salmi, Patrice Moreaux, Malika Ioualalen |