Formal Analysis of Combinations of Secure Protocols. - Elliott Blot; Jannik Dreier; Pascal Lafourcade 001 (FPS, 2017)

COnfECt: An Approach to Learn Models of Component-based Systems. - Sébastien Salva; Elliott Blot (ICSOFT, 2018)

Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems. - Sébastien Salva; Elliott Blot; Patrice Laurençot (ICTSS, 2018)

Reverse Engineering Behavioural Models of IoT Devices. - Sébastien Salva; Elliott Blot (SEKE, 2019)

CkTail: Model Learning of Communicating Systems. - Sébastien Salva; Elliott Blot (ENASE, 2020)

Verifying the Application of Security Measures in IoT Software Systems with Model Learning. - Sébastien Salva; Elliott Blot (ICSOFT, 2020)

MLCA: A Model-Learning-Checking Approach for IoT Systems. - Sébastien Salva; Elliott Blot (ICSOFT (Selected Papers), 2020)

Using Model Learning for the Generation of Mock Components. - Sébastien Salva; Elliott Blot (ICTSS, 2020)

Model generation of component-based systems. - Sébastien Salva; Elliott Blot (Softw. Qual. J., 2020)

Learning of behavioural models and dependency graphs for communicating systems with CkTailv2. - Sébastien Salva; Elliott Blot (Int. J. Softw. Tools Technol. Transf., 2022)