Knowledge Tree

researcher / Thierry Jéron

Thierry Jéron

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Contribution a la validation des protocoles : test d'infinitude et verification a la volee

Directed Thesis:

Efficient state-space exploration for asynchronous distributed programs ˸ Adapting unfolding-based dynamic partial order reduction to MPI programs

Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques

Enforcement à l'éxécution de propriétés temporisées

Diagnostic, opacité et test de conformité pour des systèmes récursifs

Contribution à la vérification d'automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates

Génération automatique de tests pour modèles avec variables ou récursivité

Abstract lattices for the verification of systems with queues and stacks