Follow
Florentin Ipate
Florentin Ipate
Professor of Computer Science, University of Bucharest
Verified email at fmi.unibuc.ro - Homepage
Title
Cited by
Cited by
Year
Correct systems: building a business process solution
M Holcombe, F Ipate
Springer Science & Business Media, 2012
2802012
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
1601997
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
1102016
Automatic state-based test generation using genetic algorithms
R Lefticaru, F Ipate
Ninth international symposium on symbolic and numeric algorithms for …, 2007
1022007
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
682013
Functional search-based testing from state machines
R Lefticaru, F Ipate
2008 1st International Conference on Software Testing, Verification, and …, 2008
672008
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
671998
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
642015
Kernel P systems
M Gheorghe, F Ipate, C Dragomir, L Mierla, L Valencia-Cabrera
Tenth Brainstorming Week on Membrane Computing 1, 153-170, 2012
582012
Generating test sets from non-deterministic stream X-machines
F Ipate, M Holcombe
Formal Aspects of Computing 12, 443-458, 2000
582000
A method for refining and testing generalised machine specifications
F Ipate, M Holcombe
International journal of computer mathematics 68 (3-4), 197-219, 1998
501998
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
462006
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
Theory of X-machines with Applications in Specification and Testing
FE Ipate
University of Sheffield, 1995
361995
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
352014
JSXM: A tool for automated test generation
D Dranidis, K Bratanis, F Ipate
Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012
312012
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
312010
Testing against a non-controllable stream X-machine using state counting
F Ipate
Theoretical computer science 353 (1-3), 291-316, 2006
312006
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
311995
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
302010
The system can't perform the operation now. Try again later.
Articles 1–20