| 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 | 13 | 2021 |
| 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 |
| From Diagram to Deployment: Translating BPMN Collaborations into X-Klaim for Efficient Multi-Robot System Programming K Bourr, F Tiezzi arXiv preprint 2311.04126 [cs.RO], 2023 | | 2023 |
| 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 |
| Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA … T Margaria, B Steffen Springer Nature, 2020 | | 2020 |
