Items where authors include "Oliveira, Marcel"

Proceedings Paper

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)

Woodcock, Jim orcid.org/0000-0001-7955-2702, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Foster, Simon orcid.org/0000-0002-9889-9514 et al. (3 more authors) (2023) UTP, Circus, and Isabelle. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , pp. 19-51.