 | 2009 |
|---|
| 10 |       | Moez Krichen,
Stavros Tripakis:
Conformance testing for real-time systems.
Formal Methods in System Design 34(3): 238-304 (2009) |
| 2007 |
|---|
| 9 |  | Saddek Bensalem,
Moez Krichen,
Lotfi Majdoub,
Riadh Robbana,
Stavros Tripakis:
A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.
ISoLA 2007: 191-202 |
| 2006 |
|---|
| 8 | | Moez Krichen,
Stavros Tripakis:
State-Identification Problems for Finite-State Transducers.
FATES/RV 2006: 148-162 |
| 7 | | Moez Krichen,
Stavros Tripakis:
Interesting Properties of the Real-Time Conformance Relation.
ICTAC 2006: 317-331 |
| 2005 |
|---|
| 6 | | Moez Krichen,
Stavros Tripakis:
State Identification Problems for Timed Automata.
TestCom 2005: 175-191 |
| 5 | | Moez Krichen,
Stavros Tripakis:
An Expressive and Implementable Formal Framework for Testing Real-Time Systems.
TestCom 2005: 209-225 |
| 4 | | 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 | | Moez Krichen,
Stavros Tripakis:
Real-Time Testing with Timed Automata Testers and Coverage Criteria.
FORMATS/FTRTFT 2004: 134-151 |
| 2 | | Moez Krichen:
State Identification.
Model-Based Testing of Reactive Systems 2004: 35-67 |
| 1 | | Moez Krichen,
Stavros Tripakis:
Black-Box Conformance Testing for Real-Time Systems.
SPIN 2004: 109-126 |
