| 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 | 135 | 2012 |
| What’s decidable about parametric timed automata? É André International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019 | 110 | 2019 |
| 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 | 105 | 2013 |
| IMITATOR 3: Synthesis of timing parameters beyond decidability É André International Conference on Computer Aided Verification, 552-565, 2021 | 71 | 2021 |
| A formal semantics for complete UML state machines with communications S Liu, Y Liu, E André, C Choppy, J Sun, B Wadhwa, JS Dong International Conference on Integrated Formal Methods, 331-346, 2013 | 70 | 2013 |
| 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 | 44 | 2014 |
| Parametric analyses of attack-fault trees É André, D Lime, M Ramparison, M Stoelinga Fundamenta Informaticae 182 (1), 69-94, 2021 | 43 | 2021 |
| 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 | 42 | 2013 |
| The Inverse Method: Parametric Verification of Real-time Unbedded Systems É André, R Soulat John Wiley & Sons, 2013 | 41 | 2013 |
| Formalizing UML state machines for automated verification–A survey É André, S Liu, Y Liu, C Choppy, J Sun, JS Dong ACM Computing Surveys 55 (13s), 1-47, 2023 | 38 | 2023 |
| An efficient algorithm for learning event-recording automata SW Lin, É André, JS Dong, J Sun, Y Liu International Symposium on Automated Technology for Verification and …, 2011 | 38 | 2011 |
| 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 | 36 | 2013 |
| Offline timed pattern matching under uncertainty É André, I Hasuo, M Waga 2018 23rd International Conference on Engineering of Complex Computer …, 2018 | 34 | 2018 |
| Decision problems for parametric timed automata É André, D Lime, OH Roux International Conference on Formal Engineering Methods, 400-416, 2016 | 34 | 2016 |
| 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 | 33 | 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 |
| TCTL model checking lower/upper-bound parametric timed automata without invariants É André, D Lime, M Ramparison International Conference on Formal Modeling and Analysis of Timed Systems, 37-52, 2018 | 32 | 2018 |
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
