Passive Testing of Timed Systems. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (ATVA, 2008)

Formal Development of a Complex Information System. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (ICONS, 2008)

ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. - César Andrés; Manuel Núñez 001 (ICONS, 2008)

Formally comparing user and implementer model-based testing methods. - César Andrés; Luis Llana; Ismael Rodríguez 001 (ICST Workshops, 2008)

Formally Testing Liveness by Means of Compression Rates. - César Andrés; Ismael Rodríguez 001; Fernando Rubio 001 (PPSN, 2008)

Using formal methods to develop a complex information system: a practical/theoretical experience. - César Andrés; Rafael G. Aranda; Manuel Núñez 001 (SAC, 2008)

A Formal Methodology to Specify Hierarchical Agent-Based Systems. - César Andrés; Carlos Molinero; Manuel Núñez 001 (SITIS, 2008)

Analysis of the OLSR Protocol by Using Formal Passive Testing. - César Andrés; Stéphane Maag; Ana R. Cavalli; Mercedes G. Merayo; Manuel Núñez 001 (APSEC, 2009)

A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. - César Andrés; Carlos Molinero; Manuel Núñez 001 (ICCS (1), 2009)

Advantages of Mutation in Passive Testing: An Empirical Study. - César Andrés; Mercedes G. Merayo; Carlos Molinero (ICST Workshops, 2009)

Passive Testing of Stochastic Timed Systems. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (ICST, 2009)

Formal Correctness of a Passive Testing Approach for Timed Systems. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (ICST Workshops, 2009)

Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. - Carlos Molinero; Manuel Núñez 001; César Andrés (IWANN (1), 2009)

Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (QSIC, 2009)

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (SEFM, 2009)

Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (SEKE, 2009)

Formal Study of Prioritized Service Compositions. - César Andrés; Gregorio Díaz 001; Enrique Martínez; Yaofeng Zhang (SITIS, 2009)

Formally transforming user-model testing problems into implementer-model testing problems and viceversa. - César Andrés; Luis Fernando Llana Díaz; Ismael Rodríguez 001 (J. Log. Algebraic Methods Program., 2009)

Formal Passive Testing of Service-Oriented Systems. - César Andrés; María-Emilia Cambronero; Manuel Núñez 001 (IEEE SCC, 2010)

MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. - César Andrés; Mercedes G. Merayo; Yaofeng Zhang (ACIIDS (2), 2010)

From Data Mining to User Models in Evolutionary Databases. - César Andrés; Manuel Núñez 001; Yaofeng Zhang (ACIIDS (1), 2010)

Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (SEKE, 2010)

Passive Testing of Web Services. - César Andrés; María-Emilia Cambronero; Manuel Núñez 001 (WS-FM, 2010)

Self-adaptive fuzzy-timed systems. - César Andrés; Luis Llana; Manuel Núñez 001 (IEEE Congress on Evolutionary Computation, 2011)

Compression Strategies for Passive Testing. - César Andrés; Luis Llana (ICST Workshops, 2011)

A vector based model approach for defining trust in Multi-Organization Environments. - Khalifa Toumi; César Andrés; Ana R. Cavalli; Mazen El Maarabani (CRiSIS, 2012)

How to Reduce the Cost of Passive Testing. - César Andrés; Ana R. Cavalli (HASE, 2012)

OCE: An Online Colaborative Editor. - César Andrés; Rui Abreu 001; Alberto Nuñez (ICCCI (2), 2012)

Preventing Attacks by Classifying User Models in a Collaborative Scenario. - César Andrés; Alberto Nuñez; Manuel Núñez 001 (ICCCI (1), 2012)

MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. - Alberto Nuñez; César Andrés; Mercedes G. Merayo (ICCCI (1), 2012)

Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments. - Khalifa Toumi; César Andrés; Ana R. Cavalli (ICISS, 2012)

CLAT: Collaborative Learning Adaptive Tutor. - Alaeddin M. H. Alawawdeh; César Andrés; Luis Llana (SEKE, 2012)

Testing Interoperability Security Policies. - Mazen El Maarabani; César Andrés; Ana R. Cavalli (SEKE, 2012)

Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. - Alberto Nuñez; César Andrés; Mercedes G. Merayo (ICCS, 2012)

Formal passive testing of timed systems: theory and tools. - César Andrés; Mercedes G. Merayo; Manuel Núñez 001 (Softw. Test. Verification Reliab., 2012)

Security Properties in Virtual Organizations. - Khalifa Toumi; César Andrés; Ana R. Cavalli (HPCC/EUC, 2013)

Trust Ontology Based on Access Control Parameters in Multi-organization Environments. - Khalifa Toumi; César Andrés; Ana R. Cavalli (SITIS, 2013)

A formal framework for software product lines. - César Andrés; Carlos Camacho; Luis Llana (Inf. Softw. Technol., 2013)

How to Evaluate Trust Using MMT. - Khalifa Toumi; Wissam Mallouli; Edgardo Montes de Oca; César Andrés; Ana R. Cavalli (NSS, 2014)

Validation of a Trust Approach in Multi-Organization Environments. - Khalifa Toumi; Ana R. Cavalli; César Andrés (Int. J. Secur. Softw. Eng., 2014)

A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory. - Rui Abreu 001; César Andrés; Ana R. Cavalli (CRiSIS, 2016)

Formal framework for defining trust in multi-organisation environment. - Khalifa Toumi; César Andrés; Ana R. Cavalli (Int. J. Auton. Adapt. Commun. Syst., 2016)