Amin Majd

Email:
amin.majd@abo.fi
Room:
344C , Details
Amin Majd

Publications

Articles in proceedings 6

Vistbakka, Inna and Troubitsyna, Elena and Majd, Amin, Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. In: 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019. Yu, Dongjin and Nguyen, Vu and Jiang, Congfeng (Eds.). IEEE, 2019 1
Vistbakka, Inna and Majd, Amin and Troubitsyn, Elena, Multi-layered Approach to Safe Navigation of Swarms of Drones. In: Computer Safety, Reliability, and Security - {SAFECOMP} 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. Gallina, Barbara and Skavhaug, Amund and Schoitsch, Erwin and Bitsch, Friedemann (Eds.). Lecture Notes in Computer Science Springer, 2018 2
Vistbakka, Inna and Majd, Amin and Troubitsyna, Elena, Deriving Mode Logic for Autonomous Resilient Systems. In: Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, {ICFEM} 2018. Sun, Jing and Sun, Meng (Eds.). Lecture Notes in Computer Science Springer, 2018 2
Majd, Amin and Ashraf, Adnan and Troubitsyna, Elena and Daneshtalab, Masoud, Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. In: 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). Merelli, Ivan and Lio, Pietro and Kotenko, Igor (Eds.). IEEE, 2018 1
Majd, Amin and Ashraf, Adnan and Troubitsyna, Elena and Daneshtalab, Masoud, Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. In: 2018 IEEE Congress on Evolutionary Computation (CEC). Coello Coello, Carlos and Ishibuchi, Hisao and Li, Xiaodong and Zuben, Fernando Von (Eds.). IEEE, 2018 1
Ashraf, Adnan and Majd, Amin and Troubitsyna, Elena, Towards a Realtime, Collision-Free Motion Coordination and Navigation System for a UAV Fleet. In: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems. Rysavy, Ondrej and Vranić, Valentino (Eds.). ECBS '17 ACM, 2017

Technical reports 1

Vistbakka, Inna and Majd, Amin and Troubitsyna, Elena, Autonomous Resilient Systems: Derivation of Mode Logic Using Event-B. TUCS Technical Reports 1199. 2018

Laboratories and Groups

Current projects