Sinem Getir Yaman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models. | Radu Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, Gricel Vzquez |
| 2026 | FM | The SLEEC Framework for Normative Requirements Engineering. | Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso, Isobel Standen, Beverley A. Townsend |
| 2025 | RE | Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs. | Alex Kleijwegt, Sinem Getir Yaman, Radu Calinescu |
| 2025 | RV | Conformal Safety Shielding for Imperfect-Perception Agents. | William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal |
| 2024 | ICSE | Analyzing and Debugging Normative Requirements via Satisfiability Checking. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genana Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | RE | Normative Requirements Operationalization with Large Language Models. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | SEAMS | Human empowerment in self-adaptive socio-technical systems. | Nicolas Boltz, Sinem Getir Yaman, Paola Inverardi, Rogrio de Lemos, Dimitri Van Landuyt, Andrea Zisman |
| 2023 | CAV | Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu |
| 2023 | FASE | Specification and Validation of Normative Rules for Autonomous Agents. | Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti |