| 2008 |
|---|
| 9 | EE | Quan Zu,
Miaomiao Zhang,
Jing Liu,
Qingfeng Du:
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL.
HASE 2008: 445-448 |
| 8 | EE | Miaomiao Zhang,
Dang Van Hung,
Zhiming Liu:
Verification of Linear Duration Invariants by Model Checking CTL Properties.
ICTAC 2008: 395-409 |
| 7 | EE | Miaomiao Zhang,
Wenzhong Qin:
Parametric Analysis of an Improved Fault Tolerant System.
Electr. Notes Theor. Comput. Sci. 207: 121-136 (2008) |
| 2007 |
|---|
| 6 | EE | Dang Van Hung,
Miaomiao Zhang:
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.
RTCSA 2007: 165-172 |
| 2006 |
|---|
| 5 | EE | Biniam Gebremichael,
Frits W. Vaandrager,
Miaomiao Zhang:
Analysis of the zeroconf protocol using UPPAAL.
EMSOFT 2006: 242-251 |
| 4 | EE | Miaomiao Zhang,
Gongliang Chen,
Jianhua Li:
Efficient ID-based Proxy Chameleon Signature from Bilinear Pairings.
IMSCCS (2) 2006: 135-141 |
| 3 | EE | Miaomiao Zhang,
Dang Van Hung:
Formal Analysis of Streaming Downloading Protocol for System Upgrading.
Electr. Notes Theor. Comput. Sci. 164(3): 205-224 (2006) |
| 2005 |
|---|
| 2 | EE | Biniam Gebremichael,
Frits W. Vaandrager,
Miaomiao Zhang,
Kees Goossens,
Edwin Rijpkema,
Andrei Radulescu:
Deadlock Prevention in the Æthereal Protocol.
CHARME 2005: 345-348 |
| 2003 |
|---|
| 1 | EE | Ansgar Fehnker,
Frits W. Vaandrager,
Miaomiao Zhang:
Modeling and Verifying a Lego Car Using Hybrid I/O Automata.
QSIC 2003: 280-289 |
