|
Search the dblp DataBase
Hakim Kahlouche:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho
Towards Automatic Distribution of Testers for Distributed Conformance Testing. [Citation Graph (0, 0)][DBLP] FORTE, 1998, pp:353-368 [Conf]
- Hakim Kahlouche
STEPS: A Software Tool-set for automatEd Protocol Synthesis. [Citation Graph (0, 0)][DBLP] ICCCN, 1997, pp:160-165 [Conf]
- Hakim Kahlouche, Jean-Jacques Girardot
A Stepwise Refinement Based Approach for Synthesizing Protocol Specifications in an Interpreted Petri Net Model. [Citation Graph (0, 0)][DBLP] INFOCOM, 1996, pp:1165-1173 [Conf]
- Hakim Kahlouche, César Viho, Massimo Zendri
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. [Citation Graph (0, 0)][DBLP] IWTCS, 1998, pp:211-226 [Conf]
- Hakim Kahlouche, César Viho, Massimo Zendri
Hardware Testing Using a Communication Protocol Conformance Testing Tool. [Citation Graph (0, 0)][DBLP] TACAS, 1999, pp:315-329 [Conf]
Search in 0.001secs, Finished in 0.001secs
|