| 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 | 128 | 2009 |
| IMITATOR 2.5: A tool for analyzing robustness in scheduling problems É André, L Fribourg, U Kühne, R Soulat FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 121 | 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 | 89 | 2013 |
| What’s decidable about parametric timed automata? É André International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019 | 67 | 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 | 61 | 2013 |
| 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 | 43 | 2014 |
| The Inverse Method: Parametric Verification of Real-time Unbedded Systems É André, R Soulat John Wiley & Sons, 2013 | 38 | 2013 |
| Language preservation problems in parametric timed automata N Markey, D Lime, É André Logical Methods in Computer Science 16, 2020 | 37 | 2020 |
| Behavioral cartography of timed automata É André, L Fribourg Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech …, 2010 | 37 | 2010 |
| 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 |
| IMITATOR: A tool for synthesizing constraints on timing bounds of timed automata É André Theoretical Aspects of Computing-ICTAC 2009: 6th International Colloquium …, 2009 | 30 | 2009 |
| What’s decidable about parametric timed automata? É André Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016 | 29 | 2016 |
| Learning assumptions for compositionalverification of timed systems SW Lin, E André, Y Liu, J Sun, JS Dong IEEE Transactions on Software Engineering 40 (2), 137-153, 2013 | 29 | 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 | 29 | 2011 |
| IMITATOR II: A tool for solving the good parameters problem in timed automata É André arXiv preprint arXiv:1011.0223, 2010 | 29 | 2010 |
| Liveness in L/U-parametric timed automata É André, D Lime 2017 17th International Conference on Application of Concurrency to System …, 2017 | 28 | 2017 |
| 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 | 27 | 2013 |
| Parameter synthesis for hierarchical concurrent real-time systems É André, Y Liu, J Sun, JS Dong Real-Time Systems 50, 620-679, 2014 | 26 | 2014 |
| Observer patterns for real-time systems É André 2013 18th International Conference on Engineering of Complex Computer …, 2013 | 26 | 2013 |
| Offline timed pattern matching under uncertainty É André, I Hasuo, M Waga 2018 23rd International Conference on Engineering of Complex Computer …, 2018 | 25 | 2018 |
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSlsv.fr의 이메일 확인됨
