The SCEAS System
Navigation Menu

Search the dblp DataBase


Hacène Fouchal: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sébastien Salva, Hacène Fouchal
    Some Parameters for Timed System Testability. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2001, pp:335-0 [Conf]
  2. Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel
    A Distributed Approach for Testing Timed Systems. [Citation Graph (0, 0)][DBLP]
    AICT/ICIW, 2006, pp:94- [Conf]
  3. Abbas Tarhini, Hacène Fouchal
    Robustness evaluation of real-Time Protocols. [Citation Graph (0, 0)][DBLP]
    AICT/ICIW, 2006, pp:95- [Conf]
  4. Hacène Fouchal, Ana R. Cavalli
    A modal based verification for LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:215-217 [Conf]
  5. Hacène Fouchal, Cyril Rabat, Antoine Rollet, Abbas Tarhini
    Experimental Test Generation for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IASSE, 2004, pp:284-289 [Conf]
  6. Eric Petitjean, Hacène Fouchal
    A Realistic Architecture for Timed Testing. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1999, pp:109-118 [Conf]
  7. Abbas Tarhini, Hacène Fouchal, Nashat Mansour
    A Simple Approach for Testing Web Service Based Applications. [Citation Graph (0, 0)][DBLP]
    IICS, 2005, pp:134-146 [Conf]
  8. Antoine Rollet, Hacène Fouchal
    Testing Protocol Robustness. [Citation Graph (0, 0)][DBLP]
    IICS, 2003, pp:201-215 [Conf]
  9. Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet
    Integrated Tool for Testing Timed Systems. [Citation Graph (0, 0)][DBLP]
    ISSADS, 2005, pp:153-166 [Conf]
  10. Abbas Tarhini, Hacène Fouchal
    Conformance Testing of Real-Time Component Based Systems. [Citation Graph (0, 0)][DBLP]
    ISSADS, 2005, pp:167-181 [Conf]
  11. Hacène Fouchal, Eric Petitjean
    A Test Case Derivation for Timed Systems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2001, pp:125-140 [Conf]
  12. Hacène Fouchal, Antoine Rollet
    A Simple Testing Technique for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2003, pp:159-170 [Conf]
  13. Sébastien Salva, Hacène Fouchal, S. Bloch
    Metrics for Timed Systems Testing. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2000, pp:177-200 [Conf]
  14. Hacène Fouchal, Ana R. Cavalli
    A Compositional Verification Method for LOTOS. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:390- [Conf]
  15. Hacène Fouchal, Eric Petitjean, Sébastien Salva
    Testing timed systems with timed purposes. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:166-171 [Conf]
  16. Hacène Fouchal
    Conformance Testing Techniques for Timed Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2002, pp:1-19 [Conf]
  17. Hacène Fouchal, Antoine Rollet, Abbas Tarhini
    Robustness of Composed Timed Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2005, pp:157-166 [Conf]
  18. Hacène Fouchal, Eric Petitjean
    Fault Detection on Timed Systems. [Citation Graph (0, 0)][DBLP]
    Stud. Inform. Univ., 2001, v:1, n:1, pp:37-58 [Journal]
  19. Abbas Tarhini, Antoine Rollet, Hacène Fouchal
    A pragmatic approach for testing robustness on real-time component based systems. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2005, pp:143- [Conf]
  20. Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel
    An Improved Test Derivation Technique. [Citation Graph (0, 0)][DBLP]
    NCA, 2006, pp:293-300 [Conf]

  21. Regression Testing Web Services-based Applications. [Citation Graph (, )][DBLP]

  22. A Distributed Cache Management for Test Derivation. [Citation Graph (, )][DBLP]

  23. Optimizing Distributed Test Generation. [Citation Graph (, )][DBLP]

  24. Message optimisation in wireless sensors networks for distributed diagnosis. [Citation Graph (, )][DBLP]

  25. Test Generation with DHT Networks. [Citation Graph (, )][DBLP]

  26. A distributed power management optimisation in wireless sensors networks. [Citation Graph (, )][DBLP]

  27. Testing Timed Finite State Machines with Guaranteed Fault Coverage. [Citation Graph (, )][DBLP]

  28. Robustness Testing on Composed Timed Systems. [Citation Graph (, )][DBLP]

  29. Distributed decision for medical alerts using wireless sensors. [Citation Graph (, )][DBLP]

Search in 0.019secs, Finished in 0.020secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002