Concepedia

Florentin Ipate

FI

37

Publications

968

Citations

18

H-Index

1995

Active since

Affiliations

University of Pitesti(Current)

University of Sheffield

University of Bucharest

University of Bradford

Southwest Jiaotong University

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

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationComputer EngineeringSoftware TestingAutomated ReasoningProgram Analysis

Publications per year

1995–2022

37

Publications

37

An integration testing method that is proved to find all faults

Florentin Ipate, Mike Holcombe · International Journal of Computer Mathematics · 1997 · 98 citations

Engineering, Verification, Software Engineering +23

Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots

Xueyuan Wang, Gexiang Zhang, Ferrante Neri et al. · Integrated Computer-Aided Engineering · 2015 · 93 citations · Full text

Motion Control, Robot Control, Engineering +13

Automatic State-Based Test Generation Using Genetic Algorithms

Raluca Lefticaru, Florentin Ipate · 2007 · 64 citations

Engineering, Verification, Test Data Generation +18

A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning

Xueyuan Wang, Gexiang Zhang, Junbo Zhao et al. · International Journal of Computers Communications & Control · 2015 · 60 citations · Full text

Path Planning, Modified Membrane-inspired Algorithm, Engineering +9

Functional Search-based Testing from State Machines

Raluca Lefticaru, Florentin Ipate · 2008 · 48 citations

Engineering, Verification, Test Data Generation +20

Rows per page

1–5 of 37