- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j3 |      | Alberto Nuñez, César Andrés, Mercedes G. Merayo: Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. Procedia CS 9: 498-507 (2012) |
| j2 | | César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal passive testing of timed systems: theory and tools. Softw. Test., Verif. Reliab. 22(6): 365-405 (2012) |
| c32 | | Khalifa Toumi, César Andrés, Ana R. Cavalli, Mazen El Maarabani: A vector based model approach for defining trust in Multi-Organization Environments. CRiSIS 2012: 1-8 |
| c31 | | |
| c30 | | |
| c29 | | Alberto Nuñez, César Andrés, Mercedes G. Merayo: MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. ICCCI (1) 2012: 436-445 |
| c28 | | César Andrés, Alberto Nuñez, Manuel Núñez: Preventing Attacks by Classifying User Models in a Collaborative Scenario. ICCCI (1) 2012: 505-514 |
| c27 | | Khalifa Toumi, César Andrés, Ana R. Cavalli: Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. ICISS 2012: 89-103 |
| c26 |  | Mazen El Maarabani, César Andrés, Ana R. Cavalli: Testing Interoperability Security Policies. SEKE 2012: 464-469 |
| c25 | | Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana: CLAT: Collaborative Learning Adaptive Tutor. SEKE 2012: 747-752 |
| e1 | | César Andrés, Luis Llana (Eds.): Proceedings 2nd Workshop on Formal Methods in the Development of Software. EPTCS 86, 2012 |
| 2011 | ||
| c24 | | César Andrés, Luis Llana, Manuel Núñez: Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation 2011: 115-122 |
| c23 | | |
| 2010 | ||
| c22 | | César Andrés, María-Emilia Cambronero, Manuel Núñez: Formal Passive Testing of Service-Oriented Systems. IEEE SCC 2010: 610-613 |
| c21 | | César Andrés, Mercedes G. Merayo, Yaofeng Zhang: MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. ACIIDS (2) 2010: 47-56 |
| c20 | | César Andrés, Manuel Núñez, Yaofeng Zhang: From Data Mining to User Models in Evolutionary Databases. ACIIDS (1) 2010: 54-63 |
| c19 | | 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 |
| c18 | | César Andrés, María-Emilia Cambronero, Manuel Núñez: Passive Testing of Web Services. WS-FM 2010: 56-70 |
| 2009 | ||
| j1 | | 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) |
| c17 | | 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 |
| c16 | | César Andrés, Carlos Molinero, Manuel Núñez: A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. ICCS (1) 2009: 347-356 |
| c15 | | César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops 2009: 67-76 |
| c14 | | César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80 |
| c13 | | César Andrés, Mercedes G. Merayo, Carlos Molinero: Advantages of Mutation in Passive Testing: An Empirical Study. ICST Workshops 2009: 230-239 |
| c12 | | Carlos Molinero, Manuel Núñez, César Andrés: Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. IWANN (1) 2009: 343-350 |
| c11 | | 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 |
| c10 | | 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 |
| c9 | | 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 |
| c8 | | César Andrés, Gregorio Díaz, Enrique Martínez, Yaofeng Zhang: Formal Study of Prioritized Service Compositions. SITIS 2009: 355-362 |
| 2008 | ||
| c7 | | César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Timed Systems. ATVA 2008: 418-427 |
| c6 | | César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Development of a Complex Information System. ICONS 2008: 118-123 |
| c5 | | César Andrés, Manuel Núñez: ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. ICONS 2008: 230-234 |
| c4 | | César Andrés, Luis Llana, Ismael Rodríguez: Formally comparing user and implementer model-based testing methods. ICST Workshops 2008: 1-10 |
| c3 | | César Andrés, Ismael Rodríguez, Fernando Rubio: Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357 |
| c2 | | 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 |
| c1 | | César Andrés, Carlos Molinero, Manuel Núñez: A Formal Methodology to Specify Hierarchical Agent-Based Systems. SITIS 2008: 169-176 |
| 1 | Rui Abreu | |
| 2 | Alaeddin M. H. Alawawdeh | |
| 3 | Rafael G. Aranda | |
| 4 | María-Emilia Cambronero | |
| 5 | Ana R. Cavalli | |
| 6 | Gregorio Díaz (Gregorio Díaz Descalzo) | |
| 7 | Luis Llana (Luis Fernando Llana Díaz) | |
| 8 | Stéphane Maag (Stephane Maag) | |
| 9 | Mazen El Maarabani | |
| 10 | Enrique Martínez | |
| 11 | Mercedes G. Merayo | |
| 12 | Carlos Molinero | |
| 13 | Alberto Nuñez | |
| 14 | Manuel Núñez | |
| 15 | Ismael Rodríguez | |
| 16 | Fernando Rubio | |
| 17 | Khalifa Toumi | |
| 18 | Yaofeng Zhang |
Data released under the ODC-BY 1.0 license — See also our legal information page