Adaptation  Algorithmes d'approximation  Analyse statistique  Approche synchrone  Approximation  Architecture  Architecture logicielle  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 et Localisation Simultanées  Check-lists  Collaboration  Combinaison d'analyse  Composant  Consommation d’énergie  Contrôleurs synchrones  Correction d’erreurs  Corruption de mémoire  Couverture  Couverture de code  Critères de couverture  Crowdsourcing  Diagnostic  Domotique  Décodeur numérique  Environnement programmation  Environnements normés  Essai  Exigences règlementaires  Framework  Fusion entière  Graphes orientés  Génie Logiciel  Génie logiciel  Génération automatique de données de test  Génération automatique test  Génération de tests aléatoire  Génération de tests à partir de modèles,  Ihm  Image  Informatique autonome  Informatique autonomique  Informatique, automatique théorique, systèmes  Ingénierie des exigences  Ingénierie dirigée par les modèles  Intelligence artificielle  Interfaces utilisateur  Intégrité du flot d’exécution  IoMT  LUSTRE  Langages de programmation -- Sémantique  Langages formels  Lnt  Logiciel  Logiciels -- Développement  Logiciels -- Validation  Logiciels -- Vérification  Lustre  Middleware RFID  Model-cheking régulier  Modèle d'essai  Modèles algébriques  Modélisation Orientée Aspects  Modélisation des données  Méthodes formelles  Normes  OCL  Oracle  Paralellisation  Pouveur SMT  Preuve de programmes  Problème de Satisfaction de Contraintes  Program test  Program verification  Programmation logique  Programmation logique contrainte  Programmation logique par contraintes  Programmation par contraintes  Programming environment  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  Sciences appliquées  Services  Simulation  Software  Software engineering  Solveur CSP  Solveurs  Statistique  Stratégies de génération de tests  Synchrone  Synchronous  Système GALS  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 programme  Test structurel  Test unitaire  Test à base de Contraintes  Test à base de Modèles  Tests de conformité  Tests de logiciels  Tests fonctionnels  Tolérance aux fautes  Tolérance aux fautes  UML  Validation  Verification programme  Vérification  Vérification de modèles  Vérification de programmes  

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


Ioannis Parissis dirige actuellement les 3 thèses suivantes :

Informatique
En préparation depuis le 01-11-2020
Thèse en préparation

Nano electronique et nano technologies
Soutenue le 16-10-2020
Thèse en préparation


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


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


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

Informatique et Télécommunications
Soutenue le 11-07-2019
Thèse soutenue