Florentin Ipate
Florentin Ipate
Professor of Computer Science, University of Bucharest
Verified email at fmi.unibuc.ro - Homepage
TitleCited byYear
Correct systems: building a business process solution
M Holcombe, F Ipate
Springer Science & Business Media, 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
Automatic state-based test generation using genetic algorithms
R Lefticaru, F Ipate
Ninth international symposium on symbolic and numeric algorithms for …, 2007
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
Generating test sets from non-deterministic stream X-machines
F Ipate, M Holcombe
Formal Aspects of Computing 12 (6), 443-458, 2000
Frontiers of membrane computing: Open problems and research topics
M Gheorghe, G Paun, MJ Pérez-Jiménez, G Rozenberg
Intern. J. Found. Computer Sci, 171-249, 2013
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
Kernel P systems-version 1
M Gheorgue, F Ipate, C Dragomir, L Mierla, L Valencia Cabrera, ...
Proceedings of the Eleventh Brainstorming Week on Membrane Computing, 97-124 …, 2013
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
Functional search-based testing from state machines
R Lefticaru, F Ipate
2008 1st International Conference on Software Testing, Verification, and …, 2008
A method for refining and testing generalised machine specifications
F Ipate, M Holcombe
International journal of computer mathematics 68 (3-4), 197-219, 1998
Theory of X-machines with applications in specification and testing.
FE Ipate
University of Sheffield, 1995
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
Testing methods for X-machines: a review
K Bogdanov, M Holcombe, F Ipate, L Seed, S Vanak
Formal Aspects of Computing 18 (1), 3-30, 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, 141-160, 1995
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
Another look at computability
F Ipate, M Holcombe
INFORMATICA-LJUBLJANA- 20, 359-372, 1996
Solving satisfiability problems with membrane algorithms
G Zhang, C Liu, M Gheorghe, F Ipate
2009 Fourth International on Conference on Bio-Inspired Computing, 1-8, 2009
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
Complete deterministic stream X-machine testing
F Ipate
Formal Aspects of Computing 16 (4), 374-386, 2004
The system can't perform the operation now. Try again later.
Articles 1–20