Követés
Raluca Lefticaru
Raluca Lefticaru
Assistant Professor, University of Bradford
E-mail megerősítve itt: bradford.ac.uk - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1022016
Automatic state-based test generation using genetic algorithms
R Lefticaru, F Ipate
Ninth international symposium on symbolic and numeric algorithms for …, 2007
1002007
Functional search-based testing from state machines
R Lefticaru, F Ipate
2008 1st International Conference on Software Testing, Verification, and …, 2008
662008
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
652013
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
592015
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. Univers. Comput. Sci. 18 (13), 1821-1841, 2012
432012
Model checking kernel P systems
C Dragomir, F Ipate, S Konur, R Lefticaru, L Mierla
International Conference on Membrane Computing, 151-172, 2013
322013
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
282010
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
272010
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
262011
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
222013
Kernel P systems: from modelling to verification and testing
M Gheorghe, R Ceterchi, F Ipate, S Konur, R Lefticaru
Theoretical Computer Science, 2018
202018
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
202012
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
192010
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
152017
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
152008
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
132011
Towards automated verification of P systems using Spin
R Lefticaru, C Tudose, F Ipate
Natural Computing for Simulation and Knowledge Discovery, 159-170, 2011
122011
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
112012
A hybrid test generation approach based on extended finite state machines
A Turlea, F Ipate, R Lefticaru
2016 18th International Symposium on Symbolic and Numeric Algorithms for …, 2016
102016
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20