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 |