Savas Konur - RankMe

59 papers B 1C 1Journal 29Unranked 27

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