Florentin Ipate

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 28

Top Venues

Int. Conf. on Membrane Computing

Theor. Comput. Sci.

Fundam. Informaticae

FROM

University of Sheffield, UK (PHD)

Education History

University of Sheffield, UK

PHD

Publications

Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe
A model learning based testing approach for kernel P systems. Theor. Comput. Sci. 965 (2023)
Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate
Privacy-preserving Linear Computations in Spiking Neural P Systems. FROM (2023)
Radu Traian Bobe, Florentin Ipate, Ionut-Mihai Niculescu
Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems. FROM (2023)
Mihail-Iulian Plesa, Marian Gheoghe, Florentin Ipate, Gexiang Zhang
A key agreement protocol based on spiking neural P systems with anti-spikes. J. Membr. Comput. 4 (4) (2022)
Florentin Ipate, Marian Gheorghe
A model learning based testing approach for spiking neural P systems. Theor. Comput. Sci. 924 (2022)
Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
Fundamental results for learning deterministic extended finite state machines from queries. Theor. Comput. Sci. 862 (2021)
Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe
kPWorkbench: A software suit for membrane systems. SoftwareX 11 (2020)
Ana Turlea, Marian Gheorghe, Florentin Ipate, Savas Konur
Search-based testing in membrane computing. J. Membr. Comput. 1 (4) (2019)
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru
Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. 724 (2018)
Marian Gheorghe, Florentin Ipate
Identifiable Kernel P Systems. Enjoying Natural Computing (2018)
Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe, Felician Campean
Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. HPCC/SmartCity/DSS (2018)
Ana Turlea, Florentin Ipate, Raluca Lefticaru
Generating Complex Paths for Testing from an EFSM. QRS Companion (2018)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
Testing Identifiable Kernel P Systems Using an X-Machine Approach. Int. Conf. on Membrane Computing (2018)
Shankara Narayanan Krishna, Marian Gheorghe, Florentin Ipate, Erzsébet Csuhaj-Varjú, Rodica Ceterchi
Further results on generalised communicating P systems. Theor. Comput. Sci. 701 (2017)
Ana Turlea, Florentin Ipate, Raluca Lefticaru
A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. SYNASC (2017)
Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. Fundam. Informaticae 153 (1-2) (2017)
Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate
Modelling and Validating an Engineering Application in Kernel P Systems. Int. Conf. on Membrane Computing (2017)
Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. FM (2016)
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. Int. Conf. on Membrane Computing (2016)
Florentin Ipate, Dimitris Dranidis
A unified integration and component testing approach from deterministic stream X-machine specifications. Formal Aspects Comput. 28 (1) (2016)
Ana Turlea, Florentin Ipate, Raluca Lefticaru
A Hybrid Test Generation Approach Based on Extended Finite State Machines. SYNASC (2016)
Marian Gheorghe, Florentin Ipate, Savas Konur
Testing based on identifiable P Systems using cover automata and X-machines. Inf. Sci. 372 (2016)
Xueyuan Wang, Gexiang Zhang, Ferrante Neri, Tao Jiang, Junbo Zhao, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integr. Comput. Aided Eng. 23 (1) (2016)
Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing (2015)
Xueyuan Wang, Gexiang Zhang, Junbo Zhao, Haina Rong, Florentin Ipate, Raluca Lefticaru
A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning. Int. J. Comput. Commun. Control 10 (5) (2015)
Florentin Ipate, Alin Stefanescu, Ionut Dinca
Model Learning and Test Generation Using Cover Automata. Comput. J. 58 (5) (2015)
Gexiang Zhang, Jixiang Cheng, Marian Gheorghe, Florentin Ipate, Xueyuan Wang
QEAM: An Approximate Algorithm Using P Systems with Active Membranes. Int. J. Comput. Commun. Control 10 (2) (2015)
Savas Konur, Mariam Kiran, Marian Gheorghe, Mark Burkitt, Florentin Ipate
Agent-Based High-Performance Simulation of Biological Systems on the GPU. HPCC/CSS/ICESS (2015)
Mehmet E. Bakir, Florentin Ipate, Savas Konur, Laurentiu Mierla, Ionut-Mihai Niculescu
Extended Simulation and Verification Platform for Kernel P Systems. Int. Conf. on Membrane Computing (2014)
Ilias Sakellariou, Omar Kurdi, Marian Gheorghe, Daniela Romano, Petros Kefalas, Florentin Ipate, Ionut-Mihai Niculescu
Crowd formal modelling and simulation: The Sa'yee ritual. UKCI (2014)
Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundam. Informaticae 134 (1-2) (2014)
Mehmet E. Bakir, Savas Konur, Marian Gheorghe, Ionut-Mihai Niculescu, Florentin Ipate
High Performance Simulations of Kernel P Systems. HPCC/CSS/ICESS (2014)
Ionut-Mihai Niculescu, Marian Gheorghe, Florentin Ipate, Alin Stefanescu
From Kernel P Systems to X-Machines and FLAME. J. Autom. Lang. Comb. 19 (1-4) (2014)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Turcanu, Luis Valencia-Cabrera, Manuel García-Quismondo, Laurentiu Mierla
3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. 90 (4) (2013)
Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla
Model Checking Kernel P Systems. Int. Conf. on Membrane Computing (2013)
Marian Gheorghe, Florentin Ipate
A Kernel P Systems Survey. Int. Conf. on Membrane Computing (2013)
Alex Ciobanu, Florentin Ipate
Implementation of P Systems by Using Big Data Technologies. Int. Conf. on Membrane Computing (2013)
Alex Ciobanu, Florentin Ipate
P System Testing with Parallel Simulators - a Survey. Scalable Comput. Pract. Exp. 14 (3) (2013)
Radu Nicolescu, Florentin Ipate, Huiling Wu
Programming P Systems with Complex Objects. Int. Conf. on Membrane Computing (2013)
Florentin Ipate, Raluca Lefticaru, Laurentiu Mierla, Luis Valencia-Cabrera, Han Huang, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez-Jiménez, Marian Gheorghe
Kernel P Systems: Applications and Implementations. BIC-TA (2013)
Raluca Lefticaru, Florentin Ipate
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. SEFM (2012)
Florentin Ipate
Learning finite cover automata from queries. J. Comput. Syst. Sci. 78 (1) (2012)
Adrian Turcanu, Florentin Ipate
Computational Properties of Two P Systems Solving the 3-colouring Problem. SYNASC (2012)
Gexiang Zhang, Fen Zhou, Xiaoli Huang, Jixiang Cheng, Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. J. Univers. Comput. Sci. 18 (13) (2012)
Ionut Dinca, Florentin Ipate, Alin Stefanescu
Model Learning and Test Generation for Event-B Decomposition. ISoLA (1) (2012)
Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu
Learn and Test for Event-B - A Rodin Plugin. ABZ (2012)
Dimitris Dranidis, Konstantinos Bratanis, Florentin Ipate
JSXM: A Tool for Automated Test Generation. SEFM (2012)
Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Formal Verification of P Systems Using Spin. Int. J. Found. Comput. Sci. 22 (1) (2011)
Cristina Tudose, Raluca Lefticaru, Florentin Ipate
Using Genetic Algorithms and Model Checking for P Systems Automatic Design. NICSO (2011)
Raluca Lefticaru, Cristina Tudose, Florentin Ipate
Towards Automated Verification of P Systems Using Spin. Int. J. Nat. Comput. Res. 2 (3) (2011)
Raluca Lefticaru, Marian Gheorghe, Florentin Ipate
An empirical evaluation of P system testing techniques. Nat. Comput. 10 (1) (2011)
Florentin Ipate, Radu Nicolescu, Ionut-Mihai Niculescu, Cristian Stefan
Synchronization of P Systems with Simplex Channels CoRR (2011)
Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) (2011)
Xiaoli Huang, Gexiang Zhang, Haina Rong, Florentin Ipate
Evolutionary Design of a Simple Membrane System. Int. Conf. on Membrane Computing (2011)
Florentin Ipate, Raluca Lefticaru, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Cristina Tudose
Formal Verification of P Systems with Active Membranes through Model Checking. Int. Conf. on Membrane Computing (2011)
Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Towards Search-Based Testing for Event-B Models. ICST Workshops (2011)
Florentin Ipate, Marian Gheorghe, Raluca Lefticaru
Test generation from P systems using model checking. J. Log. Algebraic Methods Program. 79 (6) (2010)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir
An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing (2010)
Marian Gheorghe, Florentin Ipate
Testing Based on P Systems - An Overview. Int. Conf. on Membrane Computing (2010)
Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru
A particle swarm optimization based on P systems. ICNC (2010)
Florentin Ipate
Bounded sequence testing from deterministic finite state machines. Theor. Comput. Sci. 411 (16-18) (2010)
Florentin Ipate, Marian Gheorghe
Finite state based testing of P systems. Nat. Comput. 8 (4) (2009)
Raluca Lefticaru, Florentin Ipate, Cristina Tudose
Automated Model Design Using Genetic Algorithms and Model Checking. BCI (2009)
Marian Gheorghe, Florentin Ipate, Ciprian Dragomir
Formal Verification and Testing Based on P Systems. Workshop on Membrane Computing (2009)
Florentin Ipate, Marian Gheorghe
Testing Non-deterministic Stream X-machine Models and P systems. Electron. Notes Theor. Comput. Sci. 227 (2009)
Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang
Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing (2009)
Chunxiu Liu, Gexiang Zhang, Hongwen Liu, Marian Gheorghe, Florentin Ipate
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition. Workshop on Membrane Computing (2009)
Florentin Ipate, Marian Gheorghe
Mutation Based Testing of P Systems. Int. J. Comput. Commun. Control 4 (3) (2009)
Florentin Ipate
Test Selection for Hierarchical and Communicating Finite State Machines. Comput. J. 52 (3) (2009)
Raluca Lefticaru, Florentin Ipate
A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. SYNASC (2008)
Raluca Lefticaru, Florentin Ipate
Functional Search-based Testing from State Machines. ICST (2008)
Florentin Ipate, Mike Holcombe
Testing data processing-oriented systems from stream X-machine models. Theor. Comput. Sci. 403 (2-3) (2008)
Raluca Lefticaru, Florentin Ipate
Search-based Testing using State-based Fitness. ICST Workshops (2008)
Marian Gheorghe, Florentin Ipate
On Testing P Systems. Workshop on Membrane Computing (2008)
Robert M. Hierons, Florentin Ipate
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Formal Aspects Comput. 20 (6) (2008)
Florentin Ipate
Class Testing from State Diagrams Using Stream X-Machine Based Methods. ASWEC (2007)
Raluca Lefticaru, Florentin Ipate
Automatic State-Based Test Generation Using Genetic Algorithms. SYNASC (2007)
Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak
Testing methods for X-machines: a review. Formal Aspects Comput. 18 (1) (2006)
Florentin Ipate
Testing against a non-controllable stream X-machine using state counting. Theor. Comput. Sci. 353 (1-3) (2006)
Florentin Ipate
Bounded Sequence Testing from Non-deterministic Finite State Machines. TestCom (2006)
Florentin Ipate, Mike Holcombe
Complete Testing from a Stream X-Machine Specification. Fundam. Informaticae 64 (1-4) (2005)
Florentin Ipate, Mike Holcombe
Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. XP (2005)
Florentin Ipate
On the Minimality of Finite Automata and Stream X-machines for Finite Languages. Comput. J. 48 (2) (2005)
Florentin Ipate, Tudor Balanescu
Refinement in Finite State Machine Testing. Fundam. Informaticae 64 (1-4) (2005)
Florentin Ipate
Complete deterministic stream X-machine testing. Formal Aspects Comput. 16 (4) (2004)
Mike Holcombe, Florentin Ipate
Complete Test Generation for Extreme Programming. XP (2004)
Florentin Ipate, Marian Gheorghe, Mike Holcombe
Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. 14 (3) (2003)
Florentin Ipate
On the Minimality of Stream X-machines. Comput. J. 46 (3) (2003)
Florentin Ipate, Mike Holcombe
Testing Non-Deterministic X-Machines. Grammars and Automata for String Processing (2003)
Florentin Ipate, Mike Holcombe
Testing Conditions for Communicating Stream X-machine Systems. Formal Aspects Comput. 13 (6) (2002)
Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
Eilenberg P Systems. WMC-CdeA (2002)
Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Informaticae 49 (1-3) (2002)
Florentin Ipate, Mike Holcombe
An Integrated Refinement and Testing Method for Stream X-machines. Appl. Algebra Eng. Commun. Comput. 13 (2) (2002)
Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL (2001)
Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu
Testing Using X-Machine Translations. Words, Semigroups, and Transductions (2001)
Florentin Ipate, Mike Holcombe
Generating Test Sets from Non-Deterministic Stream X-Machines. Formal Aspects Comput. 12 (6) (2000)
Florentin Ipate, Mike Holcombe
Specification and Testing Using Generalised Machines: A Presentation and a Case Study. Softw. Test. Verification Reliab. 8 (2) (1998)
Florentin Ipate, Mike Holcombe
A method for refining and testing generalised machine specifications. Int. J. Comput. Math. 68 (3-4) (1998)
Florentin Ipate, Mike Holcombe
An integration testing method that is proved to find all faults. Int. J. Comput. Math. 63 (3-4) (1997)
Florentin Ipate, Mike Holcombe
Another Look at Computability. Informatica (Slovenia) 20 (3) (1996)

Florentin Ipate.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florentin Ipate