- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c13 |      | Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan: Bounded model-checking of discrete duration calculus. HSCC 2013: 213-222 |
| 2012 | ||
| c12 | | Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang: Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66 |
| 2011 | ||
| j5 | | Qinghua Wang, Ilangko Balasingham, Miaomiao Zhang, Xin Huang: Improving RSS-Based Ranging in LOS-NLOS Scenario Using GMMs. IEEE Communications Letters 15(10): 1065-1067 (2011) |
| j4 | | Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang: Formal specification and analysis of zeroconf using uppaalS. ACM Trans. Embedded Comput. Syst. 10(3): 34 (2011) |
| c11 | | Guoliang Zou, Yueying Jing, Miaomiao Zhang, Hao Zhang, Bing He: Design and simulation of RF terminal VGA module for monitoring system of offshore dumping areas. FSKD 2011: 2500-2502 |
| 2010 | ||
| c10 | | Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding: Modeling and Verification of an Automatic Train Protection System. COMPSAC Workshops 2010: 226-231 |
| 2009 | ||
| j3 | | Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang: BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. Electr. Notes Theor. Comput. Sci. 243: 69-87 (2009) |
| c9 | | Xueqiang Gong, Jing Liu, Miaomiao Zhang, Jueliang Hu: Formal Analysis of Services Compatibility. COMPSAC (2) 2009: 243-248 |
| c8 | | Miaomiao Zhang, Zhiming Liu, Naijun Zhan: Model Checking Linear Duration Invariants of Networks of Automata. FSEN 2009: 244-259 |
| p1 | | Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn: Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance 2009: 57-84 |
| 2008 | ||
| j2 | | Miaomiao Zhang, Wenzhong Qin: Parametric Analysis of an Improved Fault Tolerant System. Electr. Notes Theor. Comput. Sci. 207: 121-136 (2008) |
| c7 | | Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du: Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. HASE 2008: 445-448 |
| c6 | | Miaomiao Zhang, Dang Van Hung, Zhiming Liu: Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409 |
| 2007 | ||
| c5 | | Dang Van Hung, Miaomiao Zhang: On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. RTCSA 2007: 165-172 |
| 2006 | ||
| j1 | | Miaomiao Zhang, Dang Van Hung: Formal Analysis of Streaming Downloading Protocol for System Upgrading. Electr. Notes Theor. Comput. Sci. 164(3): 205-224 (2006) |
| c4 | | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang: Analysis of the zeroconf protocol using UPPAAL. EMSOFT 2006: 242-251 |
| c3 | | Miaomiao Zhang, Gongliang Chen, Jianhua Li: Efficient ID-based Proxy Chameleon Signature from Bilinear Pairings. IMSCCS (2) 2006: 135-141 |
| i1 | | Miaomiao Zhang, Gongliang Chen, Jianhua Li, Licheng Wang, Haifeng Qian: A New Construction of Time Capsule Signature. IACR Cryptology ePrint Archive 2006: 113 (2006) |
| 2005 | ||
| c2 | | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu: Deadlock Prevention in the Æthereal Protocol. CHARME 2005: 345-348 |
| 2003 | ||
| c1 | | Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang: Modeling and Verifying a Lego Car Using Hybrid I/O Automata. QSIC 2003: 280-289 |
Colors in the list of coauthors
Last update Mon May 20 20:29:27 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page