An Advanced Approach for Choosing Security Patterns and Checking their Implementation

Autor: Salva, Sébastien, Regainia, Loukmen

This paper tackles the problems of generating concrete test cases for testing whether an application is vulnerable to attacks, and of checking whether security solutions are correctly implemented. The approach proposed in the paper aims at guiding de

Externí odkaz: http://arxiv.org/abs/2007.03275

Data quality in the context of classification tasks

Autor: Jouseau, Roxane, Samir, Chafik, Salva, Sébastien

Publikováno v: 38èmes journées de la conférence BDA « Gestion de Données – Principes, Technologies et Applications
38èmes journées de la conférence BDA « Gestion de Données – Principes, Technologies et Applications, Oct 2022, Clermont-Ferrand, France, France

International audience; Data cleaning is an important step of a machine learning process to get the best results possible. The literature is rich, and there are many tools available, which makes choosing which tool to use complex. The objective of ou

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::420cacd9573b5febe2c34933c61c4199
https://hal.uca.fr/hal-03903460

Reverse Engineering Models of Concurrent Communicating Systems From Event Logs

Autor: Salva, Sébastien

Publikováno v: Sixteenth International Conference on Software Engineering Advances ICSEA 2021
Sixteenth International Conference on Software Engineering Advances ICSEA 2021, Oct 2021, Barcelona, online, Spain

International audience; This paper tackles the problem of recovering formal models of communicating systems made up of components concurrently interacting with each other, e.g., Web service compositions or IoT systems. We present a passive model lear

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::44f755f85aefe50acda530c9968f7cba
https://hal.uca.fr/hal-03444549

On Studying the Effect of Data Quality on Classification Performances

Autor: Jouseau, Roxane, Salva, Sébastien, Samir, Chafik

Publikováno v: Intelligent Data Engineering and Automated Learning – IDEAL 2022 ISBN: 9783031217524
Intelligent Data Engineering and Automated Learning-{IDEAL} 2022
Intelligent Data Engineering and Automated Learning-{IDEAL} 2022, Nov 2022, Manchester, United Kingdom. pp.82-93, ⟨10.1007/978-3-031-21753-1_9⟩

International audience; The field of data repairing is very active and produces a lot of repairing methods. This abundance of options can make choosing a re- pairing method hard. Our research question stems from this problem: Is it always better to r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8d70c6a50f347f7b1c43b34c21e776e
https://doi.org/10.1007/978-3-031-21753-1_9

Vérification de Recommandations sur les Objets Connectés

Autor: Elliott, Blot, Salva, Sébastien

Publikováno v: 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels-AFADL 2020
19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels-AFADL 2020, 2020, Vannes, France

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7ad21c048e6c62ba747aae327c132866
https://hal.uca.fr/hal-02884818