Adaptation  Algorithmes d'approximation  Analyse statistique  Approche synchrone  Approximation  Architecture  Architecture Matérielle  Architecture logicielle  Artefact de bruit  Artefact de flou  Auto-gestion  Auto-organisation  Automates de modes  Automates programmables  Bases de données Orientées Graphes  Check-lists  Collaboration  Composant  Consommation d’énergie  Contrôleurs synchrones  Correction d’erreurs  Couverture  Critères de couverture  Diagnostic  Domotique  Décodeur numérique  Environnements normés  Exigences règlementaires  Framework  Graphes orientés  Génie Logiciel  Génie logiciel  Génération automatique de données de test  Génération de tests aléatoire  Génération de tests à partir de modèles,  Ihm  Image  Informatique autonome  Informatique autonomique  Ingénierie des exigences  Ingénierie dirigée par les modèles  Intelligence artificielle  Interfaces utilisateur  Jeu d'instruction RISCV  LUSTRE  Langages formels  Lnt  Logiciels -- Développement  Logiciels -- Validation  Logiciels -- Vérification  Middleware RFID  Model-cheking régulier  Modèles algébriques  Modélisation Orientée Aspects  Modélisation des données  Méthodes formelles  Normes  OCL  Oracle  Paralellisation  Pouveur SMT  Problème de Satisfaction de Contraintes  Programmation logique  Programmation logique contrainte  Programmation logique par contraintes  Programmation par contraintes  Propriétés de sûreté  Protocole LLRP  Qualité visuelle  Relations d'équivalence  Réseau d'opérateurs  Réseau des capteurs  Réseaux de capteurs  Réseaux logiques programmables par l'utilisateur  Salles blanches  Salles d'opération  Services  Solveur CSP  Solveurs  Statistique  Stratégies de génération de tests  Système GALS  Système d'exploitation  Systèmes RFID  Systèmes d'identification par radiofréquence  Systèmes de Transition Symboliques Temporisés à Entrée Sortie  Systèmes embarqués  Systèmes hybrides  Systèmes réactifs sychrones  Systèmes, Analyse de  Sécurité  Sûreté de fonctionnement  Test logiciel  Test  Test Distribué Temporisé  Test Off-line  Test logiciel  Test structurel  Test à base de Contraintes  Test à base de Modèles  Tests de conformité  Tests fonctionnels  Tolérance aux fautes  Tolérance aux fautes  UML  Validation  Vérification  Vérification de modèles  

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


Ioannis Parissis dirige actuellement les 2 thèses suivantes :

Développement d'une architecture sécurisée sur jeu d'instruction RISC-V

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

Nano electronique et nano technologies
En préparation depuis le 04-09-2017
Thèse en préparation

Informatique
En préparation depuis le 29-09-2016
Thèse en préparation


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


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


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