A Calculus for Software Engineering of Mobile and Autonomous Robots

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/09/15 → 30/06/21

Testing using CSP Models: Time, Inputs, and Outputs
Baxter, J., Cavalcanti, A., Gazda, M. & Hierons, R. M., 28 Jan 2023, In: ACM Transactions on Computational Logic. 24, 2, 3572837.
Research output: Contribution to journal › Article › peer-review
Architectural modelling for robotics: RoboArch and the CorteX example
Barnett, W., Cavalcanti, A. L. C. & Miyazawa, A., 28 Oct 2022, In: Frontiers in Robotics and AI. 9, 20 p., 991637.
Research output: Contribution to journal › Article › peer-review

Open Access
File
RoboSim: software models for sound simulation
Cavalcanti, A. L. C., Filho, M. C., De Oliveira Salazar Ribeiro, P. F. & Sampaio, A., 11 Oct 2022, (Unpublished).
Research output: Contribution to conference › Poster

File

Workshop on Requirements Modelling for Cyber-Physical Systems
Jim Woodcock (Advisor)
22 Jul 2019 → 24 Jul 2019
Activity: Participating in or organising an event › Seminar/workshop/course
RoboChart and RoboSim Verified Simulation for Robotics
Jim Woodcock (Invited speaker)
13 Jun 2019
Activity: Talk or presentation › Invited talk

File
Keith Lines
Jim Woodcock (Host), Leonardo Freitas (Host) & Bill Scott (Host)
31 May 2019
Activity: Hosting a visitor › Academic

Project Details