Elliott Blot

According to our database, Elliott Blot authored at least 10 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Learning of behavioural models and dependency graphs for communicating systems with CkTailv2.

Sébastien Salva, Elliott Blot

Int. J. Softw. Tools Technol. Transf., 2022

2020

Model generation of component-based systems.

Sébastien Salva, Elliott Blot

Softw. Qual. J., 2020

Using Model Learning for the Generation of Mock Components.

Sébastien Salva, Elliott Blot

Proceedings of the Testing Software and Systems, 2020

MLCA: A Model-Learning-Checking Approach for IoT Systems.

Sébastien Salva, Elliott Blot

Proceedings of the Software Technologies - 15th International Conference, 2020

Verifying the Application of Security Measures in IoT Software Systems with Model Learning.

Sébastien Salva, Elliott Blot

Proceedings of the 15th International Conference on Software Technologies, 2020

CkTail: Model Learning of Communicating Systems.

Sébastien Salva, Elliott Blot

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

2019

Reverse Engineering Behavioural Models of IoT Devices.

Sébastien Salva, Elliott Blot

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

2018

Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems.

Sébastien Salva, Elliott Blot, Patrice Laurençot

Proceedings of the Testing Software and Systems, 2018

COnfECt: An Approach to Learn Models of Component-based Systems.

Sébastien Salva, Elliott Blot

Proceedings of the 13th International Conference on Software Technologies, 2018

2017

Formal Analysis of Combinations of Secure Protocols.

Elliott Blot, Jannik Dreier, Pascal Lafourcade

Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017