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, ... | 112 | 2016 |
Automatic state-based test generation using genetic algorithms R Lefticaru, F Ipate Ninth international symposium on symbolic and numeric algorithms for …, 2007 | 103 | 2007 |
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 | 68 | 2013 |
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 | 67 | 2015 |
Functional search-based testing from state machines R Lefticaru, F Ipate 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 67 | 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. Univers. Comput. Sci. 18 (13), 1821-1841, 2012 | 43 | 2012 |
Model checking kernel P systems C Dragomir, F Ipate, S Konur, R Lefticaru, L Mierla Membrane Computing: 14th International Conference, CMC 2013, Chişinău …, 2014 | 37 | 2014 |
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 | 32 | 2010 |
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 | 30 | 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 | 29 | 2011 |
Kernel P systems: from modelling to verification and testing M Gheorghe, R Ceterchi, F Ipate, S Konur, R Lefticaru Theoretical Computer Science, 2018 | 26 | 2018 |
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 | 25 | 2013 |
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 | 21 | 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 | 20 | 2010 |
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 | 19 | 2017 |
Spiking neural P systems: matrix representation and formal verification M Gheorghe, R Lefticaru, S Konur, IM Niculescu, HN Adorna Journal of Membrane Computing 3 (2), 133-148, 2021 | 18 | 2021 |
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 | 15 | 2011 |
Testing robots using CSP A Cavalcanti, J Baxter, RM Hierons, R Lefticaru Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019 | 14 | 2019 |
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 | 14 | 2008 |
Towards automated verification of P systems using Spin R Lefticaru, C Tudose, F Ipate Natural Computing for Simulation and Knowledge Discovery, 159-170, 2011 | 13 | 2011 |