Mounir Lallali

Publications


International journals
  1. Iksoon Hwang, Ana Cavalli, Mounir Lallali and Dominique Verchere. Applying formal methods to PCEP: an industrial case study from modeling to test generation. Journal of Software : Testing, Verification and Reliability, Special issue: Model-based Testing, Volume 1: Foundation and Applications of Model-Based Testing, Volume 22, Issue 5, pages 343–361, August 2012. [BibTeX]

Book Chapters
  1. Wissam Mallouli, Mounir Lallali, Amel Mammar, Gerardo Morales and Ana Rosa Cavalli. Modeling and Testing Secure Web Applications. Book chapter In Web-Based Information Technologies and Distributed Systems. Atlantis Ambient and Pervasive Intelligence, Volume 2. Springer, 207–255. June 2010. [BibTeX]
  2. Ana Cavalli, Mounir Lallali, Séphane Maag, Gerardo Morales and Fatiha Zaidi. Modeling and Testing of Web Based Systems. Book chapter in Emergent Web Intelligence : Advanced Semantic Technologies. Series : Advanced Information and Knowledge Processing, Part 4. Springer Verlag, 355–394, 2010. [BibTeX]

International conferences with proceedings
  1. Fatiha Zaidi, Mounir Lallali, and Stéphane Maag. A Component based Testing Technique for a MANET Routing Protocol. In Proc. The ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'10), pages 1–7, 2010. [BibTeX]

  2. Iksoon Hwang, Mounir Lallali, Ana Cavalli and Dominique Verchere. Modeling, Validation, and Test Generation of PCEP Using Formal Method. In : D. Lee et al. (Eds.) FMOODS/FORTE 2009, LNCS, vol. 5522, pages 122–136, 2009. [BibTex]

  3. Wissam Mallouli, Mounir Lallali, Gerardo Morales and Ana Cavalli. Modeling and Testing Secure Web-Based Systems : Application to an Case Study. In Proc. The Fourth ACM/IEEE International Industrial Conference on Signal Image Technology and Internet Based Systems (SITIS'08), pages 128–136, 2008. [BibTeX]

  4. Mounir Lallali, Fatiha Zaidi, Ana Cavalli and Iksoon Hwang. Automatic Timed Test Case Generation for Web Services Composition. In Proc. The IEEE Sixth European Conference on Web Services (ECOWS'08), pages 53–62, 2008. [BibTeX]

  5. Ana Cavalli, Edgardo Montes De Oca, Wissam Mallouli and Mounir Lallali. Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. In Proc. The 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'08), pages 315–318, 2008. [BibTeX]

  6. Mounir Lallali, Fatiha Zaidi and Ana Cavalli. Transforming BPEL into Intermediate Format Language for Web Services Composition Testing. In Proc. The 4th International Conference on Next Generation Web Services Practices (NWESP'08), pages 191–197, 2008. [BibTeX]

  7. Mounir Lallali, Fatiha Zaidi and Ana Cavalli. Timed Modeling of Web Services Composition for Automatic Testing. In Proc. The Third International IEEE Conference on Signal-Image Technologies and Internet-Based System (SITIS'07), pages 417–426, 2007. [BibTeX]

Workshops
  1. Lina Bentakouk, Fayçal Bessayah, Mounir Lallali, Wissam Mallouli and Andrey Sadovykh. A Framework for Modeling and Testing of Web Services Orchestration. The Fourth Workshop on Modeling, Design, and Analysis for the Service Cloud (MDA4ServiceCloud 2010), 2010.

Project Deliverables & Technical Reports
  1. Ismail Berrada, Tien-Dung Cao, Richard Castanet, Patrick Felix, Mounir Lallali, Fatiha Zaidi et Ana Cavalli. Définition d'une méthode de génération de test pour la composition de services Web décrite en BPEL. Livrable du projet WebMov, WEBMOV-FC-D4.1/T4.12009.

  2. Mounir Lallali, Fatiha Zaidi, Ana Cavalli and 0Patrick Felix. Automation of the Mapping from BPEL to WS-TEFSM-IF.  Livrable du projet WebMov, WEBMOV-FC-D2.3/T2.42009.
  1. Mounir Lallali, Fatiha Zaidi, Ana Cavalli et Patrick Felix.  Definition of the Mapping from BPEL to WS-TEFSM. Livrable du projet WebMov, WEBMOV-FC-D2.4a/T2.5, 2008.
  1. Mounir Lallali, Fatiha Zaidi and Ana Cavalli. Timed Modeling of Web Services Composition for Automatic Testing. Rapport de recherche de Telecom Sud-Paris, N° 07003-LOR2007.

  2. Mounir Lallali and Fatiha Zaidi. Use of Verification Techniques for Components Testing. Rapport de recherche de l’Universitéde Paris-Sud, LRI – CNRS, N° 14652007.
Thesis
  • Mounir LallaliModéisation et test fonctionnel de l’orchestration de services Web (Modeling and functional testing of Web services orchestration). PhD thesis, Telecom SudParis, 2009. [PDF]

Talks
  1. Composition de servcices dans le contexe des architectures SOA et Cloud Computing, Test des applications Cloud multi-locataires, Séminaire IDL, UBO, Brest, France. Sep. 2012.
  1. Modélisation et test fonctionnel de l’orchestration de services Web. Séminaire IDL, UBO, Brest, France. Dec. 2010.
  1. Test du service composé : Travel Reservation Service. WebMov Meeting, Paris, France. Sep. 2009.
  1. Transformation de BPEL vers IF. WebMov Meeting, Evry, France. Sep. 2009.
  1. Timed Modeling of Web Services Composition for Automatic Testing. WebMov Meeting, Bordeaux, France. Sep. 2008.
  1. DotLRN Web Testing. E-LANE Meeting, Paris. Oct. 2005.
  1. The Email Handler : Email Reply Functionality. E-LANE Meeting, Dublin, Ireland. Mai 2005.
® 2010–2013 Mounir Lallali. Août 2013
Valid HTML 4.01 Transitional