TY - THES DP - http://www.theses.fr/2015USPCC265 TI - Subgraph Epimorphisms : Theory and Application to Model Reductions in Systems Biology AU - Gay, Steven A3 - Fages, François PY - 2015 SP - 1 vol. (109 p.) N1 - Thèse de doctorat Informatique Sorbonne Paris Cité 2015 N1 - 2015USPCC265 ER - TY - THES DP - http://www.theses.fr/2018BORD0147 TI - Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT AU - Baud-Berthier, Guillaume A3 - Simon, Laurent PY - 2018 N1 - Thèse de doctorat Informatique Bordeaux 2018 N1 - 2018BORD0147 UR - http://www.theses.fr/2018BORD0147/document ER - TY - THES DP - http://www.theses.fr/2014ARTO0404 TI - Contributions à la résolution du problème de la Satisfiabilité Propositionnelle AU - Lonlac Konlac, Jerry Garvin A3 - Saïs, Lakhdar PY - 2014 N1 - Thèse de doctorat Informatique Artois 2014 N1 - 2014ARTO0404 UR - http://www.theses.fr/2014ARTO0404/document ER - TY - THES DP - http://www.theses.fr/2017ARTO0403 TI - SAT en Parallèle AU - Szczepanski, Nicolas A3 - Audemard, Gilles PY - 2017 N1 - Thèse de doctorat Informatique Artois 2017 N1 - 2017ARTO0403 UR - http://www.theses.fr/2017ARTO0403/document ER - TY - THES DP - http://www.theses.fr/2011PA112299 TI - Test generation and animation based on object-oriented specifications AU - Krieger, Matthias A3 - Wolff, Burkhart PY - 2011 N1 - Thèse de doctorat Informatique Paris 11 2011 N1 - 2011PA112299 ER - TY - THES DP - http://www.theses.fr/2019SORUS209 TI - Towards more efficient parallel SAT solving AU - Le Frioux, Ludovic A3 - Kordon, Fabrice PY - 2019 N1 - Thèse de doctorat Informatique Sorbonne université 2019 N1 - 2019SORUS209 UR - http://www.theses.fr/2019SORUS209/document ER - TY - THES DP - http://www.theses.fr/2014ARTO0406 TI - Solving the Boolean satisfiability problem using the parallel paradigm AU - Hoessen, Benoît A3 - Audemard, Gilles PY - 2014 N1 - Thèse de doctorat Informatique Artois 2014 N1 - 2014ARTO0406 UR - http://www.theses.fr/2014ARTO0406/document ER - TY - THES DP - http://www.theses.fr/2019TOU30079 TI - Traduction logique et résolution de problèmes : application à la planification AU - Valais, Maël A3 - Gasquet, Olivier; Longin, Dominique PY - 2019 N1 - Thèse de doctorat Informatique et Télécommunications Toulouse 3 2019 N1 - 2019TOU30079 UR - http://www.theses.fr/2019TOU30079/document ER - TY - THES DP - http://www.theses.fr/2013ARTO0408 TI - Résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle. AU - Guo, Long A3 - Saïs, Lakhdar PY - 2013 N1 - Thèse de doctorat Informatique Artois 2013 N1 - 2013ARTO0408 UR - http://www.theses.fr/2013ARTO0408/document ER - TY - THES DP - http://www.theses.fr/2019SORUS552 TI - Exploitation des symétries dynamiques pour la résolution des problèmes SAT AU - Metin, Hakan A3 - Kordon, Fabrice; Baarir, Souheib PY - 2019 N1 - Thèse de doctorat Informatique Sorbonne université 2019 N1 - 2019SORUS552 UR - http://www.theses.fr/2019SORUS552/document ER - TY - THES DP - http://www.theses.fr/2011AIX10173 TI - Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones AU - Nabhani, Tarek A3 - Benhamou, Belaïd; Ostrowski, Richard PY - 2011 N1 - Thèse de doctorat Informatique Aix-Marseille 1 2011 N1 - 2011AIX10173 UR - http://www.theses.fr/2011AIX10173/document ER - TY - THES DP - http://www.theses.fr/2013AIXM4087 TI - Vérification de réseaux de Pétri avec états sous une sémantique d'ordres partiels AU - Avellaneda, Florent A3 - Morin, Rémi PY - 2013 N1 - Thèse de doctorat Informatique Aix-Marseille 2013 N1 - 2013AIXM4087 UR - http://www.theses.fr/2013AIXM4087/document ER - TY - THES DP - http://www.theses.fr/2009TOU30174 TI - Planification SAT et planification temporellement expressive : les systèmes TSP et TLP-GP AU - Maris, Frédéric A3 - Régnier, Pierre PY - 2009 SP - 1 vol. (177 p.) N1 - Thèse de doctorat Informatique. Intelligence artificielle Toulouse 3 2009 N1 - 2009TOU30174 UR - http://www.theses.fr/2009TOU30174/document ER - TY - THES DP - http://www.theses.fr/2013NICE4074 TI - Développement et vérification des logiques probabilistes et des cadres logiques AU - Maksimović, Petar A3 - Liquori, Luigi; Ghilezan, Silvia PY - 2013 N1 - Thèse de doctorat Informatique Nice 2013 N1 - Thèse de doctorat Informatique Univerzitet u Novom Sadu 2013 N1 - 2013NICE4074 UR - http://www.theses.fr/2013NICE4074/document ER - TY - THES DP - http://www.theses.fr/2016ARTO0405 TI - Extensions of tractable classes for propositional satisfiability AU - Al-Saedi, Mohammad Saleh Balasim A3 - Grégoire, EricMazure, Bertrand; Saïs, Lakhdar PY - 2016 N1 - Thèse de doctorat Informatique Artois 2016 N1 - 2016ARTO0405 UR - http://www.theses.fr/2016ARTO0405/document ER - TY - THES DP - http://www.theses.fr/2019SACLY007 TI - [ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace AU - Coquereau, Albin A3 - Mauny, Michel; Conchon, Sylvain PY - 2019 N1 - Thèse de doctorat Informatique Université Paris-Saclay (ComUE) 2019 N1 - 2019SACLY007 UR - http://www.theses.fr/2019SACLY007/document ER - TY - THES DP - http://www.theses.fr/2018ARTO0405 TI - Informatique ubiquitaire : techniques de curage d'informations perverties AU - Izza, Yacine A3 - Grégoire, Eric PY - 2018 N1 - Thèse de doctorat Informatique Artois 2018 N1 - 2018ARTO0405 UR - http://www.theses.fr/2018ARTO0405/document ER - TY - THES DP - http://www.theses.fr/2018ARTO0403 TI - Fouille de données par contraintes AU - Boudane, Abdelhamid A3 - Saïs, Lakhdar PY - 2018 N1 - Thèse de doctorat Informatique Artois 2018 N1 - 2018ARTO0403 UR - http://www.theses.fr/2018ARTO0403/document ER - TY - THES DP - http://www.theses.fr/2017ISAT0019 TI - Contributions au développement d'outils computationnels de design de protéine : méthodes et algorithmes de comptage avec garantie AU - Viricel, Clement A3 - Schiex, Thomas; Barbe, Sophie PY - 2017 N1 - Thèse de doctorat Mathématiques Appliquées Toulouse, INSA 2017 N1 - 2017ISAT0019 UR - http://www.theses.fr/2017ISAT0019/document ER - TY - THES DP - http://www.theses.fr/2018LORR0341 TI - 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 AU - Bousmar, Khadija A3 - Dellagi, Sofiène; Monteiro, Fabrice PY - 2018 N1 - Thèse de doctorat Automatique, Traitement du Signal et des Images, Génie Informatique Université de Lorraine 2018 N1 - 2018LORR0341 UR - http://www.theses.fr/2018LORR0341/document ER - TY - THES DP - http://www.theses.fr/2020IMTA0187 TI - Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques AU - Gonzalvez, Alexandre A3 - Fontaine, Caroline; Dagnat, Fabien PY - 2020 N1 - Thèse de doctorat Informatique Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire 2020 N1 - 2020IMTA0187 UR - http://www.theses.fr/2020IMTA0187/document ER - TY - THES DP - http://www.theses.fr/2020LORR0026 TI - Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité AU - Duroeulx, Margaux A3 - Merz, Stephan; Brinzei, Nicolae PY - 2020 N1 - Thèse de doctorat Informatique Université de Lorraine 2020 N1 - 2020LORR0026 UR - http://www.theses.fr/2020LORR0026/document ER - TY - THES DP - http://www.theses.fr/2018AZUR4089 TI - Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes AU - Zitoun, Heytem A3 - Rueher, Michel; Michel, Claude PY - 2018 N1 - Thèse de doctorat Informatique Université Côte d'Azur (ComUE) 2018 N1 - 2018AZUR4089 UR - http://www.theses.fr/2018AZUR4089/document ER - TY - THES DP - http://www.theses.fr/2017ESAE0045 TI - Synthèse automatique d'architectures tolérantes aux fautes AU - Delmas, Kévin A3 - Pagetti, Claire; Delmas, Rémi PY - 2017 N1 - Thèse de doctorat Réseaux, télécom, système et architecture Toulouse, ISAE 2017 N1 - 2017ESAE0045 UR - http://www.theses.fr/2017ESAE0045/document ER - TY - THES DP - http://www.theses.fr/2018REIMS025 TI - Contribution à la Commande des systèmes à événements discrets par filtre logique AU - Pichard, Romain A3 - Riera, Bernard; Philippot, Alexandre PY - 2018 N1 - Thèse de doctorat ATS - Automatique et Traitement de Signal Reims 2018 N1 - 2018REIMS025 UR - http://www.theses.fr/2018REIMS025/document ER - TY - THES DP - http://www.theses.fr/2015LORR0090 TI - Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles AU - Guthmuller, Marion A3 - Contassot-Vivier, Sylvain; Quinson, Martin PY - 2015 N1 - Thèse de doctorat Informatique Université de Lorraine 2015 N1 - 2015LORR0090 UR - http://www.theses.fr/2015LORR0090/document ER - TY - THES DP - http://www.theses.fr/2013BELF0216 TI - Approche réactive pour la conduite en convoi des véhicules autonomes : Modélisation et vérification AU - El Zaher, Madeleine A3 - Gruer, Juan PabloHajjar, Mohammad; Gechter, Franck Joseph Aimé PY - 2013 N1 - Thèse de doctorat Informatique Belfort-Montbéliard 2013 N1 - Thèse de doctorat Informatique Université Libanaise (Liban) 2013 N1 - 2013BELF0216 UR - http://www.theses.fr/2013BELF0216/document ER - TY - THES DP - http://www.theses.fr/2017LORR0091 TI - Nouvelles techniques pour l'instanciation et la production des preuves dans SMT AU - Barbosa, Haniel A3 - Merz, StephanDéharbe, David; Fontaine, Pascal PY - 2017 N1 - Thèse de doctorat Informatique Université de Lorraine 2017 N1 - Thèse de doctorat Informatique Universidade federal do Rio Grande do Norte (Natal, Brésil) 2017 N1 - 2017LORR0091 UR - http://www.theses.fr/2017LORR0091/document ER - TY - THES DP - http://www.theses.fr/2016TOU10030 TI - Système d'argumentation pour la collaboration en télémédecine AU - Doumbouya, Mamadou Bilo A3 - Kamsu-Foguem, Bernard; Kenfack, Hugues PY - 2016 N1 - Thèse de doctorat Informatique Toulouse 1 2016 N1 - 2016TOU10030 UR - http://www.theses.fr/2016TOU10030/document ER - TY - THES DP - http://www.theses.fr/2017ARTO0402 TI - Graphes et contraintes AU - Samy Modeliar, Mouny A3 - Lecoutre, Christophe; Audemard, Gilles PY - 2017 N1 - Thèse de doctorat Informatique Artois 2017 N1 - 2017ARTO0402 UR - http://www.theses.fr/2017ARTO0402/document ER - TY - THES DP - http://www.theses.fr/2016CNAM1057 TI - Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle AU - Methni, Amira A3 - Barkaoui, Kamel; Haddad, Serge PY - 2016 N1 - Thèse de doctorat Informatique Paris, CNAM 2016 N1 - 2016CNAM1057 UR - http://www.theses.fr/2016CNAM1057/document ER - TY - THES DP - http://www.theses.fr/2016LORR0091 TI - Sécurité des ressources collaboratives dans les réseaux sociaux d'entreprise AU - Bouchami, Ahmed A3 - Perrin, Olivier PY - 2016 N1 - Thèse de doctorat Informatique Université de Lorraine 2016 N1 - 2016LORR0091 UR - http://www.theses.fr/2016LORR0091/document ER - TY - THES DP - http://www.theses.fr/2019PAUU3010 TI - Formalisation et évaluation de stratégies d’élasticité multi-couches dans le Cloud AU - Khebbeb, Khaled A3 - Hameurlain, Nabil; Belala, Faiza PY - 2019 N1 - Thèse de doctorat Informatique Pau 2019 N1 - Thèse de doctorat Informatique Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) 2019 N1 - 2019PAUU3010 UR - http://www.theses.fr/2019PAUU3010/document ER - TY - THES DP - http://www.theses.fr/2010AIX22032 TI - Raisonnement à partir d'informations structurées et hiérarchisées : application à l'information archéologique AU - Serayet, Mariette A3 - Papini, Odile; Drap, Pierre PY - 2010 N1 - Thèse de doctorat Mathématiques, informatique, automatique Aix-Marseille 2 2010 N1 - 2010AIX22032 UR - http://www.theses.fr/2010AIX22032/document ER - TY - THES DP - http://www.theses.fr/2013REN1S142 TI - Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits AU - Creff, Stephen A3 - Jézéquel, Jean-Marc; Champeau, Joël PY - 2013 N1 - Thèse de doctorat Informatique Rennes 1 2013 N1 - 2013REN1S142 UR - http://www.theses.fr/2013REN1S142/document ER - TY - THES DP - http://www.theses.fr/2018MONTS057 TI - L'analyse formelle de concepts : un cadre structurel pour l'étude de la variabilité de familles de logiciels AU - Carbonnel, Jessie A3 - Huchard, Marianne PY - 2018 N1 - Thèse de doctorat Informatique Montpellier 2018 N1 - 2018MONTS057 UR - http://www.theses.fr/2018MONTS057/document ER - TY - THES DP - http://www.theses.fr/2018SACLN044 TI - Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques AU - Dallon, Antoine A3 - Delaune, Stéphanie; Cortier, Véronique PY - 2018 N1 - Thèse de doctorat Informatique Université Paris-Saclay (ComUE) 2018 N1 - 2018SACLN044 UR - http://www.theses.fr/2018SACLN044/document ER - TY - THES DP - http://www.theses.fr/2007NAN10089 TI - Abstractions booléennes pour la vérification des systèmes temps-réel AU - Kang, Eun-Young A3 - Merz, Stephan PY - 2007 N1 - Thèse de doctorat Informatique Nancy 1 2007 N1 - 2007NAN10089 UR - http://www.theses.fr/2007NAN10089/document ER - TY - THES DP - http://www.theses.fr/2013CNAM0860 TI - Automatisation des preuves pour la vérification des règles de l'Atelier B AU - Jacquel, Mélanie A3 - Dubois, CatherineDelahaye, David; Berkani, Karim PY - 2013 N1 - Thèse de doctorat Informatique Paris, CNAM 2013 N1 - 2013CNAM0860 UR - http://www.theses.fr/2013CNAM0860/document ER - TY - THES DP - http://www.theses.fr/2015LORR0082 TI - Certification des raisonnements formels portant sur des systèmes d'information critiques AU - Henaien, Amira A3 - Margenstern, Maurice; Stratulat, Sorin PY - 2015 N1 - Thèse de doctorat Informatique Université de Lorraine 2015 N1 - 2015LORR0082 UR - http://www.theses.fr/2015LORR0082/document ER - TY - THES DP - http://www.theses.fr/2017ENST0004 TI - Optimisation multi-objectifs d'architectures par composition de transformation de modèles AU - Rahmoun, Smail A3 - Pautet, Laurent; Borde, Etienne PY - 2017 N1 - Thèse de doctorat Informatique et réseaux Paris, ENST 2017 N1 - 2017ENST0004 UR - http://www.theses.fr/2017ENST0004/document ER - TY - THES DP - http://www.theses.fr/2019ESAE0029 TI - Extension événementielle d'une méthode formelle légère et application à l'analyse du protocole distribué Chord AU - Matiedje Tawa, Jeanne A3 - Chemouil, David; Brunel, Julien PY - 2019 N1 - Thèse de doctorat Informatique et Télécommunications Toulouse, ISAE 2019 N1 - 2019ESAE0029 UR - http://www.theses.fr/2019ESAE0029/document ER - TY - THES DP - http://www.theses.fr/2017AZUR4062 TI - Préserver la séparation des préoccupations durant l’intégration de domaines hétérogènes dans les systèmes logiciels AU - Logre, Ivan A3 - Riveill, Michel PY - 2017 N1 - Thèse de doctorat Informatique Université Côte d'Azur (ComUE) 2017 N1 - 2017AZUR4062 UR - http://www.theses.fr/2017AZUR4062/document ER - TY - THES DP - http://www.theses.fr/2019LYSEM021 TI - Cryptographie légère pour l'internet des objets : implémentations et intégrations sécurisées. AU - Adomnicai, Alexandre A3 - Fournier, Jacques J. A.; Tria, Assia PY - 2019 N1 - Thèse de doctorat Microélectronique Lyon 2019 N1 - 2019LYSEM021 UR - http://www.theses.fr/2019LYSEM021/document ER - TY - THES DP - http://www.theses.fr/2015ORLE2060 TI - Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques AU - Ait Wakrime, Abderrahim A3 - Limet, Sébastien; Robert, Sophie PY - 2015 N1 - Thèse de doctorat Informatique Orléans 2015 N1 - 2015ORLE2060 UR - http://www.theses.fr/2015ORLE2060/document ER - TY - THES DP - http://www.theses.fr/2018REN1S058 TI - Investigating host-microbiota cooperation with gap-filling optimization problems AU - Frioux, Clémence A3 - Siegel, Anne PY - 2018 N1 - Thèse de doctorat Informatique Rennes 1 2018 N1 - 2018REN1S058 UR - http://www.theses.fr/2018REN1S058/document ER - TY - THES DP - http://www.theses.fr/2017LORIS442 TI - Intégration des techniques de vérification formelle dans une approche de conception des systèmes de contrôle-commande : application aux architectures SCADA AU - Kesraoui (Mesli), Soraya A3 - Berruet, PascalOquendo, Flavio; Toguyeni, Abdoul Karim Armand PY - 2017 N1 - Thèse de doctorat Stic Lorient 2017 N1 - 2017LORIS442 UR - http://www.theses.fr/2017LORIS442/document ER - TY - THES DP - http://www.theses.fr/2018ECDN0002 TI - Automatisation de la synthèse d’architectures appliquée aux aéronefs à voilure tournante AU - Hartmann, Chris A3 - Bernard, Alain PY - 2018 N1 - Thèse de doctorat Productique - Mécanique Ecole centrale de Nantes 2018 N1 - 2018ECDN0002 UR - http://www.theses.fr/2018ECDN0002/document ER - TY - THES DP - http://www.theses.fr/2019PSLEE013 TI - Vérification par interprétation abstraite en mémoire faiblement cohérente AU - Suzanne, Thibault A3 - Miné, Antoine PY - 2019 N1 - Thèse de doctorat Informatique Paris Sciences et Lettres (ComUE) 2019 N1 - 2019PSLEE013 UR - http://www.theses.fr/2019PSLEE013/document ER -