2008 |
23 | EE | Harry Gros-Desormeaux,
Hacène Fouchal,
Philippe Hunel:
Test Generation with DHT Networks.
ITNG 2008: 76-81 |
2007 |
22 | | Eduardo Tovar,
Philippas Tsigas,
Hacène Fouchal:
Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings
Springer 2007 |
2006 |
21 | EE | Harry Gros-Desormeaux,
Hacène Fouchal,
Philippe Hunel:
A Distributed Approach for Testing Timed Systems.
AICT/ICIW 2006: 94 |
20 | EE | Abbas Tarhini,
Hacène Fouchal:
Robustness evaluation of real-Time Protocols.
AICT/ICIW 2006: 95 |
19 | EE | Harry Gros-Desormeaux,
Hacène Fouchal,
Philippe Hunel:
An Improved Test Derivation Technique.
NCA 2006: 293-300 |
2005 |
18 | EE | Abbas Tarhini,
Antoine Rollet,
Hacène Fouchal:
A pragmatic approach for testing robustness on real-time component based systems.
AICCSA 2005: 143 |
17 | EE | Abbas Tarhini,
Hacène Fouchal,
Nashat Mansour:
A Simple Approach for Testing Web Service Based Applications.
IICS 2005: 134-146 |
16 | EE | Hacène Fouchal,
Sébastien Gruson,
Ludovic Pierre,
Cyril Rabat,
Antoine Rollet:
Integrated Tool for Testing Timed Systems.
ISSADS 2005: 153-166 |
15 | EE | Abbas Tarhini,
Hacène Fouchal:
Conformance Testing of Real-Time Component Based Systems.
ISSADS 2005: 167-181 |
14 | EE | Hacène Fouchal,
Antoine Rollet,
Abbas Tarhini:
Robustness of Composed Timed Systems.
SOFSEM 2005: 157-166 |
2004 |
13 | | Hacène Fouchal,
Cyril Rabat,
Antoine Rollet,
Abbas Tarhini:
Experimental Test Generation for Real-Time Systems.
IASSE 2004: 284-289 |
2003 |
12 | EE | Antoine Rollet,
Hacène Fouchal:
Testing Protocol Robustness.
IICS 2003: 201-215 |
11 | EE | Hacène Fouchal,
Antoine Rollet:
A Simple Testing Technique for Embedded Systems.
OPODIS 2003: 159-170 |
2002 |
10 | | Alain Bui,
Hacène Fouchal:
Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, Reims, France, December 11-13, 2002
Suger, Saint-Denis, rue Catulienne, France 2002 |
9 | EE | Hacène Fouchal:
Conformance Testing Techniques for Timed Systems.
SOFSEM 2002: 1-19 |
2001 |
8 | EE | Sébastien Salva,
Hacène Fouchal:
Some Parameters for Timed System Testability.
AICCSA 2001: 335- |
7 | | Hacène Fouchal,
Eric Petitjean:
A Test Case Derivation for Timed Systems.
OPODIS 2001: 125-140 |
6 | EE | Hacène Fouchal,
Eric Petitjean:
Fault Detection on Timed Systems.
Stud. Inform. Univ. 1(1): 37-58 (2001) |
2000 |
5 | | Sébastien Salva,
Hacène Fouchal,
S. Bloch:
Metrics for Timed Systems Testing.
OPODIS 2000: 177-200 |
4 | EE | Hacène Fouchal,
Eric Petitjean,
Sébastien Salva:
Testing timed systems with timed purposes.
RTCSA 2000: 166-171 |
1999 |
3 | EE | Eric Petitjean,
Hacène Fouchal:
A Realistic Architecture for Timed Testing.
ICECCS 1999: 109-118 |
1994 |
2 | | Hacène Fouchal,
Ana R. Cavalli:
A modal based verification for LOTOS.
FORTE 1994: 215-217 |
1 | | Hacène Fouchal,
Ana R. Cavalli:
A Compositional Verification Method for LOTOS.
PODC 1994: 390 |