LAURENCOT - Patrice
Toutes les publications (6)
Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
---|---|---|---|---|
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 R 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 | ||
2001
COMM |
Michel Dabonneville, Christophe Gouinaud, Philippe Kauffmann, Patrice Laurencot, Frédéric Meignan, E. Mesnard, Nicolas de Saint Rémy, Joël Toussaint, Philippe Vaslin
Un exemple de pluridisciplinarité en E.E.A. : Réalisation d'un fauteuil roulant ergomètre autonome CETSIS-EEA - 2001 |
Physique |