Résultats 1 à 7

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 6 (2)
  • Aix-Marseille (1)
  • Nancy 1 (1)
  • Paris Sciences et Lettres (ComUE) (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université libre de Bruxelles (1970-....) (1)
  • université Paris-Saclay (1)
  • École nationale d'ingénieurs de Gabès (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (4)
  • Automatique, traitement du signal et génie informatique (1)
  • Mathématiques (1)
  • Sciences de gestion (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale SDOSE (Paris) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Sciences et technologies de l'information et de la communication (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (6)
  • anglais (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Abdelkrim Mohamed Naceur (1)
  • Aubin David (1)
  • Bendraou Reda (1)
  • Bollig Benedikt (1)
  • Filiot Emmanuel (1)
  • Filliâtre Jean-Christophe (1)
  • Finkel Alain (1)
  • Gervais Marie-Pierre (1)
  • Reynier Pierre-Alain (1)
  • Romelaer Pierre (1)
  • Rondeau Eric (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (3)
  • Gestion et organisation de l'entreprise (2)
  • Informatique, information, généralités (1)
  • Mathématiques (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

Un système de types pragmatique pour la vérification déductive des programmes

par Léon Gondelman sous la direction de Jean-Christophe Filliâtre - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 13-12-2016
thèse soutenue

...pluspuissantes, mais aussi plus co teuses que le test.1.2 M thodes formellesLes approches et les techniques que l...

Accéder en ligne

Alloy4PV : un Framework pour la Vérification de Procédés Métiers

par Yoann Laurent sous la direction de Reda Bendraou et de Marie-Pierre Gervais. - Paris 6

Informatique

Soutenue le 15-01-2015
thèse soutenue

...UML en utilisant les m thodes formelles.2.3.6 UML et les m thodes formellesBeaucoup d approches ont t...

Accéder en ligne

Contribution à la modélisation de produit actif communicant : spécification et évaluation d'un protocole de communication orienté sécurité des produits

par Ahmed Zouinkhi sous la direction de Eric Rondeau et de Mohamed Naceur Abdelkrim. - Nancy 1

Automatique, traitement du signal et génie informatique

Soutenue le 07-04-2011
thèse soutenue

...luctablement la n cessit de pouvoir disposer de m thodes formelles permettant de v rifier un certain nombre...

Accéder en ligne

Formal Verification of Communicating Automata

par Amrita Suresh sous la direction de Alain Finkel et de Benedikt Bollig. - université Paris-Saclay

Informatique

Soutenue le 12-12-2022
thèse soutenue
Accéder en ligne

Laurent schwartz (1915-2002) et la vie collective des mathématiques

par Anne-Sandrine Paumier sous la direction de David Aubin - Paris 6

Mathématiques

Soutenue le 30-06-2014
thèse soutenue

...Rockefeller Les m thodes formelles en axiomatique. Paris, D cembre 1950 [1953]37. Les Machines calculer et la...

Accéder en ligne

Automatic synthesis of systems with data

par Léo Exibard sous la direction de Pierre-Alain Reynier et de Emmanuel Filiot. - Aix-Marseille

Informatique

Soutenue le 20-09-2021
thèse soutenue
Accéder en ligne

DE L’ATTENTION AU RISQUE : une perspective attentionnelle de la construction sociale du risque par les organisations

par Julie Mayer sous la direction de Pierre Romelaer - Paris Sciences et Lettres (ComUE)

Sciences de gestion

Soutenue le 27-11-2017
thèse soutenue
Accéder en ligne

Résultats 1 à 7