Raluca Lefticaru

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 19

Top Topics

Wheeled Mobile Robots

Test Generation

Finite State Machines

Top Venues

Theor. Comput. Sci.

Int. Conf. on Membrane Computing

Publications

Olatunji Azeez, Raluca Lefticaru
Tumour Detection and Segmentation in MRI Scans of the Gut Area. UKCI (2023)
Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe
A model learning based testing approach for kernel P systems. Theor. Comput. Sci. 965 (2023)
Mohammad Usmaan Ali, Raluca Lefticaru
Detection of Cyberbullying on Social Media Platforms Using Machine Learning. UKCI (2023)
Manuel Núñez, Robert M. Hierons, Raluca Lefticaru
Implementation relations and testing for cyclic systems: Adding probabilities. Robotics Auton. Syst. 165 (2023)
Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut-Mihai Niculescu, Henry N. Adorna
Spiking neural P systems: matrix representation and formal verification. J. Membr. Comput. 3 (2) (2021)
Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
Fundamental results for learning deterministic extended finite state machines from queries. Theor. Comput. Sci. 862 (2021)
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
Implementation relations and testing for cyclic systems with refusals and discrete time. J. Syst. Softw. 170 (2020)
Anthony J. H. Simons, Raluca Lefticaru
A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Softw. Test. Verification Reliab. 30 (3) (2020)
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
Testing Robots Using CSP. TAP@FM (2019)
Raluca Lefticaru, Robert M. Hierons, Manuel Núñez
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. SEFM (2019)
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru
Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. 724 (2018)
Ana Turlea, Florentin Ipate, Raluca Lefticaru
Generating Complex Paths for Testing from an EFSM. QRS Companion (2018)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
Testing Identifiable Kernel P Systems Using an X-Machine Approach. Int. Conf. on Membrane Computing (2018)
Ana Turlea, Florentin Ipate, Raluca Lefticaru
A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. SYNASC (2017)
Raluca Lefticaru, Savas Konur, Ünal Yildirim, Amad Uddin, Felician Campean, Marian Gheorghe
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. iThings/GreenCom/CPSCom/SmartData (2017)
Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate
Modelling and Validating an Engineering Application in Kernel P Systems. Int. Conf. on Membrane Computing (2017)
Ana Turlea, Florentin Ipate, Raluca Lefticaru
A Hybrid Test Generation Approach Based on Extended Finite State Machines. SYNASC (2016)
Raluca Lefticaru, Luis F. Macías-Ramos, Ionut-Mihai Niculescu, Laurentiu Mierla
Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME. Int. Conf. on Membrane Computing (2016)
Xueyuan Wang, Gexiang Zhang, Ferrante Neri, Tao Jiang, Junbo Zhao, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integr. Comput. Aided Eng. 23 (1) (2016)
Xueyuan Wang, Gexiang Zhang, Junbo Zhao, Haina Rong, Florentin Ipate, Raluca Lefticaru
A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning. Int. J. Comput. Commun. Control 10 (5) (2015)
Raluca Lefticaru, Anthony J. H. Simons
X-Machine Based Testing for Cloud Services. ESOCC Workshops (2014)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Turcanu, Luis Valencia-Cabrera, Manuel García-Quismondo, Laurentiu Mierla
3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. 90 (4) (2013)
Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla
Model Checking Kernel P Systems. Int. Conf. on Membrane Computing (2013)
Florentin Ipate, Raluca Lefticaru, Laurentiu Mierla, Luis Valencia-Cabrera, Han Huang, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez-Jiménez, Marian Gheorghe
Kernel P Systems: Applications and Implementations. BIC-TA (2013)
Raluca Lefticaru, Florentin Ipate
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. SEFM (2012)
Gexiang Zhang, Fen Zhou, Xiaoli Huang, Jixiang Cheng, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. J. Univers. Comput. Sci. 18 (13) (2012)
Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Formal Verification of P Systems Using Spin. Int. J. Found. Comput. Sci. 22 (1) (2011)
Cristina Tudose, Raluca Lefticaru, Florentin Ipate
Using Genetic Algorithms and Model Checking for P Systems Automatic Design. NICSO (2011)
Raluca Lefticaru, Cristina Tudose, Florentin Ipate
Towards Automated Verification of P Systems Using Spin. Int. J. Nat. Comput. Res. 2 (3) (2011)
Raluca Lefticaru, Marian Gheorghe, Florentin Ipate
An empirical evaluation of P system testing techniques. Nat. Comput. 10 (1) (2011)
Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) (2011)
Florentin Ipate, Raluca Lefticaru, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Cristina Tudose
Formal Verification of P Systems with Active Membranes through Model Checking. Int. Conf. on Membrane Computing (2011)
Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Towards Search-Based Testing for Event-B Models. ICST Workshops (2011)
Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
Test generation from P systems using model checking. J. Log. Algebraic Methods Program. 79 (6) (2010)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir
An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing (2010)
Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru
A particle swarm optimization based on P systems. ICNC (2010)
Raluca Lefticaru, Florentin Ipate, Cristina Tudose
Automated Model Design Using Genetic Algorithms and Model Checking. BCI (2009)
Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang
Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing (2009)
Raluca Lefticaru, Florentin Ipate
A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. SYNASC (2008)
Raluca Lefticaru, Florentin Ipate
Functional Search-based Testing from State Machines. ICST (2008)
Raluca Lefticaru, Florentin Ipate
Search-based Testing using State-based Fitness. ICST Workshops (2008)
Raluca Lefticaru, Florentin Ipate
Automatic State-Based Test Generation Using Genetic Algorithms. SYNASC (2007)