| 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 | 66 | 2014 |
| 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 | 40 | 2015 |
| 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 | 32 | 2013 |
| 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 | 29 | 2018 |
| 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 | 25 | 2014 |
| 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 | 24 | 2011 |
| 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 | 22 | 2011 |
| 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 | 21 | 2012 |
| A Generic Framework for Analyzing Model Co-Evolution. S Getir, M Rindt, T Kehrer ME@ MoDELS, 12-21, 2014 | 17 | 2014 |
| 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 | 15 | 2013 |
| 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 | 13 | 2023 |
| 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 | 13 | 2015 |
| 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 | 10 | 2023 |
| State Elimination as Model Transformation Problem. S Getir, DA Vu, F Peverali, D Strüber, T Kehrer TTC@ STAF, 65-73, 2017 | 8 | 2017 |
| 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 | 6 | 2019 |
| 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 | 5 | 2023 |
| 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 | 4 | 2012 |
| 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 | 4 | 2011 |
| 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 | 3 | 2023 |
| Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. S Getir, E Pavese, L Grunske CS&P, 2018 | 3 | 2018 |
Geylani KardasProfessor of Computer Science and Engineering, Ege University International Computer InstituteDirección de correo verificada de ege.edu.tr
