关注
Étienne André
Étienne André
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
在 univ-paris13.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
1362009
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
1272012
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
1022013
What’s decidable about parametric timed automata?
É André
International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019
902019
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
692013
IMITATOR 3: Synthesis of timing parameters beyond decidability
É André
International Conference on Computer Aided Verification, 552-565, 2021
582021
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
442014
Language preservation problems in parametric timed automata
É André, D Lime, N Markey
Logical Methods in Computer Science 16, 2020
432020
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
392013
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
Parametric analyses of attack-fault trees
É André, D Lime, M Ramparison, M Stoelinga
Fundamenta Informaticae 182 (1), 69-94, 2021
372021
Observer patterns for real-time systems
É André
2013 18th International Conference on Engineering of Complex Computer …, 2013
342013
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
342011
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
IMITATOR II: A tool for solving the good parameters problem in timed automata
É André
arXiv preprint arXiv:1011.0223, 2010
312010
Offline timed pattern matching under uncertainty
É André, I Hasuo, M Waga
2018 23rd International Conference on Engineering of Complex Computer …, 2018
302018
Decision problems for parametric timed automata
É André, D Lime, OH Roux
Formal Methods and Software Engineering: 18th International Conference on …, 2016
302016
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
302014
系统目前无法执行此操作，请稍后再试。
文章 1–20