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