Kebin Zeng

According to our database, Kebin Zeng authored at least 5 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Stochastic Model Checking of the Stochastic Quality Calculus.

Flemming Nielson, Hanne Riis Nielson, Kebin Zeng

Proceedings of the Software, 2015

2014

The Stochastic Quality Calculus.

Kebin Zeng, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Coordination Models and Languages, 2014

2012

Roadmap Document on Stochastic Analysis

Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard, Michael James Andrew Smith, Ender Yüksel, Kebin Zeng, Lijun Zhang

CoRR, 2012

2011

A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks.

Luz Judith R. Esparza, Kebin Zeng, Bo Friis Nielsen

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Graphical Model Debugger Framework for embedded systems.

Kebin Zeng, Yu Guo, Christo Angelov

Proceedings of the Design, Automation and Test in Europe, 2010