Towards automatic distribution of testers for distributed conformance testing C Jard, T Jéron, H Kahlouche, C Viho International Conference on Protocol Specification, Testing and Verification …, 1998 | 36 | 1998 |
An industrial experiment in automatic generation of executable test suites for a cache coherency protocol H Kahlouche, C Viho, M Zendri Testing of Communicating Systems: Proceedings of the IFIP TC6 11th …, 1998 | 35 | 1998 |
Method and system for performance management in a computer system H Kahlouche, S Savahl, S Juneau US Patent App. 10/279,792, 2004 | 21 | 2004 |
A stepwise refinement based approach for synthesizing protocol specifications in an interpreted Petri net model H Kahlouche, JJ Girardot Proceedings of IEEE INFOCOM'96. Conference on Computer Communications 3 …, 1996 | 18 | 1996 |
Hardware testing using a communication protocol conformance testing tool H Kahlouche, C Viho, M Zendri International Conference on Tools and Algorithms for the Construction and …, 1999 | 16 | 1999 |
Design of the ISO class 0 transport protocol: a stepwise refinement based approach H Kahlouche, JJ Girardot 1997 IEEE International Performance, Computing and Communications Conference …, 1997 | 2 | 1997 |
STEPS : a Software Toolset for automatEd Protocol Synthesis H Kahlouche International Journal of Computers and Applications 21, 1-12, 1999 | | 1999 |
Génération automatique de tests pour les protocoles: L'exemple de l'approche formelle de TGV (Test Generation with Verification Technology): Les applications du génie logiciel T Jeron, C Jard, C Viho, B Caillaud, H KAHLOUCHE, P Morel REE. Revue de l'électricité et de l'électronique, 84-88, 1999 | | 1999 |
DOSSIER 2-Les applications du genie logiciel-Generation automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV (test generation with verification … T Jeron, C Jard, C Viho, B Cuillaud, H Kahlouche, P Morel, JC Fernandez, ... Revue de l'Electricite et de l'Electronique, 84-88, 1999 | | 1999 |
Méthodologie de développement de protocoles de communication et des applications réparties. Vers une approche de synthèse H Kahlouche Ecole Nationale Supérieure des Mines de Saint-Etienne; Université Jean …, 1997 | | 1997 |
Automated Protocol Synthesis in ESTELLE Specification Language H Kahlouche IASTED/ISMM International Conference on Modeling and Simulation, 66-70, 1997 | | 1997 |
Méthodes de synthèse de protocoles de communication: État de l’art H Kahlouche Calculateurs parallèles 9, 507-536, 1997 | | 1997 |