Items where authors include "Sampaio, Augusto"

Article

Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Filho, Madiel Conserva, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 et al. (1 more author) (2023) Laws of Timed State Machines. The Computer Journal. bxad124. ISSN 1460-2067

Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Sampaio, Augusto, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2019) Verified simulation for robotics. Science of Computer Programming. ISSN 0167-6423

Conference or Workshop Item

Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Filho, Madiel Conserva, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 et al. (1 more author) RoboSim: software models for sound simulation. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York. (Unpublished)

Proceedings Paper

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.

Preprint

Antonino, Pedro, Sampaio, Augusto and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2022) A Pattern-based deadlock-freedom analysis strategy for concurrent systems. [Preprint]