Journal Publications


  • Sinem Getir Yaman, Esteban Pavese, Lars Grunske: Quantitative Verification of Stochastic Regular Expressions In: Fundam. Informaticae 179(2): 135-163, 2021
  • 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)
  • 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)
  • 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)

    Conference and workshop Publications


  • Sinem Getir, Esteban Pavese, Lars Grunske: Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. CS&P 2018
  • Sinem Getir, Duc Anh Vu, Francois Peverali, Daniel Strüber, Timo Kehrer: State Elimination as Model Transformation Problem. TTC@STAF 2017: 65-73
  • 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
  • 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
  • Sinem Getir, Michaela Rindt, Timo Kehrer: A Generic Framework for Analyzing Model Co-Evolution. ME@MoDELS 2014: 12-21
  • 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
  • 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
    • 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
  • Moharram Challenger, Sinem Getir, Sebla Demirkol, Geylani Kardas: A Domain Specific Metamodel for Semantic Web Enabled Multi-Agent Systems. CAiSE Workshops 2011: 177-186
  • 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