SALVA - Sébastien



None IUT
sebastien.salva@uca.fr
04 73 17 71 27
Enseignant chercheur
https://perso.limos.fr/~sesalva/
Axe SIC : Systèmes d’Information et de Communication
Thème(s) : Données, Services, Intelligence

Dernière(s) publication(s) au LIMOS :

Toutes les publications de Sébastien SALVA au LIMOS

Dernière(s) publication(s) au LIMOS :
2021
COUV
Sébastien Salva, Elliott Blot
MLCA: A Model-Learning-Checking Approach for IoT Systems
Informatique/Génie logiciel
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/Génie logiciel