Florentin Ipate
Florentin Ipate
Professor of Computer Science, University of Bucharest
Email confirmado em - Página inicial
Citado por
Citado por
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
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
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
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
Functional search-based testing from state machines
R Lefticaru, F Ipate
2008 1st International Conference on Software Testing, Verification, and …, 2008
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
Generating test sets from non-deterministic stream X-machines
F Ipate, M Holcombe
Formal Aspects of Computing 12, 443-458, 2000
Kernel P systems
M Gheorghe, F Ipate, C Dragomir, L Mierla, L Valencia-Cabrera
Membrane Computing, Tenth Brainstorming Week, BWMC, 153-170, 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
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
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
Theory of X-machines with applications in specification and testing.
FE Ipate
University of Sheffield, 1995
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
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
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
Testing against a non-controllable stream X-machine using state counting
F Ipate
Theoretical computer science 353 (1-3), 291-316, 2006
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
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20