Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (46)
  • Grenoble (37)
  • Paris Saclay (27)
  • Rennes 1 (18)
  • Paris, CNAM (14)
  • Lyon (11)
  • Bordeaux (8)
  • Montpellier (8)
  • Pau (8)
  • Ecole centrale de Lille (7)
  • Toulouse 3 (7)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (6)
  • Lorient (6)
  • Dijon (5)
  • Paris 11 (5)
  • Université de Lorraine (5)
  • Brest (4)
  • Côte d'Azur (4)
  • Evry, Institut national des télécommunications (4)
  • Paris 6 (4)
  • Paris Est (4)
  • Paris Sciences et Lettres (4)
  • Rennes, INSA (4)
  • Besançon (3)
  • Lyon 1 (3)
  • Montpellier 2 (3)
  • Nantes (3)
  • Nice (3)
  • Sorbonne Paris Cité (3)
  • Toulouse, INPT (3)
  • Universidade de São Paulo (Brésil) (3)
  • Châtenay-Malabry, Ecole centrale de Paris (2)
  • Clermont Auvergne (2)
  • Clermont-Ferrand 2 (2)
  • Compiègne (2)
  • Lille 1 (2)
  • Mulhouse (2)
  • Orléans (2)
  • Paris 1 (2)
  • Paris, ENST (2)
  • Toulouse, INSA (2)
  • Télécom Bretagne (2)
  • Aix-Marseille (1)
  • Bourgogne Franche-Comté (1)
  • Cachan, Ecole normale supérieure (1)
  • CentraleSupélec (1)
  • Cergy-Pontoise (1)
  • Clemson university (1)
  • Corte (1)
  • Ecole nationale d'ingénieurs de Sfax (1)
  • Flinders university of South Australia (1)
  • Grenoble INPG (1)
  • La Réunion (1)
  • Limoges (1)
  • Littoral (1)
  • Lyon, INSA (1)
  • Malardalen University (1)
  • Normandie (1)
  • Rennes, École normale supérieure (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Toulouse 1 (1)
  • Toulouse, ISAE (1)
  • Universidad del País Vasco (1)
  • Universidade Federal do Rio Grande do Sul (Brésil) (1)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universitatea politehnica (Bucarest) (1)
  • University de Rennes 1 (1)
  • University of Western Sydney (1)
  • Università degli studi (Padoue, Italie). Dipartimento di filosofia, sociologia, pedagogia e psicologia applicata (1)
  • Université Abdelhamid Mehri - Constantine 2. Faculté des Nouvelles Technologies de l'Information et de la Communication (Constantine, Algérie) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Savoie Mont Blanc (1)
  • Université de Djibouti (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Technologie de Malaisie (1)
  • Université de Yaoundé I (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (224)
  • Stic (6)
  • Informatique et applications (4)
  • Automatique et informatique industrielle (3)
  • Génie Industriel (3)
  • Mathématiques et Informatique (3)
  • Sciences et technologies industrielles (3)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Génie Industriel : conception et production (2)
  • Informatique et réseaux (2)
  • Intelligence artificielle (2)
  • Philosophie (2)
  • Sciences et technologie industrielles (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Traitement du signal et télécommunications (2)
  • Électronique (2)
  • Agrosystèmes, écosystèmes et environnement (1)
  • Automatique - productique (1)
  • Automatique et productique (1)
  • Automatique, Ingénierie-Système, Nucléaire (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie informatique (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Biologie et sciences de la santé (1)
  • Génie industriel (1)
  • Génie industriel conception et production (1)
  • Génie informatique (1)
  • Image, information, hypermedia (1)
  • Informatique (STIC) (1)
  • Informatique et télécommunication (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique. Web sémantique (1)
  • Instrumentation et informatique de l'image (1)
  • Intelligence Artificielle / Aide à la décision (1)
  • Mathématiques (1)
  • Mathématiques appliquées (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques et informatique (1)
  • Mécanique (1)
  • Nanoélectronique et nanotechnologie (1)
  • Physique (1)
  • Psychologie (1)
  • Recherche clinique, innovation technologique, santé publique (1)
  • Robotique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécom, système et architecture (1)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'univers (1)
  • Sciences du langage - linguistique (1)
  • Sciences du langage. Traitement automatique des langues (1)
  • Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Sciences et Technologies de l’Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Systèmes embarqués et robotique (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)
  • Électronique pour objets connectés (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (72)
  • École doctorale Informatique, télécommunications et électronique (Paris) (24)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (20)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (16)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (15)
  • École doctorale en Informatique et Mathématiques de Lyon (13)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (11)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (9)
  • I2S - Information, Structures, Systèmes (7)
  • École doctorale Sciences pour l'Ingénieur (Lille) (7)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (6)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (6)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (6)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (6)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (5)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (5)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (4)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (4)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (4)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (4)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (3)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (2)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Philosophie (Paris) (2)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • MATHSTIC (1)
  • MATISSE (1)
  • Sciences et ingénierie (1)
  • Systèmes (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • École Doctorale Jean-Henri Lambert (1)
  • École Doctorale Neurosciences et Cognition (NSCo) (1)
  • École doctorale Biologie-Santé (Rennes) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-....) (1)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (224)
  • français (87)
  • null (1)
  • portugais (1)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (8)
  • Bozga Dorel Marius (6)
  • Oquendo Flavio (6)
  • Pétrot Frédéric (5)
  • Barkaoui Kamel (4)
  • Baudry Benoit (4)
  • Blazy Sandrine (4)
  • Dubois Catherine (4)
  • Moy Matthieu (4)
  • Sifakis Joseph (4)
  • Toguyeni Abdoul Karim Armand (4)
  • Aït-Ameur Yamine (3)
  • Barbier Franck (3)
  • Chapurlat Vincent (3)
  • Collet Christine (3)
  • Estublier Jacky (3)
  • Fernandez Jean-Claude (3)
  • Gaaloul Walid (3)
  • Gérard Sébastien (3)
  • Hacid Mohand Saïd (3)
  • Huchard Marianne (3)
  • Monniaux David (3)
  • Nakagawa Elisa Yumi (3)
  • Rutten Eric (3)
  • Terrier François (3)
  • Aniorté Philippe (2)
  • Badr Youakim (2)
  • Barais Olivier (2)
  • Boulanger Frédéric (2)
  • Calvary Gaëlle (2)
  • Choley Jean-Yves (2)
  • Comyn-Wattiau Isabelle (2)
  • Coquery Emmanuel (2)
  • Donsez Didier (2)
  • Dupuy-Chessa Sophie (2)
  • Flaus Jean-Marie (2)
  • Garavel Hubert (2)
  • Genevès Pierre (2)
  • Ghazel Mohamed (2)
  • Haddad Serge (2)
  • Hammad Ahmed (2)
  • Hill David R. C. (2)
  • Jensen Thomas (2)
  • Lagadec Loïc (2)
  • Layaida Nabil (2)
  • Lévy Nicole (2)
  • Maillard Nicolas (2)
  • Marion Jean-Yves (2)
  • Mateescu Radu (2)
  • Mokhtari Mounir (2)
  • Monin Jean-François (2)
  • Monsuez Bruno (2)
  • Montagnat Johan (2)
  • Méhaut Jean-François (2)
  • Naccache David (2)
  • Pantel Marc (2)
  • Pautet Laurent (2)
  • Pichardie David (2)
  • Rastello Fabrice (2)
  • Rieu Dominique (2)
  • Sentieys Olivier (2)
  • Shariat Ghodous Parisa (2)
  • Sunyé Gerson (2)
  • Traoré Mamadou Kaba (2)
  • Valduriez Patrick (2)
  • Vargas-Solar Genoveva (2)
  • Yannou Bernard (2)
  • Zechinelli-Martini José-Luis (2)
  • Abdul Razak Bessam (1)
  • Abdulrab Habib (1)
  • Abel Marie-Hélène (1)
  • Ahmad Adeel (1)
  • Alba Winckler Marco Antonio (1)
  • Alla Hassane Lotfi (1)
  • Alpan Gülgün (1)
  • Amghar Youssef (1)
  • Antoniu Gabriel (1)
  • Apvrille Ludovic (1)
  • Attali Isabelle (1)
  • Attiogbé Christian (1)
  • Aufaure Marie-Aude (1)
  • Augusto Vincent (1)
  • Bardin Sébastien (1)
  • Barhamgi Mahmoud (1)
  • Barthou Denis (1)
  • Barthès Jean-Paul (1)
  • Bastide Rémi (1)
  • Baudrit Cédric (1)
  • Beauquier Danièle (1)
  • Belala Faiza (1)
  • Beldiceanu Nicolas (1)
  • Benbernou Salima (1)
  • Benslimane Djamal (1)
  • Bergez Jacques-Eric (1)
  • Berruet Pascal (1)
  • Besson Frédéric (1)
  • Beugnard Antoine (1)
  • Bhattacharyya Pushpak (1)
  • Blanco Éric (1)
  • Boitet Christian (1)
  • Bon Philippe (1)
  • Bonner Chantal (1)
  • Borde Etienne (1)
  • Bouneffa Mourad (1)
  • Bouquet Fabrice (1)
  • Bouraqadi Noury (1)
  • Bourcier Johann (1)
  • Bourdeaud'huy Thomas (1)
  • Bourennane El-Bay (1)
  • Bourey Jean-Pierre (1)
  • Bourgine Paul (1)
  • Bousquet Lydie du (1)
  • Bouzeghoub Amel (1)
  • Boyer Fabienne (1)
  • Braud Isabelle (1)
  • Breysse Denys (1)
  • Brunie Lionel (1)
  • Cabot Jordi (1)
  • Cabrera Paraiso Emerson (1)
  • Cachera David (1)
  • Caillaud Benoît (1)
  • Camus Hervé (1)
  • Cardey-Greenfield Sylviane (1)
  • Caromel Denis (1)
  • Chalmel Frédéric (1)
  • Charara Ali (1)
  • Charles Henri-Pierre (1)
  • Chassot Christophe (1)
  • Chbeir Richard (1)
  • Chevaillier Pierre (1)
  • Chevrel Philippe (1)
  • Chiprianov Vanea (1)
  • Choppy Christine (1)
  • Clauss Philippe (1)
  • Coelho Fabien (1)
  • Collart-Dutilleul Simon (1)
  • Combemale Benoît (1)
  • Conchon Emmanuel (1)
  • Cristea Valentin (1)
  • Crégut Xavier (1)
  • Cucu Liliana (1)
  • Cullot Nadine (1)
  • Cuppens-Boulahia Nora (1)
  • Dalmau Marc (1)
  • De Marchi Fabien (1)
  • De Sainte-Catherine Myriam (1)
  • Defude Bruno (1)
  • Dekeyser Jean-Luc (1)
  • Del Prete Andrea (1)
  • Delahaye David (1)
  • Denneulin Yves (1)
  • Desainte-Catherine Myriam (1)
  • Deslys Jean-Philippe (1)
  • Devy Michel (1)
  • Di Mascolo Maria (1)
  • Diaconescu Ada (1)
  • Diguet Jean-Philippe (1)
  • Domas Stéphane (1)
  • Dominey Peter Ford (1)
  • Doncieux Stéphane (1)
  • Dony Christophe (1)
  • Douence Rémi (1)
  • Drira Khalil (1)
  • Dupont de Dinechin Benoît (1)
  • Dymetman Marc (1)
  • Echahed Rachid (1)
  • El Hadji Gamatié Abdoulaye (1)
  • Euzenat Jérôme (1)
  • Falcone Yliès Carlo (1)
  • Faron-Zucker Catherine (1)
  • Fauvet Marie-Christine (1)
  • Favre Jean-Marie (1)
  • Fekete Jean-Daniel (1)
  • Ferreira Da Silva Catarina (1)
  • Figay Nicolas (1)
  • Filiol Éric (1)
  • Filliat David (1)
  • Filliâtre Jean-Christophe (1)
  • Fiorino Humbert (1)
  • Fonlupt Cyril (1)
  • Fouque Pierre-Alain (1)
  • Freire Cunha Paulo Roberto (1)
  • Frey Davide (1)
  • Front Agnès (1)
  • Frydman Claudia (1)
  • Gardent Claire (1)
  • Gautier Matthieu (1)
  • Gava Frédéric (1)
  • Giroux Sylvain (1)
  • Gonzales Christophe (1)
  • Goubault Éric (1)
  • Goubin Louis (1)
  • Graf Susanne (1)
  • Grebenkov Denis (1)
  • Grigenti Fabio (1)
  • Grinbaum Alexei (1)
  • Grossmann Francis (1)
  • Groz Roland (1)
  • Gruber Olivier (1)
  • Halfeld Ferrari Alves Mírian (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (244)
  • Sciences de l'ingénieur (40)
  • Informatique, information, généralités (13)
  • Mathématiques (6)
  • Physique (3)
  • Technologie (Sciences appliquées) (2)
  • Gestion et organisation de l'entreprise (2)
  • Fabrication industrielle (2)
  • Philosophie, psychologie (1)
  • Psychologie (1)
  • Logique (1)
  • Langues et linguistique (1)
  • Linguistique générale (1)
  • Autres langues (1)
  • Sciences de la terre (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Médecine et santé (1)
  • Agronomie, agriculture et médecine vétérinaire (1)

Domaines :

Fullscreen

305 thèses pour Executable semantics

Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 13-07-2016
thèse soutenue

..., 134, 166, 198Ofieratiffnal Semantics For an effiecfftable compffter langffage, a speci੗cation of the se-mantics...

Accéder en ligne
Sûreté de Logiciel et Calcul à Haute Performance

Soutenue le 13-05-2014
thèse soutenue

...semantics ofsome target executable language to deine the execution semantics of an xDSML.Figure 2.5b...

Accéder en ligne

...languages allows the design of DSML dynamic semantics based on multiple DE languages, denoted mixed dynamic...

Accéder en ligne
Informatique

Soutenue le 02-12-2016
thèse soutenue

...49–67, London, UK, UK, 1997. Springer-Verlag.20Brian Campbell. An Executable Semantics for CompCert C...

Accéder en ligne

Résultats 1 à 10