Mounir Lallali

According to our database, Mounir Lallali authored at least 15 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

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

2018

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

Proceedings of the 2nd International Conference on Future Networks and Distributed Systems, 2018

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

Proceedings of the 10th International Workshop on Network on Chip Architectures, 2017

How Web Services Can Be Tolerant to Intruders through Diversification.

Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali

Proceedings of the 2017 IEEE International Conference on Web Services, 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

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Model-Based Attack Tolerance.

Georges Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali

Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

An Attack-Tolerant Framework for Web Services.

Georges L. A. Ouffoue, Fatiha Zaïdi, Ana R. Cavalli, Mounir Lallali

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2012

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

2010

A component based testing technique for a MANET routing protocol.

Fatiha Zaïdi, Mounir Lallali, Stéphane Maag

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

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

Mounir Lallali

PhD thesis, 2009

Modeling, Validation, and Verification of PCEP Using the IF Language.

Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study.

Wissam Mallouli, Mounir Lallali, Gerardo Morales, Ana R. Cavalli

Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Automatic Timed Test Case Generation for Web Services Composition.

Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli, Iksoon Hwang

Proceedings of the ECOWS 2008, 2008

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints.

Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

2007

Timed Modeling of Web Services Composition for Automatic Testing.

Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli

Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007