Raluca Lefticaru

	2011
14		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
13		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
12		Cristina Tudose, Raluca Lefticaru, Florentin Ipate: Using Genetic Algorithms and Model Checking for P Systems Automatic Design. NICSO 2011: 285-302
11		Raluca Lefticaru, Cristina Tudose, Florentin Ipate: Towards Automated Verification of P Systems Using Spin. IJNCR 2(3): 1-12 (2011)
10		Florentin Ipate, Raluca Lefticaru, Cristina Tudose: Formal Verification of P Systems Using Spin. Int. J. Found. Comput. Sci. 22(1): 133-142 (2011)
9		Raluca Lefticaru, Marian Gheorghe, Florentin Ipate: An empirical evaluation of P system testing techniques. Natural Computing 10(1): 151-165 (2011)
	2010
8		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
7		Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir: An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing 2010: 226-239
6		Florentin Ipate, Marian Gheorghe, Raluca Lefticaru: Test generation from P systems using model checking. J. Log. Algebr. Program. 79(6): 350-362 (2010)
	2009
5		Raluca Lefticaru, Florentin Ipate, Cristina Tudose: Automated Model Design Using Genetic Algorithms and Model Checking. BCI 2009: 79-84
4		Raluca Lefticaru, Florentin Ipate, Marian Gheorghe, Gexiang Zhang: Tuning P Systems for Solving the Broadcasting Problem. Workshop on Membrane Computing 2009: 354-370
	2008
3		Raluca Lefticaru, Florentin Ipate: Functional Search-based Testing from State Machines. ICST 2008: 525-528
2		Raluca Lefticaru, Florentin Ipate: A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. SYNASC 2008: 201-208
	2007
1		Raluca Lefticaru, Florentin Ipate: Automatic State-Based Test Generation Using Genetic Algorithms. SYNASC 2007: 188-195

Coauthor Index

1	Jixiang Cheng	[8]
2	Ionut Dinca	[14]
3	Ciprian Dragomir	[7]
4	Marian Gheorghe	[4] [6] [7] [8] [9]
5	Florentin Ipate	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
6	Ignacio Pérez-Hurtado	[13]
7	Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez)	[13]
8	Haina Rong	[8]
9	Alin Stefanescu	[14]
10	Cristina Tudose	[5] [10] [11] [12] [13] [14]
11	Gexiang Zhang	[4] [8]
12	Fen Zhou	[8]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page