Khalid Bourr

According to our database, Khalid Bourr authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code.

Khalid Bourr, Francesco Tiezzi, Lorenzo Bettini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

2023

Coordinating and programming multiple ROS-based robots with X-KLAIM.

Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi

Int. J. Softw. Tools Technol. Transf., December, 2023

2022

Programming Multi-robot Systems with X-KLAIM.

Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2021

Disciplined use of BPMN for mission modeling of Multi-Robot Systems.

Khalid Bourr, Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi

Proceedings of the Forum at Practice of Enterprise Modeling 2021 (PoEM-Forum 2021) (PoEM 2021), 2021

2020

Writing Robotics Applications with X-Klaim.

Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020