Volgen
Hakim Kahlouche
Hakim Kahlouche
R&D Engineer, Ericsson
Geverifieerd e-mailadres voor ericsson.com
Titel
Geciteerd door
Geciteerd door
Jaar
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
371998
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
351998
Method and system for performance management in a computer system
H Kahlouche, S Savahl, S Juneau
US Patent App. 10/279,792, 2004
212004
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
191996
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
141999
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
21997
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
STEPS: a software tool-set for automated protocol synthesis
H Kahlouche
Proceedings of Sixth International Conference on Computer Communications and …, 1997
1997
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–13