Raluca Lefticaru

According to our database, Raluca Lefticaru authored at least 42 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A model learning based testing approach for kernel P systems.

Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe

Theor. Comput. Sci., 2023

Implementation relations and testing for cyclic systems: Adding probabilities.

Manuel Núñez, Robert M. Hierons, Raluca Lefticaru

Robotics Auton. Syst., 2023

Tumour Detection and Segmentation in MRI Scans of the Gut Area.

Olatunji Azeez, Raluca Lefticaru

Proceedings of the Advances in Computational Intelligence Systems, 2023

Detection of Cyberbullying on Social Media Platforms Using Machine Learning.

Mohammad Usmaan Ali, Raluca Lefticaru

Proceedings of the Advances in Computational Intelligence Systems, 2023

2021

Fundamental results for learning deterministic extended finite state machines from queries.

Florentin Ipate, Marian Gheorghe, Raluca Lefticaru

Theor. Comput. Sci., 2021

Spiking neural P systems: matrix representation and formal verification.

Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut-Mihai Niculescu, Henry N. Adorna

J. Membr. Comput., 2021

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

Implementation relations and testing for cyclic systems with refusals and discrete time.

Raluca Lefticaru, Robert M. Hierons, Manuel Núñez

J. Syst. Softw., 2020

2019

Testing Robots Using CSP.

Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru

Proceedings of the Tests and Proofs - 13th International Conference, 2019

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time.

Raluca Lefticaru, Robert M. Hierons, Manuel Núñez

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

Kernel P systems: From modelling to verification and testing.

Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru

Theor. Comput. Sci., 2018

Generating Complex Paths for Testing from an EFSM.

Ana Turlea, Florentin Ipate, Raluca Lefticaru

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Testing Identifiable Kernel P Systems Using an X-Machine Approach.

Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea

Proceedings of the Membrane Computing, 2018

2017

A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm.

Ana Turlea, Florentin Ipate, Raluca Lefticaru

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Modelling and Validating an Engineering Application in Kernel P Systems.

Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate

Proceedings of the Membrane Computing, 2017

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

Proceedings of the 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2017

2016

Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots.

Xueyuan Wang, Gexiang Zhang, Ferrante Neri, Tao Jiang, Junbo Zhao, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru

Integr. Comput. Aided Eng., 2016

A Hybrid Test Generation Approach Based on Extended Finite State Machines.

Ana Turlea, Florentin Ipate, Raluca Lefticaru

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME.

Raluca Lefticaru, Luis F. Macías-Ramos, Ionut-Mihai Niculescu, Laurentiu Mierla

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015

A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning.

Xueyuan Wang, Gexiang Zhang, Junbo Zhao, Haina Rong, Florentin Ipate, Raluca Lefticaru

Int. J. Comput. Commun. Control, 2015

2014

X-Machine Based Testing for Cloud Services.

Raluca Lefticaru, Anthony J. H. Simons

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

2013

3-Col problem modelling using simple kernel P systems.

Marian Gheorghe, 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

Model Checking Kernel P Systems.

Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla

Proceedings of the Membrane Computing, 2013

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

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2012

A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems.

Gexiang Zhang, Fen Zhou, Xiaoli Huang, Jixiang Cheng, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru

J. Univers. Comput. Sci., 2012

An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms.

Raluca Lefticaru, Florentin Ipate

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011

An empirical evaluation of P system testing techniques.

Raluca Lefticaru, Marian Gheorghe, Florentin Ipate

Nat. Comput., 2011

Towards Automated Verification of P Systems Using Spin.

Raluca Lefticaru, Cristina Tudose, Florentin Ipate

Int. J. Nat. Comput. Res., 2011

Formal Verification of P Systems Using Spin.

Florentin Ipate, Raluca Lefticaru, Cristina Tudose

Int. J. Found. Comput. Sci., 2011

Using Genetic Algorithms and Model Checking for P Systems Automatic Design.

Cristina Tudose, Raluca Lefticaru, Florentin Ipate

Proceedings of the Nature Inspired Cooperative Strategies for Optimization, 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

Proceedings of the Membrane Computing, 2011

Towards Search-Based Testing for Event-B Models.

Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Test Data Generation for Event-B Models Using Genetic Algorithms.

Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose

Proceedings of the Software Engineering and Computer Systems, 2011

2010

Test generation from P systems using model checking.

Florentin Ipate, Marian Gheorghe, Raluca Lefticaru

J. Log. Algebraic Methods Program., 2010

An Integrated Approach to P Systems Formal Verification.

Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir

Proceedings of the Membrane Computing, 2010

A particle swarm optimization based on P systems.

Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru

Proceedings of the Sixth International Conference on Natural Computation, 2010

2009

Tuning P Systems for Solving the Broadcasting Problem.

Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang

Proceedings of the Membrane Computing, 10th International Workshop, 2009

Automated Model Design Using Genetic Algorithms and Model Checking.

Raluca Lefticaru, Florentin Ipate, Cristina Tudose

Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009

2008

A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing.

Raluca Lefticaru, Florentin Ipate

Proceedings of the SYNASC 2008, 2008

Search-based Testing using State-based Fitness.

Raluca Lefticaru, Florentin Ipate

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Functional Search-based Testing from State Machines.

Raluca Lefticaru, Florentin Ipate

Proceedings of the First International Conference on Software Testing, 2008

2007

Automatic State-Based Test Generation Using Genetic Algorithms.

Raluca Lefticaru, Florentin Ipate

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007