Ana Lucia Caneca Cavalcanti

Analyzing and Debugging Normative Requirements via Satisfiability Checking
Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Baatartogtokh, Y., Ayad, R., Oldemburgo de Mello, V., Standen, I., Stefanakos, I., Imrie, C. C., Nunes Rodrigues, G., Cavalcanti, A. L. C., Calinescu, R. & Chechik, M., 12 Apr 2024, 46th International Conference on Software Engineering (ICSE 2024). IEEE Computer Society, p. 2643-2654 12 p. 214. (Proceedings - International Conference on Software Engineering).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool
Li, W., Ribeiro, P., Miyazawa, A., Redpath, R., Cavalcanti, A. L. C., Alden, K. J., Woodcock, J. & Timmis, J., 5 Jul 2024, In: Autonomous Robots. 48, 22 p., 14.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness
Brugali, D., Cavalcanti, A., Hochgeschwender, N., Pelliccione, P. & Rebelo, L., 10 Sept 2024, In: IEEE Robotics and Automation Magazine. 31, 3, p. 186-204 19 p.
Research output: Contribution to journal › Article › peer-review

DOMINOS: Disruption Mitigation for Responsible AI
Calinescu, R. (Principal investigator), Cavalcanti, A. L. C. (Co-investigator), Getir Yaman, S. (Co-investigator) & Townsend, B. (Co-investigator)
EPSRC
15/01/24 → 1/07/25
Project: Research project (funded) › Research
RoboSapiens (Resubmission)
Cavalcanti, A. L. C. (Principal investigator) & Woodcock, J. (Co-investigator)
EUROPEAN COMMISSION
1/01/24 → 31/12/26
Project: Research project (funded) › Research
UKRI Trustworthy Autonomous Systems Node in Resilience
Calinescu, R. (Principal investigator), Arvind, T. (Co-investigator), Cavalcanti, A. L. C. (Co-investigator), Habli, I. (Co-investigator), Thomas, A. P. (Co-investigator) & Wilson, J. C. (Co-investigator)
EPSRC
1/11/20 → 31/10/24
Project: Research project (funded) › Research

Chris Thompson
Woodcock, J. (Host) & Cavalcanti, A. L. C. (Host)
12 Nov 2022
Activity: Hosting a visitor › Academic
Labman Laboratory Automation Services
Woodcock, J. (Advisor), Cavalcanti, A. L. C. (Advisor), Fairlamb, I. J. S. (Advisor) & Riley, I. (Advisor)
9 Nov 2022
Activity: Visiting an external institution › Industrial
RoboTest meeting
Woodcock, J. (Advisor), Cavalcanti, A. L. C. (Advisor) & Hierons, R. M. (Advisor)
7 Nov 2022
Activity: Other › Collaboration

Collaborations and top research areas from the last five years