SALVA - Sébastien

Toutes les publications (36)
Date/Type Titre/URL/journal Domaines Notes SJR/Core Cit. GScholar
2025
ART
Roxane Jouseau, Sébastien Salva, C. Samir
A New Metric for Measuring the Intrinsic Quality in Data Collected for Quantitative Classification
Lecture Notes in Artificial Intelligence - 2025
2024
COMM
Jarod Sue, Sébastien Salva
Sécurisation de services via des techniques de healing et d'encapsulations
AFADL 2024: Journées Approches Formelles dans l'Assistance au Développement de Logiciels - 2024
Informatique/Cryptographie et sécurité
2024
COMM
Sébastien Salva, Jarod Sue
Security Testing of RESTful APIs with Test Case Mutation
19th International Conference on Evaluation of Novel Approaches to Software Engineering - 2024
Informatique/Cryptographie et sécurité
2024
COMM
Jouseau Roxane, Sébastien Salva, C. Samir
A Novel Metric for Measuring Data Quality in Classification Applications
16th International Conference on Agents and Artificial Intelligence - 2024
Informatique/Apprentissage
2023
COMM
Sébastien Salva, Jarod Sue
Automated Test Case Generation for Service Composition from Event Logs
2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) - 2023
Informatique/Génie logiciel
2022
COMM
Roxane Jouseau, Sébastien Salva, Chafik Samir
On Studying the Effect of Data Quality on Classification Performances
Intelligent Data Engineering and Automated Learning - {IDEAL} 2022 - 2022
Informatique/Intelligence artificielle
2022
COMM
Roxane Jouseau, Chafik Samir, Sébastien Salva
Data quality in the context of classification tasks
38èmes journées de la conférence BDA « Gestion de Données – Principes, Technologies et Applications - 2022
Informatique/Apprentissage
2022
COMM
Sébastien Salva, Jarod Sue
Test Case Backward Generation for Communicating Systems from Event Logs
17th International Conference on Software Technologies - 2022
Informatique/Génie logiciel
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
PROCEEDINGS
Sébastien Salva, Elliott Blot
MLCA: A Model-Learning-Checking Approach for IoT Systems
Informatique/Cryptographie et sécurité
2020
PROCEEDINGS
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é
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/Ingénierie assistée par ordinateur
2020
COMM
Blot Elliott, Sébastien Salva
Vérification de Recommandations sur les Objets Connectés
19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2020 - 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/Génie logiciel
2019
ART
Loukmen Regainia, Sébastien Salva
A catalogue associating security patterns and attack steps to design secure applications
Journal of Computer Security - 2019
Informatique/Ingénierie assistée par ordinateur
2018
COMM
Loukmen Regainia, Sébastien Salva
A Practical Way of Testing Security Patterns
Thirteenth International Conference on Software Engineering Advances (ICSEA'18) - 2018
Informatique/Cryptographie et sécurité
2018
COMM
Sébastien Salva, Elliott Blot, Patrice Laurencot
Combining Model Learning and Data Analysis to Generate Models of Component-based Systems
Testing Software and Systems - 30th {IFIP} {WG} 6.1 International Conference, ICTSS - 2018
Informatique/Performance et fiabilité
2018
COMM
Sébastien Salva, Elliott Blot
COnfECt: An Approach to Learn Models of Component-based Systems
Proceedings of the 13th International Conference on Software Technologies, ICSOFT - 2018
2018
COMM
Elliott Blot, Patrice Laurencot, Sébastien Salva
COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système
17èmes journées AFADL : Approches Formelles dans l'Assistance au Développement de Logiciels - 2018
2018
COUV
Sébastien Salva, Loukmen Regainia
A security pattern classification based on Data integration
Informatique/Cryptographie et sécurité
2017
ART
Sébastien Salva, William Durand
Combining model generation and passive testing in the same framework to test industrial systems
International Journal of Information System Modeling and Design - 2017
Informatique/Ingénierie assistée par ordinateur
2017
COMM
Sébastien Salva, Loukmen Regainia
Using data integration to help design more secure applications
12th International Conference on Risks and Security of Internet and Systems (CRISIS'17) - 2017
Informatique/Génie logiciel
2017
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
Un Data-Store pour la Génération de Cas de Tests
16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels - 2017
Informatique/Génie logiciel
2017
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
Un Data-Store pour la Génération de Cas de Tests
16th AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, journées du GDR GPL - 2017
Informatique/Génie logiciel
2017
COMM
Loukmen Regainia, Sébastien Salva
A methodology of security pattern classification and of Attack-Defense Tree generation
3nd International Conference on Information Systems Security and Privacy {(ICISSP} 2017 - 2017
Informatique/Génie logiciel
2016
ART
Loukmen Raigainia, Sébastien Salva, Cédric Bouhours
Une démarche pour l’assistance à l’utilisation des patrons de sécurité
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques - 2016
Informatique/Génie logiciel
2016
COMM
Loukmen Regainia, Sébastien Salva, Cédric Bouhours
A classification methodology for security patterns to help fix software weaknesses
13th ACS/IEEE International Conference on Computer Systems and Applications AICCSA 2016 - 2016
Informatique/Génie logiciel
2016
COMM
Loukmen Regainia, Sébastien Salva, Cedric Bouhours
A classification methodology for security patterns to help fix software weaknesses
2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA) - 2016
Informatique/Génie logiciel
2016
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
A systematic approach to assist designers in security pattern integration
The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016) - 2016
2016
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
A Systematic Approach to Assist Designers in Security Pattern Integration
The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016) - 2016
Informatique/Génie logiciel
2016
COUV
Sébastien Salva, Patrice Laurencot, Stassia R Zafimiharisoa
Model inference of Mobile Applications with dynamic state abstraction
Informatique/Génie logiciel