Aliyu Tanko Ali

According to our database, Aliyu Tanko Ali authored at least 15 papers between 2019 and 2025.

Collaborative distances:

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

2025

Supervised Attack Trees.

Aliyu Tanko Ali, Damas P. Gruska, Martin Leucker

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2025

Graph Reduction to Attack Trees for (Unobservable) Target Analysis.

Aliyu Tanko Ali, Leonard Chidiebere Eze, Damas P. Gruska, Martin Leucker

Proceedings of the Secure IT Systems, 2025

Using Attack Trees for Security Education and Training: Simplifying Threat Analysis.

Damas P. Gruska, Aliyu Tanko Ali, Martin Leucker

Proceedings of the Information Security Education. Empowering People Through Information Security Education, 2025

Formal Model of Energy System using Attack Trees.

Aliyu Tanko Ali, Damas P. Gruska, Martin Leucker

Proceedings of the 21st IEEE International Conference on Smart Technologies, 2025

Cognitive Modeling of Agents: Integrating Emotions, Goals, Needs, and Decision-Making.

Mohammad Khodaygani, Aliyu Tanko Ali, Timon Dohnke, Tobias Groth, Edgar Baake, Martin Leucker, Nele Russwinkel

Proceedings of the Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning co-located with 48th German Conference on Artificial Intelligence, September 16, 2025

2024

Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany.

Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker

Proceedings of the 7th ACM SIGCAS/SIGCHI Conference on Computing and Sustainable Societies, 2024

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

Proceedings of the Multi-Agent-Based Simulation XXIV - 24th International Workshop, 2023

A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab.

Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management.

Aliyu Tanko Ali, Martin Leucker, Andreas Schuldei, Leonard Stellbrink, Martin Sachenbacher

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

States of Attack Under Incomplete Information.

Aliyu Tanko Ali, Damas P. Gruska

Proceedings of the 12th IEEE Annual Computing and Communication Workshop and Conference, 2022

2021

Reversible Attack Trees.

Aliyu Tanko Ali, Damas P. Gruska

Proceedings of the 12th IEEE Annual Ubiquitous Computing, 2021

Simplified Timed Attack Trees.

Aliyu Tanko Ali

Proceedings of the Research Challenges in Information Science, 2021

Dynamic Attack Trees.

Aliyu Tanko Ali, Damas P. Gruska

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Attack Trees with Time Constraints.

Aliyu Tanko Ali, Damas P. Gruska

Proceedings of the 29th International Workshop on Concurrency, 2021

2019

Attack Protection Tree.

Aliyu Tanko Ali, Damas P. Gruska

Proceedings of the 28th International Workshop on Concurrency, 2019