Mounir Lallali

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 7

Top Venues

NoCArc@MICRO

ICCD

Softw. Test. Verification Reliab.

ICFNDS

Telecom & Management SudParis, Évry, Essonne, France (PHD)

Education History

Telecom & Management SudParis, Évry, Essonne, France

PHD

Publications

Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepúlveda Flórez, Frank Singhoff, Jean-Philippe Diguet
Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems. ACM J. Emerg. Technol. Comput. Syst. 15 (1) (2019)
Ahcène Bounceur, Madani Bezoui, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid, Mahamadou Traore, Mounir Lallali
Detecting gaps and voids in WSNs and IoT networks: the minimum x-coordinate based method. ICFNDS (2018)
Georges L. A. Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
An Attack-Tolerant Framework for Web Services. SCC (2017)
Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepúlveda Flórez, Frank Singhoff, Jean-Philippe Diguet
DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems. ICCD (2017)
Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
How Web Services Can Be Tolerant to Intruders through Diversification. ICWS (2017)
Mourad Dridi, Mounir Lallali, Stéphane Rubini, Frank Singhoff, Jean-Philippe Diguet
Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language. NoCArc@MICRO (2017)
Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali
Model-Based Attack Tolerance. AINA Workshops (2017)
Iksoon Hwang, Ana R. Cavalli, Mounir Lallali, Dominique Verchère
Applying formal methods to PCEP: an industrial case study from modeling to test generation. Softw. Test. Verification Reliab. 22 (5) (2012)
Fatiha Zaïdi, Mounir Lallali, Stéphane Maag
A component based testing technique for a MANET routing protocol. AICCSA (2010)
Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère
Modeling, Validation, and Verification of PCEP Using the IF Language. FMOODS/FORTE (2009)
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli, Iksoon Hwang
Automatic Timed Test Case Generation for Web Services Composition. ECOWS (2008)
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. DS-RT (2008)
Wissam Mallouli, Mounir Lallali, Gerardo Morales, Ana R. Cavalli
Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study. SITIS (2008)
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli
Timed Modeling of Web Services Composition for Automatic Testing. SITIS (2007)

Mounir Lallali.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mounir Lallali