dblp.uni-trier.dewww.uni-trier.de

Hacène Fouchal

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
23EEHarry 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
21EEHarry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel: A Distributed Approach for Testing Timed Systems. AICT/ICIW 2006: 94
20EEAbbas Tarhini, Hacène Fouchal: Robustness evaluation of real-Time Protocols. AICT/ICIW 2006: 95
19EEHarry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel: An Improved Test Derivation Technique. NCA 2006: 293-300
2005
18EEAbbas Tarhini, Antoine Rollet, Hacène Fouchal: A pragmatic approach for testing robustness on real-time component based systems. AICCSA 2005: 143
17EEAbbas Tarhini, Hacène Fouchal, Nashat Mansour: A Simple Approach for Testing Web Service Based Applications. IICS 2005: 134-146
16EEHacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet: Integrated Tool for Testing Timed Systems. ISSADS 2005: 153-166
15EEAbbas Tarhini, Hacène Fouchal: Conformance Testing of Real-Time Component Based Systems. ISSADS 2005: 167-181
14EEHacè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
12EEAntoine Rollet, Hacène Fouchal: Testing Protocol Robustness. IICS 2003: 201-215
11EEHacè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
9EEHacène Fouchal: Conformance Testing Techniques for Timed Systems. SOFSEM 2002: 1-19
2001
8EESé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
6EEHacè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
4EEHacène Fouchal, Eric Petitjean, Sébastien Salva: Testing timed systems with timed purposes. RTCSA 2000: 166-171
1999
3EEEric 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

Coauthor Index

1S. Bloch [5]
2Alain Bui [10]
3Ana R. Cavalli [1] [2]
4Harry Gros-Desormeaux [19] [21] [23]
5Sébastien Gruson [16]
6Philippe Hunel [19] [21] [23]
7Nashat Mansour [17]
8Eric Petitjean [3] [4] [6] [7]
9Ludovic Pierre [16]
10Cyril Rabat [13] [16]
11Antoine Rollet [11] [12] [13] [14] [16] [18]
12Sébastien Salva [4] [5] [8]
13Abbas Tarhini [13] [14] [15] [17] [18] [20]
14Eduardo Tovar [22]
15Philippas Tsigas [22]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)