César Andrés

	2011
19		César Andrés, Luis Llana, Manuel Núñez: Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation 2011: 115-122
	2010
18		César Andrés, Manuel Núñez, Yaofeng Zhang: From Data Mining to User Models in Evolutionary Databases. ACIIDS (1) 2010: 54-63
17		César Andrés, Mercedes G. Merayo, Yaofeng Zhang: MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. ACIIDS (2) 2010: 47-56
16		César Andrés, María-Emilia Cambronero, Manuel Núñez: Formal Passive Testing of Service-Oriented Systems. IEEE SCC 2010: 610-613
15		César Andrés, Mercedes G. Merayo, Manuel Núñez: Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE 2010: 405-410
14		César Andrés, María-Emilia Cambronero, Manuel Núñez: Passive Testing of Web Services. WS-FM 2010: 56-70
	2009
13		César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez: Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC 2009: 152-159
12		César Andrés, Carlos Molinero, Manuel Núñez: A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. ICCS (1) 2009: 347-356
11		César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80
10		Carlos Molinero, Manuel Núñez, César Andrés: Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. IWANN (1) 2009: 343-350
9		César Andrés, Mercedes G. Merayo, Manuel Núñez: Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC 2009: 145-154
8		César Andrés, Mercedes G. Merayo, Manuel Núñez: Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM 2009: 73-82
7		César Andrés, Mercedes G. Merayo, Manuel Núñez: Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE 2009: 426-431
6		César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez: Formally transforming user-model testing problems into implementer-model testing problems and viceversa. J. Log. Algebr. Program. 78(6): 425-453 (2009)
	2008
5		César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Timed Systems. ATVA 2008: 418-427
4		César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Development of a Complex Information System. ICONS 2008: 118-123
3		César Andrés, Manuel Núñez: ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS 2008: 230-234
2		César Andrés, Ismael Rodríguez, Fernando Rubio: Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357
1		César Andrés, Rafael G. Aranda, Manuel Núñez: Using formal methods to develop a complex information system: a practical/theoretical experience. SAC 2008: 848-849

Coauthor Index

1	Rafael G. Aranda	[1]
2	María-Emilia Cambronero	[14] [16]
3	Ana R. Cavalli	[13]
4	Luis Llana (Luis Fernando Llana Díaz)	[6] [19]
5	Stéphane Maag (Stephane Maag)	[13]
6	Mercedes G. Merayo	[4] [5] [7] [8] [9] [11] [13] [15] [17]
7	Carlos Molinero	[10] [12]
8	Manuel Núñez	[1] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19]
9	Ismael Rodríguez	[2] [6]
10	Fernando Rubio	[2]
11	Yaofeng Zhang	[17] [18]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page