Type-Driven Verification of Non-functional Properties. - Christopher Brown 002; Adam D. Barwell; Yoann Marquer; Céline Minh; Olivier Zendra (PPDP, 2019)

An Explainable-by-Design Ensemble Learning System to Detect Unknown Network Attacks. - Céline Minh; Kevin Vermeulen; Cédric Lefebvre; Philippe Owezarski; William Ritchie (CNSM, 2023)