Florentin Ipate

	2012
50		Florentin Ipate: Learning finite cover automata from queries. J. Comput. Syst. Sci. 78(1): 221-244 (2012)
	2011
49		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
48		Xiaoli Huang, Gexiang Zhang, Haina Rong, Florentin Ipate: Evolutionary Design of a Simple Membrane System. Int. Conf. on Membrane Computing 2011: 203-214
47		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
46		Cristina Tudose, Raluca Lefticaru, Florentin Ipate: Using Genetic Algorithms and Model Checking for P Systems Automatic Design. NICSO 2011: 285-302
45		Florentin Ipate, Radu Nicolescu, Ionut-Mihai Niculescu, Cristian Stefan: Synchronization of P Systems with Simplex Channels CoRR abs/1108.3430: (2011)
44		Raluca Lefticaru, Cristina Tudose, Florentin Ipate: Towards Automated Verification of P Systems Using Spin. IJNCR 2(3): 1-12 (2011)
43		Florentin Ipate, Raluca Lefticaru, Cristina Tudose: Formal Verification of P Systems Using Spin. Int. J. Found. Comput. Sci. 22(1): 133-142 (2011)
42		Raluca Lefticaru, Marian Gheorghe, Florentin Ipate: An empirical evaluation of P system testing techniques. Natural Computing 10(1): 151-165 (2011)
	2010
41		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
40		Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir: An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing 2010: 226-239
39		Marian Gheorghe, Florentin Ipate: Testing Based on P Systems - An Overview. Int. Conf. on Membrane Computing 2010: 3-6
38		Florentin Ipate, Marian Gheorghe, Raluca Lefticaru: Test generation from P systems using model checking. J. Log. Algebr. Program. 79(6): 350-362 (2010)
37		Florentin Ipate: Bounded sequence testing from deterministic finite state machines. Theor. Comput. Sci. 411(16-18): 1770-1784 (2010)
	2009
36		Raluca Lefticaru, Florentin Ipate, Cristina Tudose: Automated Model Design Using Genetic Algorithms and Model Checking. BCI 2009: 79-84
35		Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang: Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing 2009: 354-370
34		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
33		Marian Gheorghe, Florentin Ipate, Ciprian Dragomir: Formal Verification and Testing Based on P Systems. Workshop on Membrane Computing 2009: 54-65
32		Florentin Ipate: Test Selection for Hierarchical and Communicating Finite State Machines. Comput. J. 52(3): 334-347 (2009)
31		Florentin Ipate, Marian Gheorghe: Testing Non-deterministic Stream X-machine Models and P systems. Electr. Notes Theor. Comput. Sci. 227: 113-126 (2009)
30		Florentin Ipate, Marian Gheorghe: Finite state based testing of P systems. Natural Computing 8(4): 833-846 (2009)
	2008
29		Raluca Lefticaru, Florentin Ipate: Functional Search-based Testing from State Machines. ICST 2008: 525-528
28		Raluca Lefticaru, Florentin Ipate: A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. SYNASC 2008: 201-208
27		Marian Gheorghe, Florentin Ipate: On Testing P Systems. Workshop on Membrane Computing 2008: 204-216
26		Robert M. Hierons, Florentin Ipate: Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Formal Asp. Comput. 20(6): 597-617 (2008)
25		Florentin Ipate, Mike Holcombe: Testing data processing-oriented systems from stream X-machine models. Theor. Comput. Sci. 403(2-3): 176-191 (2008)
	2007
24		Florentin Ipate: Class Testing from State Diagrams Using Stream X-Machine Based Methods. ASWEC 2007: 245-254
23		Raluca Lefticaru, Florentin Ipate: Automatic State-Based Test Generation Using Genetic Algorithms. SYNASC 2007: 188-195
	2006
22		Florentin Ipate: Bounded Sequence Testing from Non-deterministic Finite State Machines. TestCom 2006: 55-70
21		Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak: Testing methods for X-machines: a review. Formal Asp. Comput. 18(1): 3-30 (2006)
20		Florentin Ipate: Testing against a non-controllable stream X-machine using state counting. Theor. Comput. Sci. 353(1-3): 291-316 (2006)
	2005
19		Florentin Ipate, Mike Holcombe: Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. XP 2005: 214-217
18		Florentin Ipate: On the Minimality of Finite Automata and Stream X-machines for Finite Languages. Comput. J. 48(2): 157-167 (2005)
17		Florentin Ipate, Tudor Balanescu: Refinement in Finite State Machine Testing. Fundam. Inform. 64(1-4): 191-203 (2005)
16		Florentin Ipate, Mike Holcombe: Complete Testing from a Stream X-Machine Specification. Fundam. Inform. 64(1-4): 205-216 (2005)
	2004
15		Mike Holcombe, Florentin Ipate: Complete Test Generation for Extreme Programming. XP 2004: 274-277
14		Florentin Ipate: Complete deterministic stream X-machine testing. Formal Asp. Comput. 16(4): 374-386 (2004)
	2003
13		Florentin Ipate, Mike Holcombe: Testing Non-Deterministic X-Machines. Grammars and Automata for String Processing 2003: 151-162
12		Florentin Ipate, Marian Gheorghe, Mike Holcombe: Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. 14(3): 217-237 (2003)
11		Florentin Ipate: On the Minimality of Stream X-machines. Comput. J. 46(3): 295-306 (2003)
	2002
10		Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate: Eilenberg P Systems. WMC-CdeA 2002: 43-57
9		Florentin Ipate, Mike Holcombe: An Integrated Refinement and Testing Method for Stream X-machines. Appl. Algebra Eng. Commun. Comput. 13(2): 67-91 (2002)
8		Florentin Ipate, Mike Holcombe: Testing Conditions for Communicating Stream X-machine Systems. Formal Asp. Comput. 13(6): 431-446 (2002)
7		Joaquin Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate: P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Inform. 49(1-3): 17-33 (2002)
	2001
6		Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate: Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL 2001: 296-305
5		Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu: Testing Using X-Machine Translations. Words, Semigroups, and Transductions 2001: 211-229
	2000
4		Florentin Ipate, Mike Holcombe: Generating Test Sets from Non-Deterministic Stream X-Machines. Formal Asp. Comput. 12(6): 443-458 (2000)
	1998
3		Mike Holcombe, Florentin Ipate: Correct systems - building a business process solution. Springer 1998: I-XX, 1-206
2		Florentin Ipate, Mike Holcombe: Specification and Testing Using Generalised Machines: A Presentation and a Case Study. Softw. Test., Verif. Reliab. 8(2): 61-81 (1998)
	1996
1		Florentin Ipate, Mike Holcombe: Another Look at Computability. Informatica (Slovenia) 20(3): (1996)

Coauthor Index

1	Joaquin Aguado	[7]
2	Tudor Balanescu	[5] [6] [7] [10] [17]
3	Kirill Bogdanov	[21]
4	Jixiang Cheng	[41]
5	Anthony J. Cowling	[7]
6	Ionut Dinca	[49]
7	Ciprian Dragomir	[33] [40]
8	Marian Gheorghe	[5] [6] [7] [10] [12] [27] [30] [31] [33] [34] [35] [38] [39] [40] [41] [42]
9	Robert M. Hierons	[26]
10	Mike Holcombe	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [15] [16] [19] [21] [25]
11	Xiaoli Huang	[48]
12	Raluca Lefticaru	[23] [28] [29] [35] [36] [38] [40] [41] [42] [43] [44] [46] [47] [49]
13	Chunxiu Liu	[34]
14	Hongwen Liu	[34]
15	Radu Nicolescu	[45]
16	Ionut-Mihai Niculescu	[45]
17	Ignacio Pérez-Hurtado	[47]
18	Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez)	[47]
19	Haina Rong	[41] [48]
20	L. Seed	[21]
21	Cristian Stefan	[45]
22	Alin Stefanescu	[49]
23	Cristina Tudose	[36] [43] [44] [46] [47] [49]
24	Salim K. Vanak	[21]
25	Gexiang Zhang	[34] [35] [41] [48]
26	Fen Zhou	[41]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page