F
Florentin Ipate
Researcher at University of Bucharest
Publications - 108
Citations - 1706
Florentin Ipate is an academic researcher from University of Bucharest. The author has contributed to research in topics: Finite-state machine & Formal verification. The author has an hindex of 22, co-authored 105 publications receiving 1592 citations. Previous affiliations of Florentin Ipate include University of Sheffield & University of Pitești.
Papers
More filters
Book
Correct Systems: Building a Business Process Solution
Mike Holcombe,Florentin Ipate +1 more
TL;DR: Part 1: Building Correct Systems: Models of Computer Based Systems; Theoretical Foundations: The Theory of X-Machines Complete Functional Testing Refinement Testing.
Journal ArticleDOI
An integration testing method that is proved to find all faults
Florentin Ipate,Mike Holcombe +1 more
TL;DR: This paper describes a method for using the existence of a formal specification as the basis for the development of a detailed functional testing strategy and demonstrates that this method can provide a more convincing approach to the problem of detecting all faults.
Journal ArticleDOI
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots
Xueyuan Wang,Xueyuan Wang,Gexiang Zhang,Ferrante Neri,Ferrante Neri,Tao Jiang,Junbo Zhao,Marian Gheorghe,Florentin Ipate,Raluca Lefticaru +9 more
TL;DR: This paper proposes a novel trajectory tracking control approach for nonholonomic wheeled mobile robots by using an enzymatic numerical membrane system to integrate two proportional- integral-derivative controllers, where neural networks and experts' knowledge are applied to tune parameters.
Proceedings ArticleDOI
Automatic State-Based Test Generation Using Genetic Algorithms
Raluca Lefticaru,Florentin Ipate +1 more
TL;DR: This paper investigates the use of genetic algorithms in test data generation for the chosen paths in the state machine, so that the input parameters provided to the methods trigger the specified transitions.
Journal ArticleDOI
A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning
TL;DR: In mMPSO, a dynamic double one-level membrane structure is introduced to arrange the particles with various dimensions and perform the communications between particles in different membranes; a point repair algorithm is presented to change an infeasible path into a feasible path; a smoothness algorithm is proposed to remove the redundant information of a feasible paths.