Résultats 1 à 10

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

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse 3 (16)
  • Paris 11 (11)
  • Nancy 1 (6)
  • Besançon (5)
  • Nantes (5)
  • Paris Est (5)
  • Rennes 1 (5)
  • Chambéry (4)
  • Grenoble 1 (4)
  • Nice (4)
  • Toulouse, INPT (4)
  • Vandoeuvre-les-Nancy, INPL (4)
  • Paris 6 (3)
  • Paris 9 (3)
  • Paris, CNAM (3)
  • Strasbourg 1 (3)
  • Université de Sherbrooke (3)
  • Belfort-Montbéliard (2)
  • Clermont-Ferrand 2 (2)
  • Evry, Institut national des télécommunications (2)
  • Grenoble INPG (2)
  • Institut polytechnique de Paris (2)
  • Marne-la-vallée, ENPC (2)
  • Orléans (2)
  • Paris 13 (2)
  • Toulouse 1 (2)
  • Université Grenoble Alpes (ComUE) (2)
  • Université de Lorraine (2)
  • Valenciennes (2)
  • Versailles-St Quentin en Yvelines (2)
  • Paris, ENMP (1)
  • Aix-Marseille 3 (1)
  • Bordeaux 1 (1)
  • Cachan, Ecole normale supérieure (1)
  • Caen (1)
  • Compiègne (1)
  • Ecole Centrale de Lille (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Evry-Val d'Essonne (1)
  • Grenoble (1)
  • La Rochelle (1)
  • Lille 1 (1)
  • Lille, Université des Sciences et technologies de Lille (1)
  • Limoges (1)
  • Littoral (1)
  • Lorient (1)
  • Lyon 1 (1)
  • Lyon, INSA (1)
  • Mulhouse (1)
  • Nancy 2 (1)
  • Paris 1 (1)
  • Paris 7 (1)
  • Paris 8 (1)
  • Paris, ENST (1)
  • Pau (1)
  • Rennes, INSA (1)
  • Rouen (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Sorbonne Paris Cité (1)
  • Sorbonne université (1)
  • Toulouse 2 (1)
  • Toulouse, ENSAE (1)
  • Toulouse, INSA (1)
  • Toulouse, ISAE (1)
  • UNIVERSITE MOHAMMED V - AGDAL (1)
  • Universidade de São Paulo (Brésil) (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université Grenoble Alpes (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université de Paris (2019-....) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sherbrooke (Québec, Canada) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (74)
  • Sciences appliquées (27)
  • Sciences et techniques (8)
  • Automatique et informatique (3)
  • Informatique et télécommunications (2)
  • Informatique industrielle (2)
  • Sciences de l'ingénieur (1)
  • Automatique industrielle et humaine (1)
  • Automatique, Génie informatique, Traitement du signal et des Images (1)
  • Contrôle des Systèmes (1)
  • Electronique-Architecture d'Instrumentations (1)
  • Génie informatique et automatique (1)
  • Inforamtique (1)
  • Informatique et mathématiques appliquées (1)
  • Informatique et réseaux (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique industrielle et automatiqueInformatique industrielle et automatique (1)
  • Informatique, données, IA (1)
  • Informatique, spécification formelle et architecture logicielle (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Automatique (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Production automatisée (1)
  • Sciences (1)
  • Sciences appliquées. Informatique (1)
  • Sciences de l'ingénieur. Automatique et informatique appliquée (1)
  • Sciences du langage - linguistique. Linguistique théorique descriptive et automatique (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et techniques communes (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sciences pour l'ingénieurSciences pour l'ingénieur (1)
  • Sureté de logiciel et calcul à haute performance (1)
  • Systèmes de communication (1)
  • Systèmes informatiques et systèmes ambarqués (1)
  • Sûreté logicielle et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (2)
  • École doctorale de l'Institut polytechnique de Paris (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Management Panthéon-Sorbonne (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et ingénierie (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Sciences du langage (Paris ; 2019-....) (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)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (116)
  • anglais (25)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Juanole Guy (4)
  • Souquières Jeanine (4)
  • Dufourd Jean-François (3)
  • Finance Jean-Pierre (3)
  • Julliand Jacques (3)
  • Kodratoff Yves (3)
  • Laleau Régine (3)
  • Raynaud Yves (3)
  • Cavalli Ana (2)
  • Choppy Christine (2)
  • Elloy Jean-Pierre (2)
  • Filali Mamoun (2)
  • Frappier Marc (2)
  • Gaaloul Walid (2)
  • Gaudel Marie-Claude (2)
  • Gondran Michel (2)
  • Gouardères Guy (2)
  • Haurat Alain (2)
  • Levy Nicole (2)
  • Madelaine Éric (2)
  • Mammar Amel (2)
  • Mateescu Radu (2)
  • Michel Pierre (2)
  • Méry Dominique (2)
  • Oquendo Flavio (2)
  • Palanque Philippe (2)
  • Pujolle Guy (2)
  • Wendling Serge (2)
  • Abiteboul Serge (1)
  • Andre Etienne (1)
  • Apvrille Ludovic (1)
  • Aragon Bernard (1)
  • Attoui Ammar (1)
  • Aït-Ameur Yamine (1)
  • BERLAMD RICHARD (1)
  • BUDKOWSKI S. (1)
  • Banâtre Michel (1)
  • Barais Olivier (1)
  • Bastide Rémi (1)
  • Beaudouin-Lafon Michel (1)
  • Beauquier Danièle (1)
  • Benzekri Abdelmalek (1)
  • Bernhaupt Regina (1)
  • Bernot Gilles (1)
  • Berry Gérard (1)
  • Bidoit Michel (1)
  • Bodeveix Jean-Paul (1)
  • Bourton Michel (1)
  • Briand Henri (1)
  • Bétourné Claude (1)
  • Calvary Gaëlle (1)
  • Causse Bernard (1)
  • Combemale Benoit (1)
  • Courtiat Jean-Pierre (1)
  • Crolard Tristan (1)
  • DELCAMBRE BERTRAND (1)
  • Dabbous Walid (1)
  • Dal Zilio Silvano (1)
  • Darondeau Philippe (1)
  • Deswarte Yves (1)
  • Diaz Michel (1)
  • Directeur de thèse inconnu (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Dubois Catherine (1)
  • Ducassé, Mireille (1)
  • Dupuy-Chessa Sophie (1)
  • EULER REINHARDT (1)
  • El-Koursi El-Miloudi (1)
  • Enjalbert Patrice (1)
  • FACON PHILIPPE (1)
  • Fabre Jean-Charles (1)
  • Ferrand G. (1)
  • Franchi-Zannettacci Paul (1)
  • Francillon Aurélien (1)
  • Frydman Claudia (1)
  • Ghazel Mohamed (1)
  • Ginzburg Jonathan (1)
  • Giorgetti Alain (1)
  • Giroux Sylvain (1)
  • Gourgand Michel (1)
  • Graiet Mohamed (1)
  • Gruer Juan Pablo (1)
  • Haar Stefan (1)
  • Hamri Amine (1)
  • Hanafi Saïd (1)
  • Henrio Ludovic (1)
  • Herbelin Hugo (1)
  • Jacquet Paul (1)
  • Jacquot Jean-Pierre (1)
  • Jaray Jacques (1)
  • Jard Claude (1)
  • Jmaiel Mohamed (1)
  • Jomier Geneviève (1)
  • Kellel Slim (1)
  • Kesner Delia (1)
  • Koning Jean-Luc (1)
  • Kosmatov Nikolaï (1)
  • Koukam Abder (1)
  • Krakowiak Sacha (1)
  • Lafaye Jean-Yves (1)
  • Laurini Robert (1)
  • Le Gall Pascale (1)
  • Le botlan Didier (1)
  • Ledru Yves (1)
  • Loor Pierre de (1)
  • Lorho Bernard (1)
  • Louis Georges (1)
  • MAHJOUB AHMED (1)
  • Merz Stephan (1)
  • Millot Patrick (1)
  • Morel Gérard (1)
  • Mosbah Mohamed (1)
  • Mounier Laurent (1)
  • Mourlin Fabrice (1)
  • Ouabdesselam Farid (1)
  • Oussalah Mourad-Chabane (1)
  • Padiou Gérard (1)
  • Pantel Marc (1)
  • Pecuchet Jean-Pierre (1)
  • Pichat Étienne (1)
  • Pierret-Golbreich Christine (1)
  • Potet Marie-Laure (1)
  • Prince Violaine (1)
  • Quinson Martin (1)
  • Quéinnec Philippe (1)
  • Ramat Eric (1)
  • Riveill Michel (1)
  • Roucairol Gérard (1)
  • Roudies Ounsa (1)
  • Roussey Catherine (1)
  • Régis-Gianas Yann (1)
  • Salaun Gwen (1)
  • Salinesi Camille (1)
  • Serwe Wendelin Bernhard (1)
  • Simonot Marianne (1)
  • Soloviev Igor (1)
  • Thomesse Jean-Pierre (1)
  • Trigano Philippe (1)
  • Val Thierry (1)
  • Valette Robert (1)
  • Vernadat François B. (1)
  • Vieira De Melo Ana Cristina (1)
  • Vignes Sylvie (1)
  • Yim Pascal (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (91)
  • Sciences de l'ingénieur (44)
  • Sciences de la nature et mathématiques (8)
  • Technologie (Sciences appliquées) (8)
  • Mathématiques (5)
  • Informatique, information, généralités (4)
  • Bibliothéconomie et sciences de l'information (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Commerce, communications, transports (1)
  • Linguistique générale (1)
  • Physique (1)
  • Fabrication industrielle (1)

Domaines :

Fullscreen

146 thèses pour "Spécification formelle"

Plate-forme multi-agent pour la reconfiguration dynamique des architectures logicielles

par Samir Benarif sous la direction de Nicole Levy - Versailles-St Quentin en Yvelines

Informatique, spécification formelle et architecture logicielle

Soutenue en 2006
thèse soutenue

Formal specification and verification of distributed component systems

par Antonio Cansado sous la direction de Éric Madelaine - Nice

Informatique

Soutenue en 2008
thèse soutenue

Spécification formelle de commande numérique de machine-outil

par Sidi Mohamed Yazid sous la direction de RICHARD BERLAMD - Limoges

Informatique. Automatique

Soutenue en 1997
thèse soutenue

Spécification formelle de systèmes complexes : méthodes et techniques

par Nestor Lopez sous la direction de Véronique Donzeau-Gouge Viguié et de Marianne Simonot. - Paris, CNAM

Sciences et techniques

Soutenue en 2002
thèse soutenue

Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles

par Jacques Vautherin sous la direction de Gérard Roucairol - Paris 11

Informatique

Soutenue en 1985
thèse soutenue

Vérification de systèmes d'événements B par model-checking PLTL : contribution à la réduction de l'explosion combinatoire en utilisant de la résolution de contraintes ensemblistes

par Benoît Parreaux sous la direction de Jacques Julliand - Besançon

Automatique et informatique

Soutenue en 2000
thèse soutenue

Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision

par Raquel Araùjo de Oliveira sous la direction de Sophie Dupuy-Chessa et de Gaëlle Calvary. - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 03-12-2015
thèse soutenue

...”, notre approche permet la vérification depropriétés sur la spécification formelle du système. Les...

Accéder en ligne

Formal specification and test of COTS-based embedded railway control/command architecture

par Jing Yang sous la direction de El-Miloudi El-Koursi et de Mohamed Ghazel. - Lille 1

Automatique, Génie informatique, Traitement du signal et des Images

Soutenue le 21-01-2013
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

Contribution à la spécification formelle et à la vérification de systèmes multi-agents robotiques

par Nadeem Akhtar sous la direction de Flavio Oquendo - Lorient

Sciences et technologies de l'information et de la communication

Soutenue en 2010
thèse soutenue

Résultats 1 à 10