Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Katell Morin-Allory
Katell Morin-Allory
at_id:
orcid_id:
Disciplines:
Computer sciences
Industrial engineering
Edit
Merge
See Links
Thesis:
Vérification formelle dans le modèle polyédrique
Directed Thesis:
Méthode de modélisation et de raffinement pour les systèmes hétérogènes. Illustration avec le langage System C-AMS
Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones
Analyse et amélioration de la robustesse des circuits asynchrones QDI