Items where authors include "Cavalcanti, Ana"

Article

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (3 more authors) (2025) Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Journal of Systems and Software. 112229. ISSN 0164-1212

Murray, Yvonne, Nordlie, Henrik, Anisi, David A. et al. (2 more authors) (2024) Model Checking and Verification of Synchronisation Properties of Cobot Welding. Electronic Proceedings in Theoretical Computer Science, EPTCS. pp. 91-108. ISSN 2075-2180

Baxter, James, Carvalho, Gustavo, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2023) RoboWorld:Verification of Robotic Systems with Environment in the Loop. Formal Aspects of Computing. 26. ISSN 1433-299X

Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Foster, Simon orcid.org/0000-0002-9889-9514 et al. (2 more authors) (2021) Probabilistic modelling and verification using RoboChart and PRISM. Software and Systems Modeling. ISSN 1619-1366

Baxter, James, Ribeiro, Pedro orcid.org/0000-0003-4319-4872 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2021) Sound reasoning in tock-CSP. Acta Informatica. pp. 126-162. ISSN 0001-5903

Foster, Simon orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2021) Automated verification of reactive and concurrent programs by calculation. Journal of Logical and Algebraic Methods in Programming. 100681. ISSN 2352-2216

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

Luckcuck, Matt, Wellings, Andy orcid.org/0000-0002-3338-0623 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) Safety-Critical Java::level 2 in practice. Concurrency and Computation: Practice and Experience. pp. 1-27. ISSN 1532-0634

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) SCJ-Circus:a refinement-oriented formal notation for Safety-Critical Java. Electronic Proceedings in Theoretical Computer Science. pp. 71-86. ISSN 2075-2180

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2011) Refinement-based verification of sequential implementations of Stateflow charts. Electronic Proceedings in Theoretical Computer Science. pp. 65-83. ISSN 2075-2180

Conference or Workshop Item

Getir Yaman, Sinem, Burholt, Charlie, Jones, Maddie et al. (2 more authors) (2023) Specification and Validation of Normative Rules for Autonomous Agents. In: UNSPECIFIED.

Proceedings Paper

Feng, Nick, Marsso, Lina, Getir Yaman, Sinem et al. (9 more authors) (2024) Normative Requirements Operationalization with Large Language Models. In: Liebel, Grischa, Hadar, Irit and Spoletini, Paola, (eds.) Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024. 32nd IEEE International Requirements Engineering Conference, RE 2024, 24-28 Jun 2024. Proceedings of the IEEE International Conference on Requirements Engineering . IEEE Computer Society , ISL , pp. 129-141.

Attala, Ziggy, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2023) Modelling and Verifying Robotic Software that Uses Neural Networks. In: Ábrahám, Erika, Dubslaff, Clemens and Tarifa, Silvia Lizeth, (eds.) Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, 04-08 Dec 2023. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , PER , pp. 15-35.

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.

Windsor, Matt orcid.org/0000-0003-1285-0080 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2022) RoboCert: Property Specification in Robotics. In: ICFEM 2022:Formal Methods and Software Engineering. 23rd International Conference on Formal Engineering Methods, 24-27 Oct 2022. Lecture Notes in Computer Science . Springer , ESP , pp. 386-403.

Foster, Simon orcid.org/0000-0002-9889-9514, Thiele, Bernhard, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2017) Towards a UTP semantics for modelica. In: Bowen, Jonathan P. and Zhu, Huibiao, (eds.) Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. 6th International Symposium on Unifying Theories of Programming, UTP 2016, 04-05 Jun 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , ISL , pp. 44-64.

Preprint

Yaman, Sinem Getir, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2023) Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. [Preprint]

Foster, Simon orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2020) Automated Verification of Reactive and Concurrent Programs by Calculation. [Preprint]