Knowledge Tree

researcher / Yves Ledru

Yves Ledru

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

ParTraP : un langage pour la spécification et vérification à l'exécution de propriétés paramétriques

Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information

Filtering and reduction techniques of combinatorial tests

Spécification et animation de modèles de conception de la sécurité avec Z

B/uml : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B

Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire

Les schémas de test : une abstraction pour la génération de tests de conformité et pour la mesure de couverture

Architecture logicielle : une expérimentation industrielle avec Dassault Systèmes

Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information