Hakim Kahlouche
Hakim Kahlouche
R&D Engineer, Ericsson
Vahvistettu sähköpostiosoite verkkotunnuksessa ericsson.com
Nimike
Viittaukset
Viittaukset
Vuosi
Towards automatic distribution of testers for distributed conformance testing
C Jard, T Jéron, H Kahlouche, C Viho
Formal Description Techniques and Protocol Specification, Testing and …, 1998
381998
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, 211-226, 1998
301998
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
201996
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
An industrial experiment in automatic generation of
H Kahlouche, C Viho, M Zendri
Testing of Communicating Systems: Proceedings of the IFIP TC6 11th …, 2013
2013
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
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
Pascal and Francis Bibliographic Databases
H Kahlouche, JJ Girardot
Pascal and Francis Bibliographic Databases
J ALLOUCHE, I HUAULT
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–16