Fabrice MOURLIN Maître de conférences à Paris-Est université UPEC (UFR Science), LACL,

Hors classe, échelon exceptionnel

fabrice.mourlin@u-pec.fr

14/03/2021

1. Contact ............................................................................................................................................ 2

2. Situation actuelle ............................................................................................................................. 2

3. Cursus universitaire ......................................................................................................................... 2

4. Positions .......................................................................................................................................... 3

5. Activités recherche .......................................................................................................................... 3

5.1. Thèmes de recherche .............................................................................................................. 3

5.2. Supervision de thèses .............................................................................................................. 4

5.3. Relations internationales......................................................................................................... 6

5.4. Partenariats industriels ........................................................................................................... 7

5.5. Coordination pour la recherche .............................................................................................. 7

6. Activités Enseignement ................................................................................................................... 7

6.1. Cours enseignés ....................................................................................................................... 8

6.2. Présentation d’enseignements................................................................................................ 8

6.3. Coordination de programme ................................................................................................... 9

7. Publications ................................................................................................................................... 10

Fabrice Mourlin

2

1. Contact Nom Mourlin Prénom Fabrice Rue 54 avenue Joffre Ville 94700 Maisons Alfort Pays France Téléphone +33 (0) 148 995 604 (privé)

+33 (0) 615 051 551 (mobile) Email fabrice.mourlin@u-pec.fr Internet http://www.lacl.fr/en/permanent/fabrice-mourlin-2/ Date de naissance 11 Novembre 1964 Lieu de naissance F-93100 Montreuil sous bois, France Nationalité Française

2. Situation actuelle Poste universitaire Maître de conferences UPEC (Paris-Est université centre de Créteil)

(HEB2 Hors échelle B2) Laboratoire LACL Directeur Laboratoire Pr. Julien Cervelle Equipe Spécification et Vérification de système Responsable d’équipe Pr. Catalin Dima Groupe de travail Cloud mobile, virtualisation applicative, Big Data, Machine Learning

3. Cursus universitaire 2008 Habilitation à Diriger des Recherche en Informatique

Soutenance à Paris-Est Créteil (21-11-2008), laboratoire : LACL UE 4219 (CNRS) Titre: mobile code - une autre approche logicielle Jury: A. Slissenko Président (Pr. Berlin Université) D. Buchs Rapporteur (Pr. Genève Université) U. Nestman Rapporteur (Pr. Berlin Université) A. Petit Rapporteur (Pr. ENS Cachan) E. Pelz Directrice (Pr. Paris-Est Université) G. Hains Examinateur (Pr. Paris-Est Université)

1992 Doctorat en Informatique Soutenance à Paris-Sud Orsay (18-12-1992); laboratoire: LRI UMR 8623 (CNRS) Titre: conception et realization d’outils aide à la programmation sur réseau de transputers Jury: W. Mercouroff Président (Pr. ENS Uml) A. Cavalli Rapporteur (Pr. INT) G. R. Perrin Rapporteur (Pr. Strasbourg Université) C. Jard Rapporteur (Directeur de recherche IRISA) G. Vidal Naquet Directeur (Pr. Paris-Sud Université) J. Beauquier Examinateur (Pr. Paris-Sud Université) D. Buchs Examinateur (Maître de conferences Genève)

1988 Diplôme d’étude approfondie en Informatique (DEA) Soutenance à Paris-Sud Orsay (9-9-1988), laboratoire: LRI UMR 8623 (CNRS) Titre: aide à la mise au pointed programmes réparties sur réseau de transputers Encadrants: J. Vautherin (Paris-Sud Université, chargé de recherche CNRS) M. Beaudouin Lafon (Maître de conférences Paris-Sud)

Fabrice Mourlin

3

4. Positions Depuis 09/2000 Maître de conférences à Paris-Est université UPEC (UFR Science), LACL,

passage hors classe en septembre 2011, passage échelon exceptionnel en septembre 2020

09/1993 – 08/2000 Maître de conférences à Paris-Sud université, LRI, Orsay 09/1992 – 08/1993 Post doc à l'université de Genève CUI (Bourse du Fonds National Suisse de

Recherche Scientifique (FNRS)) 09/1991 – 08/1992 ATER, Attaché Temporaire d'Enseignement et de Recherche, à Paris-Sud

university (Science department), LRI 09/1988 – 08/1991 Boursier MRT d'étude doctorale (délivrée par le Ministère de la Recherche

et des Techniques), LRI, Moniteur à l’IUT d’Orsay du 09/1989 au 08/1991

5. Activités recherche Mes activités de recherche ont progressé en fonction des laboratoires d’accueil. Ainsi, lorsque j’ai

commencé à m’intéresser à la migration de programmes sur un réseau de processeur, j’ai poursuivi

par des approches formelles adaptées à la preuve de propriétés (Univ Paris-Sud). J’ai ensuite

appliqué des algorithmes d’agents mobiles pour le Big Data et l’ingéniérie des données (Univ Paris-

Est). Lors des invitations aux NIST (MD, USA), j’ai utilisé mon expérience de la mobilité pour l’offload

d’application sur un cloud local et l’usage de réseau centré sur les données (ICN).

5.1. Thèmes de recherche Mes activités de recherche portent sur les problèmes liées à la convergence des systèmes distribués

et de la gestion de l'information. Chronologiquement, j’ai abordé les thèmes suivants:

1. Analyse et conception de systèmes distribués (1992-2000): langages formels pour les

descriptions de propriétés

2. Développement de systèmes d'agents mobiles (2000-auj) pour la collecte de données et le

calcul Big Data: application à l'architecture logicielle élastique pour le calcul à base de

squelette de programmation.

5.1.1. Analyse et conception de systèmes distribués

L'analyse du comportement fait partie intégrante du processus de développement logiciel. Ceci est

particulièrement important dans la conception de systèmes simultanés et distribués, où des

interactions complexes peuvent provoquer un comportement système inattendu ou indésirable. J’ai

utilisé des algèbres de processus pour décrire l'interaction entre les sous-systèmes et pour exprimer

des propriétés. Nous avons montré comment ces spécifications pilotent le développement de

systèmes distribués. Nous avons développé une plate-forme pour rédiger de telles spécifications

formelles, appelée HOPiTools. Celle-ci génère des squelettes de code source basés sur des modèles de

programmation. La partie preuve de propriétés est construite par l’emploi de logique temporelle de

type TCTL*.

Mots clés: langage formel, spécification, système distribué, preuve de propriétés

5.1.2. Développement de systèmes d'agents mobiles pour le traitement de données

Les systèmes d'agents mobiles sur un cluster sont difficiles à concevoir et à développer. Les difficultés

portent à la fois sur le plan comportemental, mais aussi sur la gestion de la sécurité pour obtenir des

Fabrice Mourlin

4

performances acceptables. J’ai proposé une approche basée sur l'utilisation d'agents mobiles pour des

calculs Big Data. Un agent mobile est vu tel un composant logiciel capable de migrer d'un nœud à un

autre tout en poursuivant son exécution après la migration. Mes premières implémentations portent

sur la collecte de données pour faire du reporting, puis j’ai implémenté des squelettes de

programmation pour effectuer des calculs sur des données distribuées en bloc.

Nous avons appliqué nos résultats au travers de plusieurs projets. Chacun d'eux correspond à la

définition d'une thèse de doctorat sous ma direction (voir 5.2.1). Mes travaux actuels portent sur 2

thèmes :

L’analyse de données issues du réseau 5G. La mobilité d’agents sur un tel support réseau

autorise des latences très inférieures aux technologies passées. Ceci amène une accélération

des calculs Big Data distribués. Dans ce but, je m’intéresse à la vérification des comportements

contenairisés via des outils symboliques tels que Klee.

La distribution de modèle IA respectant une architecture de graphe de réseaux de neurones

(GNN). Je déploie des GNNs pour l’apprentissage de patterns de données non structuré (un

corpus de texte, un dataset d’images). Le modèle est réparti entre plusieurs GPU. Cette

approche est dépendante du matériel, car il est utile de connaître l'espace requis par chaque

partie du GNN dans la mémoire du GPU.

Mots clés: agent mobile, calcul Big-Data, analyse de logs réseau, Deep Learning Distribué, analyse

symbolique.

5.2. Supervision de thèses

5.2.1. PhD. encadrement

2016 – 05/2020 Junior Dongo, Paris-Est université, sur le sujet “Native distributed Big Data computing support for the network”, (soutenue le 22 mai 2020) Position : postdoc d'une année à l'université d'Aalborg (Prof Kim G. Larsen), (http://people.cs.aau.dk/~kgl/). Il s'agit de projets de modélisation et vérification de système intelligents

2012 – 11/2018 Guy Lalhou Djiken, Paris-Est université et Yaoundé université (co-tutelle international), sur le sujet “mobile agent into embedded systems”, Supervisée avec Mme professeur Fotso (Cameroun), (soutenue le 24 novembre 2018) Position : chargé de cours à l’université de Douala (Cameroun)

2009 – 11/2014 Charif Mahmoudi, Paris-Est université, sur le sujet “business process management performed by mobile agents into middleware”, (soutenue le 28 Novembre 2014) Position : IoT software architect chez Siemens Princeton (USA) charif.mahmoudi@siemens.com

2007 – 05/2014 Cyril Dumont, Paris-Est université, sur le sujet “adaptability software based on a mobile agent layer”, (soutenue le 8 Mai 2014) Position : responsable de recherche et développement chez Leuville Objects (Versailles) cyril.dumont@leuville.com

2005 – 06/2008 Rachida Mekki, Paris-Est université et Oran université (collaboration), sur le sujet “adaptable component into a component server” (soutenue le 28 Juin 2008),

Fabrice Mourlin

5

Position : maître de conférence à l’Université des Sciences et de la Technologie d'Oran Mohamed Boudiaf,

2004 – 11/2009 Mâamoun Bernichi, Paris-Est université, sur le sujet “mobile agents for web protocol monitoring ”, (soutenue le 18 Novembre 2009), Position : responsable du service informatique de la MDD (Mutuelle des douanes) maamoun.bernichi@douane.finances.gouv.fr

2000 – 09/2005 Andreea Barbu, Paris-Est université and Carl v. Ossietzky Universität – Oldenburg, Deutschland (co-tutelle), sur le sujet “developing mobile agents through a formal approach” (soutenue le 11 Septembre 2005). Position : Deputy Chief Executive Officer, Fond National de Recherche Luxembourgeois, https://www.fnr.lu/contacts/dr-andreea-monnat/

5.2.2. Master encadrement

Depuis 2010, j'encadre des stages de Master sur le développement Big Data et l’analyse de données.

Les concepts clés sont: l'architecture logicielle, la mobilité de code, l'analyse des données en continu.

Depuis 4 ans (2018-2021): les encadrements sont

03-09/2021 Alexis Boisseau, ing3 Paris- Est université, sur le sujet :" Vérification et validation de systèmes distribués intelligents : modèle de comportement autonome " (soutenance prévue 09/2021)

04-10/2020 Moad Bensaka, ing3 Paris-Est université, sur le sujet “ Evaluation symbolique de code sur plateforme temps réel et preuve de propriété ”, (soutenue en octobre 2020)

03-08/2020 Ibtihal El Mimouni, ing3 l’Institut National des Postes et Télécommunications (INPT), sur le sujet “ Mesure de performance d’un système d'exploitation temps réel (RTOS) exécuté sur un périphérique physique et un environnement virtualisé”, (soutenue en août 2020)

03-09/2019 Kapil Dev Singh, master Tver State Technical University, Tver, Russia, sur le sujet: “Virtualization de machine RTOS avec QEMU, mesure de performance” (soutennue en septembre 2019)

03-09/2018 Ludovic Foltete ing2 Paris-Est université, sur le sujet “ Etude de programme Big Data sur le protocole NDN ”, (soutenue en septembre 2018)

5.2.3. Rapporteur dans un jury de thèse

(En dehors de l’université Paris-Est)

12/2020 Salwa Souaf, PhD. Etudiant de l’INSA centre Val de Loire, France Titre : "Formal Methods meet security in a cost aware cloud brokerage solution", sous la supervision des Professeurs Pascal Batholomé et Frédéric Loulergue,

06/2016 Asma Gesmi, PhD. étudiant à l’université d’Orléans, France, laboratoire LIFO Titre “Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de nuage informatique” sous la supervision du Professeur Frédéric Loulergue.

12/2014 Thomas Pinsard, PhD. étudiant à l’université d’Orléans, France, laboratoire LIFO Titre: “Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation” sous la supervisiondu Professeur Frédéric Loulergue.

09/2014 Viet Van Pham, PhD. étudiant à Evry-Val d'Essonne université France, labo IBISC,

Fabrice Mourlin

6

Titre: “modelling and analyzing Open reconfigurable systems” sous la supervision du Professor Frédéric Peschanski (LIP6) et Hanna Klaudel (IBISC)

09/2011 Noman Javed, PhD. étudiant à l’université d’Orléans, France, laboratoire LIFO, Titre: “Metaprogrammed Algorithmic Skeletons: Implementation, Performances and Applications” sous la supervisiondu Professeur Frédéric Loulergue,

01/2011 Laurent Poligny, PhD. étudiant à Evry-Val d'Essonne université France, labo IBISC, Titre: “From computer to MACHINE : creation and regulation of the data processing” sous la supervision du Professeur Hanna Klaudel

5.3. Relations internationales Seules les 10 dernières années sont présentées ci-dessous

5.3.1. Chercheur invité

Pendant 3 ans, j'ai été invité en tant que « guest researcher » au NIST (National Institute of Standards

and Technology), ITL Lab (Information Technology Laboratory), division ANTD (Advanced Network

Technologies Division) dirigée par le Professeur Abdella Battou (Gaithersburg, Maryland USA)

06/2016-08/2016

Spécification d'une architecture Big Data au dessus du protocole NDN avec la prise en compte des propriétés de réplication, de division en blocs, d'indexation et de distribution

06/2015-08/2015

Etude du protocole Named Domain Networking (NDN) dans un data center, sur le réseau fibre optique

06/2014-08/2014

Définition d'une architecture Cloudlet pour la gestion de la consommation en énergie

des appareils mobiles (Cloud computing)

5.3.2. Comité d’évaluation

2012-2015 Evaluation des programmes Licence et Master Informatique pour l’université Siantou (Cameroun)

2007-2010 Évaluateur pour le programme de recherche FNR (Fonds National de la Recherche Luxembourgeois), référent attaché au programme CORE

5.3.3. Organisation de conférences

07/2019 The International Workshop On Architecture for Future Mobile Computing and Internet of Things (FMCIOT'2019) qui a eu lieu conjointement le The 2019 IEEE International Conference on Internet of Things (iThings'19), Atlanta, USA, http://fmciot2019.lacl.fr/

06/2018 The International Workshop On Architecture for Future Mobile Computing and Internet of Things (FMCIOT'2018) qui a eu lieu conjointement le 7th IEEE International Conference on Selected Topics in Mobile & Wireless Networking (MoWNet'18), Tanger, Maroc, http://fmciot2018.lacl.fr/

04/2017 The International Workshop on: Evolving Systems (EVSYS 2017) qui a eu lieu conjointement avec ICONS 2017, Venice, Italy The Twelfth International Conference on Systems, http://www.iaria.org/conferences2017/filesICONS17/EVSYS.pdf

08/2014 The International Workshop on Energy Management for Sustainable Internet-of-Things and Cloud Computing (EMSICC 2014) qui a eu lieu conjointement avec la FiCloud 2014, the 2nd IEEE International Conference on Future Internet of Things and Cloud à Barcelona, Spain, http://cedric.cnam.fr/workshops/emsicc14/

Fabrice Mourlin

7

04/2014 The International Workshop on Trusted Platforms for Mobile and Cloud Computing (TPMCC’14) qui a eu lieu conjointement avec la conférence IEEE Mobile Cloud 2014, Oxford, http://tpmcc14.lacl.fr/.

Depuis 2012 Steering member of the International Conference on Big Data, Small Data, Linked Data and Open Data (called AllData), (https://www.iaria.org/conferences2019/ComALLDATA19.html)

Depuis 2011 Committee member of the International Conference on Systems (called ICONS), (https://www.iaria.org/conferences2019/ComICONS19.html)

5.4. Partenariats industriels L’essentiel des partenariats obtenus ont eu pour objectif le financement d’étudiants en PhD ou en

Master. D’autres portent sur du conseil en recherche exploratoire pour l’innovation.

5.4.1. Financement PhD.

2017-2020 Siemens (Princeton USA): invitation de Junior Dongo pour un séjour de 9 mois (06/2019-02/2020)

2016-2019 Partenariat Leuville Objects: financement de conferences : FMCIOT, 2009-2012 Partenariat Ilyeum: contrat de financement de la these de Charif Mahmoudi 2007-2010 Partenariat Leuville Objects: contrat de financement de la these de Cyril Dumont 2004-2007 Partenariat MGEFI: contrat de financement de la these de de Mâamoun Bernichi

5.4.2. Conseil entreprise

2018-2020 INSEE: construction d’un moteur d'indexation d'entreprise - Inventaire des sources de données en termes de volume et de format, - Accès aux données publiques, surveillance d'accès, - Validation des orientations de l’architecture technique cible et de l’urbanisation du SI,

2016-2018 MNH: définition d'une architecture Big Data fonctionnelle et technique - Rationalisation des données en termes de volume et de coût, - Description des cas d’usage existants et futurs sur plusieurs périmètres fonctionnels, - Analyse de la situation actuelle vs. état de l’art fonctionnel et diagnostic de maturité,

2012-2015 MGEN: definition d’un workflow multi partenaire pour le calcul Big Data - Analyse des scenarii actuels pour les échanges d’informations entre mutuelles, - Sécuriser les choix d’architecture fonctionnelle et technique sur le moyen long / terme et donner de la visibilité au management - Choix de conception pour une démarche « data as a service »

5.5. Coordination pour la recherche Depuis 2018, responsable de l’installation de la plateforme NDN (Named Domain Networking) au LACL

(UPEC). Nœud relié au réseau GEANT via RENATER pour participer au cluster de test initié par John

Dehart du Applied Research Laboratory (Washington, USA)

Depuis 2019, Rapporteur pour l'Agence nationale de la recherche (ANR)

6. Activités Enseignement Depuis 1988, j’effectue un service de 200 heures par an en moyenne. Jusqu'en 2000, j'étais maître de

conférences à l'université Paris-Sud. Depuis 2000, je suis maître de conférences à l'université Paris-Est

où j’effectue mes enseignements à l’Ecole Publique d’Ingénieurs de la Santé Et du Numérique (EPISEN)

Fabrice Mourlin

8

(https://episen.u-pec.fr/). L’école respecte les recommendations du processus de Bologne depuis sa

création.

6.1. Cours enseignés Depuis 2000, j’ai effectué des enseignements en Licence, Master, Doctorat. J’ai régulièrement fait

évoluer mes enseignements pour répondre aux besoins de l’institut, mais aussi pour permettre une

intégration aisée à un ou une jeune collègue en aidant à l’accompagnement.

Au cours de ces années, les matières enseignées ont été nombreuses (programmation objet, génie

logicielle, base de données, architecture Web, I.A., etc..). Mon approche de l’enseignement a aussi

évolué car les moyens et les besoins actuels sont différents. L’enseignement distanciel est devenu

crucial ; la structure d’un cours doit offrir plus d’intéraction entre les participants. Ainsi le rythme de

mes séances de cours comprend toujours une partie présentation suivie d’une mise en pratique

individuelle, voire une mise en interaction par petit groupe lorsque cela est possible. Enfin, il reste utile

de fournir à chacun les moyens de s’auto évaluer pour justifier le travail additionnel nécessaire.

L’acquisition de nouvelles compétences demeure un aspect clé dans la construction de mes cours.

Mes supports de présentation et supports d’exercices sont disponibles aux étudiants des cursus

concernés. Les évaluations par contrôle continu ont un rôle plus important depuis le développement

de l’enseignement en distanciel. Pour améliorer le travail individuel, j’ai créé des évaluations

paramétrées et scénarisées. Cela signifie des exercices personnalisés planifiés sur une échelle de temps

avec rendu à chaque jalon temporel.

Au cours des 10 dernières années à l’U-PEC, le tableau suivant répertorie les enseignements

importants

Niveau L3 (ing1). Génie Logiciel, Programmation Web, Infrastructure et réseau, Programmation Java, Base de données (conception et développement)

Niveau M1 (ing2) Programmation Big Data, Intelligence Artificielle,

Niveau M2 (ing3) Fouille de données, Visualisation Big Data Programmation IoT

Niveau Doctorat Réseau centré sur les données (NDN) Distributed Deep Learning

6.2. Présentation d’enseignements Afin d’illustrer certains de mes enseignements, je décris de façon rapide le contenu d’un cours par

année universitaire.

L3 - Enseignement de base de données : volume : 40 h eq TD

Thème abordé Travaux pratique (avec Postgresql)

1

2

3

Introduction aux bases de données relationnelles

Schéma entité association

Modèle relationnel

Utilisation d’une base embarquée

Création de modèle E/A avec association binaire

Du schéma E/A au relationnel, normalisation

Fabrice Mourlin

9

4

5

6

7

8

9

10

Algèbre relationnel

Langage SQL

Schéma relationnel

Programmation SQL

Technique de stockage

Indexation

Accès concurrent

Expressions de requête avec algèbre

Requêtes simples, imbriquées, agrégation, etc.

Définition d’un schéma, contraintes, assertions

Définition de trigger, emploi de curseur, fonction

Fichier, bloc, export/import Csv, sauvegarde

Gestion d’index, index sur expression, multi col

Gestion des verrous, transaction

M1 - Enseignement de programmation Big Data : volume 40 h eq TD

Thème abordé Travaux pratique (avec VM HDP)

1

2

3

4

5

6

7

8

9

10

Système de fichier distribué

Programmation Map/Reduce (Hadoop)

Framework de haut niveau Spark Core : RDD

Data-Streaming, échantillonnage

Programmation Big Data Asynchrone

Bases de données orientées colonne

Surcouche SQL avec Hive et Phoenix

Concept de Dataset et Dataframe avec Spark

Application de Map/Reduce sur des graphes

Construction d’une étude avec un notebook

Utilisation hdfs shell, API Java, API REST

Recherche du top 10 des fédé sportives Françaises

Même exo avec spark-submit, obs. sequencement

Analyse de texte issus de route Flume (ETL)

Utilisation de file Kafka, application streaming.

Persistance avec Hbase, shell, API Java, API REST

Construction d’un mapping HBase Hive

Utilisation de table en mémoire pour le requetage

Application de Spark Graph, calcul de page rank

Création d’un modèle ML simple avec Zeppelin

M2 - Enseignement de Fouille de données : volume 40 h

Thème abordé Travaux pratique (Spark - Hadoop)

1

2

3

4

5

Introduction à la fouille de données

Réduction du volume de données

Réduction de l’ordre de complexité

Recherche par similarité.

Classification Automatique

Introduction à Spark core et sql

Analyse de données CSV (data.gouv.fr)

Manipulation de données numériques. Exécution d’applications

Echantillonnage. Analyse en composantes principales

Classification automatique avec k-means

6

7

8

9

10

Fouille de données textuelles

Fouille de flux de données

Apprentis. supervisé à large échelle

Fouille de graphes et réseaux

Visualisation de graphes

Traitement automatique des langues avec Spark NLP

Traitement avec Spark streaming

SVM linéaires

Fouille de réseaux sociaux

Visualisation de graphes avec Gephi

D - Enseignement de DDL (Distributed Deep Learning) : volume 12 h

Thème abordé Travaux pratique (Python/Scala)

1

2

3

Distributed data parallelism pour le DL

Distributed model parallelism pour le DL

Graphe de réseau de neurone

Application de Spark MLlib avec Keras

Application de Keras2DML

Application avec Pytorch et NetworkX

6.3. Coordination de programme Cette activité comprend l’organisation de chaque année avec les aspects enseignements (gestion des

enseignements en fonction de l’accréditation en cours, recherche d’enseignants, synergie entre

cours), les aspects administratifs (gestion de la formation avec l’UFR, renouvellement d’accréditation,

suivi CFA), les aspects étudiants (recrutement, suivi en entreprise, bilan de compétences)

Fabrice Mourlin

10

2017-2020 responsable du programme de licence professionnel Informatique. Son programme porte sur la gestion des données, le Big Data et de la sécurité. 15 étudiants sont inscrits par an, l'année académique est divisée en une formation de 8 mois et un stage de 4 mois. L'objectif est d'aider les étudiants à obtenir leur premier emploi dans une entreprise d'informatique.

2009-2016 responsable du programme du Master appelé ISIDIS, (Ingénierie des Systèmes d’Informations Distribuées). 25 étudiants sont inscrits par an. L’année académique est divisée en 2 périodes de 6 mois : la formation à l’U-PEC et un stage en entreprise. Mon rôle consiste à faire le suivi des enseignements et des étudiants. Chaque stage est validé par mes soins et un enseignant est sélectionné pour le suivi.

2003-2011 coordinateur des activités d'enseignement en informatique (pour la Miage/IUP de l’U-PEC). Cela signifie entre autre la validation des missions d'enseignement, la déclaration des profils requis pour les nouveaux postes, la gestion du dossier de réhabilitation.

7. Publications

Chapter in books

[B1] F. Mourlin, Présentation du langage de spécification Lotos. (24 pages) In Alfred Strohmeier and Didier Buchs eds (1995) Book title « Genie Logiciel: principe, méthodes et techniques » Edited by: Presses Polytechniques et universitaires romandes.

Journals

[J6] F. Mourlin, J.M. Farinone, Cloud Mobile Storage for Mobile Applications, paru dans International Journal of Interactive Mobile Technologies (iJIM) – eISSN_ 1865-7923 – Vol. 13, No. 3, 2019 pp13-28 : http://www.online-engineering.org/dl/iJIM/iJIM_vol13_no03_2019_G.pdf

[J5] F. Mourlin, C. Mahmoudi Pragmatic approach for business process migration, Revue Méditerranéenne de Telecommunication, 3(1) {10 pages} February 2013

[J4] F. Mourlin, Y. Hannad, Mobile agent driven by aspect International Journal on Computer Science Issue) 7(6) (11 pages), November 2010,

[J3] F. Mourlin, C. Dumont, Jacobi computation using mobile agent International Journal of Computer Science and Information Technologies 1(5), 392-401. (2010)

[J2] F. Mourlin, R. Mekki, Interoperable mobile agent for software observation International Review on Computers and Software (IRECOS) 3(3): pp 276-283, May 2008,

[J1] F. Mourlin, M. Bernichi, Management software strategy with mobile agent International Review on Computers and Software (IRECOS) 2(5): pp 541-545, January 2008,

Fabrice Mourlin

11

Publications

[C58] F. Mourlin, C. Mahmoudi, G Lahlou Djiken Distributed Search on a Large Amount of Log Data The Seventh International Conference on Big Data, Small Data, Linked Data and Open Data (ALLDATA 2021), April 18, 2021 to April 22, 2021 - Porto, Portugal

[C57] F. Mourlin, A. Thomas Traceability of doping controls through a blockchain for the AFLD International Workshop on Blockchain Technologies for Robotic Systems, 15 September 2020

[C56] J. Dongo, C. Mahmoudi, F. Mourlin. Elastic Gigabit NDN Forwarder for Big Data Applications. In 2019 Global Information Infrastructure and Networking Symposium (GIIS) 2019 Dec 18 (pp. 1-5). IEEE.

[C55] J. Dongo, L. Foltete, C. Mahmoudi, F. Mourlin. Distributed Edge Solution for IoT based Building Management System with NDN. In 2019 Global Information Infrastructure and Networking Symposium (GIIS) 2019 Dec 18 (pp. 1-5). IEEE.

[C54] F. Mourlin, C. Mahmoudi, A Language for Controller-Less Internet of Things Orchestration Based on Label Forwarding, The 16th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'2019), 2019 Nov 3 (pp. 1-7). IEEE.

[C53] F. Mourlin, J. Dongo, C. Mahmoudi Formal Definition of Mobile Cloud and Device Composition REPS & GIE-2018 The IEEE 3th International Conference on: Renewable Energies, Power Systems and Green Inclusive Economy, 23 -24 April 2018, Casablanca - Morocco

[C52] F. Mourlin, C. Mahmoudi MOCP: An Offloading Protocol for Mobile Cloud and IoT virtualization MoWNet'18 Seventh International Conference on Selected Topics in Mobile & Wireless Networking, June 20-22, 2018, Tangier, Morocco doi: 10.1109/MoWNet.2018.8428923

[C51] F. Mourlin, C. Mahmoudi Monitoring Architecture for Fog and Mobile Cloud. ISPDC 2018, 17th International Symposium on Parallel and Distributed Computing (ISPDC), Geneva, 2018, pp. 109-117 doi: 10.1109/ISPDC2018.2018.00024 https://ieeexplore.ieee.org/document/8452027

[C50] F. Mourlin, J. Dongo, Y. Atik, C. Mahmoudi Distributed File System for NDN: an IoT Application, 2018 International Conference on Selected Topics in Mobile and Wireless Networking (MoWNeT), Tangier, 2018, pp. 138-141. doi: 10.1109/MoWNet.2018.8428849

[C49] F. Mourlin, J. Dongo, C. Mahmoudi, Service Abstraction Layer for Smart Grid Measurement, 2018 Renewable Energies, Power Systems & Green Inclusive Economy (REPS-GIE), Casablanca, 2018, pp. 1-6. doi: 10.1109/REPSGIE.2018.8488850

[C48] C. Mahmoudi, F. Mourlin, A. Battou: A Formal definition of edge computing: An emphasis on mobile cloud and IoT composition.

Fabrice Mourlin

12

The Third IEEE International Conference on Fog and Mobile Edge Computing (FMEC) 2018, Apr 23: pp.34-42, doi: 10.1109/FMEC.2018.8364042 https://ieeexplore.ieee.org/document/8364042

[C47] J. Dongo, C. Mahmoudi, F. Mourlin: NDN Log Analysis Using Big Data Techniques: NFD Performance Assessment. BigDataService 2018, the International IEEE BigDataService Conference , Bamberg, 2018, pp. 169-175, doi: 10.1109/BigDataService.2018.00032 https://ieeexplore.ieee.org/document/8405707

[C46] F. Mourlin, C. Mahmoudi. Formal Verification of Mobile Orchestration Agents. The International Conference on Wireless Technologies, Embedded and Intelligent Systems (WITS' 2017), https://ieeexplore.ieee.org/document/7934672

[C45] F. Mourlin, C. Mahmoudi, Formal verification of mobile orchestration agents: Model checking for orchestration verification, 2017 International Conference on Wireless Technologies, Embedded and Intelligent Systems (WITS), Fez, 2017, pp. 1-8. doi: 10.1109/WITS.2017.7934672

[C44] F. Mourlin, C. Mahmoudi. Cluster calibration for processing monitoring data. The 2nd International Conference on Big-Data, Cloud and Applications (BDCA' 2017) , 2017 http://bdca17.uae.ma/wp-content/uploads/BDCA-2017-Official-Program-v7.pdf

[C43] F. Mourlin, C. Dumont, L. Nel, A mobile distributed system for remote resource access, Proceedings of the 14th International Conference on Advances in Mobile Computing and Multimedia, MoMM 2016, Singapore, 28th to 30th of November 2016, published by ACM International Conference Proceedings

[C42] F. Mourlin, C. Dumont, Steven Enten, Laurent Nel, Mobile Application Validation through Virtualization, The Seventh International Conference on Advances in System Testing and Validation Lifecycle (VALID 2015) 14 pages: http://www.thinkmind.org/index.php?view=article&articleid=valid_2015_1_20_40059

[C41] F. Mourlin, C. Mahmoudi. Business Process Management with mobile routes. The 11th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA' 2014) , 2014 http://cse.qu.edu.qa/aiccsa2014/index.html

[C40] F. Mourlin, A Esserhir, Mobile Agent Synchronizer for a Real-time Architecture. The Ninth International Conference on Systems, 2014, pp. 132-139 http://www.thinkmind.org/index.php?view=article&articleid=icons_2014_7_30_40098

[C39] F. Mourlin, S. Mostadi Training Oriented Mobile Device to Learn Software Architecture, eLmL 2014 The Sixth International Conference on Mobile, Hybrid, and On-line Learning March 23 – 27, 2014 – Barcelona, Spain

[C38] F. Mourlin, S. Mostadi, and G. L. Djiken Design of Mobile Services for Embedded Platforms.

Fabrice Mourlin

13

The Ninth International Conference on Software Engineering Advances, 2014, pp. 354-36 http://www.thinkmind.org/index.php?view=article&articleid=icsea_2014_13_50_10319

[C37] F. Mourlin, C. Mahmoudi Teaching Software Architecture by developing step by step Applications, ICETI 2014 The 5th International Conference on Education, Training and Informatics March 4 – 7, 2014 – Orlando, Florida, USA,

[C36] F. Mourlin, A. Esserhir Real Time Mobile agent synchronizer, ICONS 2014 The Ninth International Conference on Systems February 23 – 27, 2014 – Nice, France

[C35] F. Mourlin, C. Mahmoudi, G. L. Djiken Mobile agent for nomadic devices, MOBILITY 2013, The Third International Conference on Mobile Services, Resources, and Users, November 17 – 22, 2013 – Lisbon, Portugal ISBN: 978-1-61208-313-1

[C34] F. Mourlin, C. Mahmoudi Multi modal Web services, ICSSEA 2013, International Conference on Software & Systems Engineering and their Applications November 4-6, 2013 - Paris, France

[C33] F. Mourlin, C. Mahmoudi Toward a Definition of π-DSL for Modelling Business Agents, ICSEA 2013, The Eighth International Conference on Software Engineering Advances October 27 - November 1, 2013 - Venice, Italy: pp. 86-93 ISBN: 978-1-61208-304-9

[C32] F. Mourlin, C. Dumont Implementation of a fault-tolerant system for solving cases of numerical computation, ICIBET 2013 International Conference on Information, Business and Education Technology ISBN: 978-90-78677-56-7

[C31] F. Mourlin, C. Mahmoudi Adaptivity of Business Process, ICONS 2013, The Eighth International Conference on Systems January 27 - February 1, 2013 - Seville, Spain ISBN: 978-1-61208-246-2

[C30] F. Mourlin, C. Mahmoudi Orchestration definition from business specification, ICSEA 2012, The Seventh International Conference on Software Engineering Advances, November 18-23, 2012 - Lisbon, Portugal (ISBN: 978-1-61208-230-1 Published by XPS (Xpert Publishing Services))

[C29] F. Mourlin, C. Mahmoudi Orchestration Driven by Formal Specification, ICONS 2012 The Seventh International Conference on Systems, February 29 - March 5, 2012 - Saint Gilles, Reunion Island (ISBN: 978-1-61208-184-7 Published by CPS (Xpert Publishing Services))

[C28] F. Mourlin, C. Mahmoudi Web service orchestration driven by formal specification, ICICS 2011 The 2nd International Conference on Information and Communication Systems, May 22-24, 2011 Amman, Jordan (8 pages)

[C27] F. Mourlin, C. Mahmoudi Mobile agent for orchestrating web services,

Fabrice Mourlin

14

ICONS 2011 The Sixth International Conference on Systems, January 23-28, 2011 - St. Maarten, The Netherlands Antilles (ISBN: 978-1-61208-114-4 Published by CPS (Xpert Publishing Services)) (8 pages)

[C26] F. Mourlin, C. Dumont Adaptive Runtime for Numerical Code, in 'MOSIM'10: Proceedings of the 8th International Conference of Modeling and Simulation', [hal-00514538 - version 1]

[C25] F. Mourlin, M. Bernichi Two level specification for monitoring application, The Fifth International Conference on Systems, Proceedings of ICONS 2010 - Menuires, The Three Valleys, French Alps, France, (DOI: 10.1109/ICONS.2010.17)

[C24] F. Mourlin, M. Bernichi Hybrid approach for mobile agent specification, (6 pages) in ICAI 2010: Proceedings of the 7th International Conference on Applied Informatics.

[C23] F. Mourlin, K. Agourare Authentication and Location Control via RFID Analysis, ETFA 2009, Emerging Technologies and Factory Automation, September 23 - 26, 2009, University of Balearic Islands (UIB), Spain NTCS Editor (10 pages)

[C22] F. Mourlin, C. Dumont Space based architecture for numerical solving, CIMCA 2008: Proceedings of the International Conference on Computational Intelligence for Modelling Control and Automation, 10-12 December 2008 - Vienna, Austria (IEEE CS 6 pages)

[C21] F. Mourlin, M. Bernichi Network Management with mobile agent toolkit, NCM2008: 4th International Conference on Networked Computing and Advanced Information Management, September 2-4, 2008, Gyeongju, Korea (IEEE CS) KNC Editor (6 pages)

[C20] F. Mourlin, C. Dumont A Mobile Computing Architecture for Numerical Simulation, International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2007, November 4-9, 2007 - Papeete, French Polynesia (Tahiti) IOS Press (6 pages).

[C19] F. Mourlin, M. Bernichi Software management based on mobile agents, Second International Conference on Systems and Networks Communications, IEEE Computer Society Press (6 pages), Cap Esterel, France, August 2007

[C18] F. Mourlin, C. Dumont Mobile Agent Framework for Parallel Computing: MAFPC, in ICAI 2007: Proceedings of the 7th International Conference on Applied Informatics.

[C17] F. Mourlin, M. Bernichi Mobile agent communication scheme (an evolving canvas), International Conference on Systems and Networks Communications, IEEE Computer Society Press (10 pages), Tahiti, French Polynesia, October 2006

[C16] F. Mourlin, A. Barbu Enhancing student understanding of formal method through prototyping, In FM-Ed'06, University of Hamilton, Ontario, Canada, August 21 - 27, 2006. SCS/ACM, 2006. (8 pages)

[C15] F. Mourlin, M. Bernichi Java mobile agents for monitoring mobile activities, In Eurocon'05 conference, Serbia & Montenegro, Belgrade, November 22-24, 2005.SMB Editor (10 pages)

Fabrice Mourlin

15

[C14] F. Mourlin, M. Bernichi A New Behavioural Pattern for Mobile Code, In ESM 2005, University of Porto, Porto, Portugal, 24-26 October 2005. (6 pages)

[C13] F. Mourlin, A. Barbu From pi-Calculus Specification to a Simulation of a Mobile Agent Using Jini, In ESM 2004, 18th European Simulation Multiconference, Magdeburg, Germany, June, 2004. (6 pages)

[C12] F. Mourlin, J. Skaita Mobile Agents for the database management using JINI, ICAI’04 6th International Conference on Applied Informatics (26/01-30/01 2004), Eger-Noszvaj, Hungary Eger Academic Press (10 pages).

[C11] F. Mourlin, A. Barbu A Higher Order Pi-Calculus Specification of a Mobile Agent in Jini, SNPD'03, Fourth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (October 16-18, 2003, Lübeck, Germany) HPC Editor (10 pages)

[C10] F. Mourlin, A. Barbu From higher order Pi calculus specification to RMI implementation, CSITeA’03, International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (June 5-7, 2003 Rio de Janeiro, Brazil) BRJ Academic Editor (10 pages)

[C09] F. Mourlin, A. Barbu Mobile Properties and temporal logic, EURASIA-ICT, Eurasian Conference In Information and Communication Technology (23-31 Octobre 2002, Theran, Iran) Shevar Academic Press (10 pages)

[C08] F. Mourlin Pi-Tool: graphical tool for concurrent system design ICAI’97 3rd International Conference on Applied Informatics (25-28 August 1997), Eger-Noszvaj, Hungary, Eger Academic Press (10 pages).

[C07] F. Mourlin et X. Rebuffel PLOB: A Protocol Dedicated to Load Balancing: a case study in numerical analysis PC’96 8th Joint EPS - APS International Conference on Physics Computing (September 17 - 21, 1996) Krakow, Poland, PR Editor (10 pages).

[C06] N. Guelfi and F. Mourlin, Formal Treatment of Data Structures in Concurrency Models, Colloquium FORMAL METHODS FOR CONCURRENCY, Muenchen, Germany, July 5 1996, Gesellschaft fuer Informatik (Ed.), Institut fuer Informatik, Ludwig-Maximilians-Universitaet, 1996 (10 pages).

[C05] D. Brunet, D. Buchs, D. Monteiro and F. Mourlin, Parallel Distributed Algorithm Design through Specification Transformation: The Asynchronous Vision System, FIP WG10.3 Working Conference on Programming Environments for Massively Parallel Distributed Systems, Monte Verita, Ascona, April 25-29 1994, Switzerland.

[C04] D. Buchs, F. Mourlin and L. Safavi, CO-OPN for specifying a distributed termination detection algorithm, Software Engineering for Parallel Systems, Germany, September 20-24 1993, vol. 3, IOS Press, 1993 (12 pages)

[C03] F. Mourlin Debugging and validation of Occam2 programs simulations International Conference: TAPA '92 Transputers And Parallel Applications conference (November 4-5, 1992) vol. 1, IOS Press 1992 (10 pages)

Fabrice Mourlin

16

Workshop

[W5] F. Mourlin, C. Dumont, C. Mahmoudi, L. Nel, Virtualisation d’applications mobiles dans un réseau de Cloudlets, Cloud Days 2017 action transverse Virtualisation et Cloud du GdR RSD les 6 et 7 septembre 2017 à Nancy, http://cloud-days2017.loria.fr/

[W4] F. Mourlin, C. Mahmoudi, G. L. Djiken, Y. Atik, Vers une définition formelle du Cloud Computing Mobile, 10e Conférence francophone sur les Architectures Logicielles, CAL 2016, Pau, France, Jun 7, 2016 - Jun 8, 2016, pp 64-79 http://gdr-gpl.cnrs.fr/sites/default/files/documentsGPL/JourneesNationales/GPL2016/Actes-CAL-2016.pdf#page=66 http://events.femto-st.fr/sites/femto-st.fr.gdr-gpl-2016/files/content/CAL-2016.pdf

[W3] F. Mourlin, C. Mahmoudi, M. Tazi, poster intitule IoT Virtualization in Micro-Clouds, NIST Cloud Computing Forum & Workshop IX, September 13-15, 2016 (National Institute of Standard and Technology), https://www.nist.gov/sites/default/files/documents/2016/09/13/posterabstracts_ix_sept2016.pdf

[W2] F. Mourlin, C. Dumont Model checking applied to mobile agent system, in 'SAFA'2010 : The 3nd Annual SAFA Workshop'.

[W1] F. Mourlin, From Pi calculus to mobile agent, Workshop JIP meets PORTA, Oldenburg, Germany, Dec. 16-18, 2001..

Bibliothèques développées

NDNFS Système de fichier distribués au dessus du protocole NDN

Travail effectué en collaboration avec Junior Dongo Plusieurs démonstrations ont été

faites à ICONS’2017 (Venise), FMCIOT'2018 (Tanger) (2019)

MCA Mobile Computing Agents: module de génération de java spaces dédiés pour le calcul

numérique. (Plug-in développé pour Eclipse).

Travail effectué en collaboration avec Cyril Dumont. Plusieurs démonstrations ont été

faites à HPC, IFP (Rueil, France), ESI-Group (Rungis, France) (2009),

JIMA JIni Mobile Agents: module de génération de code dédié pour les systèmes d'agents

mobiles..

[C02] C. Johnen et F. Mourlin Analysis of the communication structure of Occam2 programs using Petri nets International Conference: Transputers'92 Advanced Research and Industrial Applications (May 20-22, 1992) vol. 3, IOS Press 1992 (12 pages)

[C01] F. Mourlin et E. Cournarie EPO : A graphical environment for OCCAM programming International Conference and Exhibition Applications of Transputers, University of Liverpool (August 22-25, 1989). vol. 2, IOS Press 1989 (10 pages)

Fabrice Mourlin

17

Travail effectué en collaboration avec Mâamoun Bernichi. Plusieurs démonstrations ont

été faites, à l'université Casablanca (Maroc), au laboratoire LIVIC à INRETS (Versailles,

France) (2006).

HOPiTools Environnement de Spécification basé sur Higher Order Pi calcul: avec génération de code Java Jini.

Travail effectué en collaboration avec Andréea Barbu. Plusieurs démonstrations ont été faites, à l'université Budapest (Hongrie), à l'université de Bristol (UK). (2003)