Khalid Bourr

Orcid: 0009-0003-1548-5362

According to our database¹, Khalid Bourr authored at least 4 papers between 2020 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

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

[BibT_eX]

[DOI]

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

2022

Programming Multi-robot Systems with X-KLAIM.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2020

Writing Robotics Applications with X-Klaim.

[BibT_eX]

[DOI]

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

Khalid Bourr

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...