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