J. Zhang and G. Schirner,
"Automatic Specification Granularity Tuning for Design Space Exploration",
Proceedings of the ACM/IEEE Conference on Design, Automation & Test in Europe (DATE), Dresden, Germany, 03/2014.

J. Zhang, Y. Zhang and M. L. Wang,
"The Improvement of Accuracy of Standalone GPS with an Alternative Positioning Algorithm",
SPIE Smart Structures and Materials+ Nondestructive Evaluation and Health Monitoring, International Society for Optics and Photonics, 2011.
J. Zhang and G. Schirner,
Demand-Driven Granularity Tuning In Specification Synthesis
, San Francisco, USA, 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 06/2014.