J. C. Attiogbé, Université de Nantes, LS2N UMR CNRS 6004

Thesis (PhD) Supervised

• Hiba AJABARI, Evaluation des performances des langages dédiés exécutables / Performance evaluation of dsl-based executable models
  Projet ANR Rodic, Fevrier 2023-...
  (co-encadrement avec Jean-Marie MOTTU, Pasca Beruet(UBS-Vannes))
  

• Abderahmene KHOUASS, Vérification de systèmes hétérogènes avec des contrats généralisés,
  cotutelle avec Université de Tlemcen (Algérie), 2019-...
  (co-encadrement avec Mohamed Messabihi), ProfasB+ programme
  

• Eva BAO,  Modélisation probabiliste et sureté de système de drônes civils (co-encadrement avec Benoît Delahaye),
  Partenariat CIFRE avec PIXIEL, (thesis with an indutrial partner) Janvier 2017-mars 2020, LS2N
  Thesis defended on May 7, 2020 (with the Jury: Patricia Bouyer-Decitre, Laure Petrucci, Olga Kouchnarenko, Philippe Ballanger as invited member,  and Benoît Delahaye)
  
• Abdramane BAH,  Sécurité et interopérabilité des systèmes de contôle d'accès hétérogènes,
  (cotutelle France-Mali, co-encadrement avec Jaqueline Konateà Bamako, et Pascal André), Octobre 2016, LINA(then LS2N)
  Thesis defended on October 8th, 2020 (with the Jury: Florence Sèdes, Jacqueline Konaté, Jean-Paul Bodevex, Philippe Aniorté,  Pascal André)
  

• David SFERRUZZA, Plateforme extensible de modélisation et de construction d’applications web correctes et évolutives, avec hypothèse de variabilité,
  Thesis started on November 2014 - Industrial Partnership with Escale Digital Nantes (co-supervised with Arnaud Lanoix and Jérôme Rocheteau), LINA
  Thesis defended on September 13th 2018 (with M. Huchard, R. Laleau, A. Mostefaoui, J-P. Bodeveix, J. Rocheteau ,- plus invited members A. Lanoix, M. Olanié)
  

• Fatma DHAOU, Vérification formelle de la relation de raffinement des diagrammes de séquence d’UML2.X avec la méthode formelle B événementel,
  Université de Tunis El Mannar, thesis defended on 4 juillet 2018
  (with Khaled Bsaies, Inès Mouaker, Jemni Ben Ayed,  Samir Ben Ahmed)
  

• Jonathan PEPIN, Rétro-ongénierie d'architecture et alignement avec le système d'information de l'entreprise,
  Thesis started on Jannuary 2013 – Industrial Partnership with Sodifrance/Softmaint (co-supervised with Pascal André), LINA
  Thesis defended on 5th December 2016 (with X. Blanc, M. Huchard, F. Sedes, A. Etien, J-C. Royer, P. André, and invited members Erwann Breton, Laurent Pichierri)
  

• Damien HERVE, Plateforme distribuée extensible auto-configurable et sûre, application au contrôle de cibles multiples
  thesis started on September 2012 – Industrial Partnership with CRT Informatique, thesis cancelled in 2013.

• Olivier FINOT, Adaptation de la vérification de systèmes modélisés après leur évolution par transformations,
  thesis started on October 2010, (co-supervised with J-M. Mottu and Gerson Sunyé)
  Thsesis defended on January 2014 (with A. Beugnard, C. Percebois, S. Hammoudi, A. Etien, G. Sunye, J-M.Mottu)
  

• Mohamed MESSABIHI, Specification and verification of Component-based Software
  (Application to the Kmelia Model) thesis started on september 2007, co-supervised with Pascal André
  thesis defended in June 2011
  (Jury: Antoine Beugnard (R), J-P. Bodeveix(R), S. Ducasse, O.Kouchnarenko, Pascal André, Christian Attiogbé)

• Gwen SALAÜN,Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes, PhD Thesis, 

thesis defended on June 2003, Université de Nantes, France
(Jury: S. Merz (R), D. Bert (R), J-M. Jezequel, M. Oussalah, C. Attiogbé, F. Benhamou)

Habilitation (HDR) Thesis Examiation  (HDR: is the qualifiacation to superviise research more)

Ahmed HAMMAD, Contribution à la modélisation et à la validation de systèmes complexes, Université de Franche-Comté 21 septembre 2018
Reviewer, (with Y. Ait Ameur, K. Drira, F. Bouquet, P-C. Héam, H. Mountassir)

Olivier CARDIN, Contribution à la conception, l'évaluation et l'implémentation de systèmes de production cyber-physiques, 2 décembre  2016, Université de Nantes
(with Benoit EYNARD, Benoît Montreuil, Damien Trentesaux, Alain Bernard, Pierre Castagna, André Thomas)

Eric MADELAINE, Specification, Model Generation, and Verification of Distributed Application, HDR Université de Nice,
Reviewer, (with g. Berry, D. Caromel, R. Mateescu, E. Najm), Octobre 2011

Frédéric BOULANGER, Modèles, systèmes, hétérogénéité, HDR Université Paris-Sud,
Reviewer, (with Vidal, M. Pouzet), Juin 2011

PhD Thesis where I was examinator

Jean-Philippe GROS, Contributions à la validation de systèmes à composants adaptatifs par génération de tests, Université de Besançon, 14 Décembre 2021
(with Olga Kouchnareno, Antoine Rollet, Pierre-Cyril Héam, Jean-François Weber )

Adel Hassan, Styles et Méta-Styles: Une Autre Façon de Réutiliser l'Evolution d'Architectures Logicielles, Université de Nantes, 24 Septembre 2018
(with Kamel BARKAOUI, Henri BASSON, Isabelle BORNE, Djamel SERIAI, Mourad OUSSALAH)

Maurice Comlan, Contribution au dépliage des réseaux de Petri et à l’analyse des processus de branchement, IRCCyN, Nantes, November 2016
I was the President of the Jury, with Patrick M ARTINEAU, Eric N IEL, Sébastien LAHAYE, Olivier H. R OUX (s), Antoine VIANOU(S), Médésu SOGBOHOSSOU, David DELFIEU

Fadila AOUSSAT, Réutilisation des procédés logiciels : une approche à base d’architectures logicielles
Thèse de l'Université de Nantes et de l'Université Houari Boumedienne (USTHB) de Alger
(sous la direction de Mourad Oussalah et Mohamed Ahmed Nacer) Novembre 2012

David Cumbor, Linux Theory and Practice, PhD University of Teessidde, (Supervisor B. Stoddart),
(viva examination with Dr Simon Lynch), January 2012

S. Djoko Djoko, Analyses et vérification des programmes à aspects, Thèse de l'Université de Nantes, EMN
(sous la direction de MM Rémi Douence et Pascal Fradet),
Juin 2009

L.D. Benavides, Les aspects distribués: pour une meilleure séparation des préoccupations transverses dans les logiciels distribués,
Thèse de l'Université de Nantes, EMN, (sous la direction de M. Sudholt, P. Cointe),
Janvier 2009

Rached MILOUD, Spécification et Vérification des systèmes temps-réel réactifs en B
Phd Thesis, University of Toulouse, 29 mai 2007
(Jury:  V. Poiriez; H. Mountassir, M. Filali(S), J-P. Bodeveix(S), C. Attiogbé)

Thesis where I was reviewer

Badr SIALA, IRIT Toulouse, Décomposition formelle des spécifications centralisées Event-B: application aux systèmes distribués BIP, Université de Toulouse 15 december 2017
with Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Nadia Bouassida, Mamoun Filali ,Hassan Mountassir

Thi Mai NGUYEN, A Model driven engineering approach to build secure information systems, Télécom SudParis et Saclay, december 2016
(with Amel Mammar, Régie Laleau, Yves Roudier, Pascal Poizat, Akram Idani, Paul Gibson)

Rim Abid, Grenoble,  Coordination and Reconfiguration of Distributed Cloud Applications, Unversité de Grenoble, 16 décembre 2015
(with Fabienne Boyer, Daniel Hagimont, Pascal Poizat, Noel de Palma (S), Gwen  Salaun(S))

Oscar Carrillo Rozzo, Formal and Incremental Verification of SysML Specifications for the Design of Component-Based Systems Femto, Besançon, 17 Décembre 2015
(with Frédéric Boniol, Jacques Julliand, Hassan Mountassir(S), Samir Chouali(S))

Manamiary Bruno ANDRIAMIARINA, Développement d’algorithmes répartis corrects par construction, Université de Nancy 20 Octobre 2015
(with  Philippe QUéINNEC, Isabelle CHRISMENT, Dominique MéRY (S), Stephan MERZ, Mohamed MOSBAH, Michael R. POPPLETON)

Cécile Hardebolle, Composition de modèles pour la modélisation multi-paradigme du comportement des systèmes,
Thèse de l'Université Orsay Sud, Supélec,
(sous la direction de G. Vidal-Naquet et F. Boulanger),
Décembre 2008

Inès Mouakher, Vérification et correction des spécifications B : application à l'assemblage de composants,
Thèse en co-tutelle, Université de Nancy(Loria) et Université de Tunis, Tunis,
Novembre 2010

Eun-Young Kang, Abstractions booléennes pour la vérification des systèmes temps-réel,
Thèse de l'Université Henri Poincaré, Nancy 1,
(sous la direction de Stephan Merz),
Novembre 2007

Master Thesis Supervised

Home