Rongjie YAN
Rongjie YAN
State Key Laboratory of Computer Science, Institute of Software
Verified email at
Cited by
Cited by
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
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
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
Formal consistency checking over specifications in natural languages
R Yan, CH Cheng, Y Chai
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 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
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
Alternative formats
H Huang, F Zhang, L Jiang, G Hu, W Sun, C Zhang, X Ding
Cancer Res Treat 49 (2), 358-373, 2017
Component-based verification using incremental design and invariants
S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan
Software & Systems Modeling 15 (2), 427-451, 2016
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
Rock solid” software: a verifiable and correctby-construction controller for rover and spacecraft functional levels
S Bensalem, L de Silva, M Gallien, F Ingrand, R Yan
I-SAIRAS-10. Proc. of the 10th Int. Symp. on Artificial Intelligence …, 2010
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
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
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
International Conference on Software Composition, 116-132, 2011
Model construction and priority synthesis for simple interaction systems
CH Cheng, S Bensalem, B Jobstmann, R Yan, A Knoll, H Ruess
NASA Formal Methods Symposium, 466-471, 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
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
Formal throughput and response time analysis of MARTE models
G Yan, XY Zhu, R Yan, G Li
International Conference on Formal Engineering Methods, 430-445, 2014
Performance estimation techniques with mpsoc transaction-accurate models
D Ma, R Yan, K Huang, M Yu, S Xiu, H Ge, X Yan, AA Jerraya
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
Communication pipelining for code generation from Simulink models
R Yan, K Huang, M Yu, X Zhang
2013 12th IEEE International Conference on Trust, Security and Privacy in …, 2013
Functional Testbench Qualification by Mutation Analysis.
K Huang, P Zhu, R Yan, X Yan
VLSI Design 2015, 2015
The system can't perform the operation now. Try again later.
Articles 1–20