Savas Konur

According to our database, Savas Konur authored at least 52 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Towards design and implementation of Industry 4.0 for food manufacturing.

Savas Konur, Yang Lan, Dhavalkumar Thakker, Geev Mokryani, Nereida Polovina, James Sharp

Neural Comput. Appl., November, 2023

Ontology Development for Detecting Complex Events in Stream Processing: Use Case of Air Quality Monitoring.

Rose Yemson, Sohag Kabir, Dhavalkumar Thakker, Savas Konur

Comput., October, 2023

A model learning based testing approach for kernel P systems.

Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe

Theor. Comput. Sci., 2023

Agent-Based Modeling of Malaria Transmission.

Babagana Modu, Nereida Polovina, Savas Konur

IEEE Access, 2023

Speech Emotion Recognition Using Deep Learning.

Waqar Ahmed, Sana Riaz, Khunsa Iftikhar, Savas Konur

Proceedings of the Artificial Intelligence XL, 2023

Optimal Manufacturing Controller Synthesis Using Situation Calculus.

Omar Adalat, Daniele Scrimieri, Savas Konur

Proceedings of the Artificial Intelligence XL, 2023

2022

Anomaly Detection and Root Cause Analysis on Log Data.

Daem Pasha, Ali Hussain Shah, Esmaeil Habib Zadeh, Savas Konur

Proceedings of the Artificial Intelligence XXXIX, 2022

A 3D Multicellular Simulation Layer for the Synthetic Biology CAD Infobiotics Workbench Suite.

Richard Oliver Matzko, Laurentiu Mierla, Savas Konur

Proceedings of the Bioinformatics and Biomedical Engineering, 2022

Automated Log Analysis and Anomaly Detection Using Machine Learning.

Ali Hussain Shah, Daem Pasha, Esmaeil Habib Zadeh, Savas Konur

Proceedings of the Fuzzy Systems and Data Mining VIII, 2022

DDoS Attack Detection and Mitigation in Software-Defined Networking-Based 5G Mobile Networks with Multiple Controllers.

Morteza Sheibani, Savas Konur, Irfan Awan

Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022

2021

Spiking neural P systems: matrix representation and formal verification.

Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut-Mihai Niculescu, Henry N. Adorna

J. Membr. Comput., 2021

Detection of Brain Tumour Using Deep Learning.

Waqar Ahmed, Savas Konur

Proceedings of the Artificial Intelligence XXXVIII, 2021

Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management.

Esmaeil Habib Zadeh, Stephen Amstutz, James Collins, Craig Ingham, Marian Gheorghe, Savas Konur

Proceedings of CECNet 2021, 2021

Membrane Computing Models: Implementations

Gexiang Zhang, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Sergey Verlan, Savas Konur, Thomas Hinze, Marian Gheorghe

Springer, ISBN: 978-981-16-1565-8, 2021

2020

kPWorkbench: A software suit for membrane systems.

Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe

SoftwareX, 2020

A Hybrid Modular Approach for Dynamic Fault Tree Analysis.

Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Savas Konur

IEEE Access, 2020

Comparative Study of Shortterm Electricity Price Forecasting Models to Optimise Battery Consumption.

Vjosa Preniqi, Bhupesh Kumar Mishra, Dhavalkumar Thakker, Erich Feigl, Geev Mokryani, Amr Abdullatif, Savas Konur

Proceedings of the 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2020

2019

Search-based testing in membrane computing.

Ana Turlea, Marian Gheorghe, Florentin Ipate, Savas Konur

J. Membr. Comput., 2019

A Novel Semantic Complex Event Processing Framework for Streaming Processing.

Rose Yemson, Savas Konur, Dhavalkumar Thakker

Proceedings of the 9th International Conference on the Internet of Things, 2019

2018

Kernel P systems: From modelling to verification and testing.

Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru

Theor. Comput. Sci., 2018

Automatic selection of verification tools for efficient analysis of biochemical models.

Mehmet Emin Bakir, Savas Konur, Marian Gheorghe, Natalio Krasnogor, Mike Stannett

Bioinform., 2018

Machine Learning Analysis and Agent-Based Modelling of Malaria Transmission.

Babagana Modu, Nereida Polovina, Yang Lan, Savas Konur

Proceedings of the Fuzzy Systems and Data Mining IV, 2018

A Data Collection and Prediction Methodology for Manufacturing Process: A Case Study in Food Industry.

Yang Lan, Savas Konur, Peter Sutcliffe

Proceedings of the Fuzzy Systems and Data Mining IV, 2018

2017

Modelling and Validating an Engineering Application in Kernel P Systems.

Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate

Proceedings of the Membrane Computing, 2017

Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering.

Raluca Lefticaru, Savas Konur, Ünal Yildirim, Amad Uddin, Felician Campean, Marian Gheorghe

Proceedings of the 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2017

2016

Testing based on identifiable P Systems using cover automata and X-machines.

Marian Gheorghe, Florentin Ipate, Savas Konur

Inf. Sci., 2016

Kernel P Systems Modelling, Testing and Verification - Sorting Case Study.

Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

Comparative Analysis of Statistical Model Checking Tools.

Mehmet Emin Bakir, Marian Gheorghe, Savas Konur, Mike Stannett

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015

A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems.

Savas Konur, Marian Gheorghe

IEEE ACM Trans. Comput. Biol. Bioinform., 2015

A roadmap to pervasive systems verification.

Savas Konur, Michael Fisher

Knowl. Eng. Rev., 2015

An Integrated Model Checking Toolset for Kernel P Systems.

Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett

Proceedings of the Membrane Computing, 2015

Agent-Based High-Performance Simulation of Biological Systems on the GPU.

Savas Konur, Mariam Kiran, Marian Gheorghe, Mark Burkitt, Florentin Ipate

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014

Specifying safety-critical systems with a decidable duration logic.

Savas Konur

Sci. Comput. Program., 2014

Towards Light-Weight Probabilistic Model Checking.

Savas Konur

J. Appl. Math., 2014

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example.

Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor

Fundam. Informaticae, 2014

Formal verification of a pervasive messaging system.

Savas Konur, Michael Fisher, Simon Dobson, Stephen Knox

Formal Aspects Comput., 2014

Extended Simulation and Verification Platform for Kernel P Systems.

Mehmet E. Bakir, Florentin Ipate, Savas Konur, Laurentiu Mierla, Ionut-Mihai Niculescu

Proceedings of the Membrane Computing, 2014

Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates.

Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe, Christophe Ladroue, Sara Kalvala

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

High Performance Simulations of Kernel P Systems.

Mehmet E. Bakir, Savas Konur, Marian Gheorghe, Ionut-Mihai Niculescu, Florentin Ipate

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

2013

Combined model checking for temporal, probabilistic, and real-time logics.

Savas Konur, Michael Fisher, Sven Schewe

Theor. Comput. Sci., 2013

A survey on temporal logics for specifying and verifying real-time systems.

Savas Konur

Frontiers Comput. Sci., 2013

Model Checking Kernel P Systems.

Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla

Proceedings of the Membrane Computing, 2013

2012

Analysing robot swarm behaviour via probabilistic model checking.

Savas Konur, Clare Dixon, Michael Fisher

Robotics Auton. Syst., 2012

2011

An Event-Based Fragment of First-Order Logic over Intervals.

Savas Konur

J. Log. Lang. Inf., 2011

Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification.

Savas Konur, Michael Fisher

Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

2010

Real-time and Probabilistic Temporal Logics: An Overview

Savas Konur

CoRR, 2010

A Survey on Temporal Logics

Savas Konur

CoRR, 2010

Formal Verification of Probabilistic Swarm Behaviours.

Savas Konur, Clare Dixon, Michael Fisher

Proceedings of the Swarm Intelligence - 7th International Conference, 2010

2009

Towards the Verification of Pervasive Systems.

Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2008

An interval logic for natural language semantics.

Savas Konur

Proceedings of the Advances in Modal Logic 7, 2008

2006

A Decidable Temporal Logic for Events and States.

Savas Konur

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2004

Formal Analysis of Empirical Traces in Incident Management.

Mark Hoogendoorn, Catholijn M. Jonker, Savas Konur, Peter-Paul van Maanen, Viara Popova, Alexei Sharpanskykh, Jan Treur, Lai Xu, Pinar Yolum

Proceedings of the Applications and Innovations in Intelligent Systems XII, 2004