Florentin Ipate

109 papers A 1B 5C 1Misc 6Journal 52Unranked 42

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