SALVA - Sébastien

Toutes les publications (49)
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/Web
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
Statistiques
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/Génie logiciel
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/Cryptographie et sécurité
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é
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/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
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
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/Génie logiciel
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/Cryptographie et sécurité
2016
COUV
Sébastien Salva, Patrice Laurencot, Stassia R Zafimiharisoa
Model inference of Mobile Applications with dynamic state abstraction
Informatique/Génie logiciel
2015
COMM
William Durand, Sébastien Salva
Passive testing of production systems based on model inference
ACM/IEEE International Conference on Formal Methods and Models for Codesign - 2015
Informatique/Génie logiciel
2015
COMM
Sébastien Salva, William Durand
Autofunk, a fast and scalable framework for building formal models from production systems
9th ACM International Conference on Distributed Event-Based Systems, DEBS - 2015
Informatique/Génie logiciel
2015
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
Une démarche pour l'assistance à l'utilisation des patrons de sécurité WebMov (ANR)
4ème Conférence en IngénieriE du Logiciel (CIEL) - 2015
Informatique/Génie logiciel
2015
COMM
William Durand, Sébastien Salva
Autofunk: an inference-based formal model generation framework for production systems
20th International Symposium on Formal Methods, FME 2015 - 2015
Informatique/Génie logiciel
2015
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
Une démarche pour l?assistance à l'utilisation des patrons de sécurité
4ème Conférence en IngénieriE du Logiciel (CIEL) - 2015
Informatique/Génie logiciel
2015
ART
Sébastien Salva, Patrice Laurencot
Model Inference and Automatic Testing of Mobile Applications
International Journal On Advances in Software - 2015
Informatique/Génie logiciel
2015
ART
Sébastien Salva, Patrice Laurencot
Model Inference and Automatic Testing of Mobile Applications *
International Journal of Computer Aided Engineering and Technology - 2015
Informatique/Génie logiciel
2014
COMM
William Durand, Sébastien Salva
Inferring models with rule-based expert systems.
Fifth Symposium on Information and Communication Technology, SoICT '14 - 2014
Informatique/Génie logiciel
2014
COMM
Sébastien Salva, Stassia R Zafimiharisoa
Model reverse-engineering of Mobile applications with exploration strategies.
Ninth International Conference on Software Engineering Advances, ICSEA 2014 - 2014
Informatique/Génie logiciel
2014
COMM
Sébastien Salva, William Durand
Domain-Driven Model Inference Applied To Web Applications
2014 International Conference on Software Engineering Research and Practice (SERP14) - 2014
Informatique/Web
2014
COMM
William Durand, Sébastien Salva
Inférence de modèles dirigée par la logique métier
AFADL (Approches Formelles dans l'Assistance au Développement de Logiciels) - 2014
Informatique/Génie logiciel
2014
ART
Sébastien Salva, Stassia R. Zamiharisoa
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities.
Software Tools for Technology Transfer manuscript - 2014
Informatique/Informatique et langage
2014
ART
Sébastien Salva, Tien-Dung Cao
Proxy-Monitor: An integration of runtime verification with passive conformance testing.
International Journal of Software Innovation - 2014
Informatique/Génie logiciel