Semi-Formal Representation and Evaluation of Security Properties. - Xinxin Lou; Ines Ben Zid; Mithil Parekh; Yuan Gao (GI-Jahrestagung, 2017)

Combining Artificial Intelligence planning advantages to assist preliminary formal analysis on Industrial Control System cybersecurity vulnerabilities. - Xinxin Lou; Karl Waedt; Yuan Gao; Ines Ben Zid; Venesa Watson (ECAI, 2018)

Operational Security Modeling and Analysis for IACS. - Yuan Gao; Ines Ben Zid; Xinxin Lou; Mithil Parekh (GI-Jahrestagung (Workshops), 2019)

The application of Articial Intelligence for Cyber Security in Industry 4.0. - Ines Ben Zid; Mithil Parekh; Karl Waedt; Xinxin Lou (GI-Jahrestagung (Workshops), 2019)