Résultats 1 à 10

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

Dates de soutenance :


Etablissements :

Valider et fermer
  • Besançon (2)
  • Paris 11 (2)
  • Paris 6 (2)
  • Rennes 1 (2)
  • Université Paris-Saclay (ComUE) (2)
  • Belfort-Montbéliard (1)
  • Grenoble (1)
  • Grenoble 1 (1)
  • Grenoble INPG (1)
  • Lyon, INSA (1)
  • Paris 7 (1)
  • Paris, ENST (1)
  • Toulouse 3 (1)
  • Toulouse, ISAE (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (11)
  • Sciences appliquées (3)
  • Automatique (2)
  • Sciences de l'ingénieur (1)
  • Electronique et Communications (1)
  • Sureté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (14)
  • anglais (5)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Parissis Ioannis (2)
  • Banâtre Jean-Pierre (1)
  • Bousquet Lydie du (1)
  • Cassé Hugues (1)
  • Dague Philippe (1)
  • Gaudel Marie-Claude (1)
  • Groz Roland (1)
  • Gruer Juan Pablo (1)
  • Guérin Vincent (1)
  • Haddad Serge (1)
  • Hoogvorst Philippe (1)
  • Jensen Thomas (1)
  • Kieffer Michel (1)
  • Kordon Fabrice (1)
  • Melliès Paul-André (1)
  • Morio Jérôme (1)
  • Mountassir Hassan (1)
  • Niel Eric (1)
  • Ouabdesselam Farid (1)
  • Perrin Guy-René (1)
  • Rochange Christine (1)
  • Santinelli Luca (1)
  • Sifakis Joseph (1)
  • Slissenko Anatol (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (13)
  • Sciences de l'ingénieur (5)
  • Informatique, information, généralités (1)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables

par Sebti Mouelhi sous la direction de Hassan Mountassir - Besançon

Informatique

Soutenue le 30-08-2011
thèse soutenue
Accéder en ligne

Selection de tests de proprietes de surete a partir d'une modelisation algebrique de programmes lustre

par Nai-Cheng Hsiao sous la direction de Marie-Claude Gaudel - Paris 11

Sciences appliquées

Soutenue en 1994
thèse soutenue

Dérivation de processus communicants : Règles et raffinement et applications

par Sylvie Damy sous la direction de Guy-René Perrin - Besançon

Sciences appliquées

Soutenue en 1991
thèse soutenue

Atp : une algèbre pour la spécification et l'analyse des systèmes temps réel

par Xavier Nicollin sous la direction de Joseph Sifakis - Grenoble INPG

Informatique

Soutenue en 1992
thèse soutenue
Accéder en ligne

Verification et calcul de proprietes de surete non lineaires dans les reseaux de petri et leurs extensions

par EMMANUEL PAVIOT-ADET sous la direction de Serge Haddad - Paris 6

Sciences appliquées

Soutenue en 1995
thèse soutenue

Génération automatique de cas de test guidée par les propriétés de sûreté

par Jérôme Vassy sous la direction de Farid Ouabdesselam et de Ioannis Parissis. - Grenoble 1

Informatique

Soutenue en 2004
thèse soutenue
Accéder en ligne

Élagage d’invariants de programmes

par Tiphaine Turpin sous la direction de Thomas Jensen - Rennes 1

Informatique

Soutenue en 2008
thèse soutenue
Accéder en ligne

Modèles multi-agents réactifs pour la navigation multi-véhicules : spécification formelle et vérification

par Jean-Michel Contet sous la direction de Juan Pablo Gruer - Belfort-Montbéliard

Sciences de l'ingénieur

Soutenue en 2009
thèse soutenue
Accéder en ligne

Test fonctionnel de propriétés hybrides

par Yves Grasland sous la direction de Ioannis Parissis, Roland Groz et de Lydie du Bousquet. - Grenoble

Informatique

Soutenue le 15-02-2013
thèse soutenue

...spécifier les systèmes hybrides.1.2.3 Notion de propriété de sûretéLes propriétés peuvent être classifiées...

Accéder en ligne

Modélisation et simulation qualitative de systèmes hybrides

par Hadi Zaatiti sous la direction de Philippe Dague - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 29-11-2018
thèse soutenue
Accéder en ligne

Résultats 1 à 10