Savas Konur

Available identifiers

Publication	Date of Publication	Type
A model learning based testing approach for kernel P systems	2023-06-15	Paper
Spiking neural P systems: matrix representation and formal verification	2021-09-14	Paper
Search-based testing in membrane computing	2021-09-14	Paper
Testing based on identifiable P systems using cover automata and X-machines	2020-01-07	Paper
Towards light-weight probabilistic model checking	2019-11-19	Paper
A survey on temporal logics for specifying and verifying real-time systems	2019-05-28	Paper
Modelling and validating an engineering application in kernel P systems	2018-05-16	Paper
Kernel P systems: from modelling to verification and testing	2018-04-10	Paper
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study	2017-04-12	Paper
Comparative Analysis of Statistical Model Checking Tools	2017-04-12	Paper
An Integrated Model Checking Toolset for Kernel P Systems	2016-02-26	Paper
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example	2015-06-26	Paper
Combined model checking for temporal, probabilistic, and real-time logics	2014-09-02	Paper
Model Checking Kernel P Systems	2014-03-28	Paper
An event-based fragment of first-order logic over intervals	2011-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q3085166	2011-03-30	Paper

This page was built for person: Savas Konur