Attack Protection Tree. - Aliyu Tanko Ali; Damas P. Gruska (CS&P, 2019)

Attack Trees with Time Constraints. - Aliyu Tanko Ali; Damas P. Gruska (CS&P, 2021)

Dynamic Attack Trees. - Aliyu Tanko Ali; Damas P. Gruska (OVERLAY@GandALF, 2021)

Simplified Timed Attack Trees. - Aliyu Tanko Ali (RCIS, 2021)

Reversible Attack Trees. - Aliyu Tanko Ali; Damas P. Gruska (UEMCON, 2021)

States of Attack Under Incomplete Information. - Aliyu Tanko Ali; Damas P. Gruska (CCWC, 2022)

A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. - Aliyu Tanko Ali; Martin Leucker; Andreas Schuldei; Leonard Stellbrink; Martin Sachenbacher (EUMAS, 2023)

A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. - Daniel Thoma; Martin Sachenbacher; Martin Leucker; Aliyu Tanko Ali (FMDT@FM, 2023)

Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid. - Aliyu Tanko Ali; Tim Schrills; Andreas Schuldei; Leonard Stellbrink; André Calero Valdez; Martin Leucker; Thomas Franke (MABS, 2023)

Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. - Aliyu Tanko Ali; Andreas Schuldei; Martin Sachenbacher; Martin Leucker (COMPASS, 2024)

Formal Model of Energy System using Attack Trees. - Aliyu Tanko Ali; Damas P. Gruska; Martin Leucker (EUROCON, 2025)