Sinem Getir Yaman

发表论文 14 篇 · 总被引 136 次 · h-index 6

代表论文

Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study (2023 · International Conference on Computer Aided Verification · 被引 43)
Normative Requirements Operationalization with Large Language Models (2024 · IEEE International Requirements Engineering Conference · 被引 23)
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents (2023 · Journal of Systems and Software · 被引 23)
Specification and Validation of Normative Rules for Autonomous Agents (2023 · Fundamental Approaches to Software Engineering · 被引 22)
Towards a Formal Framework for Normative Requirements Elicitation (2023 · International Conference on Automated Software Engineering · 被引 17)
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents (2024 · Science of Computer Programming · 被引 9)