Sinem Getir Yaman
Humboldt-Universität zu Berlin
H-index: 11
Europe-Germany
Top articles of Sinem Getir Yaman
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Analyzing and Debugging Normative Requirements via Satisfiability Checking | Nick Feng Lina Marsso Sinem Getir Yaman Yesugen Baatartogtokh Reem Ayad | 2024/4/12 | |
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents | Science of Computer Programming | Sinem Getir Yaman Pedro Ribeiro Charlie Burholt Maddie Jones Ana Cavalcanti | 2024/4/9 |
SLEEC-TK | Sinem Getir Yaman Pedro Ribeiro Charlie Burholt Maddie Jones Ana Lucia Caneca Cavalcanti | 2024/4/4 | |
Predicting nonfunctional requirement violations in autonomous systems | ACM Transactions on Autonomous and Adaptive Systems | Xinwei Fang Sinem Getir Yaman Radu Calinescu Julie Wilson Colin Paterson | 2024/2/14 |
Human empowerment in self-adaptive socio-technical systems | Nicholas Boltz Sinem Getir Yaman Paola Inverardi Rogério de Lemos Dimitri Van Landuyt | 2024 | |
Normative Requirements Operationalization with Large Language Models | arXiv preprint arXiv:2404.12335 | Nick Feng Lina Marsso S Getir Yaman Isobel Standen Yesugen Baatartogtokh | 2024/4/18 |
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems | Danny Weyns Radu Calinescu Raffaela Mirandola Kenji Tei Maribel Acosta | 2023/10/17 | |
Bias in human data: A feedback from social sciences | Savaş Takan Duygu Ergün Sinem Getir Yaman Onur Kılınççeker | 2023/7 | |
Towards a Formal Framework for Normative Requirements Elicitation | Nick Feng Lina Marsso Sinem Getir Yaman Beverley Townsend Ana Cavalcanti | 2023/9/11 | |
Specification and validation of normative rules for autonomous agents | Sinem Getir Yaman Charlie Burholt Maddie Jones Radu Calinescu Ana Cavalcanti | 2023/4/20 | |
Closed-loop analysis of vision-based autonomous systems: A case study | Corina S Păsăreanu Ravi Mangal Divya Gopinath Sinem Getir Yaman Calum Imrie | 2023/7/17 | |
Resilient strategies for socially compliant autonomous assistive dressing robots | Katie Parnell Siobhan Merriman Sinem Getir Yaman Katherine Plant Radu Calinescu | 2023/7/11 | |
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents | Empathetic and Cultural Requirements For Autonomous Agents | Sinem Getir Yaman Pedro Ribeiro Ana Cavalcanti Radu Calinescu Colin Paterson | 2023/7 |
Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation | CEUR WORKSHOP PROCEEDINGS | Fernando Bobillo Rommel N Carvalho Davide Ceolin Paulo Cesar G da Costa Claudia D'Amato | 2016 |
Quantitative Modeling and Verification of Evolving Software | Sinem Getir Yaman | 2021 | |
Quantitative Verification of Stochastic Regular Expressions | Fundamenta Informaticae | Sinem Getir Yaman Esteban Pavese Lars Grunske | 2021/1/1 |
Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop | ACM SIGSOFT Software Engineering Notes | Tanja EJ Vos ISWB Prasetya Sigrid Eldh Sinem Getir Ali Parsai | 2020/1/27 |