Raluca Lefticaru

Cited by

	All	Since 2016
Citations	658	352
h-index	13	9
i10-index	17	9

200820092010201120122013201420152016201720182019202010 11 29 56 48 54 51 46 55 75 75 75 72

Co-authors

Florentin IpateProfessor of Computer Science, University of BucharestVerified email at fmi.unibuc.ro
Marian GheorgheUniversity of BradfordVerified email at bradford.ac.uk
Mario J. Pérez-JiménezUniversidad de SevillaVerified email at us.es
Luis Valencia CabreraUniversidad de SevillaVerified email at us.es
Junbo ZhaoDepartment of Electrical Computer Engineering, Mississippi State UniversityVerified email at ece.msstate.edu
Adrian TurcanuLecturer in Computer Science, University of PitestiVerified email at upit.ro
Ferrante NeriSchool of Computer Science, University of Nottingham, UKVerified email at nottingham.ac.uk
Manuel García-QuismondoOneThree BiotechVerified email at us.es
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk
Manuel NúñezUniversidad Complutense de MadridVerified email at ucm.es
Alin StefanescuProfessor of Computer Science, University of Bucharest, RomaniaVerified email at fmi.unibuc.ro
Anthony J H SimonsSenior Lecturer, University of SheffieldVerified email at sheffield.ac.uk
Unal YildirimUniversity of BradfordVerified email at bradford.ac.uk
Rodica CeterchiProfessor of Computer Science, University of Bucharest, Faculty of Mathematics and CSVerified email at fmi.unibuc.ro
Ignacio Perez-HurtadoUniversity of SevilleVerified email at us.es
Constantinos OrphanidesTechnical Researcher, Sheffield Hallam UniversityVerified email at shu.ac.uk
Mike StannettSenior Lecturer (Theoretical Computer Science), Sheffield UniversityVerified email at sheffield.ac.uk
Erzsébet Csuhaj-VarjúDepartment of Algorithms and their Applications, Faculty of Informatics, Eötvös Loránd UniversityVerified email at inf.elte.hu
Ionut DincaUniversitatea din PitestiVerified email at upit.ro
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk

Raluca Lefticaru

Lecturer in Computer Science, University of Bradford

Verified email at bradford.ac.uk - Homepage

Computer Science Software Engineering Software Testing SBSE Membrane Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic state-based test generation using genetic algorithms R Lefticaru, F Ipate Ninth international symposium on symbolic and numeric algorithms for …, 2007	84	2007
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots X Wang, G Zhang, F Neri, T Jiang, J Zhao, M Gheorghe, F Ipate, ... Integrated Computer-Aided Engineering 23 (1), 15-30, 2016	67	2016
3-Col problem modelling using simple kernel P systems M Gheorghe, F Ipate, R Lefticaru, MJ Pérez-Jiménez, A Ţurcanu, ... International Journal of Computer Mathematics 90 (4), 816-830, 2013	54*	2013
Functional search-based testing from state machines R Lefticaru, F Ipate 2008 1st International Conference on Software Testing, Verification, and …, 2008	52	2008
A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. G Zhang, F Zhou, X Huang, J Cheng, M Gheorghe, F Ipate, R Lefticaru J. UCS 18 (13), 1821-1841, 2012	41	2012
A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning X Wang, G Zhang, J Zhao, H Rong, F Ipate, R Lefticaru International journal of computers communications & control 10 (5), 732-745, 2015	36	2015
Model checking kernel P systems C Dragomir, F Ipate, S Konur, R Lefticaru, L Mierla International Conference on Membrane Computing, 151-172, 2013	29	2013
A particle swarm optimization based on P systems F Zhou, G Zhang, H Rong, M Gheorghe, J Cheng, F Ipate, R Lefticaru 2010 Sixth International Conference on Natural Computation 6, 3003-3007, 2010	26	2010
Test generation from P systems using model checking F Ipate, M Gheorghe, R Lefticaru The Journal of Logic and Algebraic Programming 79 (6), 350-362, 2010	25	2010
Formal verification of P systems using Spin F Ipate, R Lefticaru, C Tudose International Journal of Foundations of Computer Science 22 (01), 133-142, 2011	23	2011
Towards an Integrated Approach for Model Simulation, Property Extraction and Verification of P Systems R Lefticaru, F Ipate, L Valencia Cabrera, A Turcanu, C Tudose, ... Proceedings of the Tenth Brainstorming Week on Membrane Computing, 291-318 …, 2012	17	2012
An Integrated Approach to P Systems Formal Verification M Gheorghe, F Ipate, R Lefticaru, C Dragomir Int. Conf. on Membrane Computing 6501, 226-239, 2010	17	2010
Kernel P systems: Applications and implementations F Ipate, R Lefticaru, L Mierlă, LV Cabrera, H Han, G Zhang, C Dragomir, ... Proceedings of The Eighth International Conference on Bio-Inspired Computing …, 2013	16	2013
A comparative landscape analysis of fitness functions for search-based testing R Lefticaru, F Ipate 2008 10th international symposium on symbolic and numeric algorithms for …, 2008	13	2008
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering R Lefticaru, S Konur, U Yildirim, A Uddin, F Campean, M Gheorghe IEEE International Conference on Cyber, Physical and Social Computing …, 2017	10	2017
An improved test generation approach from extended finite state machines using genetic algorithms R Lefticaru, F Ipate International Conference on Software Engineering and Formal Methods, 293-307, 2012	10	2012
Automated model design using genetic algorithms and model checking R Lefticaru, F Ipate, C Tudose 2009 Fourth Balkan Conference in Informatics, 79-84, 2009	10	2009
Kernel P systems: from modelling to verification and testing M Gheorghe, R Ceterchi, F Ipate, S Konur, R Lefticaru Theoretical Computer Science, 2018	9	2018
Using genetic algorithms and model checking for P systems automatic design C Tudose, R Lefticaru, F Ipate Nature Inspired Cooperative Strategies for Optimization (NICSO 2011), 285-302, 2011	9	2011
Towards automated verification of P systems using Spin R Lefticaru, C Tudose, F Ipate Natural Computing for Simulation and Knowledge Discovery, 159-170, 2011	9	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors