Concepedia

Rongjie Yan

RY

Statistics

Publications

12

Citations

510

H-Index

12

Active since

2006

Affiliations

Institute of Software(Current)

University of Chinese Academy of Sciences

State Key Laboratory of Computer Science

Verimag

Université Grenoble Alpes

Rongjie Yan is an author at Institute of Software specializing in computer science, engineering, and verification.

ORCID

Top concepts

Publications per year

2006–2023

12

Publications

12

Reachability Checking of Finite Precision Timed Automata

Rongjie Yan · Journal of Software · 2006 · 228 citations

Incremental Component-based Construction and Verification using Invariants

Saddek Bensalem, Marius Bozga, Axel Legay et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 80 citations · Full text

Energy-Efficient Fault-Tolerant Mapping and Scheduling on Heterogeneous Multiprocessor Real-Time Systems

Kai Huang, Xiaowen Jiang, Xiaomeng Zhang et al. · IEEE Access · 2018 · 34 citations · Full text

, , +22

Formal Consistency Checking over Specifications in Natural Languages

Rongjie Yan, Chih‐Hong Cheng, Yesheng Chai · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 26 citations

, , +17

Formal consistency checking over specifications in natural languages

Rongjie Yan, Chih‐Hong Cheng, Yesheng Chai · arXiv (Cornell University) · 2015 · 25 citations · Full text

, , +17

1–5 of 12