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
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/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 |