SALVA - Sébastien



None IUT
sebastien.salva@uca.fr
04 73 17 71 27
Researcher teacher
https://perso.limos.fr/~sesalva/
Axis SIC : Information systems and of Communication
Thème(s) : Data, Services, Intelligence

Last publications in LIMOS

All the publications of Sébastien SALVA at LIMOS

Last publications in LIMOS
2020
COMM 		Sébastien Salva, Elliott Blot
CkTail: Model Learning of Communicating Systems
15th International Conference on Evaluation of Novel Approaches to Software Engineering - 2020		 Informatique/Génie logiciel
2020
ART 		Sébastien Salva, Elliott Blot
Model generation of component-based systems
Software Quality Journal - 2020 		Informatique/Génie logiciel
2019
COMM 		Sébastien Salva, Elliott Blot
Reverse Engineering Behavioural Models of IoT Devices
31st International Conference on Software Engineering & Knowledge Engineering (SEKE) - 2019		 Informatique/Génie logiciel
2019
ART 		Sébastien Salva, Loukmen Regainia
An Approach for Guiding Developers in the Choice of Security Solutions and in the Generation of Concrete Test Cases
Software Quality Journal - 2019 		Informatique/Génie logiciel
2019
ART 		Sébastien Salva, Loukmen Regainia
An Advanced Approach for Choosing Security Patterns and Checking their Implementation
International Journal On Advances in Security - 2019 		Informatique/Cryptographie et sécurité