SIGNALER une erreur


Patrick Sallé

Acteurs  Assistants de preuve  Aéronautique -- Instruments  Bases de données  Bases de données orientées objet  Calcul d'acteurs primitifs  Calcul de processus  Compilation optimisée  Conception assistée par ordinateur  Coq  DO-178C  Didacticiels  Développement prouvé  Enseignement assisté par ordinateur  Ergonomie  Erlang  Espace extra-atmosphérique -- Exploration  Expressivité  Fiabilité  Génie logiciel  Générateur de code  Génération automatique de code  Héritage  Implémentation ouverte  Informatique -- Gestion  Inférence  Ingénierie dirigée par les modèles  Interaction en éducation  Interprétation abstraite  Java  Lambda-calcul  Langages de programmation  Langages de programmation fonctionnelle  Langages de programmation orientés objet  Linéarité  Logiciel de commande de vol  Logiciels -- Vérification  Logique temporelle  Messages orphelins  Middleware  Ml-act  Modularité  Métamodélisation  Méthodologie  Performances  Petri, Réseaux de  Placement  Programmation automatique  Programmation orientée objets  Pédagogie par objectifs  Représentation des connaissances  Réflexivité  Réseaux logiques programmables  Simulation de modèles  Simulation par ordinateur  Simulation, Méthodes de  Simulink  Structures de données  Systèmes conversationnels  Systèmes de télécommunications  Systèmes embarqués  Systèmes experts  Systèmes homme-machine  Systèmes informatiques -- Mise en oeuvre  Sémantique comportementale  Séparation des niveaux  Technique des plasmas  Traitement réparti  Typage  Vérication formelle  Vérification de modèles  

Patrick Sallé a dirigé les 18 thèses suivantes :

Processus et outils qualifiables pour le développement de systèmes critiques certifiés en avionique basés sur la génération automatique de code

par Ricardo Bedin França sous la direction de Patrick Sallé et de Marc Pantel . - Toulouse, INPT

Sûreté de logiciel et calcul de haute performance
Soutenue le 10-04-2012
Thèse soutenue

Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié

par Nassima Izerrouken sous la direction de Patrick Sallé - Toulouse, INPT

Sûreté Logiciel et Calcul Haute Performance
Soutenue le 06-07-2011
Thèse soutenue

Accéder en ligne

Analyse statistique d'un calcul d'acteurs par interprétation abstraite

par Pierre-Loïc Garoche sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 2008
Thèse soutenue

Accéder en ligne

Approche de métamodélisation pour la simulation et la vérification de modèle : application à l'ingénierie des procédés

par Benoît Combemale sous la direction de Patrick Sallé et de Bernard Coulette . - Toulouse, INPT

Informatique
Soutenue en 2008
Thèse soutenue

Accéder en ligne

Une plateforme réflexive ouverte pour la gestion d'applications concurrentes réparties à base d'acteurs

par Laetitia Bray sous la direction de Patrick Sallé - Toulouse 3

Informatique
Soutenue en 2003
Thèse soutenue

Analyse statique de la communication dans un langage d'acteur fonctionnel

par Matthias Colin sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 2002
Thèse soutenue

Vérification statique de programmes répartis

par Fabien Dagnat sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 2001
Thèse soutenue

Accéder en ligne

Etude et implantation de mecanismes reflexifs dans un langage concurrent

par FREDERIC MIGEON sous la direction de Patrick Sallé - Toulouse 3

Sciences et techniques
Soutenue en 1999
Thèse soutenue

Analyses statiques d'un calcul d'acteurs par typage

par Jean-Louis Colaço sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 1997
Thèse soutenue

Modélisation par objets de systèmes complexes dans le cadre d'applications scientifiques spatiales : introduction de la notion de version dans un modèle objet multivue

par Anne-Sophie Decooninck sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 1994
Thèse soutenue

Représentation et transformation : un modèle de la réutilisabilité pour les langages fonctionnels à objets

par Marc Pantel sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 1994
Thèse soutenue

La GDAO (Gestion Didactique Assistée par Ordinateur) : un modèle informatisé d'aide à la recherche de stratégies pédagogiques et à la production de connaissances sur la décision didactique

par Stéphane Adaliz sous la direction de Patrick Sallé - Toulouse 3

Informatique
Soutenue en 1993
Thèse soutenue

Représentation orientée objet de système opérationnel avec application au domaine spatial

par Nathalie Carn sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 1992
Thèse soutenue

La cooperation entre systemes experts et systemes de gestion de bases de donnees : l'optimisation des performances d'un systeme expert accedant a une base de faits volumineuse

par Chihab Hanachi sous la direction de Patrick Sallé - Toulouse 3

Sciences appliquées
Soutenue en 1991
Thèse soutenue

Modélisation des connaissances méthodologiques en développement de projets logiciels : application : prototype d'un système expert didactique en génie logiciel

par Ridha Medallel sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 1990
Thèse soutenue

Application de la méthodologie acteur à la simulation discrète et intégration d'un modèle du temps à un interprète plasma

par Alain Senteni sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 1989
Thèse soutenue

Ciel : Classes et Instances En Logique

par Marcel Gandriau sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 1988
Thèse soutenue

Conception d'applications conversationnelles adaptée à l'utilisateur

par Marie-France Barthet sous la direction de Patrick Sallé - Toulouse, INPT

Informatique
Soutenue en 1986
Thèse soutenue

ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales