List of publications

  • Peer review journals

    [1] Darko Bozhinoski, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione and Ivica Crnkovic. Safety for Mobile Robotic System: a Systematic Mapping Study from a Software Engineering Perspective. In Journal of Systems and Software (JSS), 2019, Elsevier;

    [2] Darko Bozhinoski, David Garlan, Ivano Malavolta and Patrizio Pelliccione. Managing Safety and Mission Completion via Collective Run-time Adaptation. Journal of Systems Architecture: Embedded Software Design (JSA), 2019, Elsevier;

  • Conference papers

    [1] Jonas Kuckling, Antoine Ligot, Darko Bozhinoski and Mauro Birattari (2018). Behavior Trees as a Control Architecture in the Automatic Modular Design of Robot Swarms. In International Conference on Swarm Intelligence, 2018, pp. 30-43, Springer.

    [2] Darko Bozhinoski and Mauro Birattari. Designing control software for robot swarms: software engineering for the development of automatic design methods. In 2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE), 2018, pp. 33-35, IEEE.

    [3] Darko Bozhinoski, Antonio Bucchiarone, Ivano Malavolta, AnnaPaola Marconi and Patrizio Pelliccione. Leveraging collective run-time adaptation for UAV-based systems. In Software Engineering and Advanced Applications (SEAA), 2016 42th Euromicro Conference, 2016, pp. 214-221, IEEE.

    [4] Darko Bozhinoski, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione and Massimo Tivoli. Flyaq: Enabling non-expert users to specify and generate missions of autonomous multicopters. In Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference, 2015, pp. 801-806. IEEE.

    [5] Darko Bozhinoski, Ivano Malavolta, Antonio Bucchiarone, and AnnaPaola Marconi. Sustainable safety in mobile multi-robot systems via collective adaptation. In Self-Adaptive and Self-Organizing Systems (SASO), 2015 IEEE 9th International Conference, 2015, pp. 172-173, IEEE.

    [6] Darko Bozhinoski. Managing safety and adaptability in Mobile Multi-Robot systems. In Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015, pp. 135-140, ACM.

    [7] Darko Bozinoski, Solza Grceva. WORLD (World Bank Random Linked Data). ICT Innovations 2012, Web Proceedings ISSN 1857-7288, 2012, p. 261.

  • Keynote Talks

    [1] Darko Bozhinoski, Verification of Cyber-Physical Systems, 2nd International Conference on Computing, Mathematics & Engineering Technologies (iCoMET), 2019, Sukkur, Pakistan