Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 11 (4)
  • Grenoble Alpes (3)
  • Paris, CNAM (3)
  • Toulouse 3 (3)
  • Bordeaux (2)
  • Côte d'Azur (2)
  • Toulouse, ISAE (2)
  • Grenoble (1)
  • Montpellier (1)
  • Nantes, Ecole des Mines (1)
  • Orléans (1)
  • Paris Saclay (1)
  • Paris, ENSAM (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Université de Lorraine (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (20)
  • Conception (1)
  • Informatique et applications (1)
  • Informatique. Intelligence artificielle (1)
  • Réseaux, télécom, système et architecture (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • Sûreté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • I2S - Information, Structures, Systèmes (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (14)
  • anglais (11)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cassé Hugues (2)
  • Delahaye David (2)
  • Barkaoui Kamel (1)
  • Berkani Karim (1)
  • Conchon Sylvain (1)
  • Contejean Evelyne (1)
  • Delmas Rémi (1)
  • Déharbe David (1)
  • Dubois Catherine (1)
  • Fontaine Pascal (1)
  • Garoche Pierre-Loïc (1)
  • Gaudel Marie-Claude (1)
  • Haddad Serge (1)
  • Henrion Didier (1)
  • Huchard Marianne (1)
  • Idani Akram (1)
  • Iosif Radu (1)
  • Ledru Yves (1)
  • Leroux Jérôme (1)
  • Loulergue Frédéric (1)
  • Maler Oded (1)
  • Marché Claude (1)
  • Mauny Michel (1)
  • Merz Stephan (1)
  • Michel Claude (1)
  • Miquel Alexandre (1)
  • Moy Matthieu (1)
  • Pagetti Claire (1)
  • Poizat Pascal (1)
  • Poplavko Petro (1)
  • Rochange Christine (1)
  • Rueher Michel (1)
  • Régnier Pierre (1)
  • Simon Laurent (1)
  • Simone Robert de (1)
  • Sotin Pascal (1)
  • Sutre Grégoire (1)
  • Verdier François (1)
  • Véron Philippe (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (24)
  • Sciences de l'ingénieur (2)

Domaines :

Fullscreen

26 thèses pour "Solveur SMT"

...performance des ressources. Le modèle mathématique généréest ensuite soumis à un solveur SMT (SAT Modulo...

Accéder en ligne

.... Les solveurs SMT (pour satisfiabilité modulo théories), décidenthabituellement de manière complète et terminante...

Accéder en ligne
Informatique

Soutenue le 16-12-2011
thèse soutenue

...sont exécuter contre l’implémentationde service avec l’utilisation du solveur SMT Z3. Ce dernier est utilisé...

Accéder en ligne
Informatique et applications

Soutenue le 11-07-2014
thèse soutenue

...modalite´ temporelle, et qui peutensuite eˆtre ve´rifie´e par un solveur SMT.Il semble eˆtre possible, sous...

Accéder en ligne
Informatique. Intelligence artificielle

Soutenue en 2009
thèse soutenue

...automatique d’invariants), et de multiples procédures de décision(e.g., diagramme de décision, solveur SMT...

Accéder en ligne

Résultats 1 à 10