Author Search Results

1

Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling

Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling

by Kong, Pingfan
Published 2016

Get full text

Theses and Dissertations

2

Energy efficient in-memory AES encryption based on nonvolatile domain-wall nanowire

Energy efficient in-memory AES encryption based on nonvolatile domain-wall nanowire

by Wang, Yuhao, Yu, Hao, Sylvester, Dennis, Kong, Pingfan
Published 2015

Get full text
Get full text

Conference or Workshop Item

3

Towards concolic testing for hybrid systems

Towards concolic testing for hybrid systems

by KONG, Pingfan, LI, Yi, CHEN, Xiaohong, SUN, Jun, SUN, Meng, WANG, Jingyi
Published 2016

Get full text
Get full text

text