researcher / Claude Jard

Claude Jard

at_id:

orcid_id:

Disciplines:

Computer sciences
Mathematics
Edit Merge See Links

Directed Thesis:

Discrete Parameters in Petri Nets
Introduction de raisonnement probabiliste dans la méthode B événementiel
Spécification des objets partagés dans les systèmes répartis sans-attente
Analyses de performance et de stabilité des réseaux de télécommunication
Implementability of distributed systems described with scenarios
Gestion flexible de la Qualité de Service dans les orchestrations de services Web
Supervision of distributed systems using constrained unfoldings of timed models
Qualité de Services dans  les compositions des services Web
Langages de scénarios : utiliser des ordres partiels pour modéliser, vérifier et superviser des sytèmes parallèles et répartis
Un langage non déterministe pour l'écriture de scénarios de test
Symbolic Unfoldings of High-Level Petri Nets and Application to Supervision of Distributed Systems
Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données
Génie logiciel et méthodes formelles avec UML : : spécification, validation et génération de tests
Analyse des exigences des systèmes répartis exprimées par des langages de scénarios
Une algorithmique efficace pour la generation automatique de tests de conformite
Systeme de motifs pour l'expression et la parallelisation des traitements d'enumerations dans un contexte de genie logiciel
Suivi de pannes par correlation causale d'alarmes dans les systemes repartis : application aux reseaux de telecommunication
L'analyse d'exécutions réparties en utilisant la théorie de l'ordre