Graphical Model Debugger Framework for embedded systems. - Kebin Zeng; Yu Guo; Christo Angelov (DATE, 2010)

A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks. - Luz Judith R. Esparza; Kebin Zeng; Bo Friis Nielsen (ACSD, 2011)

Roadmap Document on Stochastic Analysis - Bo Friis Nielsen; Flemming Nielson; Henrik Pilegaard; Michael James Andrew Smith; Ender Yüksel; Kebin Zeng; Lijun Zhang 001 (CoRR, 2012)

The Stochastic Quality Calculus. - Kebin Zeng; Flemming Nielson; Hanne Riis Nielson (COORDINATION, 2014)

Stochastic Model Checking of the Stochastic Quality Calculus. - Flemming Nielson; Hanne Riis Nielson; Kebin Zeng (Software, Services, and Systems, 2015)