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
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
582011
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
35*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
352010
Formal consistency checking over specifications in natural languages
R Yan, CH Cheng, Y Chai
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015
292015
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
212010
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
202010
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
192010
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
172016
Alternative formats
H Huang, F Zhang, L Jiang, G Hu, W Sun, C Zhang, X Ding
Cancer Res Treat 49 (2), 358-373, 2017
16*2017
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
122011
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
112015
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
92011
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
92010
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
82011
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
72018
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
72013
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
72010
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
62014
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
62013
Functional Testbench Qualification by Mutation Analysis.
K Huang, P Zhu, R Yan, X Yan
VLSI Design 2015, 2015
52015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20