Savas Konur

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 29

Top Topics

Formal Verification

Top Venues

Int. Conf. on Membrane Computing

Publications

Richard Oliver Matzko, Savas Konur
Technologies for design-build-test-learn automation and computational modelling across the synthetic biology workflow: a review. Netw. Model. Anal. Health Informatics Bioinform. 13 (1) (2024)
Clement Daah, Amna Qureshi, Irfan Awan, Omar Adalat, Savas Konur
Advancing IAM in the Finance Sector by Integrating Zero Trust and Blockchain Technology. MobiWIS (2024)
Rose Yemson, Sohag Kabir, Dhavalkumar Thakker, Savas Konur
Ontology Development for Detecting Complex Events in Stream Processing: Use Case of Air Quality Monitoring. Comput. 12 (11) (2023)
Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe
A model learning based testing approach for kernel P systems. Theor. Comput. Sci. 965 (2023)
Omar Adalat, Daniele Scrimieri, Savas Konur
Optimal Manufacturing Controller Synthesis Using Situation Calculus. SGAI Conf. (2023)
Waqar Ahmed, Sana Riaz, Khunsa Iftikhar, Savas Konur
Speech Emotion Recognition Using Deep Learning. SGAI Conf. (2023)
Savas Konur, Yang Lan, Dhavalkumar Thakker, Geev Mokryani, Nereida Polovina, James Sharp
Towards design and implementation of Industry 4.0 for food manufacturing. Neural Comput. Appl. 35 (33) (2023)
Babagana Modu, Nereida Polovina, Savas Konur
Agent-Based Modeling of Malaria Transmission. IEEE Access 11 (2023)
Daem Pasha, Ali Hussain Shah, Esmaeil Habib Zadeh, Savas Konur
Anomaly Detection and Root Cause Analysis on Log Data. SGAI Conf. (2022)
Ali Hussain Shah, Daem Pasha, Esmaeil Habib Zadeh, Savas Konur
Automated Log Analysis and Anomaly Detection Using Machine Learning. FSDM (2022)
Richard Oliver Matzko, Laurentiu Mierla, Savas Konur
A 3D Multicellular Simulation Layer for the Synthetic Biology CAD Infobiotics Workbench Suite. IWBBIO (2) (2022)
Morteza Sheibani, Savas Konur, Irfan Awan
DDoS Attack Detection and Mitigation in Software-Defined Networking-Based 5G Mobile Networks with Multiple Controllers. FiCloud (2022)
Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut-Mihai Niculescu, Henry N. Adorna
Spiking neural P systems: matrix representation and formal verification. J. Membr. Comput. 3 (2) (2021)
Waqar Ahmed, Savas Konur
Detection of Brain Tumour Using Deep Learning. SGAI Conf. (2021)
Esmaeil Habib Zadeh, Stephen Amstutz, James Collins, Craig Ingham, Marian Gheorghe, Savas Konur
Automated Contextual Anomaly Detection for Network Interface Bandwidth Utilisation: A Case Study in Network Capacity Management. CECNet (2021)
Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe
kPWorkbench: A software suit for membrane systems. SoftwareX 11 (2020)
Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Savas Konur
A Hybrid Modular Approach for Dynamic Fault Tree Analysis. IEEE Access 8 (2020)
Vjosa Preniqi, Bhupesh Kumar Mishra, Dhavalkumar Thakker, Erich Feigl, Geev Mokryani, Amr Abdullatif, Savas Konur
Comparative Study of Shortterm Electricity Price Forecasting Models to Optimise Battery Consumption. iThings/GreenCom/CPSCom/SmartData/Cybermatics (2020)
Rose Yemson, Savas Konur, Dhavalkumar Thakker
A Novel Semantic Complex Event Processing Framework for Streaming Processing. IOT (2019)
Ana Turlea, Marian Gheorghe, Florentin Ipate, Savas Konur
Search-based testing in membrane computing. J. Membr. Comput. 1 (4) (2019)
Mehmet Emin Bakir, Savas Konur, Marian Gheorghe, Natalio Krasnogor, Mike Stannett
Automatic selection of verification tools for efficient analysis of biochemical models. Bioinform. 34 (18) (2018)
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru
Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. 724 (2018)
Babagana Modu, Nereida Polovina, Yang Lan, Savas Konur
Machine Learning Analysis and Agent-Based Modelling of Malaria Transmission. FSDM (2018)
Yang Lan, Savas Konur, Peter Sutcliffe
A Data Collection and Prediction Methodology for Manufacturing Process: A Case Study in Food Industry. FSDM (2018)
Raluca Lefticaru, Savas Konur, Ünal Yildirim, Amad Uddin, Felician Campean, Marian Gheorghe
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. iThings/GreenCom/CPSCom/SmartData (2017)
Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate
Modelling and Validating an Engineering Application in Kernel P Systems. Int. Conf. on Membrane Computing (2017)
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. Int. Conf. on Membrane Computing (2016)
Mehmet Emin Bakir, Marian Gheorghe, Savas Konur, Mike Stannett
Comparative Analysis of Statistical Model Checking Tools. Int. Conf. on Membrane Computing (2016)
Marian Gheorghe, Florentin Ipate, Savas Konur
Testing based on identifiable P Systems using cover automata and X-machines. Inf. Sci. 372 (2016)
Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing (2015)
Savas Konur, Michael Fisher
A roadmap to pervasive systems verification. Knowl. Eng. Rev. 30 (3) (2015)
Savas Konur, Marian Gheorghe
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. IEEE ACM Trans. Comput. Biol. Bioinform. 12 (2) (2015)
Savas Konur, Mariam Kiran, Marian Gheorghe, Mark Burkitt, Florentin Ipate
Agent-Based High-Performance Simulation of Biological Systems on the GPU. HPCC/CSS/ICESS (2015)
Savas Konur, Michael Fisher, Simon Dobson, Stephen Knox
Formal verification of a pervasive messaging system. Formal Aspects Comput. 26 (4) (2014)
Mehmet E. Bakir, Florentin Ipate, Savas Konur, Laurentiu Mierla, Ionut-Mihai Niculescu
Extended Simulation and Verification Platform for Kernel P Systems. Int. Conf. on Membrane Computing (2014)
Savas Konur
Towards Light-Weight Probabilistic Model Checking. J. Appl. Math. 2014 (2014)
Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe, Christophe Ladroue, Sara Kalvala
Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. HPCC/CSS/ICESS (2014)
Savas Konur
Specifying safety-critical systems with a decidable duration logic. Sci. Comput. Program. 80 (2014)
Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundam. Informaticae 134 (1-2) (2014)
Mehmet E. Bakir, Savas Konur, Marian Gheorghe, Ionut-Mihai Niculescu, Florentin Ipate
High Performance Simulations of Kernel P Systems. HPCC/CSS/ICESS (2014)
Savas Konur
A survey on temporal logics for specifying and verifying real-time systems. Frontiers Comput. Sci. 7 (3) (2013)
Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla
Model Checking Kernel P Systems. Int. Conf. on Membrane Computing (2013)
Savas Konur, Michael Fisher, Sven Schewe
Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci. 503 (2013)
Savas Konur, Clare Dixon, Michael Fisher
Analysing robot swarm behaviour via probabilistic model checking. Robotics Auton. Syst. 60 (2) (2012)
Savas Konur
An Event-Based Fragment of First-Order Logic over Intervals. J. Log. Lang. Inf. 20 (1) (2011)
Savas Konur, Michael Fisher
Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. VTC Spring (2011)
Savas Konur, Clare Dixon, Michael Fisher
Formal Verification of Probabilistic Swarm Behaviours. ANTS Conference (2010)
Savas Konur
Real-time and Probabilistic Temporal Logics: An Overview CoRR (2010)
Savas Konur
A Survey on Temporal Logics CoRR (2010)
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
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Savas Konur
An interval logic for natural language semantics. Advances in Modal Logic (2008)
Savas Konur
A Decidable Temporal Logic for Events and States. TIME (2006)
Mark Hoogendoorn, Catholijn M. Jonker, Savas Konur, Peter-Paul van Maanen, Viara Popova, Alexei Sharpanskykh, Jan Treur, Lai Xu, Pinar Yolum
Formal Analysis of Empirical Traces in Incident Management. SGAI Conf. (Applications) (2004)