Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Grenoble Alpes (ComUE) (8)
  • Paris, CNAM (6)
  • Paris 6 (4)
  • Besançon (3)
  • Ecole centrale de Lille (3)
  • Nancy 1 (3)
  • Toulouse, INPT (3)
  • Université de Lorraine (3)
  • Cachan, Ecole normale supérieure (2)
  • Lorient (2)
  • Lyon (2)
  • Toulouse, INSA (2)
  • Université Côte d'Azur (ComUE) (2)
  • Belfort-Montbéliard (1)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)
  • Chennai Mathematical Institute (1)
  • Clermont Auvergne (1)
  • Compiègne (1)
  • Dijon (1)
  • Ecole centrale de Nantes (1)
  • Evry, Institut national des télécommunications (1)
  • Grenoble (1)
  • Grenoble INPG (1)
  • Institut polytechnique de Paris (1)
  • Limoges (1)
  • Mulhouse (1)
  • Nantes (1)
  • Orléans (1)
  • Poitiers (1)
  • Rennes 1 (1)
  • Rennes, École normale supérieure (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, ISAE (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université Libanaise (Liban) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université de Sfax (Tunisie) (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (47)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Stic (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Automatique et informatique industrielle (1)
  • Informatique et Télécommunications (1)
  • Informatique et applications (1)
  • Informatique et applications (1)
  • Informatique et mathématique (1)
  • Informatique et mathématiques appliquées (1)
  • Sciences appliquées (1)
  • Systèmes informatiques (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Informatique, télécommunications et électronique de Paris (9)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (8)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (5)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATHSTIC (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (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 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 technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Barkaoui Kamel (5)
  • Aït-Ameur Yamine (3)
  • Mateescu Radu (3)
  • Quinson Martin (3)
  • Toguyeni Abdoul Karim Armand (3)
  • Godart Claude (2)
  • Hammad Ahmed (2)
  • Kordon Fabrice (2)
  • Lang Frédéric (2)
  • Merz Stephan (2)
  • Mountassir Hassan (2)
  • Bendraou Reda (1)
  • Berruet Pascal (1)
  • Berthomieu Bernard (1)
  • Berthomé Pascal (1)
  • Bon Philippe (1)
  • Bouquet Fabrice (1)
  • Bourdeaud'huy Thomas (1)
  • Brunel Julien (1)
  • Calvary Gaëlle (1)
  • Cavalli Ana (1)
  • Chemouil David (1)
  • Cheutet Vincent (1)
  • Choppy Christine (1)
  • Chouali Samir (1)
  • Collart-Dutilleul Simon (1)
  • Contassot-Vivier Sylvain (1)
  • Cristea Valentin (1)
  • Delaune Stéphanie (1)
  • Desainte-Catherine Myriam (1)
  • Diguet Jean-Philippe (1)
  • Donsez Didier (1)
  • Dupuy-Chessa Sophie (1)
  • Falcone Yliès Carlo (1)
  • Gaaloul Walid (1)
  • Garavel Hubert (1)
  • Gechter Franck Joseph Aimé (1)
  • Gervais Marie-Pierre (1)
  • Ghazel Mohamed (1)
  • Girard Patrick (1)
  • Gonnord Laure (1)
  • Greiner Alain (1)
  • Gruer Juan Pablo (1)
  • Haddad Serge (1)
  • Hadj Kacem Ahmed (1)
  • Hajjar Mohammad (1)
  • Hassenforder Michel (1)
  • Hermant Olivier (1)
  • Hurault Aurélie (1)
  • Jamont Jean-Paul (1)
  • Jard Claude (1)
  • Jenn Éric (1)
  • Jéron Thierry (1)
  • Kellel Slim (1)
  • Koning Jean-Luc (1)
  • Kumar Narayan (1)
  • Lanet Jean-Louis (1)
  • Loulergue Frédéric (1)
  • Lussier Benjamin (1)
  • Madelaine Éric (1)
  • Mammar Amel (1)
  • Manceny Matthieu (1)
  • Mezghiche Mohamed (1)
  • Monsuez Bruno (1)
  • Mosbah Mohamed (1)
  • Motet Gilles (1)
  • Méhaut Jean-François (1)
  • Méry Dominique (1)
  • Nicolle Christophe (1)
  • Occello Michel (1)
  • Oquendo Flavio (1)
  • Pantel Marc (1)
  • Parissis Ioannis (1)
  • Pawlak Renaud (1)
  • Perrin Olivier (1)
  • Peureux Fabien (1)
  • Quéinnec Philippe (1)
  • Ramos Corchado Félix Francisco (1)
  • Rampacek Sylvain (1)
  • Rioboo Renaud (1)
  • Roux Olivier (1)
  • Roux Olivier Henri (1)
  • Rueda Camilo (1)
  • Salaün Gwen (1)
  • Salva Sébastien (1)
  • Schnoebelen Philippe (1)
  • Schön Walter (1)
  • Serwe Wendelin Bernhard (1)
  • Simone Robert de (1)
  • Tatibouet Bruno (1)
  • Verdier François (1)
  • Vernadat François B. (1)
  • Vivien Frédéric (1)
  • Wang Tao (1)
  • Zaïdi Fatiha (1)
  • Zendra Olivier (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (53)
  • Sciences de l'ingénieur (10)
  • Informatique, information, généralités (3)
  • Mathématiques (2)
  • Commerce, communications, transports (1)
  • Technologie (Sciences appliquées) (1)
  • Gestion et organisation de l'entreprise (1)

Domaines :

Fullscreen

64 thèses pour Promela/ SPIN

...verify properties with the model-checker SPIN. Table 7.1 shows the Promela representation of themain...

Accéder en ligne

...1: Mapping between SMD and PromelaSysML/SMD Promela/SpinObject ProctypeInstance Variable Variable...

Accéder en ligne

...propriétés de cohérence d'un workflow net. Avant d'interroger SPIN, une1234.3. UN MODÈLE PROMELA DES PROCESSUS...

Accéder en ligne

...are routinely using SPIN[RH04].Since Promela is a modeling language, clearly not all features of INI...

Accéder en ligne

...equivalent Promela code.Promela is the input language of the model-checker SPIN [39]. It provides a...

Accéder en ligne
Informatique

Soutenue le 11-12-2012
thèse soutenue

...langage PROMELA (langage d’entrée du model checker SPIN) et en langage SMV (langage d’entrée du model...

Accéder en ligne

Résultats 1 à 10