Seguir
Florentin Ipate
Florentin Ipate
Professor of Computer Science, University of Bucharest
Email confirmado em fmi.unibuc.ro - Página inicial
Título
Citado por
Citado por
Ano
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
1591997
Automatic state-based test generation using genetic algorithms
R Lefticaru, F Ipate
Ninth international symposium on symbolic and numeric algorithms for …, 2007
972007
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
962016
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
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
642013
Functional search-based testing from state machines
R Lefticaru, F Ipate
2008 1st International Conference on Software Testing, Verification, and …, 2008
622008
Generating test sets from non-deterministic stream X-machines
F Ipate, M Holcombe
Formal Aspects of Computing 12 (6), 443-458, 2000
582000
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
552015
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
452006
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
412012
Theory of X-machines with applications in specification and testing.
FE Ipate
University of Sheffield, 1995
351995
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
Model checking kernel P systems
C Dragomir, F Ipate, S Konur, R Lefticaru, L Mierla
International Conference on Membrane Computing, 151-172, 2013
312013
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
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
272011
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20