Suivre
Rongjie YAN
Rongjie YAN
State Key Laboratory of Computer Science, Institute of Software
Adresse e-mail validée de ios.ac.cn
Titre
Citée par
Citée par
Année
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
1182010
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
642011
Formal consistency checking over specifications in natural languages
R Yan, CH Cheng, Y Chai
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015
562015
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
312018
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
262016
Alternative formats
H Huang, F Zhang, L Jiang, G Hu, W Sun, C Zhang, X Ding
Cancer Res Treat 49 (2), 358-373, 2017
24*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
242010
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
152015
Test case prioritization with neuron valuation based pattern
R Yan, Y Chen, H Gao, J Yan
Science of Computer Programming 215, 102761, 2022
142022
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
142011
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
132022
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
112011
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
112010
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
102021
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
102020
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
102010
Model construction and priority synthesis for simple interaction systems
CH Cheng, S Bensalem, B Jobstmann, R Yan, A Knoll, H Ruess
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011
92011
Architecting dependable learning-enabled autonomous systems: A survey
CH Cheng, D Gulati, R Yan
arXiv preprint arXiv:1902.10590, 2019
82019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20