Étienne André

Cited by

	All	Since 2017
Citations	1559	892
h-index	22	16
i10-index	48	31

200

100

150

2008200920102011201220132014201520162017201820192020202120227 23 40 48 46 130 103 121 120 122 135 192 159 177 92

Public access

View all

33 articles

1 article

available

not available

Based on funding mandates

Co-authors

Laurent FRIBOURGLSV - ENS Cachan & CNRSVerified email at lsv.ens-cachan.fr
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
Yang LiuUniversity Leadership Forum Chair Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Romain SoulatThales Research & TechnologyVerified email at thalesgroup.com
emmanuelle encrenazassociate professor of computer science, University Pierre and Marie CurieVerified email at lip6.fr
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceVerified email at ec-nantes.fr
Shang-Wei LinAssistant Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Tian Huat TanIBMVerified email at ibm.com
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
Ulrich KühneTélécom ParisTechVerified email at telecom-paristech.fr
Giuseppe LipariFull professor, University of LilleVerified email at univ-lille.fr
Youcheng SunLecturer, University of ManchesterVerified email at manchester.ac.uk
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
Benoît BarbotLACL, Université Paris-Est CréteilVerified email at lacl.fr
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
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	125	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	116	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	83	2013
What’s decidable about parametric timed automata? É André International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019	57	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 International Conference on Integrated Formal Methods, 331-346, 2013	54	2013
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	40	2014
Behavioral cartography of timed automata É André, L Fribourg International Workshop on Reachability Problems, 76-90, 2010	38	2010
The Inverse Method: Parametric Verification of Real-time Unbedded Systems É André, R Soulat John Wiley & Sons, 2013	37	2013
Language preservation problems in parametric timed automata N Markey, D Lime, É André Logical Methods in Computer Science 16, 2020	35	2020
An efficient algorithm for learning event-recording automata SW Lin, É André, JS Dong, J Sun, Y Liu International Symposium on Automated Technology for Verification and …, 2011	30	2011
What’s decidable about parametric timed automata? É André International Workshop on Formal Techniques for Safety-Critical Systems, 52-68, 2015	29	2015
IMITATOR II: A tool for solving the good parameters problem in timed automata É André arXiv preprint arXiv:1011.0223, 2010	29	2010
IMITATOR: A tool for synthesizing constraints on timing bounds of timed automata É André International Colloquium on Theoretical Aspects of Computing, 336-342, 2009	29	2009
Learning assumptions for compositionalverification of timed systems SW Lin, E André, Y Liu, J Sun, JS Dong IEEE Transactions on Software Engineering 40 (2), 137-153, 2013	27	2013
Dynamic synthesis of local time requirement for service composition TH Tan, É André, J Sun, Y Liu, JS Dong, M Chen 2013 35th International Conference on Software Engineering (ICSE), 542-551, 2013	27	2013
Liveness in L/U-parametric timed automata É André, D Lime 2017 17th International Conference on Application of Concurrency to System …, 2017	25	2017
Parametric schedulability analysis of fixed priority real-time distributed systems Y Sun, R Soulat, G Lipari, É André, L Fribourg International Workshop on Formal Techniques for Safety-Critical Systems, 212-228, 2013	25	2013
Decision problems for parametric timed automata É André, D Lime, OH Roux International Conference on Formal Engineering Methods, 400-416, 2016	24	2016
Parameter synthesis for hierarchical concurrent real-time systems É André, Y Liu, J Sun, JS Dong Real-Time Systems 50 (5), 620-679, 2014	24	2014
An inverse method for parametric timed automata É André, T Chatain, L Fribourg, E Encrenaz Electronic Notes in Theoretical Computer Science 223, 29-46, 2008	24	2008

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 this author

Cited by

Co-authors