Automatic State-Based Test Generation Using Genetic Algorithms. - Raluca Lefticaru; Florentin Ipate (SYNASC, 2007)

Functional Search-based Testing from State Machines. - Raluca Lefticaru; Florentin Ipate (ICST, 2008)

Search-based Testing using State-based Fitness. - Raluca Lefticaru; Florentin Ipate (ICST Workshops, 2008)

A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. - Raluca Lefticaru; Florentin Ipate (SYNASC, 2008)

Automated Model Design Using Genetic Algorithms and Model Checking. - Raluca Lefticaru; Florentin Ipate; Cristina Tudose (BCI, 2009)

Tuning P Systems for Solving the Broadcasting Problem. - Raluca Lefticaru; Florentin Ipate; Marian Gheorghe 001; Gexiang Zhang (Workshop on Membrane Computing, 2009)

A particle swarm optimization based on P systems. - Fen Zhou 003; Gexiang Zhang; Haina Rong; Marian Gheorghe 001; Jixiang Cheng; Florentin Ipate; Raluca Lefticaru (ICNC, 2010)

An Integrated Approach to P Systems Formal Verification. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Ciprian Dragomir (Int. Conf. on Membrane Computing, 2010)

Test generation from P systems using model checking. - Florentin Ipate; Marian Gheorghe 001; Raluca Lefticaru (J. Log. Algebraic Methods Program., 2010)

Test Data Generation for Event-B Models Using Genetic Algorithms. - Ionut Dinca; Alin Stefanescu; Florentin Ipate; Raluca Lefticaru; Cristina Tudose (ICSECS (3), 2011)

Towards Search-Based Testing for Event-B Models. - Alin Stefanescu; Florentin Ipate; Raluca Lefticaru; Cristina Tudose (ICST Workshops, 2011)

Formal Verification of P Systems with Active Membranes through Model Checking. - Florentin Ipate; Raluca Lefticaru; Ignacio Pérez-Hurtado; Mario J. Pérez-Jiménez; Cristina Tudose (Int. Conf. on Membrane Computing, 2011)

Using Genetic Algorithms and Model Checking for P Systems Automatic Design. - Cristina Tudose; Raluca Lefticaru; Florentin Ipate (NICSO, 2011)

Formal Verification of P Systems Using Spin. - Florentin Ipate; Raluca Lefticaru; Cristina Tudose (Int. J. Found. Comput. Sci., 2011)

Towards Automated Verification of P Systems Using Spin. - Raluca Lefticaru; Cristina Tudose; Florentin Ipate (Int. J. Nat. Comput. Res., 2011)

An empirical evaluation of P system testing techniques. - Raluca Lefticaru; Marian Gheorghe 001; Florentin Ipate (Nat. Comput., 2011)

An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. - Raluca Lefticaru; Florentin Ipate (SEFM, 2012)

A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. - Gexiang Zhang; Fen Zhou 003; Xiaoli Huang; Jixiang Cheng; Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru (J. Univers. Comput. Sci., 2012)

Kernel P Systems: Applications and Implementations. - Florentin Ipate; Raluca Lefticaru; Laurentiu Mierla; Luis Valencia-Cabrera; Han Huang; Gexiang Zhang; Ciprian Dragomir; Mario J. Pérez-Jiménez; Marian Gheorghe 001 (BIC-TA, 2013)

Model Checking Kernel P Systems. - Ciprian Dragomir; Florentin Ipate; Savas Konur; Raluca Lefticaru; Laurentiu Mierla (Int. Conf. on Membrane Computing, 2013)

3-Col problem modelling using simple kernel P systems. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Mario J. Pérez-Jiménez; Adrian Turcanu; Luis Valencia-Cabrera; Manuel García-Quismondo; Laurentiu Mierla (Int. J. Comput. Math., 2013)

X-Machine Based Testing for Cloud Services. - Raluca Lefticaru; Anthony J. H. Simons (ESOCC Workshops, 2014)

A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning. - Xueyuan Wang; Gexiang Zhang; Junbo Zhao 001; Haina Rong; Florentin Ipate; Raluca Lefticaru (Int. J. Comput. Commun. Control, 2015)

Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME. - Raluca Lefticaru; Luis F. Macías-Ramos; Ionut-Mihai Niculescu; Laurentiu Mierla (Int. Conf. on Membrane Computing, 2016)

A Hybrid Test Generation Approach Based on Extended Finite State Machines. - Ana Turlea; Florentin Ipate; Raluca Lefticaru (SYNASC, 2016)

Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. - Xueyuan Wang; Gexiang Zhang; Ferrante Neri; Tao Jiang 014; Junbo Zhao 001; Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru (Integr. Comput. Aided Eng., 2016)

Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. - Raluca Lefticaru; Savas Konur; Ünal Yildirim; Amad Uddin; Felician Campean; Marian Gheorghe 001 (iThings/GreenCom/CPSCom/SmartData, 2017)

Modelling and Validating an Engineering Application in Kernel P Systems. - Raluca Lefticaru; Mehmet Emin Bakir; Savas Konur; Mike Stannett; Florentin Ipate (Int. Conf. on Membrane Computing, 2017)

A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. - Ana Turlea; Florentin Ipate; Raluca Lefticaru (SYNASC, 2017)

Testing Identifiable Kernel P Systems Using an X-Machine Approach. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Ana Turlea (Int. Conf. on Membrane Computing, 2018)

Generating Complex Paths for Testing from an EFSM. - Ana Turlea; Florentin Ipate; Raluca Lefticaru (QRS Companion, 2018)

Kernel P systems: From modelling to verification and testing. - Marian Gheorghe 001; Rodica Ceterchi; Florentin Ipate; Savas Konur; Raluca Lefticaru (Theor. Comput. Sci., 2018)

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. - Raluca Lefticaru; Robert M. Hierons; Manuel Núñez 001 (SEFM, 2019)

Testing Robots Using CSP. - Ana Cavalcanti 001; James Baxter 001; Robert M. Hierons; Raluca Lefticaru (TAP@FM, 2019)

Implementation relations and testing for cyclic systems with refusals and discrete time. - Raluca Lefticaru; Robert M. Hierons; Manuel Núñez 001 (J. Syst. Softw., 2020)

A verified and optimized Stream X-Machine testing method, with application to cloud service certification. - Anthony J. H. Simons; Raluca Lefticaru (Softw. Test. Verification Reliab., 2020)

Spiking neural P systems: matrix representation and formal verification. - Marian Gheorghe 001; Raluca Lefticaru; Savas Konur; Ionut-Mihai Niculescu; Henry N. Adorna (J. Membr. Comput., 2021)

Fundamental results for learning deterministic extended finite state machines from queries. - Florentin Ipate; Marian Gheorghe 001; Raluca Lefticaru (Theor. Comput. Sci., 2021)

Detection of Cyberbullying on Social Media Platforms Using Machine Learning. - Mohammad Usmaan Ali; Raluca Lefticaru (UKCI, 2023)

Tumour Detection and Segmentation in MRI Scans of the Gut Area. - Olatunji Azeez; Raluca Lefticaru (UKCI, 2023)

Implementation relations and testing for cyclic systems: Adding probabilities. - Manuel Núñez 001; Robert M. Hierons; Raluca Lefticaru (Robotics Auton. Syst., 2023)

A model learning based testing approach for kernel P systems. - Florentin Ipate; Ionut-Mihai Niculescu; Raluca Lefticaru; Savas Konur; Marian Gheorghe 001 (Theor. Comput. Sci., 2023)