| |
| 2006 | ||
|---|---|---|
| 8 | EE | Moez Krichen, Stavros Tripakis: State-Identification Problems for Finite-State Transducers. FATES/RV 2006: 148-162 |
| 7 | EE | Moez Krichen, Stavros Tripakis: Interesting Properties of the Real-Time Conformance Relation. ICTAC 2006: 317-331 |
| 2005 | ||
| 6 | EE | Moez Krichen, Stavros Tripakis: State Identification Problems for Timed Automata. TestCom 2005: 175-191 |
| 5 | EE | Moez Krichen, Stavros Tripakis: An Expressive and Implementable Formal Framework for Testing Real-Time Systems. TestCom 2005: 209-225 |
| 4 | EE | Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis: Testing Conformance of Real-Time Applications by Automatic Generation of Observers. Electr. Notes Theor. Comput. Sci. 113: 23-43 (2005) |
| 2004 | ||
| 3 | EE | Moez Krichen, Stavros Tripakis: Real-Time Testing with Timed Automata Testers and Coverage Criteria. FORMATS/FTRTFT 2004: 134-151 |
| 2 | EE | Moez Krichen: State Identification. Model-Based Testing of Reactive Systems 2004: 35-67 |
| 1 | EE | Moez Krichen, Stavros Tripakis: Black-Box Conformance Testing for Real-Time Systems. SPIN 2004: 109-126 |
| 1 | Saddek Bensalem | [4] |
| 2 | Marius Bozga | [4] |
| 3 | Stavros Tripakis | [1] [3] [4] [5] [6] [7] [8] |