About rospec

Authors

This is a research project within the Software and Societal Systems Department (S3D) and the Robotics Institute at Carnegie Mellon University, and LASIGE at University of Lisbon, by:

• Paulo Canelas, with Carnegie Mellon University and University of Lisbon;
• Bradley Schmerl, with Carnegie Mellon University;
• Alcides Fonseca, with University of Lisbon;
• Christopher S. Timperley, with Carnegie Mellon University.

Code

This project is open-source and available on GitHub.

Publications

• The Usability Argument for ROS-based Robot Architectural Description Languages. Paulo Canelas, Bradley Schmerl, Alcides Fonseca, and Christopher S. Timperley. In Proceedings the 15th annual workshop on the intersection of HCI and PL (PLATEAU). 2025.
• Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. Paulo Canelas, Bradley Schmerl, Alcides Fonseca, and Christopher S. Timperley. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). 2024.

Acknowledgements

This work was supported by Fundação para a Ciência e Tecnologia (FCT) in the LASIGE Research Unit under the ref. (UID/00408/2025 and EXPL/CCI-COM/1306/2021), and the CMU Portugal Dual PhD program (SFRH/BD/151469/2021).