default search action
Sinem Getir
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu:
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. 236: 103118 (2024) - [j9]Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson:
Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Trans. Auton. Adapt. Syst. 19(1): 6:1-6:25 (2024) - [c18]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:
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE 2024: 214:1-214:12 - [c17]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:
Normative Requirements Operationalization with Large Language Models. RE 2024: 129-141 - [c16]Nicolas Boltz, Sinem Getir Yaman, Paola Inverardi, Rogério de Lemos, Dimitri Van Landuyt, Andrea Zisman:
Human empowerment in self-adaptive socio-technical systems. SEAMS@ICSE 2024: 200-206 - [i4]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:
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR abs/2401.05673 (2024) - [i3]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:
Normative Requirements Operationalization with Large Language Models. CoRR abs/2404.12335 (2024) - 2023
- [j8]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:
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48(4): 20-36 (2023) - [j7]Savas Takan, Duygu Ergün, Sinem Getir Yaman, Onur Kilinççeker:
Bias in human data: A feedback from social sciences. WIREs Data. Mining. Knowl. Discov. 13(4) (2023) - [c15]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) 2023: 289-303 - [c14]Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti:
Specification and Validation of Normative Rules for Autonomous Agents. FASE 2023: 241-248 - [c13]Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Towards a Formal Framework for Normative Requirements Elicitation. ASE 2023: 1776-1780 - [c12]Katie J. Parnell, Siobhan Merriman, Sinem Getir Yaman, Katherine L. Plant, Radu Calinescu:
Resilient strategies for socially compliant autonomous assistive dressing robots. TAS 2023: 16:1-16:9 - [i2]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR abs/2302.04634 (2023) - [i1]Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend:
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR abs/2307.03697 (2023) - 2021
- [b1]Sinem Getir Yaman:
Quantitative Modeling and Verification of Evolving Software. HU Berlin, Germany, 2021 - [j6]Sinem Getir Yaman, Esteban Pavese, Lars Grunske:
Quantitative Verification of Stochastic Regular Expressions. Fundam. Informaticae 179(2): 135-163 (2021) - [e4]Sinem Getir Yaman, Rui Prada, Fitsum Meshesha Kifetew, Nicolás Cardozo:
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. ACM 2021, ISBN 978-1-4503-8623-4 [contents] - 2020
- [j5]Tanja E. J. Vos, I. S. W. B. Prasetya, Sigrid Eldh, Sinem Getir, Ali Parsai, Pekka Aho:
Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop. ACM SIGSOFT Softw. Eng. Notes 45(1): 21-24 (2020) - [e3]Sinem Getir, Phu Nguyen:
A-TEST 2020: Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2020, Virtual Event, USA, November 8-9, 2020. ACM 2020, ISBN 978-1-4503-8101-7 [contents]
2010 – 2019
- 2019
- [c11]Sinem Getir, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy:
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models. SE/SWM 2019: 57-58 - [p2]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:
Performance Analysis Strategies for Software Variants and Versions. Managed Software Evolution 2019: 175-206 - [p1]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:
Learning from Evolution for Evolution. Managed Software Evolution 2019: 255-308 - [e2]Tanja E. J. Vos, Wishnu Prasetya, Sinem Getir:
Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 16-17, 2019. ACM 2019, ISBN 978-1-4503-6850-6 [contents] - 2018
- [j4]Sinem Getir, Lars Grunske, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy:
Supporting semi-automatic co-evolution of architecture and fault tree models. J. Syst. Softw. 142: 115-135 (2018) - [c10]Sinem Getir, Esteban Pavese, Lars Grunske:
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. CS&P 2018 - [e1]Wishnu Prasetya, Tanja E. J. Vos, Sinem Getir:
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 05, 2018. ACM 2018, ISBN 978-1-4503-6053-1 [contents] - 2017
- [c9]Sinem Getir, Duc Anh Vu, Francois Peverali, Daniel Strüber, Timo Kehrer:
State Elimination as Model Transformation Problem. TTC@STAF 2017: 65-73 - 2015
- [c8]Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Käfer, Tim Sanwald, Matthias Tichy:
CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models. ICMT 2015: 34-40 - [c7]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:
Selected challenges of software evolution for automated production systems. INDIN 2015: 314-321 - 2014
- [j3]Moharram Challenger, Sebla Demirkol, Sinem Getir, Marjan Mernik, Geylani Kardas, Tomaz Kosar:
On the use of a domain-specific modeling language in the development of multiagent systems. Eng. Appl. Artif. Intell. 28: 111-141 (2014) - [j2]Sinem Getir, Moharram Challenger, Geylani Kardas:
The Formal Semantics of a Domain-Specific Modeling Language for Semantic Web Enabled Multi-Agent Systems. Int. J. Cooperative Inf. Syst. 23(3) (2014) - [c6]Sinem Getir, Michaela Rindt, Timo Kehrer:
A Generic Framework for Analyzing Model Co-Evolution. ME@MoDELS 2014: 12-21 - 2013
- [j1]Sebla Demirkol, Moharram Challenger, Sinem Getir, Tomaz Kosar, Geylani Kardas, Marjan Mernik:
A DSL for the development of software agents working within a semantic web environment. Comput. Sci. Inf. Syst. 10(4): 1525-1556 (2013) - [c5]Sinem Getir, André van Hoorn, Lars Grunske, Matthias Tichy:
Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System. NiM-ALP@MoDELS 2013: 32-40 - 2012
- [c4]Sinem Getir, Moharram Challenger, Sebla Demirkol, Geylani Kardas:
The Semantics of the Interaction between Agents and Web Services on the Semantic Web. COMPSAC Workshops 2012: 619-624 - [c3]Sebla Demirkol, Moharram Challenger, Sinem Getir, Tomaz Kosar, Geylani Kardas, Marjan Mernik:
SEA_L: A Domain-specific Language for Semantic Web enabled Multi-agent Systems. FedCSIS 2012: 1373-1380 - 2011
- [c2]Moharram Challenger, Sinem Getir, Sebla Demirkol, Geylani Kardas:
A Domain Specific Metamodel for Semantic Web Enabled Multi-Agent Systems. CAiSE Workshops 2011: 177-186 - [c1]Sinem Getir, Sebla Demirkol, Moharram Challenger, Geylani Kardas:
The GMF-based syntax tool of a DSML for the semantic web enabled multi-agent systems. SPLASH Workshops 2011: 235-238
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint