![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Florentin Ipate
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c54]Mihail-Iulian Plesa, Marian Gheoghe, Florentin Ipate:
Private Inference on Layered Spiking Neural P Systems. IWINAC (2) 2024: 163-172 - 2023
- [j47]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: 113975 (2023) - [c53]Radu Traian Bobe
, Marian Gheorghe
, Florentin Ipate
, Ionut-Mihai Niculescu
:
Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models. SimuTools 2023: 56-69 - [c52]Radu Traian Bobe, Florentin Ipate, Ionut-Mihai Niculescu:
Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems. FROM 2023: 1-10 - [c51]Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate:
Privacy-preserving Linear Computations in Spiking Neural P Systems. FROM 2023: 110-119 - 2022
- [j46]Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate, Gexiang Zhang:
A key agreement protocol based on spiking neural P systems with anti-spikes. J. Membr. Comput. 4(4): 341-351 (2022) - [j45]Florentin Ipate, Marian Gheorghe
:
A model learning based testing approach for spiking neural P systems. Theor. Comput. Sci. 924: 1-16 (2022) - 2021
- [j44]Florentin Ipate, Marian Gheorghe
, Raluca Lefticaru
:
Fundamental results for learning deterministic extended finite state machines from queries. Theor. Comput. Sci. 862: 160-173 (2021) - 2020
- [j43]Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe
:
kPWorkbench: A software suit for membrane systems. SoftwareX 11: 100407 (2020)
2010 – 2019
- 2019
- [j42]Ana Turlea, Marian Gheorghe
, Florentin Ipate, Savas Konur:
Search-based testing in membrane computing. J. Membr. Comput. 1(4): 241-250 (2019) - 2018
- [j41]Marian Gheorghe
, Rodica Ceterchi, Florentin Ipate, Savas Konur, Raluca Lefticaru
:
Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. 724: 45-60 (2018) - [c50]Marian Gheorghe, Florentin Ipate:
Identifiable Kernel P Systems. Enjoying Natural Computing 2018: 130-141 - [c49]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: 1541-1546 - [c48]Marian Gheorghe, Florentin Ipate, Raluca Lefticaru
, Ana Turlea:
Testing Identifiable Kernel P Systems Using an X-Machine Approach. Int. Conf. on Membrane Computing 2018: 142-159 - [c47]Ana Turlea, Florentin Ipate, Raluca Lefticaru
:
Generating Complex Paths for Testing from an EFSM. QRS Companion 2018: 242-249 - 2017
- [j40]Teodor Stoenescu, Alin Stefanescu
, Sorina Predut
, Florentin Ipate:
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. Fundam. Informaticae 153(1-2): 105-124 (2017) - [j39]Shankara Narayanan Krishna, Marian Gheorghe
, Florentin Ipate, Erzsébet Csuhaj-Varjú, Rodica Ceterchi:
Further results on generalised communicating P systems. Theor. Comput. Sci. 701: 146-160 (2017) - [c46]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: 183-195 - [c45]Ana Turlea, Florentin Ipate, Raluca Lefticaru
:
A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. SYNASC 2017: 153-160 - 2016
- [j38]Florentin Ipate, Dimitris Dranidis
:
A unified integration and component testing approach from deterministic stream X-machine specifications. Formal Aspects Comput. 28(1): 1-20 (2016) - [j37]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): 15-30 (2016) - [j36]Marian Gheorghe
, Florentin Ipate, Savas Konur:
Testing based on identifiable P Systems using cover automata and X-machines. Inf. Sci. 372: 565-578 (2016) - [c44]Teodor Stoenescu, Alin Stefanescu
, Sorina Predut
, Florentin Ipate:
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. FM 2016: 779-785 - [c43]Marian Gheorghe
, Rodica Ceterchi, Florentin Ipate, Savas Konur:
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study. Int. Conf. on Membrane Computing 2016: 233-250 - [c42]Ana Turlea, Florentin Ipate, Raluca Lefticaru
:
A Hybrid Test Generation Approach Based on Extended Finite State Machines. SYNASC 2016: 173-180 - 2015
- [j35]Florentin Ipate, Alin Stefanescu
, Ionut Dinca:
Model Learning and Test Generation Using Cover Automata. Comput. J. 58(5): 1140-1159 (2015) - [j34]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): 263-279 (2015) - [j33]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): 732-745 (2015) - [c41]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: 84-89 - [c40]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: 153-170 - 2014
- [j32]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): 97-110 (2014) - [j31]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): 239-250 (2014) - [c39]Mehmet E. Bakir, Savas Konur, Marian Gheorghe
, Ionut-Mihai Niculescu, Florentin Ipate:
High Performance Simulations of Kernel P Systems. HPCC/CSS/ICESS 2014: 409-412 - [c38]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: 158-178 - [c37]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: 1-8 - 2013
- [j30]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): 816-830 (2013) - [j29]Alex Ciobanu, Florentin Ipate:
P System Testing with Parallel Simulators - a Survey. Scalable Comput. Pract. Exp. 14(3) (2013) - [c36]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: 1081-1089 - [c35]Marian Gheorghe, Florentin Ipate:
A Kernel P Systems Survey. Int. Conf. on Membrane Computing 2013: 1-9 - [c34]Alex Ciobanu, Florentin Ipate:
Implementation of P Systems by Using Big Data Technologies. Int. Conf. on Membrane Computing 2013: 117-137 - [c33]Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru
, Laurentiu Mierla:
Model Checking Kernel P Systems. Int. Conf. on Membrane Computing 2013: 151-172 - [c32]Radu Nicolescu
, Florentin Ipate, Huiling Wu:
Programming P Systems with Complex Objects. Int. Conf. on Membrane Computing 2013: 280-300 - 2012
- [j28]Florentin Ipate:
Learning finite cover automata from queries. J. Comput. Syst. Sci. 78(1): 221-244 (2012) - [j27]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): 1821-1841 (2012) - [c31]Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu:
Learn and Test for Event-B - A Rodin Plugin. ABZ 2012: 361-364 - [c30]Ionut Dinca, Florentin Ipate, Alin Stefanescu:
Model Learning and Test Generation for Event-B Decomposition. ISoLA (1) 2012: 539-553 - [c29]Raluca Lefticaru
, Florentin Ipate:
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. SEFM 2012: 293-307 - [c28]Dimitris Dranidis
, Konstantinos Bratanis, Florentin Ipate:
JSXM: A Tool for Automated Test Generation. SEFM 2012: 352-366 - [c27]Adrian Turcanu, Florentin Ipate:
Computational Properties of Two P Systems Solving the 3-colouring Problem. SYNASC 2012: 62-69 - 2011
- [j26]Florentin Ipate, Raluca Lefticaru
, Cristina Tudose:
Formal Verification of P Systems Using Spin. Int. J. Found. Comput. Sci. 22(1): 133-142 (2011) - [j25]Raluca Lefticaru, Cristina Tudose, Florentin Ipate:
Towards Automated Verification of P Systems Using Spin. Int. J. Nat. Comput. Res. 2(3): 1-12 (2011) - [j24]Raluca Lefticaru
, Marian Gheorghe
, Florentin Ipate:
An empirical evaluation of P system testing techniques. Nat. Comput. 10(1): 151-165 (2011) - [c26]Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru
, Cristina Tudose:
Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) 2011: 76-90 - [c25]Alin Stefanescu
, Florentin Ipate, Raluca Lefticaru
, Cristina Tudose:
Towards Search-Based Testing for Event-B Models. ICST Workshops 2011: 194-197 - [c24]Xiaoli Huang, Gexiang Zhang
, Haina Rong, Florentin Ipate:
Evolutionary Design of a Simple Membrane System. Int. Conf. on Membrane Computing 2011: 203-214 - [c23]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: 215-225 - [c22]Cristina Tudose, Raluca Lefticaru
, Florentin Ipate:
Using Genetic Algorithms and Model Checking for P Systems Automatic Design. NICSO 2011: 285-302 - [i1]Florentin Ipate, Radu Nicolescu, Ionut-Mihai Niculescu, Cristian Stefan:
Synchronization of P Systems with Simplex Channels. CoRR abs/1108.3430 (2011) - 2010
- [j23]Florentin Ipate, Marian Gheorghe
, Raluca Lefticaru
:
Test generation from P systems using model checking. J. Log. Algebraic Methods Program. 79(6): 350-362 (2010) - [j22]Florentin Ipate:
Bounded sequence testing from deterministic finite state machines. Theor. Comput. Sci. 411(16-18): 1770-1784 (2010) - [c21]Fen Zhou, Gexiang Zhang
, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru
:
A particle swarm optimization based on P systems. ICNC 2010: 3003-3007 - [c20]Marian Gheorghe, Florentin Ipate:
Testing Based on P Systems - An Overview. Int. Conf. on Membrane Computing 2010: 3-6 - [c19]Marian Gheorghe
, Florentin Ipate, Raluca Lefticaru
, Ciprian Dragomir:
An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing 2010: 226-239
2000 – 2009
- 2009
- [j21]Florentin Ipate:
Test Selection for Hierarchical and Communicating Finite State Machines. Comput. J. 52(3): 334-347 (2009) - [j20]Florentin Ipate, Marian Gheorghe
:
Mutation Based Testing of P Systems. Int. J. Comput. Commun. Control 4(3): 253-262 (2009) - [j19]Florentin Ipate, Marian Gheorghe:
Finite state based testing of P systems. Nat. Comput. 8(4): 833-846 (2009) - [c18]Raluca Lefticaru
, Florentin Ipate, Cristina Tudose:
Automated Model Design Using Genetic Algorithms and Model Checking. BCI 2009: 79-84 - [c17]Marian Gheorghe
, Florentin Ipate, Ciprian Dragomir:
Formal Verification and Testing Based on P Systems. Workshop on Membrane Computing 2009: 54-65 - [c16]Raluca Lefticaru
, Florentin Ipate, Marian Gheorghe
, Gexiang Zhang
:
Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing 2009: 354-370 - [c15]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: 371-384 - 2008
- [j18]Robert M. Hierons
, Florentin Ipate:
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Formal Aspects Comput. 20(6): 597-617 (2008) - [j17]Florentin Ipate, Mike Holcombe:
Testing data processing-oriented systems from stream X-machine models. Theor. Comput. Sci. 403(2-3): 176-191 (2008) - [c14]Raluca Lefticaru
, Florentin Ipate:
Search-based Testing using State-based Fitness. ICST Workshops 2008: 210 - [c13]Raluca Lefticaru
, Florentin Ipate:
Functional Search-based Testing from State Machines. ICST 2008: 525-528 - [c12]Marian Gheorghe
, Florentin Ipate:
On Testing P Systems. Workshop on Membrane Computing 2008: 204-216 - [c11]Raluca Lefticaru
, Florentin Ipate:
A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. SYNASC 2008: 201-208 - [c10]Florentin Ipate, Marian Gheorghe
:
Testing Non-deterministic Stream X-machine Models and P systems. MeCBIC 2008: 113-126 - 2007
- [c9]Florentin Ipate:
Class Testing from State Diagrams Using Stream X-Machine Based Methods. ASWEC 2007: 245-254 - [c8]Raluca Lefticaru
, Florentin Ipate:
Automatic State-Based Test Generation Using Genetic Algorithms. SYNASC 2007: 188-195 - 2006
- [j16]Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak:
Testing methods for X-machines: a review. Formal Aspects Comput. 18(1): 3-30 (2006) - [j15]Florentin Ipate:
Testing against a non-controllable stream X-machine using state counting. Theor. Comput. Sci. 353(1-3): 291-316 (2006) - [c7]Florentin Ipate:
Bounded Sequence Testing from Non-deterministic Finite State Machines. TestCom 2006: 55-70 - 2005
- [j14]Florentin Ipate:
On the Minimality of Finite Automata and Stream X-machines for Finite Languages. Comput. J. 48(2): 157-167 (2005) - [j13]Florentin Ipate, Tudor Balanescu:
Refinement in Finite State Machine Testing. Fundam. Informaticae 64(1-4): 191-203 (2005) - [j12]Florentin Ipate, Mike Holcombe:
Complete Testing from a Stream X-Machine Specification. Fundam. Informaticae 64(1-4): 205-216 (2005) - [c6]Florentin Ipate, Mike Holcombe:
Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. XP 2005: 214-217 - 2004
- [j11]Florentin Ipate:
Complete deterministic stream X-machine testing. Formal Aspects Comput. 16(4): 374-386 (2004) - [c5]Mike Holcombe, Florentin Ipate:
Complete Test Generation for Extreme Programming. XP 2004: 274-277 - 2003
- [j10]Florentin Ipate, Marian Gheorghe, Mike Holcombe:
Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. 14(3): 217-237 (2003) - [j9]Florentin Ipate:
On the Minimality of Stream X-machines. Comput. J. 46(3): 295-306 (2003) - [c4]Florentin Ipate, Mike Holcombe:
Testing Non-Deterministic X-Machines. Grammars and Automata for String Processing 2003: 151-162 - 2002
- [j8]Florentin Ipate, Mike Holcombe:
An Integrated Refinement and Testing Method for Stream X-machines. Appl. Algebra Eng. Commun. Comput. 13(2): 67-91 (2002) - [j7]Florentin Ipate, Mike Holcombe:
Testing Conditions for Communicating Stream X-machine Systems. Formal Aspects Comput. 13(6): 431-446 (2002) - [j6]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): 17-33 (2002) - [c3]Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate:
Eilenberg P Systems. WMC-CdeA 2002: 43-57 - 2001
- [c2]Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu:
Testing Using X-Machine Translations. Words, Semigroups, and Transductions 2001: 211-229 - [c1]Tudor Balanescu, Marian Gheorghe
, Mike Holcombe, Florentin Ipate:
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL 2001: 296-305 - 2000
- [j5]Florentin Ipate, Mike Holcombe:
Generating Test Sets from Non-Deterministic Stream X-Machines. Formal Aspects Comput. 12(6): 443-458 (2000)
1990 – 1999
- 1998
- [b2]Mike Holcombe, Florentin Ipate:
Correct systems - building a business process solution. Applied computing, Springer 1998, ISBN 978-3-540-76246-1, pp. I-XX, 1-206 - [j4]Florentin Ipate, Mike Holcombe:
A method for refining and testing generalised machine specifications. Int. J. Comput. Math. 68(3-4): 197-219 (1998) - [j3]Florentin Ipate, Mike Holcombe:
Specification and Testing Using Generalised Machines: A Presentation and a Case Study. Softw. Test. Verification Reliab. 8(2): 61-81 (1998) - 1997
- [j2]Florentin Ipate, Mike Holcombe:
An integration testing method that is proved to find all faults. Int. J. Comput. Math. 63(3-4): 159-178 (1997) - 1996
- [j1]Florentin Ipate, Mike Holcombe:
Another Look at Computability. Informatica (Slovenia) 20(3) (1996) - 1995
- [b1]Florentin Ipate:
Theory of X-machines with applications in specification and testing. University of Sheffield, UK, 1995
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-24 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint