Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
César Andrés
2010 – today
- 2013
[j3]César Andrés, Carlos Camacho, Luis Llana: A formal framework for software product lines. Information & Software Technology 55(11): 1925-1947 (2013)- 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)
- [c33]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
- [c32]
- [c31]
- [c30]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
- [c29]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
- [c28]Khalifa Toumi, César Andrés, Ana R. Cavalli: Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. ICISS 2012: 89-103
- [c27]Mazen El Maarabani, César Andrés, Ana R. Cavalli: Testing Interoperability Security Policies. SEKE 2012: 464-469
- [c26]Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana: CLAT: Collaborative Learning Adaptive Tutor. SEKE 2012: 747-752
- [c25]Alberto Nuñez, César Andrés, Mercedes G. Merayo: Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. ICCS 2012: 498-507
- [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
2000 – 2009
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:05 CEST by the dblp team