Items where authors include "De Oliveira Salazar Ribeiro, Pedro Fernando"

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

Miyazawa, Alvaro Heiji orcid.org/0000-0003-2233-9091, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Li, W. orcid.org/0000-0001-9786-585X et al. (3 more authors) (2019) RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling. pp. 3097-3149. ISSN 1619-1366

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2019) Isabelle/UTP:Mechanised Theory Engineering for Unifying Theories of Programming. Archive of Formal Proofs. ISSN 2150-914x

De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 and Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 (2018) Angelic Processes for CSP via the UTP. Theoretical Computer Science. ISSN 0304-3975

Monograph

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) Isabelle/UTP: Mechanised Theory Engineering for the UTP. Working Paper. (Unpublished)

Conference or Workshop Item

Araujo, Hugo, Dubey, Shival, Kaddouh, Bilal Y. et al. (3 more authors) Autonomous Fire-Fighting UAV. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York. (Unpublished)

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)

Murray, Yvonne, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Anisi, David A. et al. (2 more authors) Safety Assurance of an Industrial Robotic Control System Using Hardware/Software Co-Verification. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York. (Unpublished)

Proceedings Paper

De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872 (2019) A Unary Semigroup Trace Algebra. In: 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). 18th International Conference on Relational and Algebraic Methods in Computer Science, 08-11 Apr 2020. Lecture Notes in Computer Science . Springer , FRA . (In Press)

De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Miyazawa, A. orcid.org/0000-0003-2233-9091, Li, W. orcid.org/0000-0001-9786-585X et al. (2 more authors) (2017) Modelling and Verification of Timed Robotic Controllers. In: Polikarpova, N. and Schneider, S., (eds.) Integrated Formal Methods. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 18-33.