 | 2012 |
|---|
| 14 |       | Moez Krichen:
A formal framework for black-box conformance testing of distributed real-time systems.
IJCCBS 3(1/2): 26-43 (2012) |
| 2011 |
|---|
| 13 | | Nathalie Bertrand,
Amélie Stainer,
Thierry Jéron,
Moez Krichen:
A Game Approach to Determinize Timed Automata.
FOSSACS 2011: 245-259 |
| 12 | | Nathalie Bertrand,
Thierry Jéron,
Amélie Stainer,
Moez Krichen:
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata.
TACAS 2011: 96-111 |
| 2010 |
|---|
| 11 | | Moez Krichen:
A Formal Framework for Conformance Testing of Distributed Real-Time Systems.
OPODIS 2010: 139-142 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page