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
2822012
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
1022016
Automatic state-based test generation using genetic algorithms
R Lefticaru, F Ipate
Ninth international symposium on symbolic and numeric algorithms for …, 2007
1002007
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
691998
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
Generating test sets from non-deterministic stream X-machines
F Ipate, M Holcombe
Formal Aspects of Computing 12 (6), 443-458, 2000
602000
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
Kernel P systems-version I
M Gheorghe, F Ipate, C Dragomir, L Mierla, L Valencia-Cabrera, ...
Eleventh Brainstorming Week on Membrane Computing (11BWMC), 97-124, 2013
532013
A method for refining and testing generalised machine specifications
F Ipate, M Holcombe
International journal of computer mathematics 68 (3-4), 197-219, 1998
491998
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
472006
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
341995
Model checking kernel P systems
C Dragomir, F Ipate, S Konur, R Lefticaru, L Mierla
International Conference on Membrane Computing, 151-172, 2013
322013
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
321995
Testing against a non-controllable stream X-machine using state counting
F Ipate
Theoretical computer science 353 (1-3), 291-316, 2006
292006
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
Another look at computability
F Ipate, M Holcombe
INFORMATICA-LJUBLJANA- 20, 359-372, 1996
281996
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
The system can't perform the operation now. Try again later.
Articles 1–20