Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (12)
  • Grenoble (11)
  • Besançon (6)
  • Lorient (5)
  • Toulouse 3 (5)
  • Université de Lorraine (5)
  • Ecole centrale de Lille (4)
  • Châtenay-Malabry, Ecole centrale de Paris (3)
  • Mulhouse (3)
  • Paris, ENSAM (3)
  • Pau (3)
  • Toulouse, ISAE (3)
  • Bordeaux (2)
  • Brest (2)
  • Clermont-Ferrand 2 (2)
  • Dijon (2)
  • Grenoble Alpes (2)
  • Nancy 1 (2)
  • Orléans (2)
  • Paris 11 (2)
  • Paris Est (2)
  • Paris, CNAM (2)
  • Rennes 1 (2)
  • Toulouse, INPT (2)
  • Universidade de São Paulo (Brésil) (2)
  • Université de Sfax (2)
  • Aix-Marseille (1)
  • Bourgogne Franche-Comté (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Compiègne (1)
  • Ecole Nationale d'Ingénieur de Sfax (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Evry, Institut national des télécommunications (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • Laboratoire de recherche de Mécanique, Modélisation et Production (Sfax, Tunisie) (1)
  • Le Mans (1)
  • Limoges (1)
  • Lyon (1)
  • Lyon, INSA (1)
  • Malardalen University (1)
  • Montpellier (1)
  • Nantes (1)
  • Nice (1)
  • Paris 8 (1)
  • Paris Sciences et Lettres (1)
  • Paris, Télécom ParisTech (1)
  • Strasbourg (1)
  • Supélec (1)
  • Toulon (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université Badji Mokhtar-Annaba (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sherbrooke (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Yaoundé I (1)
  • Université du Luxembourg (1)
  • École Mohammadia d'ingénieurs (Rabat, Maroc) (1)
  • École nationale d'Ingénieurs de Sfax (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (33)
  • Sciences et technologies industrielles (8)
  • Stic (5)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (4)
  • Sciences pour l'ingénieur (4)
  • Génie industriel (3)
  • Sciences et technologie industrielles (3)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Génie mécanique (2)
  • Informatique et applications (2)
  • Réseaux, télécom, système et architecture (2)
  • Automatique (1)
  • Automatique et informatique industrielle (1)
  • Automatique productique (1)
  • Automatique, Ingénierie-Système, Nucléaire (1)
  • Automatique, Traitement du Signal, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Automatique, productique, signal et image, ingénierie cognitique (1)
  • Automatique, traitement du signal et images (1)
  • Conception (1)
  • Conception de circuits microélectroniques et microsystèmes (1)
  • Electronique et communications (1)
  • Génie Industriel (1)
  • Génie Mécanique (1)
  • Génie civil et sciences de l'habitat (1)
  • Génie des procédés (1)
  • Génie industriel conception et production (1)
  • Génie informatique (1)
  • Informatique (STIC) (1)
  • Informatique - Génie mécanique (1)
  • Informatique - Mathématiques (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique industrielle et automatique (1)
  • Instrumentation et informatique de l'image (1)
  • Nanoélectronique et nanotechnologie (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • Sciences (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l'éducation (1)
  • Sciences du langage. Traitement automatique des langues (1)
  • Sciences et génie des activités à risques (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes industriels (1)
  • Systèmes informatiques critiques (1)
  • Technologies de l'Information et des Systèmes (1)
  • Traitement du signal et télécommunications (1)
  • Électronique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (8)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (6)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (6)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (5)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (4)
  • École doctorale Sciences pour l'Ingénieur (Lille) (4)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (4)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (3)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (3)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (3)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (3)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (3)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (2)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (2)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (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) (1)
  • I2S - Information, Structures, Systèmes (1)
  • IAEM Lorraine (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (1)
  • École doctorale Cognition, langage, interaction (Saint-Denis, Seine-Saint-Denis) (1)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne) (1)
  • École doctorale Sciences et Ingénierie (2008-2015 ; Evry) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale des Sciences physiques et de l’Ingénieur (Talence ; Gironde) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (67)
  • anglais (34)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Choley Jean-Yves (4)
  • Morel Gérard (4)
  • Oquendo Flavio (4)
  • Hammad Ahmed (3)
  • Mountassir Hassan (3)
  • Nakagawa Elisa Yumi (3)
  • Rivière Alain (3)
  • Soriano Thierry (3)
  • Apvrille Ludovic (2)
  • Barbier Franck (2)
  • Berruet Pascal (2)
  • Bon Philippe (2)
  • Bouquet Fabrice (2)
  • Chapurlat Vincent (2)
  • Chouali Samir (2)
  • Collart-Dutilleul Simon (2)
  • Foufou Sebti (2)
  • Hugues Jérôme (2)
  • Iung Benoît (2)
  • Kratz Frédéric (2)
  • Laleau Régine (2)
  • Levrat Eric (2)
  • Ober Iulian Sorin (2)
  • Pacalet Renaud (2)
  • Peureux Fabien (2)
  • Rauzy Antoine (2)
  • Saqui-Sannes Pierre de (2)
  • Alpan Gülgün (1)
  • Attiogbé Christian (1)
  • Aït-Ameur Yamine (1)
  • Bajic Eddy (1)
  • Basset Michel (1)
  • Baudry Benoit (1)
  • Bellatreche Ladjel (1)
  • Ben Amar Chokri (1)
  • Ben Gaid Mohamed El Mongi (1)
  • Bianchini Samuel (1)
  • Boulanger Frédéric (1)
  • Bourennane El-Bay (1)
  • Bozga Dorel Marius (1)
  • Braesch Christian (1)
  • Brilhac Jean-François (1)
  • Buhé Catherine (1)
  • Campagne Jean-Pierre (1)
  • Campo Éric (1)
  • Cardey-Greenfield Sylviane (1)
  • Cauvin Aline (1)
  • Cavalli Ana (1)
  • Chaaban Khaled (1)
  • Chatoney Marjolaine (1)
  • Chevrel Philippe (1)
  • Choquet Christophe (1)
  • Collet Christine (1)
  • Coulibaly Amadou (1)
  • Cristea Valentin (1)
  • Cubaud Pierre (1)
  • Demmou Hamid (1)
  • Donsez Didier (1)
  • Dony Christophe (1)
  • Dupuy-Chessa Sophie (1)
  • El Mhamedi Abderrahman (1)
  • El-Koursi El-Miloudi (1)
  • Estève Daniel (1)
  • Ferrarini Alain (1)
  • Fesquet Laurent (1)
  • Garavel Hubert (1)
  • Garbolino Emmanuel (1)
  • Gautier Matthieu (1)
  • Gelas Jean-Patrick (1)
  • Gerbaud Laurent (1)
  • Gérard Sébastien (1)
  • Hammadi Slim (1)
  • Isiklar Alptekin Gulfem (1)
  • Jego Christophe (1)
  • Kadima Hubert (1)
  • Khouri Selma (1)
  • Kouiss Khalid (1)
  • LANUSSE Agnès (1)
  • Labbani Ouassila (1)
  • Laforcade Pierre (1)
  • Lanet Jean-Louis (1)
  • Larouci Cherif (1)
  • Lartigue Claire (1)
  • Louati Louati.ttg@gmail.tn (1)
  • Lévy Nicole (1)
  • Maler Oded (1)
  • Mallet Frédéric (1)
  • Marangé Pascale (1)
  • Michelucci Dominique (1)
  • Morin-Allory Katell (1)
  • Méry Dominique (1)
  • Nana Tchamnda Laurent (1)
  • Navet Nicolas (1)
  • Ober Ileana (1)
  • Oubahssi Lahcen (1)
  • Ouslimani Achour (1)
  • Paludetto Mario (1)
  • Penas Olivia (1)
  • Percebois Christian (1)
  • Petin Jean-François (1)
  • Querrec Ronan (1)
  • Rauffet Philippe (1)
  • Ray Pascal (1)
  • Ribot Pauline (1)
  • Rieu Dominique (1)
  • Riviere Alain (1)
  • Roose Philippe (1)
  • Roussel Jean-Marc (1)
  • Sadou Nabil (1)
  • Sahraoui Abd-El-Kader (1)
  • Sauce Gérard (1)
  • Seguin Christel (1)
  • Sentieys Olivier (1)
  • Shariat Ghodous Parisa (1)
  • Shawky Mohamed (1)
  • Siadat Ali (1)
  • Simeu Emmanuel (1)
  • Simon Daniel (1)
  • Tabourot Laurent (1)
  • Tangha Claude (1)
  • Tatibouet Bruno (1)
  • Terrier François (1)
  • Theilliol Didier (1)
  • Thirion Bernard (1)
  • Tkiouat Mohamed (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Vallespir Bruno (1)
  • Vargas-Solar Genoveva (1)
  • Verfaillie Gérard (1)
  • Veron Philippe (1)
  • Wolff Burkhart (1)
  • Wurtz Frédéric (1)
  • Yim Pascal (1)
  • Zechinelli-Martini Jose-Luis (1)
  • Zgaya Hayfa (1)
  • Zwolinski Peggy (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (46)
  • Sciences de l'ingénieur (45)
  • Physique (6)
  • Gestion et organisation de l'entreprise (5)
  • Informatique, information, généralités (4)
  • Fabrication industrielle (3)
  • Technologie (Sciences appliquées) (2)
  • Education et enseignement (1)
  • Langues et linguistique (1)
  • Sciences de la nature et mathématiques (1)
  • Mathématiques (1)
  • Bâtiments (1)
  • Urbanisme (1)
  • Photographie et les photographies, art numérique (1)

Domaines :

Fullscreen

106 thèses pour SysML

...Diagram.SysML SystemsModeling Language.UML UniiedModeling Language.XML Extensible Markup Language.xvii1Iǰ...

Accéder en ligne

...ofSysML blocks and to verify component compatibility. Finally, in Chapter 4, we present thecomponent...

Accéder en ligne

...the SysML4Modelica StereotypesSysML Base Class SysML4Modelica Modelica ConstructBlock Definition...

Accéder en ligne

...systems?• HowSysML can be combinedwithmodel-checking to provide formal verification ofsystem functional...

Accéder en ligne

Résultats 1 à 10