Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (3)
  • Université Grenoble Alpes (ComUE) (3)
  • Grenoble (2)
  • Toulouse, ISAE (2)
  • Université Paris-Saclay (ComUE) (2)
  • Bordeaux 1 (1)
  • Georgia institute of technology (1)
  • Grenoble INPG (1)
  • Lorient (1)
  • Paris, CNAM (1)
  • Rennes, École normale supérieure (1)
  • Toulouse 3 (1)
  • Universidade de São Paulo (Brésil) (1)
  • Université du Luxembourg (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (9)
  • Automatique (1)
  • Electronique (1)
  • Informatique. Systèmes et communication (1)
  • Mathématiques appliquées (1)
  • Mathématiques et Informatique (1)
  • Réseaux, télécom, système et architecture (1)
  • Stic (1)
  • Systèmes embarqués (1)
  • Sûreté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (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 de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (13)
  • français (5)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Fribourg Laurent (2)
  • Graf Susanne (2)
  • Maraninchi Florence (2)
  • Talpin Jean-Pierre (2)
  • Albert Vincent (1)
  • Barkaoui Kamel (1)
  • Bensalem Saddek (1)
  • Bozga Dorel Marius (1)
  • Cachera David (1)
  • Caillaud Benoît (1)
  • Chamoin Ludovic (1)
  • Dallet Dominique (1)
  • Feron Eric (1)
  • Garoche Pierre-Loïc (1)
  • Girard Antoine (1)
  • Haddad Serge (1)
  • Hugues Jérôme (1)
  • Lang Frédéric (1)
  • Le Gal Bertrand (1)
  • Mateescu Radu (1)
  • Nakagawa Elisa Yumi (1)
  • Navet Nicolas (1)
  • Oquendo Flavio (1)
  • Pichardie David (1)
  • Vuyst Florian de (1)

Directeurs de thèse :

Fullscreen

Domaines :

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

Domaines :

Fullscreen

...thepresent work, saturation of the contracts is not needed.Assume-guarantee reasoning has been previously...

Accéder en ligne

...] Susanne Graf Imene Ben Hafaiedh and Sophie Quinton. Reasoning about safety andprogress using contracts. In...

Accéder en ligne

...constraints onthe component framework it is associated with. Second, composing contracts is not always...

Accéder en ligne

...-ming. Examples include Eiffel [Swi93], iContracts [Kra98], JASS [Bar+01], etc. JASS is particularlyinteresting...

Accéder en ligne

...been formerly introduced and usedin various contexts.98Chapter V. Contract-driven analysisAssume-guarantee...

Accéder en ligne
Informatique

Soutenue le 28-01-2019
thèse soutenue

...verification.2.2 Contract-Based Reasoning and Interface TheoriesThe notion of contracts first appeared in the...

Accéder en ligne

Résultats 1 à 10