Sinem Getir Yaman

24 papers A* 2A 2B 2Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Conformal Safety Shielding for Imperfect-Perception Agents.
RV
William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal
2025 J jnl
Conformal Safety Shielding for Imperfect-Perception Agents.
CoRR
William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal
2025 J jnl
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
J. Syst. Softw.
Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Beverley A. Townsend
2025 A conf
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs.
RE
Alex Kleijwegt, Sinem Getir Yaman, Radu Calinescu
2025 J jnl
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs.
CoRR
Alex Kleijwegt, Sinem Getir Yaman, Radu Calinescu
2025 J jnl
Verification and External Parameter Inference for Stochastic World Models.
CoRR
Radu Calinescu, Sinem Getir Yaman, Simos Gerasimou, Gricel Vázquez, Micah Bassett
2024 A* conf
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
ICSE
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2024 J jnl
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
CoRR
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2024 — conf
Human empowerment in self-adaptive socio-technical systems.
SEAMS@ICSE
Nicolas Boltz, Sinem Getir Yaman, Paola Inverardi, Rogério de Lemos, Dimitri Van Landuyt, Andrea Zisman
2024 A conf
Normative Requirements Operationalization with Large Language Models.
RE
Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2024 J jnl
Normative Requirements Operationalization with Large Language Models.
CoRR
Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2024 J jnl
Predicting Nonfunctional Requirement Violations in Autonomous Systems.
ACM Trans. Auton. Adapt. Syst.
Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson
2024 J jnl
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
Sci. Comput. Program.
Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu
2023 J jnl
Bias in human data: A feedback from social sciences.
WIREs Data. Mining. Knowl. Discov.
Savas Takan, Duygu Ergün, Sinem Getir Yaman, Onur Kilinççeker
2023 — conf
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study.
CAV (1)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2023 J jnl
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study.
CoRR
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2023 — conf
Resilient strategies for socially compliant autonomous assistive dressing robots.
TAS
Katie J. Parnell, Siobhan Merriman, Sinem Getir Yaman, Katherine L. Plant, Radu Calinescu
2023 B conf
Specification and Validation of Normative Rules for Autonomous Agents.
FASE
Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti
2023 J jnl
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents.
CoRR
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend
2023 A* conf
Towards a Formal Framework for Normative Requirements Elicitation.
ASE
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2023 J jnl
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.
ACM SIGSOFT Softw. Eng. Notes
Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman
2021 — ed.
A-TEST 2021: Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2021, Athens, Greece, August 23-24, 2021
A-TEST@ESEC/SIGSOFT FSE
Sinem Getir Yaman, Rui Prada, Fitsum Meshesha Kifetew, Nicolás Cardozo
2021 — —
Quantitative Modeling and Verification of Evolving Software.
Sinem Getir Yaman
2021 J jnl
Quantitative Verification of Stochastic Regular Expressions.
Fundam. Informaticae
Sinem Getir Yaman, Esteban Pavese, Lars Grunske