Étienne André

Cited by

	All	Since 2016
Citations	1277	729
h-index	21	14
i10-index	42	25

200

100

150

200820092010201120122013201420152016201720182019202020217 23 40 47 46 128 103 128 120 125 154 190 132 4

Co-authors

Laurent FRIBOURGLSV - ENS Cachan & CNRSVerified email at lsv.ens-cachan.fr
jun sunAssociate Professor of SIS, SMUVerified email at smu.edu.sg
Yang LiuUniversity Leadership Forum Chair Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.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
Tian Huat TanIBMVerified email at ibm.com
Shang-Wei LinAssistant Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
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 SunQueen's University BelfastVerified email at qub.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	114	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	97	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	81	2013
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	47	2013
What’s decidable about parametric timed automata? É André International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019	39	2019
Behavioral cartography of timed automata É André, L Fribourg International Workshop on Reachability Problems, 76-90, 2010	36	2010
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	34	2014
The Inverse Method É André, R Soulat FOCUS series in computer engineering and information technology. ISTE Ltd …, 2013	33	2013
What’s decidable about parametric timed automata? É André International Workshop on Formal Techniques for Safety-Critical Systems, 52-68, 2015	28	2015
Language preservation problems in parametric timed automata É André, N Markey International Conference on Formal Modeling and Analysis of Timed Systems, 27-43, 2015	28	2015
IMITATOR II: A tool for solving the good parameters problem in timed automata É André arXiv preprint arXiv:1011.0223, 2010	28	2010
IMITATOR: A tool for synthesizing constraints on timing bounds of timed automata É André International Colloquium on Theoretical Aspects of Computing, 336-342, 2009	28	2009
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
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	26	2013
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	26	2011
Parameter synthesis for hierarchical concurrent real-time systems É André, Y Liu, J Sun, JS Dong Real-Time Systems 50 (5-6), 620-679, 2014	23	2014
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	23	2013
Formalizing non-concurrent UML state machines using colored Petri nets É André, C Choppy, K Klai ACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012	23	2012
An inverse method for parametric timed automata É André, T Chatain, L Fribourg, E Encrenaz Electronic Notes in Theoretical Computer Science 223, 29-46, 2008	23	2008
CosyVerif: An open source extensible verification environment É André, Y Lembachar, L Petrucci, F Hulin-Hubard, A Linard, L Hillah, ... 2013 18th International Conference on Engineering of Complex Computer …, 2013	22	2013

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

Upload PDF

Follow this author

Cited by

Co-authors