Login / Signup
Kebin Zeng
Publication Activity (10 Years)
Years Active: 2010-2015
Publications (10 Years): 1
Top Topics
Formal Specification
Monte Carlo
Low Quality
Temporal Logic
Top Venues
CoRR
Software, Services, and Systems
COORDINATION
</>
Publications
</>
Flemming Nielson
,
Hanne Riis Nielson
,
Kebin Zeng
Stochastic Model Checking of the Stochastic Quality Calculus.
Software, Services, and Systems
(2015)
Kebin Zeng
,
Flemming Nielson
,
Hanne Riis Nielson
The Stochastic Quality Calculus.
COORDINATION
(2014)
Bo Friis Nielsen
,
Flemming Nielson
,
Henrik Pilegaard
,
Michael James Andrew Smith
,
Ender Yüksel
,
Kebin Zeng
,
Lijun Zhang
Roadmap Document on Stochastic Analysis
CoRR
(2012)
Luz Judith R. Esparza
,
Kebin Zeng
,
Bo Friis Nielsen
A Probabilistic Model of the LMAC Protocol for Concurrent Wireless Sensor Networks.
ACSD
(2011)
Kebin Zeng
,
Yu Guo
,
Christo Angelov
Graphical Model Debugger Framework for embedded systems.
DATE
(2010)