Lei Qiao - Citegraph

Author Info

Name	Affiliation	Papers
LEI QIAO	Beijing Inst Control Engn, Beijing, Peoples R China	16
Collaborators	Citations	PageRank
53	2	5.43
Referers	Referees	References
9	75	21

Publications (16 rows)

Collaborators (53 rows)

Referers (9 rows)

Referees (75 rows)

Title	Citations	PageRank	Year
DPWord2Vec: Better Representation of Design Patterns in Semantics	0	0.34	2022
Global Fixed-Priority Scheduling for Parallel Real-Time Tasks with Constrained Parallelism	0	0.34	2022
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound	0	0.34	2022
Verification of Real Time Operating System Exception Management Based on SPARCv8	0	0.34	2021
Memory State Verification Based on Inductive and Deductive Reasoning	0	0.34	2021
Sound and efficient concurrency bug prediction	2	0.36	2021
Virtually-Federated Scheduling of Parallel Real-Time Tasks	0	0.34	2021
A Hierarchical Hybrid Locking Protocol For Parallel Real-Time Tasks	0	0.34	2021
A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks	0	0.34	2021
Blocking analysis of suspension-based protocols for parallel real-time tasks under global fixed-priority scheduling	0	0.34	2021
Formalizing SPARCv8 instruction set architecture in Coq	0	0.34	2020
AdaBoost-based Refused Bequest Code Smell Detection with Synthetic Instances	0	0.34	2020
Formal Verification Of Gp Specification Based Embedded Operating System	0	0.34	2018
Energy-Aware VM Initial Placement Strategy Based on BPSO in Cloud Computing.	0	0.34	2018
Modular Verification Of Sparcv8 Code	0	0.34	2018
Formal Verification of Lunar Rover Control Software Using UPPAAL.	0	0.34	2014

1