BLOT - Elliott

All publications(7)
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
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é