Étienne André

Dikutip oleh

	Semua	Sejak 2020
Kutipan	2317	1126
indeks-h	27	18
indeks-i10	70	40

300

150

225

2008200920102011201220132014201520162017201820192020202120222023202420257 27 36 58 52 129 105 128 124 121 157 207 161 215 207 288 238 10

Akses publik

Lihat semua

47 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Sun JunProfessor of SCIS, SMUEmail yang diverifikasi di smu.edu.sg
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSEmail yang diverifikasi di lsv.fr
Didier LimeÉcole Centrale de NantesEmail yang diverifikasi di ec-nantes.fr
Jin Song DongProfessor of Computer Science, National University of SingaporeEmail yang diverifikasi di nus.edu.sg
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Email yang diverifikasi di lipn.univ-paris13.fr
Yang LiuNanyang Technological UniversityEmail yang diverifikasi di ntu.edu.sg
Romain SoulatInput OutputEmail yang diverifikasi di iohk.io
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceEmail yang diverifikasi di ec-nantes.fr
emmanuelle encrenazassociate professor of computer science, University Pierre and Marie CurieEmail yang diverifikasi di lip6.fr
Shang-Wei LINAssociate Professor, Singapore Institute of Technology (SIT)Email yang diverifikasi di singaporetech.edu.sg
Giuseppe LipariFull professor, University of LilleEmail yang diverifikasi di univ-lille.fr
Youcheng SunLecturer, University of ManchesterEmail yang diverifikasi di manchester.ac.uk
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéEmail yang diverifikasi di lip6.fr
Kais Klaimaître de conférence, HDR, paris 13Email yang diverifikasi di lipn.univ-paris13.fr
Ulrich KühneTélécom ParisTechEmail yang diverifikasi di telecom-paristech.fr
Lom HillahLaboratoire d'informatique de Paris 6Email yang diverifikasi di lip6.fr
Jeremy SprostonAssistant professor, University of TurinEmail yang diverifikasi di di.unito.it
Benoît BarbotLACL, Université Paris-Est CréteilEmail yang diverifikasi di lacl.fr
Gianna ReggioDIBRIS - University of Genova, ItalyEmail yang diverifikasi di unige.it
Tian Huat TanAmerican Express

Ikuti

Étienne André

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

Email yang diverifikasi di univ-paris13.fr - Beranda

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


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	143	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	132	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	103	2013
What’s decidable about parametric timed automata? É André International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019	99	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	67	2013
IMITATOR 3: Synthesis of timing parameters beyond decidability É André International Conference on Computer Aided Verification, 552-565, 2021	62	2021
Language preservation problems in parametric timed automata É André, D Lime, N Markey Logical Methods in Computer Science 16, 2020	47	2020
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	41	2014
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	41	2013
Parametric analyses of attack-fault trees É André, D Lime, M Ramparison, M Stoelinga Fundamenta Informaticae 182 (1), 69-94, 2021	40	2021
The Inverse Method: Parametric Verification of Real-time Unbedded Systems É André, R Soulat John Wiley & Sons, 2013	39	2013
Behavioral cartography of timed automata É André, L Fribourg International Workshop on Reachability Problems, 76-90, 2010	38	2010
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	37	2011
Observer patterns for real-time systems É André 2013 18th International Conference on Engineering of Complex Computer …, 2013	35	2013
IMITATOR: A tool for synthesizing constraints on timing bounds of timed automata É André International Colloquium on Theoretical Aspects of Computing, 336-342, 2009	33	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	32	2013
Offline timed pattern matching under uncertainty É André, I Hasuo, M Waga 2018 23rd International Conference on Engineering of Complex Computer …, 2018	31	2018
Decision problems for parametric timed automata É André, D Lime, OH Roux Formal Methods and Software Engineering: 18th International Conference on …, 2016	31	2016
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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama