Timed Modeling of Web Services Composition for Automatic Testing. - Mounir Lallali; Fatiha Zaïdi; Ana R. Cavalli (SITIS, 2007)

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. - Ana R. Cavalli; Edgardo Montes de Oca; Wissam Mallouli; Mounir Lallali (DS-RT, 2008)

Automatic Timed Test Case Generation for Web Services Composition. - Mounir Lallali; Fatiha Zaïdi; Ana R. Cavalli; Iksoon Hwang (ECOWS, 2008)

Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study. - Wissam Mallouli; Mounir Lallali; Gerardo Morales; Ana R. Cavalli (SITIS, 2008)

Modeling, Validation, and Verification of PCEP Using the IF Language. - Iksoon Hwang; Mounir Lallali; Ana R. Cavalli; Dominique Verchère (FMOODS/FORTE, 2009)

Modélisation et Test Fonctionnel de l'Orchestration de Services Web. (Modelisation & Functional Testing of Web Services Orchestration). - Mounir Lallali (2009)

A component based testing technique for a MANET routing protocol. - Fatiha Zaïdi; Mounir Lallali; Stéphane Maag (AICCSA, 2010)

Applying formal methods to PCEP: an industrial case study from modeling to test generation. - Iksoon Hwang; Ana R. Cavalli; Mounir Lallali; Dominique Verchère (Softw. Test. Verification Reliab., 2012)

An Attack-Tolerant Framework for Web Services. - Georges L. A. Ouffoue; Fatiha Zaïdi; Ana R. Cavalli; Mounir Lallali (SCC, 2017)

Model-Based Attack Tolerance. - Georges Ouffoue; Fatiha Zaïdi; Ana R. Cavalli; Mounir Lallali (AINA Workshops, 2017)

DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems. - Mourad Dridi; Stéphane Rubini; Mounir Lallali; Martha Johanna Sepúlveda Flórez; Frank Singhoff; Jean-Philippe Diguet (ICCD, 2017)

How Web Services Can Be Tolerant to Intruders through Diversification. - Georges Ouffoue; Fatiha Zaïdi; Ana R. Cavalli; Mounir Lallali (ICWS, 2017)

Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language. - Mourad Dridi; Mounir Lallali; Stéphane Rubini; Frank Singhoff; Jean-Philippe Diguet (NoCArc@MICRO, 2017)

Detecting gaps and voids in WSNs and IoT networks: the minimum x-coordinate based method. - Ahcène Bounceur; Madani Bezoui; Loïc Lagadec; Reinhardt Euler; Abdelkader Laouid; Mahamadou Traore; Mounir Lallali (ICFNDS, 2018)

Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems. - Mourad Dridi; Stéphane Rubini; Mounir Lallali; Martha Johanna Sepúlveda Flórez; Frank Singhoff; Jean-Philippe Diguet (ACM J. Emerg. Technol. Comput. Syst., 2019)