Research Output per year
Research Output per year
Publications
-
Online Path Generation and Navigation for Swarms of UAVs
Ashraf, A., Majd, A. & Troubitsyna, E., 2020, In : Scientific Programming. 2020, p. 1–14Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
A Cloud based super-optimization method to parallelize the sequential code's nested loops
Majd, A., Loni, M., Sahebi, G., Daneshtalab, M. & Troubitsyna, E., 2019, 2019 IEEE 13th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC). IEEE, p. 281–287Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective
Vistbakka, I., Troubitsyna, E. & Majd, A., 2019, Proceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE). Dongjin, Y., Nguyen, V. & Jiang, C. (eds.). IEEE, p. 58–65Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Deriving Mode Logic for Autonomous Resilient Systems
Vistbakka, I., Majd, A. & Troubitsyna, E., 2018, Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Sun, J. & Sun, M. (eds.). Springer, p. 320–336Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems
Loni, M., Majd, A., Loni, A., Daneshtalab, M., Sjödin, M. & Troubitsyna, E., 2018, 2018 IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC). IEEE, p. 244–251Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review