Theory of X-machines with applications in specification and testing. - Florentin Ipate (1995)

Another Look at Computability. - Florentin Ipate; Mike Holcombe (Informatica (Slovenia), 1996)

An integration testing method that is proved to find all faults. - Florentin Ipate; Mike Holcombe (Int. J. Comput. Math., 1997)

Correct systems - building a business process solution. - Mike Holcombe; Florentin Ipate (Springer, 1998)

A method for refining and testing generalised machine specifications. - Florentin Ipate; Mike Holcombe (Int. J. Comput. Math., 1998)

Specification and Testing Using Generalised Machines: A Presentation and a Case Study. - Florentin Ipate; Mike Holcombe (Softw. Test. Verification Reliab., 1998)

Generating Test Sets from Non-Deterministic Stream X-Machines. - Florentin Ipate; Mike Holcombe (Formal Aspects Comput., 2000)

Testing Using X-Machine Translations. - Florentin Ipate; Marian Gheorghe 001; Mike Holcombe; Tudor Balanescu (Words, Semigroups, and Transductions, 2001)

Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (ECAL, 2001)

Eilenberg P Systems. - Tudor Balanescu; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (WMC-CdeA, 2002)

An Integrated Refinement and Testing Method for Stream X-machines. - Florentin Ipate; Mike Holcombe (Appl. Algebra Eng. Commun. Comput., 2002)

Testing Conditions for Communicating Stream X-machine Systems. - Florentin Ipate; Mike Holcombe (Formal Aspects Comput., 2002)

P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). - Joaquín Aguado; Tudor Balanescu; Anthony J. Cowling; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (Fundam. Informaticae, 2002)

Testing Non-Deterministic X-Machines. - Florentin Ipate; Mike Holcombe (Grammars and Automata for String Processing, 2003)

Testing (Stream) X-machines. - Florentin Ipate; Marian Gheorghe 001; Mike Holcombe (Appl. Algebra Eng. Commun. Comput., 2003)

On the Minimality of Stream X-machines. - Florentin Ipate (Comput. J., 2003)

Complete Test Generation for Extreme Programming. - Mike Holcombe; Florentin Ipate (XP, 2004)

Complete deterministic stream X-machine testing. - Florentin Ipate (Formal Aspects Comput., 2004)

Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. - Florentin Ipate; Mike Holcombe (XP, 2005)

On the Minimality of Finite Automata and Stream X-machines for Finite Languages. - Florentin Ipate (Comput. J., 2005)

Refinement in Finite State Machine Testing. - Florentin Ipate; Tudor Balanescu (Fundam. Informaticae, 2005)

Complete Testing from a Stream X-Machine Specification. - Florentin Ipate; Mike Holcombe (Fundam. Informaticae, 2005)

Bounded Sequence Testing from Non-deterministic Finite State Machines. - Florentin Ipate (TestCom, 2006)

Testing methods for X-machines: a review. - Kirill Bogdanov 002; Mike Holcombe; Florentin Ipate; L. Seed; Salim K. Vanak (Formal Aspects Comput., 2006)

Testing against a non-controllable stream X-machine using state counting. - Florentin Ipate (Theor. Comput. Sci., 2006)

Class Testing from State Diagrams Using Stream X-Machine Based Methods. - Florentin Ipate (ASWEC, 2007)

Automatic State-Based Test Generation Using Genetic Algorithms. - Raluca Lefticaru; Florentin Ipate (SYNASC, 2007)

Functional Search-based Testing from State Machines. - Raluca Lefticaru; Florentin Ipate (ICST, 2008)

Search-based Testing using State-based Fitness. - Raluca Lefticaru; Florentin Ipate (ICST Workshops, 2008)

On Testing P Systems. - Marian Gheorghe 001; Florentin Ipate (Workshop on Membrane Computing, 2008)

A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. - Raluca Lefticaru; Florentin Ipate (SYNASC, 2008)

Testing Non-deterministic Stream X-machine Models and P systems. - Florentin Ipate; Marian Gheorghe 001 (MeCBIC, 2008)

Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. - Robert M. Hierons; Florentin Ipate (Formal Aspects Comput., 2008)

Testing data processing-oriented systems from stream X-machine models. - Florentin Ipate; Mike Holcombe (Theor. Comput. Sci., 2008)

Automated Model Design Using Genetic Algorithms and Model Checking. - Raluca Lefticaru; Florentin Ipate; Cristina Tudose (BCI, 2009)

Formal Verification and Testing Based on P Systems. - Marian Gheorghe 001; Florentin Ipate; Ciprian Dragomir (Workshop on Membrane Computing, 2009)

Tuning P Systems for Solving the Broadcasting Problem. - Raluca Lefticaru; Florentin Ipate; Marian Gheorghe 001; Gexiang Zhang (Workshop on Membrane Computing, 2009)

An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition. - Chunxiu Liu; Gexiang Zhang; Hongwen Liu; Marian Gheorghe 001; Florentin Ipate (Workshop on Membrane Computing, 2009)

Test Selection for Hierarchical and Communicating Finite State Machines. - Florentin Ipate (Comput. J., 2009)

Mutation Based Testing of P Systems. - Florentin Ipate; Marian Gheorghe 001 (Int. J. Comput. Commun. Control, 2009)

Finite state based testing of P systems. - Florentin Ipate; Marian Gheorghe 001 (Nat. Comput., 2009)

A particle swarm optimization based on P systems. - Fen Zhou 003; Gexiang Zhang; Haina Rong; Marian Gheorghe 001; Jixiang Cheng; Florentin Ipate; Raluca Lefticaru (ICNC, 2010)

Testing Based on P Systems - An Overview. - Marian Gheorghe 001; Florentin Ipate (Int. Conf. on Membrane Computing, 2010)

An Integrated Approach to P Systems Formal Verification. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Ciprian Dragomir (Int. Conf. on Membrane Computing, 2010)

Test generation from P systems using model checking. - Florentin Ipate; Marian Gheorghe 001; Raluca Lefticaru (J. Log. Algebraic Methods Program., 2010)

Bounded sequence testing from deterministic finite state machines. - Florentin Ipate (Theor. Comput. Sci., 2010)

Test Data Generation for Event-B Models Using Genetic Algorithms. - Ionut Dinca; Alin Stefanescu; Florentin Ipate; Raluca Lefticaru; Cristina Tudose (ICSECS (3), 2011)

Towards Search-Based Testing for Event-B Models. - Alin Stefanescu; Florentin Ipate; Raluca Lefticaru; Cristina Tudose (ICST Workshops, 2011)

Evolutionary Design of a Simple Membrane System. - Xiaoli Huang; Gexiang Zhang; Haina Rong; Florentin Ipate (Int. Conf. on Membrane Computing, 2011)

Formal Verification of P Systems with Active Membranes through Model Checking. - Florentin Ipate; Raluca Lefticaru; Ignacio Pérez-Hurtado; Mario J. Pérez-Jiménez; Cristina Tudose (Int. Conf. on Membrane Computing, 2011)

Using Genetic Algorithms and Model Checking for P Systems Automatic Design. - Cristina Tudose; Raluca Lefticaru; Florentin Ipate (NICSO, 2011)

Synchronization of P Systems with Simplex Channels - Florentin Ipate; Radu Nicolescu; Ionut-Mihai Niculescu; Cristian Stefan (CoRR, 2011)

Formal Verification of P Systems Using Spin. - Florentin Ipate; Raluca Lefticaru; Cristina Tudose (Int. J. Found. Comput. Sci., 2011)

Towards Automated Verification of P Systems Using Spin. - Raluca Lefticaru; Cristina Tudose; Florentin Ipate (Int. J. Nat. Comput. Res., 2011)

An empirical evaluation of P system testing techniques. - Raluca Lefticaru; Marian Gheorghe 001; Florentin Ipate (Nat. Comput., 2011)

Learn and Test for Event-B - A Rodin Plugin. - Ionut Dinca; Florentin Ipate; Laurentiu Mierla; Alin Stefanescu (ABZ, 2012)

Model Learning and Test Generation for Event-B Decomposition. - Ionut Dinca; Florentin Ipate; Alin Stefanescu (ISoLA (1), 2012)

JSXM: A Tool for Automated Test Generation. - Dimitris Dranidis; Konstantinos Bratanis; Florentin Ipate (SEFM, 2012)

An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. - Raluca Lefticaru; Florentin Ipate (SEFM, 2012)

Computational Properties of Two P Systems Solving the 3-colouring Problem. - Adrian Turcanu; Florentin Ipate (SYNASC, 2012)

Learning finite cover automata from queries. - Florentin Ipate (J. Comput. Syst. Sci., 2012)

A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems. - Gexiang Zhang; Fen Zhou 003; Xiaoli Huang; Jixiang Cheng; Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru (J. Univers. Comput. Sci., 2012)

Kernel P Systems: Applications and Implementations. - Florentin Ipate; Raluca Lefticaru; Laurentiu Mierla; Luis Valencia-Cabrera; Han Huang; Gexiang Zhang; Ciprian Dragomir; Mario J. Pérez-Jiménez; Marian Gheorghe 001 (BIC-TA, 2013)

Implementation of P Systems by Using Big Data Technologies. - Alex Ciobanu; Florentin Ipate (Int. Conf. on Membrane Computing, 2013)

Model Checking Kernel P Systems. - Ciprian Dragomir; Florentin Ipate; Savas Konur; Raluca Lefticaru; Laurentiu Mierla (Int. Conf. on Membrane Computing, 2013)

A Kernel P Systems Survey. - Marian Gheorghe 001; Florentin Ipate (Int. Conf. on Membrane Computing, 2013)

Programming P Systems with Complex Objects. - Radu Nicolescu; Florentin Ipate; Huiling Wu (Int. Conf. on Membrane Computing, 2013)

3-Col problem modelling using simple kernel P systems. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Mario J. Pérez-Jiménez; Adrian Turcanu; Luis Valencia-Cabrera; Manuel García-Quismondo; Laurentiu Mierla (Int. J. Comput. Math., 2013)

P System Testing with Parallel Simulators - a Survey. - Alex Ciobanu; Florentin Ipate (Scalable Comput. Pract. Exp., 2013)

High Performance Simulations of Kernel P Systems. - Mehmet E. Bakir; Savas Konur; Marian Gheorghe 001; Ionut-Mihai Niculescu; Florentin Ipate (HPCC/CSS/ICESS, 2014)

Extended Simulation and Verification Platform for Kernel P Systems. - Mehmet E. Bakir; Florentin Ipate; Savas Konur; Laurentiu Mierla; Ionut-Mihai Niculescu (Int. Conf. on Membrane Computing, 2014)

Crowd formal modelling and simulation: The Sa'yee ritual. - Ilias Sakellariou; Omar Kurdi; Marian Gheorghe 001; Daniela Romano; Petros Kefalas; Florentin Ipate; Ionut-Mihai Niculescu (UKCI, 2014)

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. - Savas Konur; Marian Gheorghe 001; Ciprian Dragomir; Florentin Ipate; Natalio Krasnogor (Fundam. Informaticae, 2014)

From Kernel P Systems to X-Machines and FLAME. - Ionut-Mihai Niculescu; Marian Gheorghe 001; Florentin Ipate; Alin Stefanescu (J. Autom. Lang. Comb., 2014)

Agent-Based High-Performance Simulation of Biological Systems on the GPU. - Savas Konur; Mariam Kiran; Marian Gheorghe 001; Mark Burkitt; Florentin Ipate (HPCC/CSS/ICESS, 2015)

An Integrated Model Checking Toolset for Kernel P Systems. - Marian Gheorghe 001; Savas Konur; Florentin Ipate; Laurentiu Mierla; Mehmet E. Bakir; Mike Stannett (Int. Conf. on Membrane Computing, 2015)

Model Learning and Test Generation Using Cover Automata. - Florentin Ipate; Alin Stefanescu; Ionut Dinca (Comput. J., 2015)

A Modified Membrane-Inspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning. - Xueyuan Wang; Gexiang Zhang; Junbo Zhao 001; Haina Rong; Florentin Ipate; Raluca Lefticaru (Int. J. Comput. Commun. Control, 2015)

QEAM: An Approximate Algorithm Using P Systems with Active Membranes. - Gexiang Zhang; Jixiang Cheng; Marian Gheorghe 001; Florentin Ipate; Xueyuan Wang (Int. J. Comput. Commun. Control, 2015)

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. - Teodor Stoenescu; Alin Stefanescu; Sorina Predut; Florentin Ipate (FM, 2016)

Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. - Marian Gheorghe 001; Rodica Ceterchi; Florentin Ipate; Savas Konur (Int. Conf. on Membrane Computing, 2016)

A Hybrid Test Generation Approach Based on Extended Finite State Machines. - Ana Turlea; Florentin Ipate; Raluca Lefticaru (SYNASC, 2016)

A unified integration and component testing approach from deterministic stream X-machine specifications. - Florentin Ipate; Dimitris Dranidis (Formal Aspects Comput., 2016)

Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. - Xueyuan Wang; Gexiang Zhang; Ferrante Neri; Tao Jiang 014; Junbo Zhao 001; Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru (Integr. Comput. Aided Eng., 2016)

Testing based on identifiable P Systems using cover automata and X-machines. - Marian Gheorghe 001; Florentin Ipate; Savas Konur (Inf. Sci., 2016)

Modelling and Validating an Engineering Application in Kernel P Systems. - Raluca Lefticaru; Mehmet Emin Bakir; Savas Konur; Mike Stannett; Florentin Ipate (Int. Conf. on Membrane Computing, 2017)

A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. - Ana Turlea; Florentin Ipate; Raluca Lefticaru (SYNASC, 2017)

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. - Teodor Stoenescu; Alin Stefanescu; Sorina Predut; Florentin Ipate (Fundam. Informaticae, 2017)

Further results on generalised communicating P systems. - Shankara Narayanan Krishna; Marian Gheorghe 001; Florentin Ipate; Erzsébet Csuhaj-Varjú; Rodica Ceterchi (Theor. Comput. Sci., 2017)

Identifiable Kernel P Systems. - Marian Gheorghe 001; Florentin Ipate (Enjoying Natural Computing, 2018)

Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. - Sorina-Nicoleta Predut; Florentin Ipate; Marian Gheorghe 001; Felician Campean (HPCC/SmartCity/DSS, 2018)

Testing Identifiable Kernel P Systems Using an X-Machine Approach. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Ana Turlea (Int. Conf. on Membrane Computing, 2018)

Generating Complex Paths for Testing from an EFSM. - Ana Turlea; Florentin Ipate; Raluca Lefticaru (QRS Companion, 2018)

Kernel P systems: From modelling to verification and testing. - Marian Gheorghe 001; Rodica Ceterchi; Florentin Ipate; Savas Konur; Raluca Lefticaru (Theor. Comput. Sci., 2018)

Search-based testing in membrane computing. - Ana Turlea; Marian Gheorghe 001; Florentin Ipate; Savas Konur (J. Membr. Comput., 2019)

kPWorkbench: A software suit for membrane systems. - Savas Konur; Laurentiu Mierla; Florentin Ipate; Marian Gheorghe 001 (SoftwareX, 2020)

Fundamental results for learning deterministic extended finite state machines from queries. - Florentin Ipate; Marian Gheorghe 001; Raluca Lefticaru (Theor. Comput. Sci., 2021)

A model learning based testing approach for spiking neural P systems. - Florentin Ipate; Marian Gheorghe 001 (Theor. Comput. Sci., 2022)

A key agreement protocol based on spiking neural P systems with anti-spikes. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate; Gexiang Zhang (J. Membr. Comput., 2022)

Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models. - Radu Traian Bobe; Marian Gheorghe 001; Florentin Ipate; Ionut-Mihai Niculescu (SimuTools, 2023)

Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems. - Radu Traian Bobe; Florentin Ipate; Ionut-Mihai Niculescu (FROM, 2023)

Privacy-preserving Linear Computations in Spiking Neural P Systems. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate (FROM, 2023)

A model learning based testing approach for kernel P systems. - Florentin Ipate; Ionut-Mihai Niculescu; Raluca Lefticaru; Savas Konur; Marian Gheorghe 001 (Theor. Comput. Sci., 2023)

Numerical P Systems: Variants and Applications. - Radu Traian Bobe; Marian Gheorghe 001; Florentin Ipate; Ionut-Mihai Niculescu (ITAT, 2024)

Private Inference on Layered Spiking Neural P Systems. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate (IWINAC (2), 2024)

A Federated Learning Protocol for Spiking Neural Membrane Systems. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate; Gexiang Zhang (Int. J. Neural Syst., 2024)

Applications of spiking neural P systems in cybersecurity. - Mihail-Iulian Plesa; Marian Gheorghe 001; Florentin Ipate; Gexiang Zhang (J. Membr. Comput., 2024)