"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"; Vincent Vallade;;GROUPES DE PARTAGE POUR SOLVEURS SAT PARALLELES;Fabrice Kordon,Gerard Biau,Baarir Soheib;Kordon Fabrice,Biau Gerard,Soheib Baarir;,,;Sorbonne université;221333754;Electronique, microelectronique, optique et lasers, optoelectronique microondes robotique;enCours;05-10-2018;;;s266619;non;11-02-2021;11-02-2021; 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;30-10-2020; 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;non;18-01-2017;08-03-2020; 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;05-07-2020; Ludovic Le Frioux;250734648;Towards more efficient parallel SAT solving;Fabrice Kordon;Kordon Fabrice;074605283;Sorbonne université;221333754;Informatique;soutenue;;03-07-2019;en;2019SORUS209;oui;01-06-2020;29-11-2020; 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;,;Université Paris-Saclay (ComUE);188120777;Informatique;enCours;07-01-2013;;;s156355;non;27-05-2020;27-05-2020; Maël Valais;221274324;Traduction logique et résolution de problèmes : application à la planification;Olivier Gasquet,Dominique Longin;Gasquet Olivier,Longin Dominique;077740947,113602413;Toulouse 3;026404672;Informatique et Télécommunications;soutenue;;08-04-2019;fr;2019TOU30079;oui;08-07-2020;08-07-2020; 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; Hakan Metin;25279589X;Exploitation des symétries dynamiques pour la résolution des problèmes SAT;Fabrice Kordon,Souheib Baarir;Kordon Fabrice,Baarir Souheib;074605283,147205336;Sorbonne université;221333754;Informatique;soutenue;;18-12-2019;en;2019SORUS552;oui;29-05-2020;02-02-2021; 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; 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; 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;12-07-2020; 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; Sulamithe Tsakou;;Cryptanalyse algébrique des systèmes à base de courbes elliptiques;Gilles Dequen,Sorina Ionica;Dequen Gilles,Ionica Sorina;069839239,146788842;Amiens;026403714;Informatique-25DIN0;enCours;29-11-2018;;;s247868;non;08-10-2020;24-02-2021; 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;;Practical resolution of satisfiability testing for modal logics.;Daniel Le Berre;Le Berre Daniel;;Artois;034634894;Informatique;enCours;14-09-2015;17-09-2018;;s139203;non;14-09-2015;01-07-2020; Guillaume Genestier;;Terminaison en présence de types dépendants et encodage par réécriture d’une théorie des types extensionelle avec polymorphisme d’univers;Fréderic Blanqui,Olivier Hermant;Blanqui Fréderic,Hermant Olivier;135451876,103569715;université Paris-Saclay;241345251;Informatique;enCours;02-10-2017;;;s194629;non;11-06-2020;08-12-2020; Albin Coquereau;240181182;[ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace;Michel Mauny,Sylvain Conchon;Mauny Michel,Conchon Sylvain;030026822,073639206;Université Paris-Saclay (ComUE);188120777;Informatique;soutenue;;16-12-2019;fr;2019SACLY007;oui;02-02-2020;07-05-2020; Yacine Izza;235371548;Informatique ubiquitaire : techniques de curage d'informations perverties;Eric Grégoire;Grégoire Eric;032280181;Artois;034634894;Informatique;soutenue;;07-12-2018;fr;2018ARTO0405;oui;22-09-2015;08-02-2021; 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; Khadija Bousmar;242888364;Conception d'un solveur matériel spécifique pour la résolution rapide du problème SAT appliqué à l'évaluation du risque en génie industriel;Sofiène Dellagi,Fabrice Monteiro;Dellagi Sofiène,Monteiro Fabrice;113279175,136655351;Université de Lorraine;157040569;Automatique, Traitement du Signal et des Images, Génie Informatique;soutenue;;06-07-2018;fr;2018LORR0341;oui;03-07-2015;27-08-2020; Alexandre Gonzalvez;248693832;Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques;Caroline Fontaine,Fabien Dagnat;Fontaine Caroline,Dagnat Fabien;137397011,05957352X;Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire;202743233;Informatique;soutenue;;02-06-2020;fr;2020IMTA0187;oui;27-03-2018;03-09-2020; Margaux Duroeulx;245167080;Evaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité;Stephan Merz,Nicolae Brinzei;Merz Stephan,Brinzei Nicolae;120558513,07443313X;Université de Lorraine;157040569;Informatique;soutenue;;05-03-2020;fr;2020LORR0026;oui;12-10-2017;27-08-2020; 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;Université Côte d'Azur (ComUE);185433669;Informatique;soutenue;;26-10-2018;fr;2018AZUR4089;oui;25-05-2020;25-05-2020; 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;07-05-2020; Marion Guthmuller;188414126;Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles;Sylvain Contassot-Vivier,Martin Quinson;Contassot-Vivier Sylvain,Quinson Martin;121332489,104545046;Université de Lorraine;157040569;Informatique;soutenue;;29-06-2015;fr;2015LORR0090;oui;30-09-2015;27-08-2020; 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; 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;27-08-2020; 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; 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; 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;21-12-2019; Ahmed Bouchami;197082955;Sécurité des ressources collaboratives dans les réseaux sociaux d'entreprise;Olivier Perrin;Perrin Olivier;171122291;Université de Lorraine;157040569;Informatique;soutenue;;02-09-2016;fr;2016LORR0091;oui;15-12-2016;27-08-2020; Khaled Khebbeb;235714283;Formalisation et évaluation de stratégies d’élasticité multi-couches dans le Cloud;Nabil Hameurlain,Faiza Belala;Hameurlain Nabil,Belala Faiza;165141360,223311820;Pau;026403668;Informatique;soutenue;;29-06-2019;fr;2019PAUU3010;oui;02-10-2019;02-10-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; Stephen Creff;177861126;Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits;Jean-Marc Jézéquel,Joël Champeau;Jézéquel Jean-Marc,Champeau Joël;06106727X,133339106;Rennes 1;02778715X;Informatique;soutenue;;09-12-2013;fr;2013REN1S142;oui;23-04-2014;13-06-2020; 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;08-09-2020; 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;Université Paris-Saclay (ComUE);188120777;Informatique;soutenue;;26-11-2018;fr;2018SACLN044;oui;02-02-2020;22-09-2020; Eun-Young Kang;12055741X;Abstractions booléennes pour la vérification des systèmes temps-réel;Stephan Merz;Merz Stephan;120558513;Nancy 1;026403390;Informatique;soutenue;;08-11-2007;fren;2007NAN10089;oui;23-06-2011;27-08-2020; 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;21-12-2019; Amira Henaien;18839284X;Certification des raisonnements formels portant sur des systèmes d'information critiques;Maurice Margenstern,Sorin Stratulat;Margenstern Maurice,Stratulat Sorin;029963958,152375791;Université de Lorraine;157040569;Informatique;soutenue;;11-03-2015;fr;2015LORR0082;oui;19-06-2015;27-08-2020; 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;21-12-2019; Jeanne Matiedje Tawa;249237547;Extension événementielle d'une méthode formelle légère et application à l'analyse du protocole distribué Chord;David Chemouil,Julien Brunel;Chemouil David,Brunel Julien;08429695X,123593379;Toulouse, ISAE;159330114;Informatique et Télécommunications;soutenue;;04-10-2019;fr;2019ESAE0029;oui;10-05-2019;24-09-2020; 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;Université Côte d'Azur (ComUE);185433669;Informatique;soutenue;;01-09-2017;fr;2017AZUR4062;oui;25-05-2020;25-05-2020; Alexandre Adomnicai;244981884;Cryptographie légère pour l'internet des objets : implémentations et intégrations sécurisées.;Jacques J. A. Fournier,Assia Tria;Fournier Jacques J. A.,Tria Assia;221483179,166454524;Lyon;190915757;Microélectronique;soutenue;;24-09-2019;fr;2019LYSEM021;oui;12-09-2019;15-06-2020; 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;09-09-2020; 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; Thibault Suzanne;242779972;Vérification par interprétation abstraite en mémoire faiblement cohérente;Antoine Miné;Miné Antoine;111391636;Paris Sciences et Lettres (ComUE);182292592;Informatique;soutenue;;26-02-2019;fr;2019PSLEE013;oui;23-09-2020;23-09-2020;