Malika Ioualalen

32 papers A 1B 1C 8Journal 9Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Explicit Energy Quantification in Wireless Sensor Networks Using Petri Nets. MODELSWARD Amel Berrachedi, Malika Ioualalen, Ahmed Hammad
2023	C	`conf`	A Defense Strategy for Securing Wireless Sensor Networks. CoDIT Djamel Mansouri, Malika Ioualalen
2022	J	`jnl`	Designing a methodological framework for modeling and performance forecasting of self-adaptive cloud systems. Concurr. Comput. Pract. Exp. Mehdi Sliem, Nabila Salmi, Malika Ioualalen
2021	C	`conf`	Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. SIMULTECH Amel Berrachedi, Malika Ioualalen, Ahmed Hammad
2018	—	`conf`	Modeling Accordion Method Using SAN. ICC Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
2017	J	`jnl`	A methodology for verifying SysML requirements using activity diagrams. Innov. Syst. Softw. Eng. Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
2017	J	`jnl`	Dynamic and adaptive detection method for flooding in wireless sensor networks. Int. J. Commun. Syst. Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
2017	—	`conf`	Formal Modeling and Performance Evaluation of Network's Server Under SYN/TCP Attack. MSPN Naouel Ouroua, Wassila Bouzegza, Malika Ioualalen
2017	J	`jnl`	Formal verification of complex business processes based on high-level Petri nets. Inf. Sci. Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
2016	—	`conf`	Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud. ICSOC Workshops Lydia Yataghene, Malika Ioualalen, Mourad Amziani, Samir Tata
2015	—	`conf`	A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. CIIA Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen
2015	—	`conf`	Achieving Scalability of Self-optimizing Multi-tier Systems Performance Prediction. IPAC Mehdi Sliem, Nabila Salmi, Malika Ioualalen
2015	—	`conf`	Preventing Denial of Service attacks in Wireless Sensor Networks. ICC Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
2015	A	`conf`	Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. BPM Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
2015	—	`conf`	Towards Modelling-Based Self-adaptive Resource Allocation in Multi-tiers Cloud Systems. IDCS Mehdi Sliem, Nabila Salmi, Malika Ioualalen
2014	—	`conf`	A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. ADECS @ Petri Nets Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen
2014	—	`conf`	An Approach for Performance Modelling and Analysis of Multi-tiers Autonomic Systems. AINA Workshops Mehdi Sliem, Nabila Salmi, Malika Ioualalen
2014	—	`conf`	Towards Reliability and Performance Prediction of Autonomic Systems with Self-Healing and Protection. ICCAC Mehdi Sliem, Nabila Salmi, Malika Ioualalen
2014	C	`conf`	Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions. MODELSWARD Ahmed Kheldoun, Malika Ioualalen
2013	C	`conf`	A Tool for Fractal Component Based Applications Performance Modelling Using Stochastic Well Formed Nets. WorldCIST Nabila Salmi, Malika Ioualalen, Smail Lallali, Hamza Zerguine
2013	—	`conf`	Clustering wireless sensors networks with FFUCA. ICC Said Fouchal, Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
2013	B	`conf`	Detecting DoS attacks in WSN based on clustering technique. WCNC Djamel Mansouri, Lynda Mokdad, Jalel Ben-Othman, Malika Ioualalen
2013	C	`conf`	Modular and Distributed Verification of SysML Activity Diagrams. MODELSWARD Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
2012	C	`conf`	A clustering method for wireless sensors networks. ISCC Said Fouchal, Quentin Monnet, Djamel Mansouri, Lynda Mokdad, Malika Ioualalen
2012	J	`jnl`	Structured performance analysis for component-based systems. Int. J. Crit. Comput. Based Syst. Nabila Salmi, Patrice Moreaux, Malika Ioualalen
2012	—	`conf`	Towards Efficient Component Performance Analysis in Component Based Architectures. SWQD Nabila Salmi, Malika Ioualalen
2010	J	`jnl`	Numerical investigation of finite-source multiserver systems with different vacation policies. J. Comput. Appl. Math. Nawel Gharbi, Malika Ioualalen
2009	J	`jnl`	Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems. Math. Comput. Model. Nawel Gharbi, Claude Dutheillet, Malika Ioualalen
2009	J	`jnl`	Performance evaluation of Fractal component-based systems. Ann. des Télécommunications Nabila Salmi, Patrice Moreaux, Malika Ioualalen
2007	C	`conf`	Formal models of Fractal Component Based Systems for performance analysis. ISoLA Nabila Salmi, Patrice Moreaux, Malika Ioualalen
2006	J	`jnl`	GSPN analysis of retrial systems with servers breakdowns and repairs. Appl. Math. Comput. Nawel Gharbi, Malika Ioualalen
2002	—	`conf`	Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets. Theory and Practice of Timed Systems @ ETAPS Nawel Gharbi, Malika Ioualalen