| Correct systems: building a business process solution M Holcombe, F Ipate Springer Science & Business Media, 2012 | 287 | 2012 |
| An integration testing method that is proved to find all faults F Ipate, M Holcombe International journal of computer mathematics 63 (3-4), 159-178, 1997 | 164 | 1997 |
| 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 |
| Specification and testing using generalized machines: a presentation and a case study F Ipate, M Holcombe Software Testing, Verification and Reliability 8 (2), 61-81, 1998 | 67 | 1998 |
| Generating test sets from non-deterministic stream X-machines F Ipate, M Holcombe Formal Aspects of Computing 12, 443-458, 2000 | 60 | 2000 |
| Kernel P systems M Gheorghe, F Ipate, C Dragomir, L Mierla, L Valencia-Cabrera Tenth Brainstorming Week on Membrane Computing 1, 153-170, 2012 | 58 | 2012 |
| A method for refining and testing generalised machine specifications F Ipate, M Holcombe International journal of computer mathematics 68 (3-4), 197-219, 1998 | 52 | 1998 |
| Testing methods for X-machines: a review K Bogdanov, M Holcombe, F Ipate, L Seed, S Vanak Formal Aspects of Computing 18, 3-30, 2006 | 47 | 2006 |
| 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 |
| Theory of X-machines with Applications in Specification and Testing FE Ipate University of Sheffield, 1995 | 37 | 1995 |
| JSXM: A tool for automated test generation D Dranidis, K Bratanis, F Ipate Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012 | 32 | 2012 |
| 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 |
| Testing against a non-controllable stream X-machine using state counting F Ipate Theoretical computer science 353 (1-3), 291-316, 2006 | 31 | 2006 |
| Using an X-machine to model a video cassette recorder M Fairtlough, M Holcombe, F Ipate, C Jordan, G Laycock, D Zhenhua High-Level System Modeling: Specification Languages, 141-160, 1995 | 31 | 1995 |
| 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 |
Marian GheorgheUniversity of Bradford在 bradford.ac.uk 的电子邮件经过验证
