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
COMM
Sébastien Salva, Laurent Provot, Jarod Sue
Conversation Extraction from Event Logs
13th International Conference on Knowledge Discovery and Information Retrieval - 2021
Informatique/Génie logiciel
2021
COMM
Sébastien Salva
Reverse Engineering Models of Concurrent Communicating Systems From Event Logs
Sixteenth International Conference on Software Engineering Advances ICSEA 2021 - 2021
Informatique/Génie logiciel
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