Aliyu Tanko Ali

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

Collaborative distances:

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

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