Florentin Ipate - Concepedia

Author

Florentin Ipate

University of Pitesti ORCID

Also Known As

F. Ipate, FLORENTIN IPATE, Florentin Ipate, Ipate, F., Ipate, Florentin, Raluca Lefticaru

143

Publications

1.8K

Citations

H-Index

Concepts

All Affiliations

University of Pitesti University of Sheffield University of Bucharest University of Bradford Southwest Jiaotong University

About

Florentin Ipate is an author at University of Pitesti specializing in engineering, formal verification, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	28	788
2	Computer Science	16	23	583
3	Computer Engineering	13	15	420
4	Medicine	1	1	17
5	Social Sciences	1	1	12

Florentin Ipate

Publications

968

Citations

H-Index

Page 1

	Year	Citations
An integration testing method that is proved to find all faults Florentin Ipate, Mike Holcombe International Journal of Computer Mathematics EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	1997	98
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots Xueyuan Wang, Gexiang Zhang, Ferrante Neri, Integrated Computer-Aided Engineering Motion ControlRobot ControlEngineeringMembrane ControllersNovel Trajectory	2015	93
Automatic State-Based Test Generation Using Genetic Algorithms Raluca Lefticaru, Florentin Ipate EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware Analysis	2007	64
A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning Xueyuan Wang, Gexiang Zhang, Junbo Zhao, International Journal of Computers Communications & Control Path PlanningModified Membrane-inspired AlgorithmEngineeringFirefly AlgorithmDynamic Obstacles	2015	60
Functional Search-based Testing from State Machines Raluca Lefticaru, Florentin Ipate EngineeringVerificationTest Data GenerationStructural OptimizationSoftware Analysis	2008	48
3-Col problem modelling using simple kernel P systems Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, International Journal of Computer Mathematics	2012	42
Generating Test Sets from Non-Deterministic Stream X-Machines Florentin Ipate, Mike Holcombe Formal Aspects of Computing	2000	37
Specification and testing using generalized machines: a presentation and a case study Florentin Ipate, Mike Holcombe Software Testing Verification and Reliability Software MaintenanceEngineeringVerificationTest Data GenerationSoftware Engineering	1998	35
A method for refining and testing generalised machine specifications Florentin Ipate, Mike Holcombe International Journal of Computer Mathematics Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware Analysis	1998	25
Testing against a non-controllable stream X-machine using state counting Florentin Ipate Theoretical Computer Science EngineeringVerificationState CountingFormal MethodsProcess Control	2006	25

Page 1