Xiaoke Qin

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 2

Top Topics

Test Generation

Design Automation

Symbolic Execution

Top Venues

J. Electron. Test.

Publications

Anjali Silva, Xiaoke Qin, Steven J. Rothstein, Paul D. McNicholas, Sanjeena Subedi
Finite mixtures of matrix variate Poisson-log normal distributions for three-way count data. Bioinform. 39 (5) (2023)
Yangdi Lyu, Xiaoke Qin, Mingsong Chen, Prabhat Mishra
Directed Test Generation for Validation of Cache Coherence Protocols. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (1) (2019)
Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu, Prabhat Mishra
Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking. DATE (2015)
Xiaoke Qin, Prabhat Mishra
TECS: Temperature- and Energy-Constrained Scheduling for Multicore Systems. VLSI Design (2014)
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
Learning-oriented Property Decomposition for Automated Generation of Directed Tests. J. Electron. Test. 30 (3) (2014)
Xiaoke Qin, Prabhat Mishra
Scalable Test Generation by Interleaving Concrete and Symbolic Execution. VLSI Design (2014)
Xiaoke Qin, Prabhat Mishra
Directed test generation for validation of multicore architectures. ACM Trans. Design Autom. Electr. Syst. 17 (3) (2012)
Xiaoke Qin, Prabhat Mishra
Automated generation of directed tests for transition coverage in cache coherence protocols. DATE (2012)
Xiaoke Qin, Weixun Wang, Prabhat Mishra
TCEC: Temperature and Energy-Constrained Scheduling in Real-Time Multitasking Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (8) (2012)
Xiaoke Qin, Chetan Muthry, Prabhat Mishra
Decoding-Aware Compression of FPGA Bitstreams. IEEE Trans. Very Large Scale Integr. Syst. 19 (3) (2011)
Xiaoke Qin, Prabhat Mishra
Efficient directed test generation for validation of multicore architectures. ISQED (2011)
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
Efficient decision ordering techniques for SAT-based test generation. DATE (2010)
Weixun Wang, Xiaoke Qin, Prabhat Mishra
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach. ISLPED (2010)
Xiaoke Qin, Mingsong Chen, Prabhat Mishra
Synchronized Generation of Directed Tests Using Satisfiability Solving. VLSI Design (2010)
Xiaoke Qin, Prabhat Mishra
Efficient Placement of Compressed Code for Parallel Decompression. VLSI Design (2009)
Xiaoke Qin, Prabhat Mishra
A Universal Placement Technique of Compressed Instructions for Efficient Parallel Decompression. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (8) (2009)
Xiaoke Qin, Liang Tang, Jie Zhou
Object Extraction by Spatio-Temporal Assembling. ICIP (5) (2007)