Habilitation Jurys

19/06/2019 : S. Baarir - président, Contributions to propositional satisfiability solving and its applications to the analysis of systems (Sorbonne Université)
10/05/2019 : E. Borde - président, Architecture Models Refinement for Software Development of Critical Real-Time Embedded Systems (Sorbonne Université)
10/02/2017 : A. Duret-Lutz - président, Contributions to LTL and ω-automata for Model Checking (Univ. P. & M. Curie)
9/12/2016 : T. Ziadi - président, Contributions to Variability Inference for the Development of Software Systems (Univ. P. & M. Curie)
7/12/2016 : Y. Thierry-Mieg - président, From Symbolic Verification to Domain Specific Languages (Univ. P. & M. Curie)
14/12/2015 : R. Bendraou - président, Model-Driven Process Engineeing for Flexible yet Sound Process Modeling Execution and Verification (Univ. P. & M. Curie)
28/11/2012 : A. Plantec - rapporteur, Faciliter la vérification et la validation de méta-modèles dans le cadre de l'ingéniérie dirigée par les modèles: une approche agile, outillée et orientée données (Univ. Bretagne Occidentale)
24/11/2011 : P. Poizat - rapporteur, Formal Model-Based Approaches for the Development of Composite Systems (Univ. d'Orsay)
22/10/2010 : M. Yeddes - président, Approche formelle de vérification dans le cadre des systèmes à événements discrets et des systèmes hybrides (Univ. P. & M. Curie)
18/11/2009 : X. Blanc - member, Model Driven Software Engineering Environment (Univ. P. & M. Curie)
12/11/2008 : F. Singhoff - rapporteur, À propos de l'applicabilité de la théorie de l'ordonnancement temps réel : le projet Cheddar (Univ. de Bretagne Occidentale)
7/12/2004 : J-F. Peyre - président, Méthodes de Vérification de Systèmes et de Programmes Concurrents" (Univ. Paris Dauphine)
17/12/2001 : L. Pautet - member, Intergiciels schizophrènes : une solution à l'interopérabilité entre modèles de répartition (Univ. P. & M. Curie)

Ph.D. Jurys in Foreign Countries

29/04/2024 : D. Morard - member, Global Symbolic Model Checking based on Generalised Intervals (Univ. de Genève)
20/09/2019 : J. Meijer - member, Efficient Learning and Analysis of System Behavior (Univ. Twente)
12/02/2015 : M. Camili - reviewer, Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches (Univ. Torino)
2/07/2013 : A. Marechal - member, Unifying the syntax and semantics of modular extenions of Petri nets (Univ. de Genève)
29/11/2011 : S. Hostettler - member, High-Level Petri Net Model Checking, the symbolic way (Univ. de Genève)
9/12/2007 : R. Driouche - member, Une architecture d'intégration des applications d'entreprises basée sur l'interopérabilité sémantique de l'EbXML et la mobilité des agents (Univ. Mentouri à Constantine en tant qu'invité)
7/10/2005 : G. Naeser - opponent, A Formal Approach to Embedded High-Integrity Real-Time Systems (Univ. Västerrås in Sweeden)
15/01/2004 : S. Chachkov - member, Generation of object-oriented programs from CO-OPN specifications (École Polytechnique Fédérale de Lausanne)
28/03/2003 : I. Bakam - rapporteur, Des systèmes multi-agents aux reseaux de Petri pour la gestion des ressources naturelles : le cas de la faune à l'Est-Cameroun (Univ. de Yaoundé 1)

Ph.D. Jurys (Rapporteur)

16/07/2013 : R. Abdallah, Implementability of distributed systems described with scenarios (ENS de Cachan, antenne de Bretagne)
11/01/2013 : S. Chaou, Modéliser et analyse de la sécurité dans un système de stockage pair-à-pair (Univ. Evry-Val d'Essonne)
20/12/2011 : R. Tacla Saad, Parallel Model Checking for Multiprocessor Architecture (Univ. Paul Sabatier)
08/12/2010 : A. El Mrabti, Méthodes et outils de génération de code pour des plateformes multi-coe urs fondés sur la représentation de haut niveau des applications et des architectures (Univ. Joseph Fourrier)
21/10/2010 : D-T. Nuyên, Vérification symbolique de modèles à l'aide de systèmes de réécritures dédiés (Univ. d'Orléans)
29/01/2010 : E. Le Pors, Interprétation sémantique des exigences pour l'enrichissement de la traçabilité et pour l'amélioration des architectures de systèmes complexes (Telecom Bretagne)
03/11/2009 : C. Seidner, Vérification des EFFBDs: Model-checking en Ingéniérie Système ('Ecole Centrale de Nantes)
05/06/2009 : D. Coulibaly, Un langage et un environnement de conception et de développement de services web complexes (Univ. Paris Dauphine)
04/12/2008 : L. Sagaspe, Allocation sûre dans les systèmes aéronotiques : Modélisation, Vérification et Génération (Univ. Bordeaux I)
25/03/2008 : K. Popovici, Environnement de Programmation Multi niveau pour architectures hétérogènes MPSoC (Univ. Joseph Fourrier)
10/11/2006 : S. Rampacek, Sémantique, interaction et langages de description des services web complexes (Univ. de Reims)
07/07/2006 : N. Pernet, Génération de code réparti pour des automates synchronisés (Univ. de Reims)
15/10/2004 : A. Sasongko, Prototypage basé sur une plateforme reconfigurable pour vérification des systèmes monopuces (Univ. Joseph Fourrier)
16/03/2001 : O. Sy, Spécification comportementale de composants CORBA (Univ. Toulouse 1)
26/10/1999 : S. Tardieu, Une implémentation de l'annexe des systèmes répartis d'Ada 95. (ENST)

Ph.D. Jurys (Présidence)

28/10/2019 : E. Effa Bella, Apports des techniques d’apprentissage semi-supervisées dans l’établissement de liens entre artefacts de conception (Sorbonne Université)
07/07/2016 : A. Methni, Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle (Conservatoire National des Arts et Métiers)
15/12/2015 : E. Richa, Qualification of Source Code generators in the Avionics Domain : Automated Testing of Model Transformation Chains (Telecom ParisTech)
30/01/2015 : A. Maesano, Bayesian dynamic scheduling for service composition testing (Univ. P. & M. Curie)
15/01/2015 : J. Laurent, Alloy4PV : un framework pour la Vérification de Procédés Métiers (Univ. P. & M. Curie)
03/10/2014 : J. Michaux, Interaction safety in the service-oriented computed paradigm (Telecom ParisTech)
26/05/2014 : F. Cadoret, Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués (Telecom ParisTech)
18/12/2013 : B. Capdevila Ibáñez, Serious game architecture and design: modular component-based data-driven entity system framework to support systemic modeling and design in agile serious game developments (Univ. P. & M. Curie)
11/12/2013 : C. Rodrìguez, Verification Based on Unfolding of Petri Nets with Read Arcs (ENS de Cachan)
11/07/2013 : S.-H. Syed-Alwi, Vérification compositionnelle pour la conception sûre de systèmes embarqués (Univ. P. & M. Curie)
05/07/2013 : Y. Zhang, Semi-Automatic Controller Design in a Java-like Language (Univ. P. & M. Curie)
25/03/2013 : S. Saha, Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information (Univ. P. & M. Curie)
27/08/2012 : G. Lasnier, Une Approche Intégrée pour la Validation et la Génération de Systèmes Critiques par Raffinement Incrémental de Modèles Architecturaux (Telecom ParisTech)
25/06/2012 : M.A. Almeida da Silva, Detection and Handling of Deviations in Process-Centered Software Engineering Environments (Univ. P. & M. Curie)
28/11/2011 : M. Sassolas, Méthodes qualitatives et quantitatives pour la détection d'information cachée (Univ. P. & M. Curie)
07/12/2010 : D. Le Duc, A QoI-aware Framework for Adaptive Monitoring (Univ. P. & M. Curie)
18/11/2010 : A. Mougenot, Praxis: Détection des incohérences dans les modèles répartis (Univ. P. & M. Curie)
17/06/2009 : O. Bertrand, Détection d'activités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA (Univ. Paris 13)
09/04/2009 : A. Moreau, Mise en oeuvre automatique de processus métier dans le domaine des architectures orientées services (Univ. P. & M. Curie)
25/09/2007 : G. de Fombelle, Gestion incrémentale des propriétés de cohérence structurelle dans l'ingénierie dirigée par les modèles (Univ. P. & M. Curie)
06/09/2007 : R. Bendraou, UML4SPM: Un Langage de Modélisation de Procédés De Développement Logiciel Exécutable Et Orienté Modèle (Univ. P. & M. Curie)
16/05/2007 : S. Baarir, Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes concurrents (Univ. P. & M. Curie)
13/12/2006 : V. Beaudenon, Diarammes de décision de données pour la vérification de systemes matériels (Univ. P. & M. Curie)
30/11/2006 : K. Sethom, Gestion de la mobilité dans les réseaux sans fil de nouvelle génération (Univ. P. & M. Curie)
06/11/2006 : S. Bouzitouna, Construction d'applications réparties par réutilisation de modèles dans l'approche MDA : application à la plate-forme EJB (Univ. P. & M. Curie)
28/09/2006 : E. Barboni , Méthodes formelles pour les composants logiciels appliqués aux systèmes interactifs critiques (Univ. de Toulouse 1)
07/07/2005 : A. Thiefaine, Caractérisation et formalisation du processus de développement construit autour du paradigme de l'ingénierie des modèles (Univ. P. & M. Curie)
08/04/2004 : B. Meudic, Détermination automatique de la pulsation, de la métrique et des motifs musicaux dans des interprétations à tempo variable d'oeuvres polyphoniques (Univ. P. & M. Curie)
01/12/2003 : K. Klai, Réseaux de Petri : Vérification symbolique et modulaire (Univ. P. & M. Curie)

Ph.D. Jurys (member)

04/12/2023 : N. Amat, A Polyhedral Fraework for Reachability Problems in Petri Nets (Université de Toulouse)
09/12/2020 : V. Todorov, Automotive embedded software design using formal methods (Université Paris Saclay)
21/05/2019 : C. Jeangoudoux, Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique (Sorbonne Université)
21/12/2018 : T. T. H. Nguyen, Quasi optimal model checking for concurrent systems (Univ. Paris 13)
07/02/2017 : S. Rahmoun, Multiple-objectives architecture optimization by composition of model transformations (Telecom ParisTech)
12/07/2013 : N. Aber, Abstraction et Analyse de l'Espace des États des Réseaux de Petri Temporels (Univ. Paris 13)
13/12/2004 : T. Bourdeaud'huy, Techniques d'abstraction pour l'analyse et la synréseaux de Petri (Univ. de Lille I)
06/06/2001 : M. Heusse, Routage et équilibrage de charge par agents dans les réseaux de communication (EHESS/ENST-Brest)
10/12/1997 : W. El Kaïm, Structuration, placement et exécution de composants logiciels dans les applications réparties ou parallèles : Mise en oeuvre avec des applications construites selon le paradigme client-serveur sur des architectures matérielles hybrides (Univ. P. & M. Curie)

Ph.D. Jurys (supervisor or co-supervisor)

27/06/2023 : V. Vallade, Contributions à la résolution parallèle du problème SAT (Sorbonne Université)
18/12/2019 : H. Metin, Exploitation des symétries dynamiques pour la résolution des problèmes SAT (Sorbonne Université)
03/07/2019 : L. Le Frioux, Towards more efficient parallel SAT solving (Sorbonne Université)
05/12/2014 : E. Renault, Contribution aux tests de vacuité pour le model checking explicite (Univ. P. & M. Curie)
25/09/2014 : A.-E. Ben Salem, Improving the Model Checking of Stutter-Invariant LTL Properties (Univ. P. & M. Curie)
10/12/2013 : M. Colange, Symmetry Reduction and Symbolic Data Structures for Model-Checking of Distributed Systems (Univ. P. & M. Curie)
21/09/2013 : Y. Ben Maissa, Contribution à la modélisation et à la vérification de réseaux de capteurs sans fil (Univ. P. & M. Curie and Univ. Mohammed V Agdal)
27/09/2010 : F. Bonnefoi, Vérification Formelle de spécifications de Systèmes Complexes : application aux Systèmes de Transports Intelligents (Univ. P. & M. Curie)
05/07/2010 : J. Delange, Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques (Telecom ParisTech)
13/12/2009 : D. Benmerzoug, Modèles et outils formels pour l'intégration d'applications d'entreprises (co-tutelle entre l'Univ. P. & M. Curie et l'Univ. Mentouri de Constantine -- Algérie)
09/12/2009 : J-B Voron, Construction automatique et particularisée de systèmes de détection d'intrusion pour les systèmes parallèles à partir de réseaux de Petri (Univ. P. & M. Curie)
08/12/2009 : A. Hamez, Génération efficace de grands espaces d'états (Univ. P. & M. Curie)
03/12/2009 : X. Renault, Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps réels répartis (Univ. P. & M. Curie)
29/09/2009 : A. Linard, Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification (Univ. P. & M. Curie)
23/09/2009 : L. Hillah, Intégration des méthodes formelles au développement dirigé par les modèles pour la conception et la vérification de systèmes et applications répartis (Univ. P. & M. Curie)
10/07/2007 : A. Duret-Lutz, Méthodes composites pour la vérification de propriétées temporelles de modèles de haut niveau (Univ. P. & M. Curie)
01/12/2006 : T. Vergnaud, Modèles de répartition dédiés aux systèmes embarqués et temps réel (Telecom Paris)
07/07/2006 : N. Pernet, Génération de code réparti pour des automates synchronisés (UPMC)
28/09/2005 : F. Gilliers, Développement par prototypage et Génération de Code à partir de LfP, un langage de modélisation de haut niveau (Univ. P. & M. Curie)
27/09/2005 : J. Hugues, Architectures et services des intergiciels temps réel (Telecom Paris)
13/12/2004 : Y. Thierry-Mieg, Techniques pour le Model-Checking de spécifications de Haut Niveau (Univ. P. & M. Curie)
19/12/2003 : D. Regep, LfP, un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis (Univ. P. & M. Curie)
24/03/2003 : T. Quinot, Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables (Univ. P. & M. Curie)