Florentin Ipate

Cituota

	Visi	Nuo 2019
Šaltiniai	2684	753
h-rodyklė	27	12
i10-rodyklė	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

Viešas pasiekiamumas

Peržiūrėti viską

25 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

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

Stebėti

Florentin Ipate

Professor of Computer Science, University of Bucharest

Patvirtintas el. paštas fmi.unibuc.ro - Pagrindinis puslapis

Formal Methods Software Testing Formal Verification Software Engineering


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai