Login / Signup
Yongyue Li
ORCID
Publication Activity (10 Years)
Years Active: 2007-2020
Publications (10 Years): 2
Top Topics
Computationally Efficient
Wide Range
Lightweight
Model Checking
Top Venues
ICC
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Jinfeng Li
,
Qizhen Xu
,
Yongyue Li
,
Liwei Chen
,
Gang Shi
,
Dan Meng
Efficient Return Address Verification Based on Dislocated Stack.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
39 (11) (2020)
Wenfeng Liu
,
Yu Zhang
,
Yongyue Li
,
Binxing Fang
Modeling, Measuring, and Analyzing the Resolution Process of Popular Domains.
ICC
(2019)
Armann Ingolfsson
,
Elvira Akhmetshina
,
Susan Budge
,
Yongyue Li
,
Xudong Wu
Queueing Systems with Exhaustive Discipline.
INFORMS J. Comput.
19 (2) (2007)