Ana Lucia Caneca Cavalcanti

Bringing RoboStar and RT-Tester Together
Cavalcanti, A., Miyazawa, A., Schulze, U. & Timmis, J., 18 Aug 2023, Applicable Formal Methods for Safe Industrial Products. Haxthausen, A. E., Huang, W. & Roggenbach, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 16-33 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14165 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
Adam, M., Ye, K., Anisi, D., Cavalcanti, A. L. C., Woodcock, J. & Morris, R., 25 May 2023, (Accepted/In press) Proceedings.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
RoboSimVer: A Tool for RoboSim Modeling and Analysis
Du, D., Cavalcanti, A. & Nie, J., 5 Jan 2023, iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings. Aehnelt, M. & Kirste, T. (eds.). Association for Computing Machinery, Inc, 4 p. 164. (ACM International Conference Proceeding Series).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Chris Thompson
Jim Woodcock (Host) & Ana Lucia Caneca Cavalcanti (Host)
12 Nov 2022
Activity: Hosting a visitor › Academic
Labman Laboratory Automation Services
Jim Woodcock (Advisor), Ana Lucia Caneca Cavalcanti (Advisor), Ian James Stewart Fairlamb (Advisor) & Ian Riley (Advisor)
9 Nov 2022
Activity: Visiting an external institution › Industrial
RoboTest meeting
Jim Woodcock (Advisor), Ana Lucia Caneca Cavalcanti (Advisor) & Robert M. Hierons (Advisor)
7 Nov 2022
Activity: Other › Collaboration

Collaborations and top research areas from the last five years