Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Jean-Michel Couvreur
Jean-Michel Couvreur
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
Extension des methodes de calcul de flots pour les reseaux de petri de haut niveau. Application a la validation d'algorithmes distribues
Directed Thesis:
Static Analysis for BSPlib Programs
Analyse du capitalisme social sur Twitter
Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés
Allocation sûre dans les systèmes aéronautiques : modélisation, vérification et génération