Mounir Lallali

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