KORDON Fabrice
Professeur
Équipe : MoVe
Tel: 01 44 27 88 20, Fabrice.Kordon (at) nulllip6.fr
https://lip6.fr/Fabrice.Kordon
Équipe : MoVe
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 26-00, Étage 2, Bureau 202
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 88 20, Fabrice.Kordon (at) nulllip6.fr
https://lip6.fr/Fabrice.Kordon
22 Docteurs 2003 - 2023
- 2023
- VALLADE Vincent : Groupes de partage pour solveurs sat parallèles .
- 2019
- METIN Hakan : Exploitation des symétries dynamiques pour la résolution des problèmes SAT .
- LE FRIOUX Ludovic : Vers une parallélisation efficace de la résolution du problème de satisfaisabilité .
- 2014
- RENAULT Etienne : Contribution aux tests de vacuité pour le model checking explicite .
- BEN SALEM Ala Eddine : Model checking adapté aux spécifications et propriétés à vérifier .
- 2013
- COLANGE Maximilien : Exploitation des symétries pour le modèle checking : du modèle au codage .
- BEN MAÏSSA Yann : Contribution à la modélisation et à la vérification de réseaux de capteurs sans fil .
- 2010
- BONNEFOI Fabien : Vérification Formelle des Spécifications de Systèmes Complexes, Application aux Systèmes de Transport Intelligents .
- DELANGE Julien : Intégration de la sécurité et de la sûreté dans la construction d'intergiciels critiques .
- 2009
- BENMERZOUG Djamel : Méthodes et outils formels pour l’intégration d’applications d’entreprises .
- VORON Jean-Baptiste : Construction automatique et particularisée de systèmes de détection d'intrusion pour les systèmes parallèles à l'aide de réseaux de Petri .
- HAMEZ Alexandre : Génération efficace de grands espaces d'états .
- RENAULT Xavier : Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis .
- LINARD Alban : Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification .
- HILLAH Lom Messan : Intégration des méthodes formelles au développement dirigé par les modèles, pour la conception et la vérification des systèmes et applications répartis .
- 2007
- DURET-LUTZ Alexandre : Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents .
- 2006
- PERNET Nicolas : Implantation distribuée temps réel de programmes conditionnés à l'aide d'ordonnancements mixtes hors-ligne en-ligne de tâches périodiques avec contraintes de latence et acceptation de tâches apériodiques .
- 2005
- GILLIERS Frédéric : Développement par prototypage et génération de code à partir de LfP, un langage de modélisation de haut niveau .
- HUGUES Jérôme : Architecture et Services des Intergiciels Temps Réel .
- 2004
- THIERRY-MIEG Yann : Techniques pour le Model-Checking de spécifications de Haut Niveau .
- 2003
- REGEP Dan Marius : LfP : un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis .
- QUINOT Thomas : Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables .