BLOT - Elliott
Toutes les publications (10)
Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
---|---|---|---|---|
2022
ART |
Sebastien Salva, Elliott Blot
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2 International Journal on Software Tools for Technology Transfer - 2022 |
|||
2021
COUV |
Sébastien Salva, Elliott Blot
MLCA: A Model-Learning-Checking Approach for IoT Systems |
Informatique/Génie logiciel | ||
2020
COUV |
Sébastien Salva, Elliott Blot
Using Model Learning for the Generation of Mock Components |
Informatique/Génie logiciel | ||
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 | ||
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 | ||
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 |
|||
2017
COMM |
Elliott Blot, Jannik Dreier, Pascal Lafourcade
Formal Analysis of Combinations of Secure Protocols FPS 2017 - 10th International Symposium on Foundations & Practice of Security - 2017 |
Informatique/Cryptographie et sécurité |