SALVA - Sébastien



None IUT
sebastien.salva@uca.fr
04 73 17 71 27
Researcher teacher
https://perso.limos.fr/~sesalva/
Axis ICS : Information and Communication Systems
Thème(s) : Data, Services, Intelligence

Last publications in LIMOS

All the publications of Sébastien SALVA at LIMOS

Last publications in LIMOS
2020
COUV
Sébastien Salva, Elliott Blot
Using Model Learning for the Generation of Mock Components
Informatique/Génie logiciel
2020
COMM
Sébastien Salva, Elliot Blot
Verifying the Application of Security Measures in IoT Software Systems with Model Learning
15th International Conference on Software Technologies - 2020
Informatique/Génie logiciel
2020
COMM
Sébastien Salva, Elliott Blot
CkTail: Model Learning of Communicating Systems
15th International Conference on Evaluation of Novel Approaches to Software Engineering - 2020
Informatique/Génie logiciel
2020
ART
Sébastien Salva, Elliott Blot
Model generation of component-based systems
Software Quality Journal - 2020
Informatique/Ingénierie assistée par ordinateur
2019
COMM
Sébastien Salva, Elliott Blot
Reverse Engineering Behavioural Models of IoT Devices
31st International Conference on Software Engineering & Knowledge Engineering (SEKE) - 2019
Informatique/Génie logiciel