Aliyu Tanko Ali

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

Collaborative distances:

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

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