Seguir
Sinem Getir Yaman
Sinem Getir Yaman
Computer Science, University of York, Ege University Izmir
Dirección de correo verificada de york.ac.uk
Título
Citado por
Citado por
Año
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
172014
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
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
132023
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
102023
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
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems
D Weyns, R Calinescu, R Mirandola, K Tei, M Acosta, A Bennaceur, ...
ACM SIGSOFT Software Engineering Notes 48 (4), 20-36, 2023
42023
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20