Items where authors include "Getir Yaman, Sinem"

Article

Townsend, Bev orcid.org/0000-0002-8486-6041, Parnell, Katie, Getir Yaman, Sinem et al. (2 more authors) (2025) Normative conflict resolution through human–autonomous agent interaction. Journal of responsible technology. 100114. ISSN 2666-6596

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Cavalcanti, Ana Lucia Caneca 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

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

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Burholt, Charlie et al. (3 more authors) (2024) Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. Science of Computer Programming. 103118. ISSN 0167-6423

Fang, Xinwei, Getir Yaman, Sinem, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (2 more authors) (2024) Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Transactions on Autonomous and Adaptive Systems. 6. ISSN 1556-4703

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.

Păsăreanu, Corina S., Mangal, Ravi, Gopinath, Divya et al. (3 more authors) (2023) Closed-loop Analysis of Vision-based Autonomous Systems:A Case Study. In: Enea, C. and Lal, A., (eds.) Computer Aided Verification. CAV 2023. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 289-303.