Raluca Lefticaru

Available identifiers

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	2023-06-15	Paper
Spiking neural P systems: matrix representation and formal verification	2021-09-14	Paper
Fundamental results for learning deterministic extended finite state machines from queries	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	2018-04-10	Paper
Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME	2017-04-12	Paper
A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems	2016-07-08	Paper
Model Checking Kernel P Systems	2014-03-28	Paper
3-Col problem modelling using simple kernel P systems	2013-10-08	Paper
Formal Verification of P Systems with Active Membranes through Model Checking	2012-06-08	Paper
An empirical evaluation of P system testing techniques	2011-05-23	Paper
FORMAL VERIFICATION OF P SYSTEMS USING SPIN	2011-02-23	Paper
An Integrated Approach to P Systems Formal Verification	2011-01-21	Paper
Test generation from P systems using model checking	2010-08-24	Paper
Tuning P Systems for Solving the Broadcasting Problem	2010-01-26	Paper

This page was built for person: Raluca Lefticaru