Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets. - Nawel Gharbi; Malika Ioualalen (Theory and Practice of Timed Systems @ ETAPS, 2002)

GSPN analysis of retrial systems with servers breakdowns and repairs. - Nawel Gharbi; Malika Ioualalen (Appl. Math. Comput., 2006)

Formal models of Fractal Component Based Systems for performance analysis. - Nabila Salmi; Patrice Moreaux; Malika Ioualalen (ISoLA, 2007)

Performance evaluation of Fractal component-based systems. - Nabila Salmi; Patrice Moreaux; Malika Ioualalen (Ann. des Télécommunications, 2009)

Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems. - Nawel Gharbi; Claude Dutheillet; Malika Ioualalen (Math. Comput. Model., 2009)

Numerical investigation of finite-source multiserver systems with different vacation policies. - Nawel Gharbi; Malika Ioualalen (J. Comput. Appl. Math., 2010)

A clustering method for wireless sensors networks. - Said Fouchal; Quentin Monnet; Djamel Mansouri; Lynda Mokdad; Malika Ioualalen (ISCC, 2012)

Towards Efficient Component Performance Analysis in Component Based Architectures. - Nabila Salmi; Malika Ioualalen (SWQD, 2012)

Structured performance analysis for component-based systems. - Nabila Salmi; Patrice Moreaux; Malika Ioualalen (Int. J. Crit. Comput. Based Syst., 2012)

Clustering wireless sensors networks with FFUCA. - Said Fouchal; Djamel Mansouri; Lynda Mokdad; Jalel Ben-Othman; Malika Ioualalen (ICC, 2013)

Modular and Distributed Verification of SysML Activity Diagrams. - Messaoud Rahim; Ahmed Hammad; Malika Ioualalen (MODELSWARD, 2013)

Detecting DoS attacks in WSN based on clustering technique. - Djamel Mansouri; Lynda Mokdad; Jalel Ben-Othman; Malika Ioualalen (WCNC, 2013)

A Tool for Fractal Component Based Applications Performance Modelling Using Stochastic Well Formed Nets. - Nabila Salmi; Malika Ioualalen; Smail Lallali; Hamza Zerguine (WorldCIST, 2013)

An Approach for Performance Modelling and Analysis of Multi-tiers Autonomic Systems. - Mehdi Sliem; Nabila Salmi; Malika Ioualalen (AINA Workshops, 2014)

A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. - Ahmed Kheldoun; Jiafeng Zhang; Kamel Barkaoui; Malika Ioualalen (ADECS @ Petri Nets, 2014)

Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. - Messaoud Rahim; Malika Boukala-Ioualalen; Ahmed Hammad (PNSE @ Petri Nets, 2014)

Towards Reliability and Performance Prediction of Autonomic Systems with Self-Healing and Protection. - Mehdi Sliem; Nabila Salmi; Malika Ioualalen (ICCAC, 2014)

Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions. - Ahmed Kheldoun; Malika Ioualalen (MODELSWARD, 2014)

Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets. - Messaoud Rahim; Ahmed Hammad; Malika Boukala-Ioualalen (ACIT-CSI, 2015)

Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. - Ahmed Kheldoun; Kamel Barkaoui; Malika Ioualalen (BPM, 2015)

A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. - Ahmed Kheldoun; Kamel Barkaoui; Jiafeng Zhang; Malika Ioualalen (CIIA, 2015)

Preventing Denial of Service attacks in Wireless Sensor Networks. - Djamel Mansouri; Lynda Mokdad; Jalel Ben-Othman; Malika Ioualalen (ICC, 2015)

Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction. - Mehdi Sliem; Nabila Salmi; Malika Ioualalen (IPAC, 2015)

Towards Modelling-Based Self-adaptive Resource Allocation in Multi-tiers Cloud Systems. - Mehdi Sliem; Nabila Salmi; Malika Ioualalen (IDCS, 2015)

Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. - Messaoud Rahim; Ahmed Kheldoun; Malika Boukala-Ioualalen; Ahmed Hammad (IET Softw., 2015)

Evaluation of the Energy Consumption and the Packet Loss in WSNs Using Deterministic Stochastic Petri Nets. - Amel Berrachedi; Malika Boukala-Ioualalen (AINA Workshops, 2016)

Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud. - Lydia Yataghene; Malika Ioualalen; Mourad Amziani; Samir Tata (ICSOC Workshops, 2016)

Formal Modeling and Performance Evaluation of Network's Server Under SYN/TCP Attack. - Naouel Ouroua; Wassila Bouzegza; Malika Ioualalen (MSPN, 2017)

Dynamic and adaptive detection method for flooding in wireless sensor networks. - Djamel Mansouri; Lynda Mokdad; Jalel Ben-Othman; Malika Ioualalen (Int. J. Commun. Syst., 2017)

Formal verification of complex business processes based on high-level Petri nets. - Ahmed Kheldoun; Kamel Barkaoui; Malika Ioualalen (Inf. Sci., 2017)

A methodology for verifying SysML requirements using activity diagrams. - Messaoud Rahim; Ahmed Hammad; Malika Ioualalen (Innov. Syst. Softw. Eng., 2017)

Modeling Accordion Method Using SAN. - Djamel Mansouri; Lynda Mokdad; Jalel Ben-Othman; Malika Ioualalen (ICC, 2018)

Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach. - Messaoud Rahim; Malika Boukala-Ioualalen; Ahmed Hammad (CSA, 2020)

Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. - Amel Berrachedi; Malika Ioualalen; Ahmed Hammad (SIMULTECH, 2021)

Designing a methodological framework for modeling and performance forecasting of self-adaptive cloud systems. - Mehdi Sliem; Nabila Salmi; Malika Ioualalen (Concurr. Comput. Pract. Exp., 2022)

A Defense Strategy for Securing Wireless Sensor Networks. - Djamel Mansouri; Malika Ioualalen (CoDIT, 2023)

Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems. - Adel Khelifati; Malika Boukala-Ioualalen; Ahmed Hammad (ICSOFT, 2025)

Combining SysML V2 and BIP to Model and Verify CPS Interactions. - Adel Khelifati; Ahmed Hammad; Malika Boukala-Ioualalen (ICSOFT, 2025)