A Domain Specific Metamodel for Semantic Web Enabled Multi-Agent Systems. - Moharram Challenger; Sinem Getir; Sebla Demirkol; Geylani Kardas (CAiSE Workshops, 2011)

The GMF-based syntax tool of a DSML for the semantic web enabled multi-agent systems. - Sinem Getir; Sebla Demirkol; Moharram Challenger; Geylani Kardas (SPLASH Workshops, 2011)

The Semantics of the Interaction between Agents and Web Services on the Semantic Web. - Sinem Getir; Moharram Challenger; Sebla Demirkol; Geylani Kardas (COMPSAC Workshops, 2012)

SEA_L: A Domain-specific Language for Semantic Web enabled Multi-agent Systems. - Sebla Demirkol; Moharram Challenger; Sinem Getir; Tomaz Kosar; Geylani Kardas; Marjan Mernik (FedCSIS, 2012)

Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System. - Sinem Getir; André van Hoorn; Lars Grunske; Matthias Tichy (NiM-ALP@MoDELS, 2013)

A DSL for the development of software agents working within a semantic web environment. - Sebla Demirkol; Moharram Challenger; Sinem Getir; Tomaz Kosar; Geylani Kardas; Marjan Mernik (Comput. Sci. Inf. Syst., 2013)

A Generic Framework for Analyzing Model Co-Evolution. - Sinem Getir; Michaela Rindt; Timo Kehrer (ME@MoDELS, 2014)

On the use of a domain-specific modeling language in the development of multiagent systems. - Moharram Challenger; Sebla Demirkol; Sinem Getir; Marjan Mernik; Geylani Kardas; Tomaz Kosar (Eng. Appl. Artif. Intell., 2014)

The Formal Semantics of a Domain-Specific Modeling Language for Semantic Web Enabled Multi-Agent Systems. - Sinem Getir; Moharram Challenger; Geylani Kardas (Int. J. Cooperative Inf. Syst., 2014)

CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models. - Sinem Getir; Lars Grunske; Christian Karl Bernasko; Verena Käfer; Tim Sanwald; Matthias Tichy (ICMT, 2015)

Selected challenges of software evolution for automated production systems. - Birgit Vogel-Heuser; Stefan Feldmann; Jens Folmer; Jan Ladiges; Alexander Fay; Sascha Lity; Matthias Tichy; Matthias Kowal; Ina Schaefer; Christopher Haubeck; Winfried Lamersdorf; Timo Kehrer; et al. (INDIN, 2015)

State Elimination as Model Transformation Problem. - Sinem Getir; Duc Anh Vu 001; Francois Peverali; Daniel Strüber 001; Timo Kehrer (TTC@STAF, 2017)

Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. - Sinem Getir; Esteban Pavese; Lars Grunske (CS&P, 2018)

Supporting semi-automatic co-evolution of architecture and fault tree models. - Sinem Getir; Lars Grunske; André van Hoorn; Timo Kehrer; Yannic Noller; Matthias Tichy (J. Syst. Softw., 2018)

Learning from Evolution for Evolution. - Stefan Kögel; Matthias Tichy; Abhishek Chakraborty; Alexander Fay; Birgit Vogel-Heuser; Christopher Haubeck; Gabriele Taentzer; Timo Kehrer; Jan Ladiges; Lars Grunske; Mattias Ulbrich; Safa Bougouffa; et al. (Managed Software Evolution, 2019)

Performance Analysis Strategies for Software Variants and Versions. - Thomas Thüm; André van Hoorn; Sven Apel; Johannes Bürdek; Sinem Getir; Robert Heinrich; Reiner Jung; Matthias Kowal; Malte Lochau; Ina Schaefer; Jürgen Walter (Managed Software Evolution, 2019)

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models. - Sinem Getir; André van Hoorn; Timo Kehrer; Yannic Noller; Matthias Tichy (SE/SWM, 2019)

Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop. - Tanja E. J. Vos; I. S. W. B. Prasetya; Sigrid Eldh; Sinem Getir; Ali Parsai; Pekka Aho (ACM SIGSOFT Softw. Eng. Notes, 2020)

Quantitative Verification of Stochastic Regular Expressions. - Sinem Getir Yaman; Esteban Pavese; Lars Grunske (Fundam. Informaticae, 2021)

Quantitative Modeling and Verification of Evolving Software. - Sinem Getir Yaman (2021)

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 (CAV (1), 2023)

Specification and Validation of Normative Rules for Autonomous Agents. - Sinem Getir Yaman; Charlie Burholt; Maddie Jones; Radu Calinescu; Ana Cavalcanti 001 (FASE, 2023)

Towards a Formal Framework for Normative Requirements Elicitation. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Beverley A. Townsend; Ana Cavalcanti 001; Radu Calinescu; Marsha Chechik (ASE, 2023)

Resilient strategies for socially compliant autonomous assistive dressing robots. - Katie J. Parnell; Siobhan Merriman; Sinem Getir Yaman; Katherine L. Plant; Radu Calinescu (TAS, 2023)

Bias in human data: A feedback from social sciences. - Savas Takan; Duygu Ergün; Sinem Getir Yaman; Onur Kilinççeker (WIREs Data. Mining. Knowl. Discov., 2023)

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. - Danny Weyns; Radu Calinescu; Raffaela Mirandola; Kenji Tei; Maribel Acosta; Amel Bennaceur; Nicolas Boltz; Tomás Bures; Javier Cámara 001; Ada Diaconescu; Gregor Engels; Simos Gerasimou; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

Analyzing and Debugging Normative Requirements via Satisfiability Checking. - 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 001; et al. (ICSE, 2024)

Normative Requirements Operationalization with Large Language Models. - 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 001; Radu Calinescu; Marsha Chechik (RE, 2024)

Human empowerment in self-adaptive socio-technical systems. - Nicolas Boltz; Sinem Getir Yaman; Paola Inverardi; Rogério de Lemos; Dimitri Van Landuyt; Andrea Zisman (SEAMS@ICSE, 2024)

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. - Sinem Getir Yaman; Pedro Ribeiro 002; Charlie Burholt; Maddie Jones; Ana Cavalcanti 001; Radu Calinescu (Sci. Comput. Program., 2024)

Predicting Nonfunctional Requirement Violations in Autonomous Systems. - Xinwei Fang; Sinem Getir Yaman; Radu Calinescu; Julie Wilson; Colin Paterson (ACM Trans. Auton. Adapt. Syst., 2024)

Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. - Sinem Getir Yaman; Pedro Ribeiro 002; Ana Cavalcanti 001; Radu Calinescu; Colin Paterson; Beverley A. Townsend (J. Syst. Softw., 2025)

Verification and External Parameter Inference for Stochastic World Models. - Radu Calinescu; Sinem Getir Yaman; Simos Gerasimou; Gricel Vázquez; Micah Bassett (CoRR, 2025)

Conformal Safety Shielding for Imperfect-Perception Agents. - William Scarbro; Calum Imrie; Sinem Getir Yaman; Kavan Fatehi; Corina S. Pasareanu; Radu Calinescu; Ravi Mangal (CoRR, 2025)

Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs. - Alex Kleijwegt; Sinem Getir Yaman; Radu Calinescu (CoRR, 2025)