french
Mounir Lallali

Assistant professor  
University of Brest (UBO, France) 
Lab-STICC Laboratory, CACS Pole, UMR CNRS  6285
Faculty of Sciences
Computer Science Department 
MOCS team 




Address

Office C203, Building LC, AES Site
University of Brest (UBO) 
20 avenue Le Gorgeu
C.S. 93837 – BP 809
29238 BREST Cedex 3, France




Mailing address
Université of Brest
Faculty of Sciences
Computer Science Department
20 avenue Le Gorgeu 
C.S. 93837 – BP 809
29238 BREST Cedex 3, France





Phone:        +33 (0) 2 98 01 81 39
e-mail:        Mounir [dot] Lallali [at] univ-brest [dot] fr
Web page:  http://pagesperso.univ-brest.fr/~lallali/index-en.html


 See the profil of Mounir LALLALI in LinkedIn Mounir Lallali



Research activities
Publications
Research Projects
Supervision
Teaching
Responsibilities
Positions
News
 

Research activities

My researches focus on formal methods and software engineering. They relate to the specification and the validation of Web & Cloud services, and real-time systems.

My actual work concerns the followed topics:

– Cloud computing
  • Modeling and Validation of Cloud & Web Services, Business Processes
  • Cloud Services & Web Services Composition
  • Configurability of Business Processes
  • Multi-tenant Architecture
  • Cloud-Based Testing (TaaS) & Testing in a Cloud
    • Multi-Tenancy Testing
    • Functional Testing
Model Driven Engineering (MDE)
  • Development of Business components models for architecture modeling
  • Tool development based on DSL (Domain-specific langage) and model transformation
Application domains
  • Web services (SOAP & REST), SOA Architecture
  • Cloud Computing, Cloud Services (SaaS, BPaaS), Multi-Tenant Architecture
  • Embedded systems | Real-time systems
PhD supervision
  • Thesis in progress:
Thesis 1: Dynamic management of an automated building
General topic : Home automation and sustainable development
Supervisors : Pascal Berruet (Lab-STICC/UBS), Thomas Burger (CNRS) & Mounir Lallali (Lab-STICC/UBO)
PHD Student : Valère Alibert (Lab-STICC/UBS)
Duration : Oct. 2012 – Oct. 2015
Keywords : Intelligent building; Home automatio;, energy and comfort management ; embedded , reconfigurable and cooperating systems

My Thesis Work

This PhD thesis focuses on functional testing of service orchestrations described in BPEL, which aims to establish the conformance of a composite service implementation to its specification. The objective of this thesis is twofold : on the one hand, to propose a formal modeling of service orchestration, and on the other hand, to propose a comprehensive testing approach for orchestrations, ranging from orchestration modeling to tests execution, including automatic test case generation.

Keywords : Verification & Validation, formal methods, Web services, timed automaton, test generation, MDE.

My publications inDBLP,  HALGoogle ScholarMicrosoft Academic Search

Publications (since 2007)  
Haut de Page


Reseach Projects
  • Actual projects
    • IRT B-COM AEV / INDEED  (2013 –  2016)
    • Infrastructure de Nuage Informatique Distribué et Econome en Energie
    • Launch of the project: Sep. 2013 
  • Closed projects
    • Member of the @lis European project E-LANE (closed, 2007  2010)
    • Member of the French ANR project WebMov (closed, 2003  2007)
Haut de Page

Supervision
  • PHD thesis in progress
  • Thesis 1:  Dynamic management of an automated building
    • General topic : Home automation and sustainable development
    • Supervisors : Pascal Berruet (Lab-STICC/UBS), Thomas Burger (CNRS) & Mounir Lallali (Lab-STICC/UBO)
    • PHD Student : Valère Alibert (Lab-STICC/UBS)
    • Duration : Oct. 2012 – Oct. 2015
    • Keywords : Intelligent building; Home automatio;, energy and comfort management ; embedded , reconfigurable and cooperating systems
Haut de Page


Teaching 2012 - 2013 (Université de Bretagne Occidentale)
  • Master2 Pro DOSI – Développements n-tiers avec Java EE (Cours/TD/TP)
    • Introduction aux architectures n-tiers
    • Plateforme Java EE 
    • Couche Métier (EJB) 
    • Introduction aux services Web (SOAP & RESTful)
    • Couche Service (JAX-WS & JAX-RS)
  • Master2 Pro DOSI – Systèmes Répartis (Cours/TD/TP)
    • Introduction aux systèmes répartis
    • Services Web (SOA, WSDL, XSD, BPEL, SOAP, REST,  WADL, SoapUI, ...)
    • Introduction au Cloud Computing
    • Ergonomie des Interfaces Mobiles
  • Master2 Pro DOSI – Langages du Web  (Cours/TD/TP)
    • Ergonomie et conception de sites Web
    • Les technologies XML & Programmation XSLT
    • Le format JSON
    • JavaScript & Ajax
  • Master1 SICLE Informatique – Développement Objet Avancé et Machines Virtuelles 
    • Test de logiciels (CM)
    • Test de Conformité, test à partir de UML (TD)
    • Test unitaire avec JUnit & couverture structurelle avec CodeCover (TP)
    • Test fonctionnel & structurel de programmes Java (TP)
Previous teaching (since 2006)
Haut de Page

Responsibilities

Haut de Page


Positions

Since Sept. 2010 Assistant professor at Lab-STICC, Université de Bretagne Occidentale
Sept. 2009 – Aug. 2010 ATER at LRI, Université Paris-Sud 11
April 2009 – Aug. 2009 Engineer at LRI, Université Paris-Sud 11
Oct. 2005 – Nov. 2009 Phd of Computer Science, Telecom SudParis
Phd Thesis defended on Novembre 20, 2009
Title: "Modeling and functional testing of Web services orchestration"
Supervisor: Ana Cavalli
Co-supervisor: Fatiha Zaidi
Haut de Page

® 2010–2013 Mounir Lallali. August 2013
Valid HTML 4.01 Transitional