Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Janine Magnier
Janine Magnier a rédigé la thèse suivante :
Représentation symbolique et vérification formelle de machines séquentielles
par Janine Magnier sous la direction de Norbert Giambiasi - Montpellier 2
Sciences
Soutenue en 1990
Janine Magnier a dirigé les 8 thèses suivantes :
La méthode MoFoV : aide à la conception des systèmes hétérogènes
par Frédérick Bénaben sous la direction de Janine Magnier - Montpellier 2
Automatique, traitement du signal et génie informatique
Soutenue en 2001
Définition d'un modèle de propriété et proposition d'un langage de spécification associé : LUSP
par Elyes Lamine sous la direction de Janine Magnier - Montpellier 2
Automatique, traitement du signal et génie informatique
Soutenue en 2001
Méthode du groupement par soustraction pour l'identification de modèle flou : amélioration et application à la prévision de la polution atmosphérique
par Nicolas Peton sous la direction de Janine Magnier - Montpellier 2
Automatique, traitement du signal et génie informatique
Soutenue en 1999
Etude des systèmes dynamiques pour l'analyse, la prédiction et la surveillance des systèmes de production
par Raynald Gérault sous la direction de Janine Magnier - Montpellier 2
Automatique, traitement du signal et génie informatique
Soutenue en 1998
Commande par réseaux de neurones : application au contrôle d'un préhenseur électropneumatique
par Pierre Couturier sous la direction de Maurice Bétemps et de Janine Magnier . - Lyon, INSA
Automatique industrielle
Soutenue en 1997
La Machine Séquentielle Interprétée : un modèle à états pour la représentation discrète et la vérification de systèmes
par Eric Vandermeulen sous la direction de Janine Magnier - Montpellier 2
Automatique, traitement du signal et génie informatique
Soutenue en 1996
Gestion de la condition de chemin dans la simulation symbolique
par Mireille Larnac sous la direction de Janine Magnier - Montpellier 2
Composants, signaux et systèmes
Soutenue en 1992
Simulation symbolique de descriptions comportementales de circuits digitaux
par Rémy Rogacki sous la direction de Janine Magnier - Montpellier 2
Composants, signaux et systèmes
Soutenue en 1992
