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., 2024, 46th International Conference on Software Engineering (ICSE 2024).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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
SLEEC-TK
Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A. L. C. & Calinescu, R., 4 Apr 2024
Research output: Non-textual form › Software

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