| Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012 | 114 | 2012 |
| Combined model checking for temporal, probabilistic, and real-time logics S Konur, M Fisher, S Schewe Theoretical Computer Science 503, 61-88, 2013 | 43 | 2013 |
| Comparison of sensors and methodologies for effective prognostics on railway turnout systems F Camci, OF Eker, S Başkan, S Konur Proceedings of the Institution of Mechanical Engineers, Part F: Journal of …, 2016 | 38 | 2016 |
| Towards a predictive analytics-based intelligent malaria outbreak warning system B Modu, N Polovina, Y Lan, S Konur, AT Asyhari, Y Peng Applied Sciences 7 (8), 836, 2017 | 37 | 2017 |
| Towards design and implementation of Industry 4.0 for food manufacturing S Konur, Y Lan, D Thakker, G Morkyani, N Polovina, J Sharp Neural Computing and Applications, 1-13, 2021 | 36 | 2021 |
| A survey on temporal logics for specifying and verifying real-time systems S Konur Frontiers of Computer Science 7, 370-403, 2013 | 36 | 2013 |
| Formal verification of probabilistic swarm behaviours S Konur, C Dixon, M Fisher Swarm Intelligence: 7th International Conference, ANTS 2010, Brussels …, 2010 | 35 | 2010 |
| Formal analysis of a VANET congestion control protocol through probabilistic verification S Konur, M Fisher 2011 IEEE 73rd Vehicular Technology Conference (VTC Spring), 1-5, 2011 | 32 | 2011 |
| Membrane computing models: implementations G Zhang, MJ Pérez-Jiménez, A Riscos-Núñez, S Verlan, S Konur, T Hinze, ... Springer 10, 978-981, 2021 | 31 | 2021 |
| Model checking kernel P systems C Dragomir, F Ipate, S Konur, R Lefticaru, L Mierla Membrane Computing: 14th International Conference, CMC 2013, Chişinău …, 2014 | 31 | 2014 |
| Learning decision trees for action selection in soccer agents S Konur, A Ferrein, G Lakemeyer ECAI-04 Workshop on Agents in dynamic and real-time environments, 2004 | 25 | 2004 |
| An integrated model checking toolset for kernel P systems M Gheorghe, S Konur, F Ipate, L Mierla, ME Bakir, M Stannett International Conference on Membrane Computing, CMC 2015, Lecture Notes in …, 2015 | 24 | 2015 |
| Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems S Konur, M Gheorghe, C Dragomir, L Mierla, F Ipate, N Krasnogor ACS Synthetic Biology 4 (1), 83-92, 2015 | 24 | 2015 |
| Formal verification of a pervasive messaging system S Konur, M Fisher, S Dobson, S Knox Formal Aspects of Computing 26, 677-694, 2014 | 24 | 2014 |
| Infobiotics workbench: AP systems based tool for systems and synthetic biology J Blakes, J Twycross, S Konur, FJ Romero-Campero, N Krasnogor, ... Applications of membrane computing in systems and synthetic biology, 1-41, 2014 | 24 | 2014 |
| Towards the verification of pervasive systems M Arapinis, M Calder, L Dennis, M Fisher, P Gray, S Konur, A Miller, ... Electronic Communications of the EASST 22, 2010 | 24 | 2010 |
| Modelling and stochastic simulation of synthetic biological boolean gates D Sanassy, H Fellermann, N Krasnogor, S Konur, LM Mierla, M Gheorghe, ... 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014 | 23 | 2014 |
| High performance simulations of kernel P systems ME Bakir, S Konur, M Gheorghe, I Niculescu, F Ipate 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014 | 23 | 2014 |
| Extended simulation and verification platform for kernel P systems ME Bakir, F Ipate, S Konur, L Mierla, I Niculescu Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech …, 2014 | 23 | 2014 |
| Conventional verification for unconventional computing: a genetic XOR gate example S Konur, M Gheorghe, C Dragomir, F Ipate, N Krasnogor Fundamenta Informaticae 134 (1-2), 97-110, 2014 | 23 | 2014 |
