Sinem Getir

Orcid: 0000-0002-3944-6574

According to our database1, Sinem Getir authored at least 32 papers between 2011 and 2024.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



Predicting Nonfunctional Requirement Violations in Autonomous Systems.
ACM Trans. Auton. Adapt. Syst., March, 2024

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
Sci. Comput. Program., 2024

Normative Requirements Operationalization with Large Language Models.
CoRR, 2024

Human empowerment in self-adaptive socio-technical systems.
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.
ACM SIGSOFT Softw. Eng. Notes, October, 2023

Bias in human data: A feedback from social sciences.
WIREs Data. Mining. Knowl. Discov., 2023

Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents.
CoRR, 2023

Resilient strategies for socially compliant autonomous assistive dressing robots.
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Towards a Formal Framework for Normative Requirements Elicitation.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Specification and Validation of Normative Rules for Autonomous Agents.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Quantitative Modeling and Verification of Evolving Software
PhD thesis, 2021

Quantitative Verification of Stochastic Regular Expressions.
Fundam. Informaticae, 2021

Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop.
ACM SIGSOFT Softw. Eng. Notes, 2020

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models.
Proceedings of the Software Engineering and Software Management, 2019

Performance Analysis Strategies for Software Variants and Versions.
Proceedings of the Managed Software Evolution., 2019

Supporting semi-automatic co-evolution of architecture and fault tree models.
J. Syst. Softw., 2018

Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.
Proceedings of the 27th International Workshop on Concurrency, 2018

State Elimination as Model Transformation Problem.
Proceedings of the 10th Transformation Tool Contest (TTC 2017), 2017

Selected challenges of software evolution for automated production systems.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models.
Proceedings of the Theory and Practice of Model Transformations, 2015

The Formal Semantics of a Domain-Specific Modeling Language for Semantic Web Enabled Multi-Agent Systems.
Int. J. Cooperative Inf. Syst., 2014

On the use of a domain-specific modeling language in the development of multiagent systems.
Eng. Appl. Artif. Intell., 2014

A Generic Framework for Analyzing Model Co-Evolution.
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), 2014

A DSL for the development of software agents working within a semantic web environment.
Comput. Sci. Inf. Syst., 2013

Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System.
Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

SEA_L: A Domain-specific Language for Semantic Web enabled Multi-agent Systems.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

The Semantics of the Interaction between Agents and Web Services on the Semantic Web.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

The GMF-based syntax tool of a DSML for the semantic web enabled multi-agent systems.
Proceedings of the SPLASH'11 Workshops, 2011

A Domain Specific Metamodel for Semantic Web Enabled Multi-Agent Systems.
Proceedings of the Advanced Information Systems Engineering Workshops, 2011