Systematic and automatic verification of sensor networks

by ZHENG MANCHUN
Published 2013

Towards a model checker for NesC and wireless sensor networks

by ZHENG, Manchun, SUN, Jun, LIU, Yang, DONG, Jin Song, GU, Yu
Published 2011

Formal modeling and validation of Stateflow diagrams

by CHEN, Chunqing, SUN, Jun, LIU, Yang, DONG, Jin Song, ZHENG, Manchun
Published 2012

State space reduction for sensor networks using two-level partial order reduction

by ZHENG, Manchun, SANÁN, David, SUN, Jun, LIU, Yang, DONG, Jin Song, GU, Yu
Published 2013

USMMC: A self-contained model checker for UML state machines

by LIU, Shuang, LIU, Yang, SUN, Jun, ZHENG, Manchun, WADHWA, Bimlesh, DONG, Jin Song
Published 2013