Knowledge Tree

researcher / Ioannis Parissis

Ioannis Parissis

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Test de logiciels synchrones spécifiés en Lustre

Directed Thesis:

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

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

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

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

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

Test fonctionnel de propriétés hybrides

Test automatique de programmes Lustre / SCADE

Test de logiciels synchrones avec la PLC

Critères de couverture structurelle pour les programmes Lustre

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