Search the dblp DataBase

Publications of Author

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