SALVA - Sébastien
All publications(50)
| 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
A catalogue associating security patterns and attack steps to design secure applications Journal of Computer Security - 2019 |
Informatique/Cryptographie et sécurité |
| 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é |
| 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/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
ART |
Loukmen Regainia, Sébastien Salva, Cédric Bouhours
Une démarche pour l'assistance a 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 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
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
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 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 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/Génie logiciel |
| 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/Modélisation et simulation |
| 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 |
| 2012
ART |
Sébastien Salva, Antoine Rollet
A pragmatic approach for testing stateless and stateful Web Service Robustness Studia Informatica Universalis - 2012 |
|
| 2010
COMM |
Ana Rosa Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaidi
Webmov : a dedicated framework for the modelling and testing of web services composition ICWS 2010 : 8th International Conference on Web Services - 2010 |
Informatique/Web |
| 2010
COMM |
Sébastien Salva, Issam Rabhi
Stateful web service robustness Fifth International Conference on Internet and Web Applications and Services - 2010 |
Informatique/Web |
| 2009
COMM |
Sébastien Salva, Antoine Rollet
Test purpose generation for timed protocol testing 2nd International Conference on Communication Theory, Reliability, and Quality of Service (CTRQ 2009), July 20-25, 2009 - Colmar, France - 2009 |
Informatique/Réseaux et télécommunications |
| 2009
COMM |
Antoine Rollet, Sébastien Salva
Testing robustness of communicating systems using ioco-based approach 1st IEEE Workshop on Performance evaluation of communications in distributed systems and Web based service architectures, in conjunction with IEEE ISCC 2009, July 5 - 8, 2009, Sousse, Tunisia - 2009 |
Informatique/Réseaux et télécommunications |
| 2009
COMM |
Sébastien Salva, Issam Rabhi
Automatic web service robustness testing from WSDL descriptions 12th European Workshop on Dependable Computing, EWDC 2009 - 2009 |
Informatique/Génie logiciel |
| 2008
COMM |
Sébastien Salva, Antoine Rollet
Automatic web service testing from WSDL descriptions 8th IEEE International Conference on Innovative Internet Community Systems (I2CS'08) - 2008 |
Informatique/Réseaux et télécommunications |
| 2008
ART |
Sébastien Salva, Antoine Rollet
Testabilité des services web Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information - 2008 |
Informatique/Réseaux et télécommunications |
| 2008
COMM |
Antoine Rollet, Sébastien Salva
Two complementary approaches to test robustness of reactive systems IEEE international conference on Automation, Quality and Testing, Robotics, 2008. AQTR 2008. - 2008 |
Informatique/Réseaux et télécommunications |
| 2006
ART |
Sébastien Salva
GENERATION OF TESTS FOR REAL-TIME SUSTEMS WITH TEST PURPOSES INTERNATIONAL JOURNAL FORMA METHODS IN SYSTEM DESIGH - 2006 |
Informatique/Réseaux et télécommunications |
| 2004
ART |
H. Fouchal, Sébastien Salva
TESTABILITY ANALYSIS FOR TIMED SYSTEMS INTERN JOURNAL IJCTA - 2004 |
Informatique/Réseaux et télécommunications |
| 2004
ART |
P. Laurencot, Sébastien Salva
TESTING MOBILE AND DISTRIBUTED SYSTEMS : METHOD AND EXPERIMENTATION OPODIS 2004 LNCS 3544 - 2004 |
Informatique/Réseaux et télécommunications |
| 2002
COMM |
Sébastien Salva, Antoine Rollet, H. Fouchal
Temporal and Behavior Characterization of States in Timed Systems Annnual International Conference on Computer and Information Science, ICIS'02 - 2002 |
Informatique/Réseaux et télécommunications |
| 2001
ART |
S. Bloch, H. Fouchal, E. Petitjean, Sébastien Salva
SOME ISSUES ON TESTING REAL TIME SYSTEMS INTERNA JOURNAL IN COMPUTER INFORMATION SCIENCES - 2001 |
Informatique/Réseaux et télécommunications |