Follow
Sinem Getir Yaman
Sinem Getir Yaman
Computer Science, University of York, Ege University Izmir
Verified email at york.ac.uk
Title
Cited by
Cited by
Year
On the use of a domain-specific modeling language in the development of multiagent systems
M Challenger, S Demirkol, S Getir, M Mernik, G Kardas, T Kosar
Engineering Applications of Artificial Intelligence 28, 111-141, 2014
662014
Selected challenges of software evolution for automated production systems
B Vogel-Heuser, S Feldmann, J Folmer, J Ladiges, A Fay, S Lity, M Tichy, ...
2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015
402015
A DSL for the development of software agents working within a semantic web environment
S Demirkol, M Challenger, S Getir, T Kosar, G Kardas, M Mernik
COMPUTER SCIENCE AND INFORMATION SYSTEMS.-Place of publication unknown 10 (4 …, 2013
322013
Supporting semi-automatic co-evolution of architecture and fault tree models
S Getir, L Grunske, A van Hoorn, T Kehrer, Y Noller, M Tichy
Journal of Systems and Software 142, 115-135, 2018
292018
The formal semantics of a domain-specific modeling language for semantic web enabled multi-agent systems
S Getir, M Challenger, G Kardas
International Journal of Cooperative Information Systems 23 (03), 1450005, 2014
262014
Development of an Agent based E-barter System
S Demirkol, S Getir, M Challenger, G Kardas
2011 International Symposium on Innovations in Intelligent Systems and …, 2011
242011
A domain specific metamodel for semantic web enabled multi-agent systems
M Challenger, S Getir, S Demirkol, G Kardas
Advanced Information Systems Engineering Workshops: CAiSE 2011 International …, 2011
222011
SEA_L: a domain-specific language for semantic web enabled multi-agent systems
S Demirkol, M Challenger, S Getir, T Kosar, G Kardas, M Mernik
2012 Federated Conference on Computer Science and Information Systems …, 2012
212012
A Generic Framework for Analyzing Model Co-Evolution.
S Getir, M Rindt, T Kehrer
ME@ MoDELS, 12-21, 2014
182014
Closed-loop analysis of vision-based autonomous systems: A case study
CS Păsăreanu, R Mangal, D Gopinath, S Getir Yaman, C Imrie, ...
International Conference on Computer Aided Verification, 289-303, 2023
152023
Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System.
S Getir, A Van Hoorn, L Grunske, M Tichy
NiM-ALP@ MoDELS 13, 32-40, 2013
152013
CoWolf–A generic framework for multi-view co-evolution and evaluation of models
S Getir, L Grunske, CK Bernasko, V Käfer, T Sanwald, M Tichy
Theory and Practice of Model Transformations: 8th International Conference …, 2015
132015
Specification and validation of normative rules for autonomous agents
SG Yaman, C Burholt, M Jones, R Calinescu, A Cavalcanti
International Conference on Fundamental Approaches to Software Engineering …, 2023
112023
Towards a research agenda for understanding and managing uncertainty in self-adaptive systems
D Weyns, R Calinescu, R Mirandola, K Tei, M Acosta, N Bencomo, ...
ACM SIGSOFT Software Engineering Notes 48 (4), 20-36, 2023
82023
State Elimination as Model Transformation Problem.
S Getir, DA Vu, F Peverali, D Strüber, T Kehrer
TTC@ STAF, 65-73, 2017
82017
Performance analysis strategies for software variants and versions
T Thüm, A Hoorn, S Apel, J Bürdek, S Getir, R Heinrich, R Jung, M Kowal, ...
Managed software evolution, 175-206, 2019
72019
Towards a Formal Framework for Normative Requirements Elicitation
N Feng, L Marsso, SG Yaman, B Townsend, A Cavalcanti, R Calinescu, ...
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
52023
The semantics of the interaction between agents and web services on the semantic web
S Getir, M Challenger, S Demirkol, G Kardas
2012 IEEE 36th Annual Computer Software and Applications Conference …, 2012
42012
The GMF-based syntax tool of a DSML for the semantic web enabled multi-agent systems
S Getir, S Demirkol, M Challenger, G Kardas
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11 …, 2011
42011
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.
S Getir, E Pavese, L Grunske
CS&P, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20