Seguir
Étienne André
Étienne André
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Dirección de correo verificada de univ-paris13.fr - Página principal
Título
Citado por
Citado por
Año
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
1332009
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
1232012
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
982013
What’s decidable about parametric timed automata?
É André
International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019
802019
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
682013
IMITATOR 3: Synthesis of timing parameters beyond decidability
É André
International Conference on Computer Aided Verification, 552-565, 2021
442021
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
432014
Language preservation problems in parametric timed automata
É André, D Lime, N Markey
Logical Methods in Computer Science 16, 2020
392020
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
382013
The Inverse Method: Parametric Verification of Real-time Unbedded Systems
É André, R Soulat
John Wiley & Sons, 2013
382013
Behavioral cartography of timed automata
É André, L Fribourg
International Workshop on Reachability Problems, 76-90, 2010
382010
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
332011
IMITATOR: A tool for synthesizing constraints on timing bounds of timed automata
É André
International Colloquium on Theoretical Aspects of Computing, 336-342, 2009
322009
What’s decidable about parametric timed automata?
É André
International Workshop on Formal Techniques for Safety-Critical Systems, 52-68, 2015
312015
Offline timed pattern matching under uncertainty
É André, I Hasuo, M Waga
2018 23rd International Conference on Engineering of Complex Computer …, 2018
302018
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
302013
IMITATOR II: A tool for solving the good parameters problem in timed automata
É André
arXiv preprint arXiv:1011.0223, 2010
302010
Observer patterns for real-time systems
É André
2013 18th International Conference on Engineering of Complex Computer …, 2013
292013
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
282014
Parametric analyses of attack-fault trees
É André, D Lime, M Ramparison, M Stoelinga
2019 19th International Conference on Application of Concurrency to System …, 2019
272019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20