Savas Konur

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A model learning based testing approach for kernel P systems Theoretical Computer Science	2023-06-15	Paper
Spiking neural P systems: matrix representation and formal verification Journal of Membrane Computing	2021-09-14	Paper
Search-based testing in membrane computing Journal of Membrane Computing	2021-09-14	Paper
Testing based on identifiable P systems using cover automata and X-machines Information Sciences	2020-01-07	Paper
Towards light-weight probabilistic model checking Journal of Applied Mathematics	2019-11-19	Paper
A survey on temporal logics for specifying and verifying real-time systems Frontiers of Computer Science	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 Theoretical Computer Science	2018-04-10	Paper
Kernel P systems modelling, testing and verification -- sorting case study Membrane Computing	2017-04-12	Paper
Comparative analysis of statistical model checking tools Membrane Computing	2017-04-12	Paper
An integrated model checking toolset for kernel P systems Membrane Computing	2016-02-26	Paper
Conventional verification for unconventional computing: a genetic XOR gate example Fundamenta Informaticae	2015-06-26	Paper
Combined model checking for temporal, probabilistic, and real-time logics Theoretical Computer Science	2014-09-02	Paper
Model Checking Kernel P Systems Membrane Computing	2014-03-28	Paper
An event-based fragment of first-order logic over intervals Journal of Logic, Language and Information	2011-04-05	Paper
An interval logic for natural language semantics	2011-03-30	Paper

Research outcomes over time

This page was built for person: Savas Konur