| |
| 2005 | ||
|---|---|---|
| 4 | EE | Jiale Huo, Alexandre Petrenko: Covering Transitions of Concurrent Systems through Queues. ISSRE 2005: 335-345 |
| 3 | EE | Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko: Multiplexing of Partially Ordered Events. TestCom 2005: 97-110 |
| 2004 | ||
| 2 | EE | Jiale Huo, Alexandre Petrenko: On Testing Partially Specified IOTS through Lossless Queues. TestCom 2004: 76-94 |
| 2003 | ||
| 1 | EE | Alexandre Petrenko, Nina Yevtushenko, Jiale Huo: Testing Transition Systems with Input and Output Testers. TestCom 2003: 129-145 |
| 1 | Colin Campbell | [3] |
| 2 | Alexandre Petrenko | [1] [2] [3] [4] |
| 3 | Margus Veanes | [3] |
| 4 | Nina Yevtushenko | [1] |