BLOT - Elliott

Last publications in LIMOS

All the publications of Elliott BLOT at LIMOS

Last publications in LIMOS
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é