Jeff Lei

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 3

Top Topics

Continuous Optimization

Procedural Semantics

Rule Based Systems

Top Venues

Future Gener. Comput. Syst.

Publications

Rick Kuhn, Dylan Yaga, Raghu Kacker, Jeff Lei, Vincent C. Hu
Pseudo-Exhaustive Verification of Rule Based Systems. SEKE (2018)
David Kung, Jeff Lei
An Object-Oriented Analysis and Design Environment. CSEE&T (2016)
Nan Li, Jin Guo, Jeff Lei, Yao Li, Chang Rao, YaXin Cao
Towards Agile Testing for Railway Safety-critical Software. XP Workshops (2016)
Jin Liu, Juan Li, Xiaoping Sun, Yuan Xie, Jeff Lei, Qiping Hu
An Embedded Co-AdaBoost based construction of software document relation coupled resource spaces for cyber-physical society. Future Gener. Comput. Syst. 32 (2014)
Jianli Ding, Jin Liu, Kaushik Roy Chowdhury, Wensheng Zhang, Qiping Hu, Jeff Lei
A particle swarm optimization using local stochastic search and enhancing diversity for continuous optimization. Neurocomputing 137 (2014)
Jin Liu, Juan Li, Yuan Xie, Jeff Lei, Qiping Hu
An Embedded Co-AdaBoost and Its Application in Classification of Software Document Relation. SKG (2012)
Richard H. Carver, Jeff Lei
A Stateful Approach to Testing Monitors in Multithreaded Programs. HASE (2010)