LAURENCOT - Patrice
All publications(11)
| 2018
COMM |
Sébastien Salva, Elliott Blot, Patrice Laurencot
Combining Model Learning and Data Analysis to Generate Models of Component-based Systems Testing Software and Systems - 30th {IFIP} {WG} 6.1 International Conference, ICTSS - 2018 |
Informatique/Performance et fiabilité |
| 2018
COMM |
Elliott Blot, Patrice Laurencot, Sébastien Salva
COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système 17èmes journées AFADL : Approches Formelles dans l'Assistance au Développement de Logiciels - 2018 |
|
| 2016
COUV |
Sébastien Salva, Patrice Laurencot, Stassia Zafimiharisoa
Model inference of Mobile Applications with dynamic state abstraction |
Informatique/Génie logiciel |
| 2015
ART |
Sébastien Salva, Patrice Laurencot
Model Inference and Automatic Testing of Mobile Applications International Journal On Advances in Software - 2015 |
Informatique/Génie logiciel |
| 2015
ART |
Sébastien Salva, Patrice Laurencot
Model Inference and Automatic Testing of Mobile Applications * International Journal of Computer Aided Engineering and Technology - 2015 |
Informatique/Génie logiciel |
| 2009
ART |
Fontaine Rafamantanantsoa, P. Laurencot, Alexandre Aussem
Performance Modelling and Analysis of a Web Server International Journal on Computer Network and Internet Research - 2009 |
Informatique/Réseau de neurones |
| 2009
ART |
Fontaine Rafamantanantsoa, P. Laurencot, Alexandre Aussem
Mixed Neural and Feedback Controller for Apache Web Server International Journal on Computer Network and Internet Research - 2009 |
Informatique/Réseau de neurones |
| 2009
COMM |
F. Rafamantanantsoa, P. Laurencot, Alexandre Aussem
Mixed neural and feedback controller for Apache Web server International Conference on Sciences of Electronic, Technology of Information and Telecommunications SETIT'09, Hammamet, Tunisie - 2009 |
Informatique/Réseau de neurones |
| 2005
ART |
Pascale Combes, W. Monin, A. Cavalli, A. Mederreg, R. Castanet, M. Mackaya, P. Laurencot
UNE PLATE-FORME DE VALIDATION MULTI-PROTOCOLES ET MULTI-SERVICES - RESULTAT D'EXPERIMENTATION Annals of Telecommunications - annales des télécommunications - 2005 |
Informatique/Réseaux et télécommunications |
| 2004
ART |
P. Laurencot, Sébastien Salva
TESTING MOBILE AND DISTRIBUTED SYSTEMS : METHOD AND EXPERIMENTATION OPODIS 2004 LNCS 3544 - 2004 |
Informatique/Réseaux et télécommunications |
| 2004
ART |
A. Cavalli, A. Mederreg, F. Zaidi, P. Combe, W. Monin, R. Castanet, M. Mackaya, P. Laurencot
A MULTI-SERVICE AND MULTI-PROTOCOL VALIDATION PLATFORM - EXPERIMENTATION RESULTS TESTCOM 2004 LNCS 2978 - 2004 |
Informatique/Réseaux et télécommunications |