| 2009 | ||
|---|---|---|
| 2 | Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko: Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE 2009: 137-151 | |
| 2007 | ||
| 1 | Maxim Gromov, Tim A. C. Willemse: Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES 2007: 138-154 | |
| 1 | Khaled El-Fakih | [2] |
| 2 | Natalia Shabaldina | [2] |
| 3 | Tim A. C. Willemse | [1] |
| 4 | Nina Yevtushenko | [2] |