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
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/Recherche d'information
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/Cryptographie et sécurité
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/Cryptographie et sécurité