Florian Galinier

Florian GALINIER

Bourg-Saint-Bernard, France

Né le 18 février 1992
à Narbonne (Aude)

Tél : +33 (6) 31 61 27 97
galinierflo@gmail.com

Formations

2016 - 2019
Doctorat en informatique Développement sans rupture de systèmes complexes : une approche basée multi-exigences à l'Université Toulouse Paul Sabatier encadré par Jean-Michel Bruel, Bertrand Meyer et Sophie Ebersold.
2014 - 2016
Master AIGLE à l'Université Montpellier
2010 - 2014
Licence informatique à l'Université Montpellier 2
2010
Baccalauréat Scientifique SVT spécialité mathématiques (mention bien)

Stages de recherche

Février-Juin 2016
Des algorithmes génétiques pour générer des modèles diversifiés
LIRMM, Laboratoire CNRS et Université Montpellier, Équipe MaREL

La génération de modèles à partir de méta-modèles est une solution apportée par l'ingénierie des modèles pour tester les transformations de modèles ou pour la validation de méta-modèles. Il existe dans la littérature un certain nombre de techniques combinatoires pour l'instanciation de méta-modèle, mais peu se sont intéressées au problème de la diversité. L'utilisation des algorithmes génétiques est une des plus prometteuses en terme de diversité. L'objectif de ce stage et de l'étude bibliographique est d'explorer cette piste, en tentant notamment de trouver une mesure efficace pour la diversité, modélisée dans notre cas au travers d'une fonction objectif de distance entre modèles.

Juin-Août 2015
Génération de modèles Java réalistes à l'aide de statistiques sur des métriques réelles
LIRMM, Laboratoire CNRS et Université Montpellier, Équipe MaREL

L'objectif de ce stage était l'amélioration de l'outil Grimm de génération de modèle en intégrant une génération des relations dirigée par des probabilités obtenues via des mesures réelles. En effet, l'outil Grimm permet à partir d'un méta-modèle, par exemple celui de Java, la génération de modèles conformes à celui-ci. Cependant, les modèles ainsi générés étaient relativement uniformes et peu réalistes. Nous avons donc traité le cas de Java et de la génération de modèles et de code de ce langage. Nous avons relevé différentes métriques de programmation orientée objet sur des projets existants, nous permettant d'obtenir des statistiques que nous avons utilisées pour générer des modèles plus réalistes.

Publications

2018
Requirements Specific Modeling Language : un langage formel d'expression d'exigences
Florian Galinier, Sophie Ebersold, Jean-Michel Bruel
7ème Conférence en IngénieriE du Logiciel (CIEL) 2018
2017
Seamless Integration of Multirequirements in Complex Systems
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer
Model-Driven Requirements Engineering (MoDRE) 2017
Lien
Measuring Differences To Compare Sets Of Models And Improve Diversity In MDE
Adel Ferdjoukh, Florian Galinier, Eric Bourreau, Annie Chateau, Clémentine Nebut
International Conference on Software Engineering Advances, ICSEA 2017
Lien
Intégration des (multi-)exigences tout au long du développement des systèmes complexes
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL) 2017
Pages 57-63
Lien
A contract-based method to specify stimulus-response requirements
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
https://arxiv.org/abs/1704.04905
2016
Genetic Algorithm to Improve Diversity in MDE
Florian Galinier, Eric Bourreau, Annie Chateau, Adel Ferdjoukh, Clémentine Nebut
META, International Conference on Meta heuristics and Nature Inspired Computing
Lien

Enseignement

2017-2018
Modélisation et conception objet (TP)
Master 1
Réseaux 1 (TP)
Licence 2
Programmation Orientée Objets 1 (TP)
Licence 2
2016-2017
Méthodologie de la production d’application (TP/TD)
IUT 2
Réseaux 1 (TP)
Licence 2
Programmation Orientée Objets 1 (TP)
Licence 2

Événements scientifiques

MSE

Workshop chair à l'atelier Microservices: Science and Engineering (MSE) lors de la conférence STAF 2018.

STAF

Student volunteer pour l'organisation de la conférence Software Technologies: Applications and Foundations (STAF) 2018.

Agile Tour Montpellier

Membre (temporaire) de l'équipe d'organisation de l'Agile Tour Montpellier 2016
Membre de l'équipe d'organisation de l'Agile Tour Montpellier 2015

Rencontre Montpellier C++
Présentations :

Compétences

Linguistique

Français
natif
Anglais
lu, parlé, écrit
Espagnol
notions

Informatique

Génie logiciel

Domaines
Théorie des langages, Ingénierie Dirigée par les Modèles, Ingénierie des Exigences, Architecture logicielle
Gestion de projets
Cycle en V, Développement itératif, Méthodologies agiles (SCRUM, Kanban)

Langages

Programmation
C, C++, C#, Python, Java, Lisp/Scheme, PL/SQL, OCaml, LUA
Web
PHP, Javascript, HTML, CSS, XML (XSL)

Outils

Systèmes
GNU/Linux, GNOME, XFCE, KDE, Windows
Graphismes
GIMP, Inkscape

Projets universitaires

2015
Interprète d'un dérivé de Logo multi-agents (Stibbons) encadré par Michel Meynard
2014
Site web social pour monnaie libre (Poavre) avec Symfony encadré par Jacques Ferber
2013
Solveur de puzzle Link-Pix en C encadré par Philippe Janssen

Autres