Étienne André

Cited by

	All	Since 2019
Citations	2174	1203
h-index	26	19
i10-index	69	45

300

150

225

200820092010201120122013201420152016201720182019202020212022202320247 26 36 58 51 127 106 127 118 129 153 176 157 196 184 290 183

Public access

View all

42 articles

1 article

available

not available

Based on funding mandates

Co-authors

Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSVerified email at lsv.fr
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Romain SoulatInput OutputVerified email at iohk.io
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceVerified email at ec-nantes.fr
emmanuelle encrenazassociate professor of computer science, University Pierre and Marie CurieVerified email at lip6.fr
Shang-Wei LinAssociate Professor, Singapore Institute of Technology (SIT)Verified email at singaporetech.edu.sg
Tian Huat TanIBMVerified email at ibm.com
Giuseppe LipariFull professor, University of LilleVerified email at univ-lille.fr
Youcheng SunLecturer, University of ManchesterVerified email at manchester.ac.uk
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
Ulrich KühneTélécom ParisTechVerified email at telecom-paristech.fr
Kais Klaimaître de conférence, HDR, paris 13Verified email at lipn.univ-paris13.fr
Lom HillahLaboratoire d'informatique de Paris 6Verified email at lip6.fr
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Benoît BarbotLACL, Université Paris-Est CréteilVerified email at lacl.fr
Gianna ReggioDIBRIS - University of Genova, ItalyVerified email at unige.it

Étienne André

Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France

Verified email at univ-paris13.fr - Homepage

Computer science Formal methods model checking verification of real-time systems parameter synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An inverse method for parametric timed automata É André, T Chatain, L Fribourg, E Encrenaz International Journal of Foundations of Computer Science 20 (05), 819-836, 2009	136	2009
IMITATOR 2.5: A tool for analyzing robustness in scheduling problems É André, L Fribourg, U Kühne, R Soulat International Symposium on Formal Methods, 33-36, 2012	126	2012
Modeling and verifying hierarchical real-time systems using stateful timed CSP J Sun, Y Liu, JS Dong, Y Liu, L Shi, É André ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-29, 2013	100	2013
What’s decidable about parametric timed automata? É André International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019	88	2019
A formal semantics for complete UML state machines with communications S Liu, Y Liu, E André, C Choppy, J Sun, B Wadhwa, JS Dong Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013	68	2013
IMITATOR 3: Synthesis of timing parameters beyond decidability É André International Conference on Computer Aided Verification, 552-565, 2021	54	2021
Automated runtime recovery for QoS-based service composition TH Tan, M Chen, É André, J Sun, Y Liu, JS Dong Proceedings of the 23rd international conference on World wide web, 563-574, 2014	44	2014
Language preservation problems in parametric timed automata É André, D Lime, N Markey Logical Methods in Computer Science 16, 2020	42	2020
Learning assumptions for compositionalverification of timed systems SW Lin, É André, Y Liu, J Sun, JS Dong IEEE Transactions on Software Engineering 40 (2), 137-153, 2013	39	2013
The Inverse Method: Parametric Verification of Real-time Unbedded Systems É André, R Soulat John Wiley & Sons, 2013	38	2013
Behavioral cartography of timed automata É André, L Fribourg International Workshop on Reachability Problems, 76-90, 2010	38	2010
Observer patterns for real-time systems É André 2013 18th International Conference on Engineering of Complex Computer …, 2013	34	2013
An efficient algorithm for learning event-recording automata SW Lin, É André, JS Dong, J Sun, Y Liu Automated Technology for Verification and Analysis: 9th International …, 2011	33	2011
Parametric analyses of attack-fault trees É André, D Lime, M Ramparison, M Stoelinga Fundamenta Informaticae 182 (1), 69-94, 2021	32	2021
IMITATOR: A tool for synthesizing constraints on timing bounds of timed automata É André International Colloquium on Theoretical Aspects of Computing, 336-342, 2009	32	2009
What’s decidable about parametric timed automata? É André International Workshop on Formal Techniques for Safety-Critical Systems, 52-68, 2015	31	2015
IMITATOR II: A tool for solving the good parameters problem in timed automata É André arXiv preprint arXiv:1011.0223, 2010	31	2010
Offline timed pattern matching under uncertainty É André, I Hasuo, M Waga 2018 23rd International Conference on Engineering of Complex Computer …, 2018	30	2018
Decision problems for parametric timed automata É André, D Lime, OH Roux Formal Methods and Software Engineering: 18th International Conference on …, 2016	30	2016
Parametric schedulability analysis of fixed priority real-time distributed systems Y Sun, R Soulat, G Lipari, É André, L Fribourg Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014	30	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors