Florentin Ipate

Cited by

	All	Since 2019
Citations	2684	753
h-index	27	12
i10-index	74	23

200

100

150

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 17 55 50 99 76 56 67 62 62 90 57 109 124 138 95 129 137 137 167 120 137 132 188 124 112 60

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marian GheorgheUniversity of BradfordVerified email at bradford.ac.uk
Raluca LefticaruAssociate Professor, University of BradfordVerified email at bradford.ac.uk
Adrian TurcanuAssistant Professor in Mathematical and Computer Sciences, Heriot-Watt UniversityVerified email at hw.ac.uk
Luis Valencia CabreraUniversidad de SevillaVerified email at us.es
Alin StefanescuProfessor of Computer Science, University of Bucharest, RomaniaVerified email at fmi.unibuc.ro
Natalio KrasnogorProfessor of Computing Science and Synthetic Biology, Newcastle UniversityVerified email at ncl.ac.uk
Rodica CeterchiProfessor of Computer Science, University of Bucharest, Faculty of Mathematics and CSVerified email at fmi.unibuc.ro
Manuel García-QuismondoOneThree BiotechVerified email at us.es
Kirill BogdanovDepartment of Computer Science, The University of SheffieldVerified email at kirill-research.com
Ferrante NeriProfessor of Machine Learning and Artificial Intelligence, NICE group, University of SurreyVerified email at surrey.ac.uk
Dimitris DranidisSenior Lecturer of Computer Science, CITY College, International Faculty of the Univ. of SheffieldVerified email at city.academic.gr
Mike StannettSenior Lecturer (Theoretical Computer Science), Sheffield UniversityVerified email at sheffield.ac.uk
Konstantinos BratanisResearcher at the University of SheffieldVerified email at dcs.shef.ac.uk
Ignacio Perez-HurtadoUniversity of SevilleVerified email at us.es
Robert HieronsProfessor, The University of SheffieldVerified email at sheffield.ac.uk

Florentin Ipate

Professor of Computer Science, University of Bucharest

Verified email at fmi.unibuc.ro - Homepage

Formal Methods Software Testing Formal Verification Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Correct systems: building a business process solution M Holcombe, F Ipate Springer Science & Business Media, 2012	287	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	166	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, ...	116	2016
Automatic state-based test generation using genetic algorithms R Lefticaru, F Ipate Ninth international symposium on symbolic and numeric algorithms for …, 2007	105	2007
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	69	2013
Functional search-based testing from state machines R Lefticaru, F Ipate 2008 1st International Conference on Software Testing, Verification, and …, 2008	68	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	67	2015
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	67	1998
Generating test sets from non-deterministic stream X-machines F Ipate, M Holcombe Formal Aspects of Computing 12, 443-458, 2000	60	2000
Kernel P systems M Gheorghe, F Ipate, C Dragomir, L Mierla, L Valencia-Cabrera Tenth Brainstorming Week on Membrane Computing 1, 153-170, 2012	58	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	52	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	47	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	44	2012
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	37	2014
Theory of X-machines with Applications in Specification and Testing FE Ipate University of Sheffield, 1995	37	1995
JSXM: A tool for automated test generation D Dranidis, K Bratanis, F Ipate Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012	34	2012
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	32	2010
Testing against a non-controllable stream X-machine using state counting F Ipate Theoretical computer science 353 (1-3), 291-316, 2006	31	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: Specification Languages, 141-160, 1995	31	1995
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	30	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors