Étienne André

Citée par

	Toutes	Depuis 2019
Citations	2174	1203
indice h	26	19
indice i10	69	45

300

150

225

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

Accès public

Tout afficher

42 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Sun JunProfessor of SCIS, SMUAdresse e-mail validée de smu.edu.sg
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSAdresse e-mail validée de lsv.fr
Jin Song DongProfessor of Computer Science, National University of SingaporeAdresse e-mail validée de nus.edu.sg
Didier LimeÉcole Centrale de NantesAdresse e-mail validée de ec-nantes.fr
Yang LiuNanyang Technological UniversityAdresse e-mail validée de ntu.edu.sg
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Adresse e-mail validée de lipn.univ-paris13.fr
Romain SoulatInput OutputAdresse e-mail validée de iohk.io
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceAdresse e-mail validée de ec-nantes.fr
emmanuelle encrenazassociate professor of computer science, University Pierre and Marie CurieAdresse e-mail validée de lip6.fr
Shang-Wei LinAssociate Professor, Singapore Institute of Technology (SIT)Adresse e-mail validée de singaporetech.edu.sg
Tian Huat TanIBMAdresse e-mail validée de ibm.com
Giuseppe LipariFull professor, University of LilleAdresse e-mail validée de univ-lille.fr
Youcheng SunLecturer, University of ManchesterAdresse e-mail validée de manchester.ac.uk
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéAdresse e-mail validée de lip6.fr
Ulrich KühneTélécom ParisTechAdresse e-mail validée de telecom-paristech.fr
Kais Klaimaître de conférence, HDR, paris 13Adresse e-mail validée de lipn.univ-paris13.fr
Lom HillahLaboratoire d'informatique de Paris 6Adresse e-mail validée de lip6.fr
Jeremy SprostonAssistant professor, University of TurinAdresse e-mail validée de di.unito.it
Benoît BarbotLACL, Université Paris-Est CréteilAdresse e-mail validée de lacl.fr
Gianna ReggioDIBRIS - University of Genova, ItalyAdresse e-mail validée de unige.it

Suivre

Étienne André

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

Adresse e-mail validée de univ-paris13.fr - Page d'accueil

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


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs