Étienne André
Has grant
Professor
FranceResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Étienne André is a Professor at Université Sorbonne Paris Nord Institut Galilée in France. His research focuses on formal methods, specifically in timed automata, verification of UML state machines, and parametric model checking. He has contributed to the field through various articles, including topics on hyper parametric timed CTL and automated synthesis for service composition.
Recent Grants
Grant: Close
ProMiS
Open Date: 2020-04-01
Close Date: 2023-04-01
Grant: Close
PACS
Open Date: 2014-10-01
Close Date: 2019-09-01
Grant: Close
HASUO Metamathematics for Systems Design Project
Open Date:
Close Date:
Articles (9)
Year:
2024
Year:
2023
Year:
2023
Year:
2023
Year:
2022
Year:
2022
Year:
2021
Year:
2021
Year:
2020
Collaborators (5)
Didier Lime
Professeur
Ecole centrale de Nantes
Jin Song Dong
National University of Singapore (NUS)
Masaki Waga
助教 / Assistant Professor
Kyoto University
Jun Sun
Professor
Singapore Management University
Dylan Marinho
Associate Professor
Sorbonne Université
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.