Raluca Lefticaru

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
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time	2024-03-14	Paper
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
Fundamental results for learning deterministic extended finite state machines from queries Theoretical Computer Science	2021-03-09	Paper
Testing identifiable kernel P systems using an X-machine approach	2019-10-10	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
Agent-based simulation of kernel P systems with division rules using FLAME Membrane Computing	2017-04-12	Paper
A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems Journal of Universal Computer Science	2016-07-08	Paper
Model Checking Kernel P Systems Membrane Computing	2014-03-28	Paper
3-Col problem modelling using simple kernel P systems International Journal of Computer Mathematics	2013-10-08	Paper
Formal verification of P systems with active membranes through model checking Membrane Computing	2012-06-08	Paper
An empirical evaluation of P system testing techniques Natural Computing	2011-05-23	Paper
FORMAL VERIFICATION OF P SYSTEMS USING SPIN International Journal of Foundations of Computer Science	2011-02-23	Paper
An integrated approach to P systems formal verification Membrane Computing	2011-01-21	Paper
Test generation from P systems using model checking The Journal of Logic and Algebraic Programming	2010-08-24	Paper
Tuning P systems for solving the broadcasting problem Membrane Computing	2010-01-26	Paper

Research outcomes over time

This page was built for person: Raluca Lefticaru