Sinem Getir

According to our database, Sinem Getir authored at least 29 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Predicting Nonfunctional Requirement Violations in Autonomous Systems.

Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson

ACM Trans. Auton. Adapt. Syst., March, 2024

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, Radu Calinescu, Marsha Chechik

CoRR, 2024

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, 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

ACM SIGSOFT Softw. Eng. Notes, October, 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

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

Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend

CoRR, 2023

Resilient strategies for socially compliant autonomous assistive dressing robots.

Katie J. Parnell, Siobhan Merriman, Sinem Getir Yaman, Katherine L. Plant, Radu Calinescu

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Towards a Formal Framework for Normative Requirements Elicitation.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Specification and Validation of Normative Rules for Autonomous Agents.

Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti

Proceedings of the Fundamental Approaches to Software Engineering, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

Quantitative Modeling and Verification of Evolving Software

Sinem Getir Yaman

PhD thesis, 2021

Quantitative Verification of Stochastic Regular Expressions.

Sinem Getir Yaman, Esteban Pavese, Lars Grunske

Fundam. Informaticae, 2021

2020

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

2019

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models.

Sinem Getir, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy

Proceedings of the Software Engineering and Software Management, 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

Proceedings of the Managed Software Evolution., 2019

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, Sinem Getir, Suhyun Cha, Udo Kelter, Winfried Lamersdorf, Kiana Busch, Robert Heinrich, Sandro Koch

Proceedings of the Managed Software Evolution., 2019

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

Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.

Sinem Getir, Esteban Pavese, Lars Grunske

Proceedings of the 27th International Workshop on Concurrency, 2018

2017

State Elimination as Model Transformation Problem.

Sinem Getir, Duc Anh Vu, Francois Peverali, Daniel Strüber, Timo Kehrer

Proceedings of the 10th Transformation Tool Contest (TTC 2017), 2017

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, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov, Bernhard Beckert

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

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

Proceedings of the Theory and Practice of Model Transformations, 2015

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

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

A Generic Framework for Analyzing Model Co-Evolution.

Sinem Getir, Michaela Rindt, Timo Kehrer

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

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

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

Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

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

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.

Sinem Getir, Moharram Challenger, Sebla Demirkol, Geylani Kardas

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

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

Proceedings of the SPLASH'11 Workshops, 2011

A Domain Specific Metamodel for Semantic Web Enabled Multi-Agent Systems.

Moharram Challenger, Sinem Getir, Sebla Demirkol, Geylani Kardas

Proceedings of the Advanced Information Systems Engineering Workshops, 2011