"Auteur";"Identifiant auteur";"Titre";"Directeur de these";"Directeur de these (nom prenom)";"Identifiant directeur";"Etablissement de soutenance";"Identifiant etablissement";"Discipline";"Statut";"Date de premiere inscription en doctorat";"Date de soutenance";"Langue de la these";"Identifiant de la these";"Accessible en ligne";"Publication dans theses.fr";"Mise a jour dans theses.fr";
Rohan Fosse;;Les solveurs SAT dans un contexte massivement parallèle;Laurent Simon;Simon Laurent;070014949;Bordeaux;175206562;Informatique;enCours;21-11-2017;;;s203368;non;17-05-2018;31-10-2019;
Steven Gay;197032451;Subgraph Epimorphisms : Theory and Application to Model Reductions in Systems Biology;François Fages;Fages François;03429502X;Sorbonne Paris Cité;19077990X;Informatique;soutenue;;01-01-2015;en;2015USPCC265;oui;18-01-2017;13-07-2019;
Guillaume Baud-Berthier;233122036;Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT;Laurent Simon;Simon Laurent;070014949;Bordeaux;175206562;Informatique;soutenue;;20-09-2018;fr;2018BORD0147;oui;11-01-2019;11-01-2019;
Jerry Garvin Lonlac Konlac;188411119;Contributions à la résolution du problème de la Satisfiabilité Propositionnelle;Lakhdar Saïs;Saïs Lakhdar;07068541X;Artois;034634894;Informatique;soutenue;;03-10-2014;fr;2014ARTO0404;oui;05-03-2014;31-08-2016;
Nicolas Szczepanski;224616587;SAT en Parallèle;Gilles Audemard;Audemard Gilles;070686831;Artois;034634894;Informatique;soutenue;;12-12-2017;fr;2017ARTO0403;oui;01-10-2014;26-02-2019;
Matthias Krieger;157665127;Test generation and animation based on object-oriented specifications;Burkhart Wolff;Wolff Burkhart;074692097;Paris 11;026404664;Informatique;soutenue;;09-12-2011;en;2011PA112299;oui;16-01-2012;19-03-2015;
Benoît Hoessen;188600477;Solving the Boolean satisfiability problem using the parallel paradigm;Gilles Audemard;Audemard Gilles;070686831;Artois;034634894;Informatique;soutenue;;10-12-2014;en;2014ARTO0406;oui;11-06-2014;11-02-2016;
Hassan Ibrahim;;Analyse à base de SAT de la diagnosticabilité et de la prédictabilité des systèmes à événements discrets centralisés et distribués;Philippe Dague,Laurent Simon;Dague Philippe,Simon Laurent;,;Paris Saclay;188120777;Informatique;enCours;07-01-2013;;;s156355;non;12-02-2016;16-04-2019;
Long Guo;181510421;Résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle.;Lakhdar Saïs;Saïs Lakhdar;07068541X;Artois;034634894;Informatique;soutenue;;08-07-2013;fr;2013ARTO0408;oui;04-03-2014;25-11-2014;
Tarek Nabhani;16086920X;Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones;Belaïd Benhamou,Richard Ostrowski;Benhamou Belaïd,Ostrowski Richard;070685347,087557134;Aix-Marseille 1;026403781;Informatique;soutenue;;09-12-2011;fr;2011AIX10173;oui;09-10-2012;31-08-2016;
Petar Maksimović;174165595;Développement et vérification des logiques probabilistes et des cadres logiques;Luigi Liquori,Silvia Ghilezan;Liquori Luigi,Ghilezan Silvia;172479797,174166257;Nice;026403498;Informatique;soutenue;;15-10-2013;en;2013NICE4074;oui;11-12-2013;13-12-2013;
Frédéric Maris;144130939;Planification SAT et planification temporellement expressive : les systèmes TSP et TLP-GP;Pierre Régnier;Régnier Pierre;081262485;Toulouse 3;026404672;Informatique. Intelligence artificielle;soutenue;;01-01-2009;fr;2009TOU30174;oui;24-05-2013;14-04-2019;
Florent Avellaneda;179429841;Vérification de réseaux de Pétri avec états sous une sémantique d'ordres partiels;Rémi Morin;Morin Rémi;095856897;Aix-Marseille;15863621X;Informatique;soutenue;;10-12-2013;fr;2013AIXM4087;oui;25-04-2014;29-09-2014;
Mohammad Saleh Balasim Al-Saedi;199589429;Extensions of tractable classes for propositional satisfiability;Eric Grégoire,Bertrand Mazure,Lakhdar Saïs;Grégoire Eric,Mazure Bertrand,Saïs Lakhdar;032280181,142666084,07068541X;Artois;034634894;Informatique;soutenue;;14-11-2016;en;2016ARTO0405;oui;30-10-2014;28-02-2018;
Valentin Montmirail;;Résolution pratique de la cohérence de formules en logique modale;Daniel Le Berre;Le Berre Daniel;;Artois;034634894;Informatique;enCours;14-09-2015;;;s139203;non;14-09-2015;19-12-2018;
Guillaume Genestier;;Vérification de la terminaison dans Dedukti;Fréderic Blanqui,Olivier Hermant;Blanqui Fréderic,Hermant Olivier;135451876,103569715;Paris Saclay;188120777;Informatique;enCours;02-10-2017;;;s194629;non;12-01-2018;12-09-2019;
Abdelhamid Boudane;234140828;Fouille de données par contraintes;Lakhdar Saïs;Saïs Lakhdar;07068541X;Artois;034634894;Informatique;soutenue;;13-09-2018;fr;2018ARTO0403;oui;21-09-2015;18-04-2019;
Clement Viricel;224419056;Contributions au développement d'outils computationnels de design de protéine : méthodes et algorithmes de comptage avec garantie;Thomas Schiex,Sophie Barbe;Schiex Thomas,Barbe Sophie;057033935,109362543;Toulouse, INSA;026388766;Mathématiques Appliquées;soutenue;;18-12-2017;fr;2017ISAT0019;oui;21-02-2018;15-12-2018;
Heytem Zitoun;233851119;Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes;Michel Rueher,Claude Michel;Rueher Michel,Michel Claude;067110738,094970262;Côte d'Azur;185433669;Informatique;soutenue;;26-10-2018;fr;2018AZUR4089;oui;08-02-2019;08-02-2019;
Kévin Delmas;232695784;Synthèse automatique d'architectures tolérantes aux fautes;Claire Pagetti,Rémi Delmas;Pagetti Claire,Delmas Rémi;08651542X,162546963;Toulouse, ISAE;159330114;Réseaux, télécom, système et architecture;soutenue;;19-12-2017;fr;2017ESAE0045;oui;12-12-2018;24-08-2019;
Romain Pichard;236097490;Contribution à la Commande des systèmes à événements discrets par filtre logique;Bernard Riera,Alexandre Philippot;Riera Bernard,Philippot Alexandre;114568022,109063147;Reims;026403838;ATS - Automatique et Traitement de Signal;soutenue;;30-11-2018;fr;2018REIMS025;oui;02-11-2015;24-05-2019;
Haniel Barbosa;204081629;Nouvelles techniques pour l'instanciation et la production des preuves dans SMT;Stephan Merz,David Déharbe,Pascal Fontaine;Merz Stephan,Déharbe David,Fontaine Pascal;120558513,198277997,204082471;Université de Lorraine;157040569;Informatique;soutenue;;05-09-2017;en;2017LORR0091;oui;31-08-2017;23-05-2019;
Madeleine El Zaher (El zaher);178852503;Approche réactive pour la conduite en convoi des véhicules autonomes : Modélisation et vérification;Juan Pablo Gruer,Mohammad Hajjar,Franck Joseph Aimé Gechter;Gruer Juan Pablo,Hajjar Mohammad,Gechter Franck Joseph Aimé;142501131,150307357,075438860;Belfort-Montbéliard;068859813;Informatique;soutenue;;22-11-2013;fr;2013BELF0216;oui;20-06-2014;19-11-2019;
Mouny Samy Modeliar;093544219;Graphes et contraintes;Christophe Lecoutre,Gilles Audemard;Lecoutre Christophe,Audemard Gilles;121673952,070686831;Artois;034634894;Informatique;soutenue;;22-03-2017;fr;2017ARTO0402;oui;21-10-2014;26-02-2018;
Mamadou Bilo Doumbouya;197641407;Système d'argumentation pour la collaboration en télémédecine;Bernard Kamsu-Foguem,Hugues Kenfack;Kamsu-Foguem Bernard,Kenfack Hugues;083277447,068707673;Toulouse 1;026404354;Informatique;soutenue;;08-12-2016;fr;2016TOU10030;oui;13-01-2017;18-01-2017;
Amira Methni;197214169;Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle;Kamel Barkaoui,Serge Haddad;Barkaoui Kamel,Haddad Serge;033470677,032657501;Paris, CNAM;027404978;Informatique;soutenue;;07-07-2016;fr;2016CNAM1057;oui;26-10-2015;09-10-2018;
Antoine Dallon;23262559X;Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques;Stéphanie Delaune,Véronique Cortier;Delaune Stéphanie,Cortier Véronique;109561384,120456362;Paris Saclay;188120777;Informatique;soutenue;;26-11-2018;fr;2018SACLN044;oui;10-12-2018;17-04-2019;
Mariette Serayet;150136803;Raisonnement à partir d'informations structurées et hiérarchisées : application à l'information archéologique;Odile Papini,Pierre Drap;Papini Odile,Drap Pierre;050371630,110437691;Aix-Marseille 2;026402882;Mathématiques, informatique, automatique;soutenue;;06-05-2010;fr;2010AIX22032;oui;23-06-2011;16-11-2018;
Jessie Carbonnel;235509124;L'analyse formelle de concepts : un cadre structurel pour l'étude de la variabilité de familles de logiciels;Marianne Huchard;Huchard Marianne;060595175;Montpellier;183316401;Informatique;soutenue;;29-10-2018;fr;2018MONTS057;oui;07-11-2018;12-06-2019;
Ivan Logre;219670498;Préserver la séparation des préoccupations durant l’intégration de domaines hétérogènes dans les systèmes logiciels;Michel Riveill;Riveill Michel;033194297;Côte d'Azur;185433669;Informatique;soutenue;;01-09-2017;fr;2017AZUR4062;oui;11-12-2017;18-12-2017;
Mélanie Jacquel;170425525;Automatisation des preuves pour la vérification des règles de l'Atelier B;Catherine Dubois,David Delahaye,Karim Berkani;Dubois Catherine,Delahaye David,Berkani Karim;066757711,082035970,086805347;Paris, CNAM;027404978;Informatique;soutenue;;23-04-2013;fr;2013CNAM0860;oui;02-07-2013;05-11-2018;
Smail Rahmoun;226912590;Optimisation multi-objectifs d'architectures par composition de transformation de modèles;Laurent Pautet,Etienne Borde;Pautet Laurent,Borde Etienne;067011446,181386615;Paris, ENST;026375273;Informatique et réseaux;soutenue;;07-02-2017;enfr;2017ENST0004;oui;14-05-2018;17-05-2019;
Abderrahim Ait Wakrime;194673561;Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques;Sébastien Limet,Sophie Robert;Limet Sébastien,Robert Sophie;125258429,194671062;Orléans;026402971;Informatique;soutenue;;10-12-2015;fr;2015ORLE2060;oui;08-09-2016;21-09-2018;
Clémence Frioux;234416432;Investigating host-microbiota cooperation with gap-filling optimization problems;Anne Siegel;Siegel Anne;068665067;Rennes 1;02778715X;Informatique;soutenue;;19-11-2018;en;2018REN1S058;oui;21-12-2015;03-05-2019;
Soraya Kesraoui (Mesli);223352942;Intégration des techniques de vérification formelle dans une approche de conception des systèmes de contrôle-commande : application aux architectures SCADA;Pascal Berruet,Flavio Oquendo,Abdoul Karim Armand Toguyeni;Berruet Pascal,Oquendo Flavio,Toguyeni Abdoul Karim Armand;121200221,074761293,059813288;Lorient;05017746X;Stic;soutenue;;11-05-2017;fr;2017LORIS442;oui;11-01-2018;12-02-2019;
Chris Hartmann;232907323;Automatisation de la synthèse d’architectures appliquée aux aéronefs à voilure tournante;Alain Bernard;Bernard Alain;035716290;Ecole centrale de Nantes;03063525X;Productique - Mécanique;soutenue;;30-01-2018;fr;2018ECDN0002;oui;21-12-2018;01-11-2019;