Items where authors include "CAVALCANTI, ANA LUCIA CANECA"

Proceedings Paper

Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Calinescu, RADU CONSTANTIN orcid.org/0000-0002-2678-9260, CAVALCANTI, ANA LUCIA CANECA orcid.org/0000-0002-0831-1976 et al. (5 more authors) (2026) The SLEEC Framework for Normative Requirements Engineering. In: Sampaio, Augusto and Stoelinga, Marielle, (eds.) Formal Methods - 27th International Symposium, FM 2026. FM 2026 – 27th International Symposium on Formal Methods, 18-22 May 2026, Japan. Lecture notes in computer science . Springer Nature Switzerland . (In Press)

Gil, Santiago, Miyazawa, ALVARO HEIJI orcid.org/0000-0003-2233-9091, CAVALCANTI, ANA LUCIA CANECA orcid.org/0000-0002-0831-1976 et al. (1 more author) (2026) Application of FMI 3.0 Synchronous Clocks to Co-simulation of Robotic Systems. In: 2026 IEEE/SICE International Symposium on System Integration (SII). UNSPECIFIED. IEEE/SICE International Symposium on System Integration (SII) . IEEE , pp. 1548-1553.

Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Almeida, Dalay, E. R. Bezerra, Paulo et al. (3 more authors) (2026) Engineering safe robotics software from simulation models via RoboSim. In: The 7th International School on Engineering Trustworthy Software Systems (SETSS 2025). 7th International School on Engineering Trustworthy Software Systems, 17-23 May 2025. Lecture notes in computer science . Springer , CHN . (In Press)