Knowledge Tree

researcher / Olga Kouchnarenko

Olga Kouchnarenko

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse

Directed Thesis:

Guider et contrôler les reconfigurations de systèmes à composants : Reconfigurations dynamiques : modélisation formelle et validation automatique

Vérification formelle de programmes de génération de données structurées

Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods

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

Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking

Schematic calculi for the analysis of decision procedures

Contributions à la spécificification et à la vérification des reconfigurations dynamiques dans les systèmes à composants

Approximations pour la vérification automatique de protocoles de sécurité

Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés