☰

Mao Zheng, Ph.D. - Publications

Affiliations: 
2002 Concordia University (Canada), Montreal, QC, Canada 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

4 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2010 Zheng MC. An automatic approach to verify sensor network systems Ssiri-C 2010 - 4th Ieee International Conference On Secure Software Integration and Reliability Improvement Companion. 7-12. DOI: 10.1109/SSIRI-C.2010.12  0.344
2008 Ormandjieva O, Alagar VS, Zheng M. Early quality monitoring in the development of real-time reactive systems Journal of Systems and Software. 81: 1738-1753. DOI: 10.1016/J.Jss.2007.12.808  0.664
2008 Zheng M, Alagar V, Ormandjieva O. Automated generation of test suites from formal specifications of real-time reactive systems Journal of Systems and Software. 81: 286-304. DOI: 10.1016/J.Jss.2007.05.009  0.683
2003 Alagar VS, Achuthan R, Haydar M, Muthiayen D, Ormandjieva O, Zheng M. A rigorous approach for constructing self-evolving real-time reactive systems Information and Software Technology. 45: 743-761. DOI: 10.1016/S0950-5849(03)00070-3  0.411
Show low-probability matches.