| Disciplined use of BPMN for mission modeling of Multi-Robot Systems. K Bourr, F Corradini, S Pettinari, B Re, L Rossi, F Tiezzi PoEM (Forum), 1-10, 2021 | 15 | 2021 |
| Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14 … T Margaria, B Steffen Springer, 2016 | 12 | 2016 |
| Writing Robotics Applications with X-Klaim L Bettini, K Bourr, R Pugliese, F Tiezzi International Symposium on Leveraging Applications of Formal Methods, 361-379, 2020 | 7 | 2020 |
| Programming multi-robot systems with X-KLAIM L Bettini, K Bourr, R Pugliese, F Tiezzi International Symposium on Leveraging Applications of Formal Methods, 283-300, 2022 | 6 | 2022 |
| Coordinating and programming multiple ROS-based robots with X-KLAIM L Bettini, K Bourr, R Pugliese, F Tiezzi International Journal on Software Tools for Technology Transfer 25 (5), 747-764, 2023 | 2 | 2023 |
| Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-KLAIM Code K Bourr, L Bettini, F Tiezzi International Symposium on Leveraging Applications of Formal Methods, 2024 | | 2024 |
| Leveraging Applications of Formal Methods, Verification and Validation, Adaptation and Learning. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22 … T Margaria, B Steffen Springer, 2022 | | 2022 |
