Knowledge Tree

researcher / Jacques Julliand

Jacques Julliand

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests

Contributions à la génération de tests à partir d'automates à pile temporisés

Contribution à la vérification de programmes C par combinaison de tests et de preuves.

Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes

Contributions à la vérification incrémentale des systèmes temporisés à composants

Génération de tests à partir de statecharts fondée sur le calcul de comportements

Reformulation et vérification de propriétés temporelles dans le cadre du raffinement de systèmes d'évènements

Contribution à la définition d'un modèle de calcul fonctionnel paralèlle