BLOT - Elliott
Last publications in LIMOS
All the publications of Elliott BLOT at LIMOS
Last publications in 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é |