Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

12 résultats

TESTING MOBILE AND DISTRIBUTED SYSTEMS : METHOD AND EXPERIMENTATION

P. Laurencot , Sébastien Salva
OPODIS 2004 LNCS 3544, 2004, pp.37-51
Article dans une revue hal-00118079v1

Mixed neural and feedback controller for Apache Web server

F. Rafamantanantsoa , P. Laurencot , Alexandre Aussem
International Conference on Sciences of Electronic, Technology of Information and Telecommunications SETIT'09, Hammamet, Tunisie, 2009, Hammamet, Tunisia. pp.1
Communication dans un congrès hal-00383796v1

On the fly test generation for real time protocols

Ousmane Koné , Richard Castanet , Patrice Laurencot
International Conference on Computer Communications & Networks - IC3N'98, 1998, Lafayette, Louisiana, USA
Communication dans un congrès inria-00098453v1

A MULTI-SERVICE AND MULTI-PROTOCOL VALIDATION PLATFORM - EXPERIMENTATION RESULTS

A. Cavalli , A. Mederreg , F. Zaidi , P. Combe , W. Monin , et al.
TESTCOM 2004 LNCS 2978, 2004, pp.17-32
Article dans une revue hal-00118074v1
Image document

Combining Model Learning and Data Analysis to Generate Models of Component-based Systems

Sébastien Salva , Elliott Blot , Patrice Laurencot
Testing Software and Systems - 30th {IFIP} {WG} 6.1 International Conference, ICTSS, Oct 2018, Cadiz,, Spain
Communication dans un congrès hal-01868227v1
Image document

COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système

Elliott Blot , Patrice Laurencot , Sébastien Salva
17èmes journées AFADL : Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France
Communication dans un congrès hal-01803916v1
Image document

Model Inference and Automatic Testing of Mobile Applications *

Sébastien Salva , Patrice Laurencot
International Journal of Computer Aided Engineering and Technology, 2015
Article dans une revue hal-02019666v1

Mixed Neural and Feedback Controller for Apache Web Server

Fontaine Rafamantanantsoa , P. Laurencot , Alexandre Aussem
International Journal on Computer Network and Internet Research, 2009, 9 (2), pp.25-30
Article dans une revue hal-00403583v1

UNE PLATE-FORME DE VALIDATION MULTI-PROTOCOLES ET MULTI-SERVICES - RESULTAT D'EXPERIMENTATION

Pascale Combes , W. Monin , A. Cavalli , A. Mederreg , R. Castanet , et al.
Annals of Telecommunications - annales des télécommunications, 2005, pp.588-609
Article dans une revue hal-00118092v1
Image document

Model inference of Mobile Applications with dynamic state abstraction

Sébastien Salva , Patrice Laurencot , Stassia R Zafimiharisoa
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015, 612, 2016, Studies in Computational Intelligence (SCI)
Chapitre d'ouvrage hal-02019290v1
Image document

Model Inference and Automatic Testing of Mobile Applications

Sébastien Salva , Patrice Laurencot
International Journal On Advances in Software, 2015
Article dans une revue hal-02019691v1

Performance Modelling and Analysis of a Web Server

Fontaine Rafamantanantsoa , P. Laurencot , Alexandre Aussem
International Journal on Computer Network and Internet Research, 2009, 9 (2), pp.31-35
Article dans une revue hal-00403602v1