Adaptation  Algorithmes d'approximation  Analyse statistique  Approche synchrone  Approximation  Architecture  Architecture logicielle  Arithmétique en virgule flottante  Artefact de bruit  Artefact de flou  Auto-gestion  Auto-organisation  Automates de modes  Automates programmables  Automatic test generation  Bases de données Orientées Graphes  Capteur  Cartographie  Cartographie et Localisation Simultanées  Check-lists  Collaboration  Combinaison d'analyse  Composant  Consommation d’énergie  Diagnostic  Génie logiciel  Informatique autonomique  Ingénierie dirigée par les modèles  LUSTRE  Logiciels -- Développement  Logiciels -- Vérification  Programmation logique  Programmation par contraintes  Réseaux de capteurs  Test  Validation  

Ioannis Parissis a rédigé la thèse suivante :

Test de logiciels synchrones spécifiés en Lustre

par Ioannis Parissis sous la direction de Farid Ouabdesselam - Grenoble 1

Informatique

Soutenue en 1996

Ioannis Parissis dirige actuellement les 2 thèses suivantes :

MODÈLE DE TEST POUR LES TESTS D'APPLICATIONS MOBILES

par Binh Le sous la direction de Oum El Kheir Aktouf et de Ioannis Parissis . - Université Grenoble Alpes

Informatique

En préparation depuis le 01-11-2020

Approches, Stratégies, et Implémentations de Protections Mémoire dans les Systèmes Embarqués Critiques et Contraints.

par Cyril Bresch sous la direction de Ioannis Parissis et de David Hely . - Université Grenoble Alpes

Nano electronique et nano technologies

Soutenue le 16-10-2020

Ioannis Parissis a dirigé les 11 thèses suivantes :

Towards Environment Perception using Integer Arithmetic for Embedded Application

par Roxana Dia sous la direction de Suzanne Lesecq et de Ioannis Parissis . - Université Grenoble Alpes

Mathématiques et informatique

Soutenue le 19-06-2020

Etude de génération de tests à partir d'un modèle pour les systèmes GALS

par Lina Marsso sous la direction de Radu Mateescu et de Ioannis Parissis . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 10-12-2019

Contribution à la mise en oeuvre d’un outillage unifié pour faciliter la qualification d’environnements normés

par Anthony Gelibert sous la direction de Ioannis Parissis - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 27-10-2016

Génération automatique de test pour les contrôleurs logiques programmables synchrones

par Mouna Tka sous la direction de Ioannis Parissis - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 02-06-2016

Approches logicielles de sûreté de fonctionnement pour les systèmes RFID

par Rafik Kheddam sous la direction de Ioannis Parissis et de Oum-El-Kheir Aktouf . - Grenoble

Informatique

Soutenue le 09-04-2014

Détection et diagnostic des fautes dans des systèmes à base de réseaux de capteurs sans fils

par Dima Hamdan sous la direction de Ioannis Parissis et de Abbas Hijazi . - Grenoble

Informatique

Soutenue le 20-02-2013

Test fonctionnel de propriétés hybrides

par Yves Grasland sous la direction de Ioannis Parissis , Roland Groz et de Lydie du Bousquet . - Grenoble

Informatique

Soutenue le 15-02-2013

Test automatique de programmes Lustre / SCADE

par Virginia Papailiopoulou sous la direction de Farid Ouabdesselam et de Ioannis Parissis . - Grenoble

Informatique

Soutenue en 2010

Test de logiciels synchrones avec la PLC

par Besnik Seljimi sous la direction de Laurent Trilling et de Ioannis Parissis . - Grenoble 1

Informatique

Soutenue en 2009

Critères de couverture structurelle pour les programmes Lustre

par Abdesselam Lakehal sous la direction de Farid Ouabdesselam et de Ioannis Parissis . - Grenoble 1

Informatique

Soutenue en 2006

Génération automatique de cas de test guidée par les propriétés de sûreté

par Jérôme Vassy sous la direction de Farid Ouabdesselam et de Ioannis Parissis . - Grenoble 1

Informatique

Soutenue en 2004

Ioannis Parissis a été président de jury des 4 thèses suivantes :

Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision

par Raquel Araùjo de Oliveira sous la direction de Sophie Dupuy-Chessa et de Gaëlle Calvary . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 03-12-2015

Adaptation autonomique d'applications pervasives dirigée par les architectures

par Etienne Gandrille sous la direction de Philippe Lalanda et de Stéphanie Chollet . - Grenoble

Informatique

Soutenue le 12-12-2014

Détection et conciliation d'erreurs intégrées dans un décodeur vidéo : utilisation des techniques d'analyse statistique

par Brice Ekobo Akoa sous la direction de Emmanuel Simeu et de Fritz Lebowsky . - Grenoble

Nanoélectronique et nanotechnologie

Soutenue le 31-10-2014

Cube : a decentralised architecture-based framework for software self-management

par Bassem Debbabi sous la direction de Philippe Lalanda et de Ada Diaconescu . - Grenoble

Informatique

Soutenue le 28-01-2014

Ioannis Parissis a été rapporteur des 5 thèses suivantes :

Une couverture combinant tests et preuves pour la vérification formelle

par Viet Hoang Le sous la direction de Virginie Wiels et de Julien Signoles . - Toulouse, ISAE

Informatique et Télécommunications

Soutenue le 11-07-2019

Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem

par Nassim Benharrat sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 14-02-2018

Contributions à la vérification et à la validation efficaces fondées sur des modèles

par Alois Dreyfus sous la direction de Pierre-Cyrille Héam et de Olga Kouchnarenko . - Besançon

Informatique

Soutenue le 22-10-2014

Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes.

par Jérôme Cantenot sous la direction de Fabrice Bouquet - Besançon

Informatique

Soutenue le 13-11-2013

Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus,

par Christophe Junke sous la direction de Pascale Le Gall - Châtenay-Malabry, Ecole centrale de Paris

Informatique

Soutenue le 09-01-2012