Graph explorer

Étienne André

Étienne André contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapÉtienne André
13 nodes12 links
Étienne André13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAÉtienne AndréResearcherWParameterized Verificat...preprint / 2024WExemplifying parametric...preprint / 2022WAutomated synthesis of ...preprint / 2020WIMITATOR II: A Tool for...preprint / 2010WProceedings 1st Interna...preprint / 2014WTranslating UML State M...preprint / 2014WTimed automata as a for...preprint / 2022WZone extrapolations in ...preprint / 2022WRobust optimal control ...preprint / 2020WGuaranteed phase synchr...preprint / 2020WToward Parametric Timed...preprint / 2014WParametric Schedulabili...preprint / 2013
PersonSignal 1012 links

Étienne André

Researcher

Open