Publications/outils

• tool COnfECt 

COnfECt Model learning tool for one component

• trace analysis and formatting

Mapper aka TFormat Trace analysis and formatting

• tools for IOT systems

Assess Model learning tool for IOT systems

CkTail Model learning tool for communicating systems

• Publications

AFADL(2018)

ICTSS (2018)

ICSOFT (2018)

SEKE (2019) reverse engineering of IOT systems

SQJ (2019) journal presenting COnfECt

Using Model Learning for the Generation of Mock Components (2020)

Verifying the Application of Security Measures in IoT Software Systems with Model Learning (2020)

CkTail: Model Learning of Communicating Systems (2020)

Model generation of component-based systems (2020)