Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (9)
  • Grenoble Alpes (4)
  • Paris 11 (4)
  • Rennes 1 (4)
  • Besançon (3)
  • Paris, CNAM (3)
  • Grenoble (2)
  • Bordeaux 1 (1)
  • Lorient (1)
  • Nantes (1)
  • Orléans (1)
  • Paris Est (1)
  • Paris Sciences et Lettres (1)
  • Prove & Run (1)
  • Toulouse, INPT (1)
  • Toulouse, ISAE (1)
  • Université de Lorraine (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (34)
  • Electronique (1)
  • Nano electronique et nano technologies (1)
  • Stic (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sureté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (6)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • Ecole doctorale Informatique de Paris-Sud (3)
  • MATISSE (3)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (3)
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • Sciences Mathématiques de Paris Centre (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 Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Marché Claude (4)
  • Giorgetti Alain (3)
  • Blazy Sandrine (2)
  • Dubois Catherine (2)
  • Filliâtre Jean-Christophe (2)
  • Jensen Thomas (2)
  • Julliand Jacques (2)
  • Kosmatov Nikolay (2)
  • Kosmatov Nikolaï (2)
  • Le gall Pascale (2)
  • Assad Safwan el- (1)
  • Aït-Ameur Yamine (1)
  • Bardin Sébastien (1)
  • Barkaoui Kamel (1)
  • Bensalem Saddek (1)
  • Beroulle Vincent (1)
  • Boldo Sylvie (1)
  • Conchon Sylvain (1)
  • Crégut Pierre (1)
  • Delahaye David (1)
  • Déforges Olivier (1)
  • Falcone Yliès Carlo (1)
  • Girault Alain (1)
  • Gogniat Guy (1)
  • Goubin Louis (1)
  • Haddad Serge (1)
  • Jeannet Bertrand (1)
  • Joloboff Vania (1)
  • Kouchnarenko Olga (1)
  • Le Gall Pascale (1)
  • Lemerre Matthieu (1)
  • Loulergue Frédéric (1)
  • Ly Olivier (1)
  • Marion Jean-Yves (1)
  • Mauny Michel (1)
  • Mokdad Nadia Lynda (1)
  • Monin Jean-François (1)
  • Mosbah Mohamed (1)
  • Mounier Laurent (1)
  • Pantel Marc (1)
  • Polacsek Thomas (1)
  • Potet Marie laure (1)
  • Potet Marie-Laure (1)
  • Prevosto Virgile (1)
  • Queudet Audrey (1)
  • Rival Xavier (1)
  • Siles Vincent (1)
  • Wiels Virginie (1)
  • Wolff Burkhart (1)
  • Yakobowski Boris (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (37)
  • Technologie (Sciences appliquées) (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

39 thèses pour "FRAMA-C"

...introduceFrama-C, the platform that EVA is part of. Then, we describe theabstract interpreter itself, and...

Accéder en ligne
Informatique

En préparation depuis le 12-10-2015
 thèse en cours de préparation

Spécification et vérification de propriétés de haut niveau pour les programmes C

par Virgile Robles sous la direction de Pascale Le gall et de Nikolay Kosmatov. - Paris Saclay

Informatique

En préparation depuis le 15-10-2018
 thèse en cours de préparation

....Keywords : concurrency, formal verification, code transformation, weak memory models, FRAMA-C...

Accéder en ligne

...plateforme d’analyseFrama-C. Nous proposons également une méthodologie de test qui facilite la preuve...

Accéder en ligne

..., permettant ainsi une colla-boration entre différentes analyses.FRAMA-C est basé sur CIL [Necula et al., 2002...

Accéder en ligne

...is easy toadd a new plug-in. There are some ready-to-use plug-ins:3http://frama-c.com/acsl.html25...

Accéder en ligne

Vérification automatique de code bas-niveau: C, assembleur et binaire

par Frédéric Recoules sous la direction de Marie laure Potet et de Laurent Mounier. - Grenoble Alpes

Informatique

En préparation depuis le 20-04-2017
 thèse en cours de préparation
Informatique

Soutenue le 06-09-2013
thèse soutenue

Résultats 1 à 10