Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (10)
  • Besançon (6)
  • Toulouse 3 (5)
  • Université de Lorraine (4)
  • Châtenay-Malabry, Ecole centrale de Paris (3)
  • Grenoble (3)
  • Mulhouse (3)
  • Clermont-Ferrand 2 (2)
  • Dijon (2)
  • Lorient (2)
  • Nancy 1 (2)
  • Orléans (2)
  • Paris 11 (2)
  • Paris Est (2)
  • Toulouse, ISAE (2)
  • Université de Sfax (2)
  • Aix-Marseille (1)
  • Bordeaux (1)
  • Brest (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)
  • Evry, Institut national des télécommunications (1)
  • Grenoble Alpes (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, INSA (1)
  • Nice (1)
  • Paris, ENSAM (1)
  • Paris, Télécom ParisTech (1)
  • Rennes 1 (1)
  • Strasbourg (1)
  • Supélec (1)
  • Toulon (1)
  • Toulouse, INPT (1)
  • Universidade de São Paulo (Brésil) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sherbrooke (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université du Luxembourg (1)
  • École nationale d'Ingénieurs de Sfax (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (20)
  • Sciences et technologies industrielles (7)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (4)
  • Sciences pour l'ingénieur (3)
  • Génie industriel (2)
  • Génie mécanique (2)
  • Stic (2)
  • Automatique (1)
  • Automatique, Traitement du Signal, Génie Informatique (1)
  • Automatique, productique, signal et image, ingénierie cognitique (1)
  • Automatique, traitement du signal et images (1)
  • Conception de circuits microélectroniques et microsystèmes (1)
  • Electronique et communications (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 et applications (1)
  • Informatique industrielle et automatique (1)
  • Instrumentation et informatique de l'image (1)
  • Réseaux, télécom, système et architecture (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)
  • 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)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (6)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (5)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (4)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (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)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • 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 des métiers de l'ingénieur (Paris) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne) (1)
  • IAEM Lorraine (1)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (1)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (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) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences et Ingénierie (2008-2015 ; Evry) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques - S2IM (Limoges) (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 Systèmes (Toulouse) (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 ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (41)
  • anglais (19)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Choley Jean-Yves (4)
  • Morel Gérard (4)
  • Hammad Ahmed (3)
  • Mountassir Hassan (3)
  • Rivière Alain (3)
  • Soriano Thierry (3)
  • Bouquet Fabrice (2)
  • Chouali Samir (2)
  • Iung Benoît (2)
  • Kratz Frédéric (2)
  • Laleau Régine (2)
  • Nakagawa Elisa Yumi (2)
  • Ober Iulian Sorin (2)
  • Oquendo Flavio (2)
  • Peureux Fabien (2)
  • Apvrille Ludovic (1)
  • Bajic Eddy (1)
  • Basset Michel (1)
  • Baudry Benoit (1)
  • Bellatreche Ladjel (1)
  • Ben Amar Chokri (1)
  • Boulanger Frédéric (1)
  • Bourennane El-Bay (1)
  • Bozga Dorel Marius (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)
  • Choquet Christophe (1)
  • Coulibaly Amadou (1)
  • Demmou Hamid (1)
  • Dupuy-Chessa Sophie (1)
  • Estève Daniel (1)
  • Ferrarini Alain (1)
  • Foufou Sebti (1)
  • Gérard Sébastien (1)
  • Hugues Jérôme (1)
  • Kadima Hubert (1)
  • Khouri Selma (1)
  • Kouiss Khalid (1)
  • Labbani Ouassila (1)
  • Laforcade Pierre (1)
  • Lanet Jean-Louis (1)
  • Larouci Cherif (1)
  • Lartigue Claire (1)
  • Levrat Eric (1)
  • Louati Louati.ttg@gmail.tn (1)
  • Maler Oded (1)
  • Mallet Frédéric (1)
  • Méry Dominique (1)
  • Navet Nicolas (1)
  • Ober Ileana (1)
  • Oubahssi Lahcen (1)
  • Ouslimani Achour (1)
  • Pacalet Renaud (1)
  • Paludetto Mario (1)
  • Penas Olivia (1)
  • Percebois Christian (1)
  • Petin Jean-François (1)
  • Querrec Ronan (1)
  • Rauzy Antoine (1)
  • Ray Pascal (1)
  • Rieu Dominique (1)
  • Riviere Alain (1)
  • Sadou Nabil (1)
  • Sahraoui Abd-El-Kader (1)
  • Saqui-Sannes Pierre de (1)
  • Sauce Gérard (1)
  • Seguin Christel (1)
  • Shawky Mohamed (1)
  • Tatibouet Bruno (1)
  • Terrier François (1)
  • Theilliol Didier (1)
  • Thirion Bernard (1)
  • Vallespir Bruno (1)
  • Verfaillie Gérard (1)
  • Wolff Burkhart (1)
  • Zwolinski Peggy (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (31)
  • Sciences de l'ingénieur (29)
  • Physique (5)
  • Informatique, information, généralités (3)
  • Gestion et organisation de l'entreprise (2)
  • Education et enseignement (1)
  • Langues et linguistique (1)
  • Sciences de la nature et mathématiques (1)
  • Mathématiques (1)
  • Technologie (Sciences appliquées) (1)
  • Fabrication industrielle (1)
  • Bâtiments (1)
  • Urbanisme (1)

Domaines :

Fullscreen

68 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

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

Accéder en ligne

Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation

par Jean-marie Gauthier sous la direction de Fabrice Bouquet, Ahmed Hammad et de Fabien Peureux. - Besançon

Informatique

Soutenue le 19-11-2015
thèse en cours de préparation

Résultats 1 à 10