| Incremental component-based construction and verification using invariants S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan Formal Methods in Computer Aided Design, 257-256, 2010 | 117 | 2010 |
| D-finder 2: Towards efficient correctness of incremental design S Bensalem, A Griesmayer, A Legay, TH Nguyen, J Sifakis, R Yan Nasa Formal Methods Symposium, 453-458, 2011 | 65 | 2011 |
| Formal consistency checking over specifications in natural languages R Yan, CH Cheng, Y Chai 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015 | 58 | 2015 |
| Rock Solid S Bensalem, L De Silva, M Gallien, F Ingrand, R Yan Software: A Verifiable and Correct-by-Construction Controller for Rover and …, 2010 | 40* | 2010 |
| A Verifiable and Correct-by-Construction Controller for Robot Functional Levels RY Saddek Bensalem, Lavindra De Silva, Felix Ingrand Joser 2 (1), 1-19, 2011 | 39* | 2011 |
| Energy-efficient fault-tolerant mapping and scheduling on heterogeneous multiprocessor real-time systems K Huang, X Jiang, X Zhang, R Yan, K Wang, D Xiong, X Yan IEEE Access 6, 57614-57630, 2018 | 33 | 2018 |
| Component-based verification using incremental design and invariants S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan Software & Systems Modeling 15, 427-451, 2016 | 26 | 2016 |
| Alternative formats H Huang, F Zhang, L Jiang, G Hu, W Sun, C Zhang, X Ding Cancer Res Treat 49 (2), 358-373, 2017 | 25* | 2017 |
| Incremental invariant generation for compositional design S Bensalem, A Legay, TH Nguyen, J Sifakis, R Yan 2010 4th IEEE International Symposium on Theoretical Aspects of Software …, 2010 | 23 | 2010 |
| Test case prioritization with neuron valuation based pattern R Yan, Y Chen, H Gao, J Yan Science of Computer Programming 215, 102761, 2022 | 17 | 2022 |
| ComOpT: Combination and optimization for testing autonomous driving systems C Li, CH Cheng, T Sun, Y Chen, R Yan 2022 International Conference on Robotics and Automation (ICRA), 7738-7744, 2022 | 16 | 2022 |
| Static optimal scheduling for synchronous data flow graphs with model checking XY Zhu, R Yan, YL Gu, J Zhang, W Zhang, G Zhang International Symposium on Formal Methods, 551-569, 2015 | 16 | 2015 |
| Neuron activation frequency based test case prioritization K Zhang, Y Zhang, L Zhang, H Gao, R Yan, J Yan 2020 International Symposium on Theoretical Aspects of Software Engineering …, 2020 | 14 | 2020 |
| Algorithms for synthesizing priorities in component-based systems CH Cheng, S Bensalem, YF Chen, R Yan, B Jobstmann, H Ruess, ... International Symposium on Automated Technology for Verification and …, 2011 | 14 | 2011 |
| Verifiable and correct-by-construction controller for robots in human environments S Bensalem, L da Silva, M Gallien, F Ingrand, R Yan seventh IARP workshop on technical challenges for dependable robots in human …, 2010 | 12 | 2010 |
| Efficient testing of GUI applications by event sequence reduction J Yan, H Zhou, X Deng, P Wang, R Yan, J Yan, J Zhang Science of Computer Programming 201, 102522, 2021 | 11 | 2021 |
| A formal approach for incremental construction with an application to autonomous robotic systems S Bensalem, L De Silva, A Griesmayer, F Ingrand, A Legay, R Yan Software Composition: 10th International Conference, SC 2011, Zurich …, 2011 | 11 | 2011 |
| A refinement checking method of web services composition G Zhang, M Rong, Y He, X Zhu, R Yan 2010 Fifth IEEE International Symposium on Service Oriented System …, 2010 | 10 | 2010 |
| Functional testbench qualification by mutation analysis K Huang, P Zhu, R Yan, X Yan VLSI Design 2015 (1), 256474, 2015 | 9 | 2015 |
| Architecting dependable learning-enabled autonomous systems: A survey CH Cheng, D Gulati, R Yan arXiv preprint arXiv:1902.10590, 2019 | 8 | 2019 |
