Étienne André

Cited by

	All	Since 2019
Citations	2058	1087
h-index	25	18
i10-index	68	43

260

130

195

200820092010201120122013201420152016201720182019202020212022202320247 26 36 58 51 127 107 127 118 129 153 176 157 196 184 255 103

Public access

View all

41 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 LinAssistant Professor, Nanyang Technological UniversityVerified email at ntu.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
" Verification of infinite state and real time systems É André, F Fioravanti, F Forni, L Fribourg, A Pettorossi, M Proietti
1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013) L Fribourg, WN Chin, S Vanit-Anunchai, É André, VA Paun, B Monsuez, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2013		2013
2014 Index IEEE Transactions on Software Engineering Vol. 40 E Andre, G Antoniol, W Araujo, V Arnaoudova, C Artho, D Athanasiou, ... IEEE Transactions on Software Engineering 41 (1), 105, 2015		2015
2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS)\| 978-1-7281-8558-3/20/$31.00© 2020 IEEE\| DOI: 10.1109/ICECCS51672. 2020.00033 M Anderson, É André, P Arcaini, G Bai, K Biswas, H Bride, I Buzhinsky, ...
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)\| 979-8-3503-4004-4/23/$31.00© 2023 IEEE\| DOI: 10.1109/ICECCS59891. 2023.00035 É André, P Arcaini, S Baarir, G Bai, JP Baudeveix, P Bellini, C Benzaïd, ...
2nd International Workshop on Synthesis of Complex Parameters É André, G Frehse		2015
2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) E André, G Frehse Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015		2015
A benchmark library for parametric timed model checking A Étienne arXiv preprint arXiv:1812.08441, 2018		2018
A benchmark library for parametric timed model checking É André International Workshop on Formal Techniques for Safety-Critical Systems, 75-83, 2018	14	2018
A benchmarks library for extended parametric timed automata É André, D Marinho, J van de Pol International Conference on Tests and Proofs, 39-50, 2021	18	2021
A benchmarks library for parametric timed model checking É André Sixth International Workshop on Formal Techniques for Safety-Critical …, 2018		2018
A counterexample-based incremental and modular verification approach É André, K Klai, H Ochi, L Petrucci Large-Scale Complex IT Systems. Development, Operation and Management: 17th …, 2012	7	2012
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	67	2013
A Formal Semantics for the Complete Syntax of UML State Machines with Communications (Report) S Liu, Y Liu, E André, C Choppy, J Sun, B Wadhwa, JS Dong		2013
A Generalisation Method for Parametric Timed Automata É André, T Chatain, E Encrenaz, L Fribourg
A modular approach for reusing formalisms in verification tools of concurrent systems É André, B Barbot, C Démoulins, LM Hillah, F Hulin-Hubard, F Kordon, ... Formal Methods and Software Engineering: 15th International Conference on …, 2013	13	2013
A trivial yet open synthesis problem É André		2023
A unified formalism for monoprocessor schedulability analysis under uncertainty É André International Workshop on Automated Verification of Critical Systems, 100-115, 2017	6	2017
Abreu, J., see Amft, O., Jan.--Mar. pp. 63-65. Amft, O., R. Medland, M. Foth, P. Petkov, J. Abreu, FC Pereira, P. Johnson, R. Brewer, J. Pierce, and E. Paulos," Smart Energy … E Andre, A Asif, J Bailenson, S Barbeau, RA Becker, D Bergman, ...
ACSD 2019 P Tsigas, É André, E Coquard

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