Aliyu Tanko Ali
Research Staff
Recent Publications
Formal Model of Energy System using Attack Trees
21st IEEE International Conference on Smart Technologies, EUROCON 2025, Gdynia, Poland, June 4-6, 2025, 2025
Aliyu Tanko Ali and Damas P. Gruska and Martin Leucker
Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany
Proceedings of the 7th ACM SIGCAS/SIGCHI Conference on Computing and Sustainable Societies, COMPASS 2024, New Delhi, India, July 8-11, 2024, 2024
Aliyu Tanko Ali and Andreas Schuldei and Martin Sachenbacher and Martin Leucker
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management
Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, 2023
Aliyu Tanko Ali and Martin Leucker and Andreas Schuldei and Leonard Stellbrink and Martin Sachenbacher
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023, 2023
Daniel Thoma and Martin Sachenbacher and Martin Leucker and Aliyu Tanko Ali
Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid
Multi-Agent-Based Simulation XXIV - 24th International Workshop, MABS 2023, London, UK, May 29 - June 2, 2023, Revised Selected Papers, 2023
Aliyu Tanko Ali and Tim Schrills and Andreas Schuldei and Leonard Stellbrink and André Calero Valdez and Martin Leucker and Thomas Franke
Theses on Offer
Contact Information
aliyu.ali@isp.uni-luebeck.de
Address
3. Floor, Building MFC II
Phone
+49 451 310 16519