Publicaciones en colaboración con investigadores/as de Universidad Complutense de Madrid (36)

2016

  1. Formal framework for defining trust in multi-organisation environment

    International Journal of Autonomous and Adaptive Communications Systems, Vol. 9, Núm. 1-2, pp. 164-178

2013

  1. A formal framework for software product lines

    Information and Software Technology, Vol. 55, Núm. 11, pp. 1925-1947

2012

  1. A vector based model approach for defining trust in multi-organization environments

    7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012

  2. Formal passive testing of timed systems: Theory and tools

    Software Testing Verification and Reliability, Vol. 22, Núm. 6, pp. 365-405

  3. How to reduce the cost of passive testing

    Proceedings of IEEE International Symposium on High Assurance Systems Engineering

  4. MAScloud: A framework based on multi-agent systems for optimizing cost in cloud computing

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. OCE: An online colaborative editor

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  6. Optimizing the trade-offs between cost and performance in Scientific Computing

    Procedia Computer Science

  7. Preventing attacks by classifying user models in a collaborative scenario

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  8. Trust-OrBac: A trust access control model in multi-organization environments

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011

  1. Compression strategies for passive testing

    Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011

  2. Message from WS-FMDS 2011 programme committee chairs

    Proceedings - International Conference on Quality Software

  3. Passive testing of web services

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Self-adaptive fuzzy-timed systems

    2011 IEEE Congress of Evolutionary Computation, CEC 2011

2010

  1. Formal passive testing of service-oriented systems

    Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010

  2. Formal study of prioritized service compositions

    Proceedings - 5th International Conference on Signal Image Technology and Internet Based Systems, SITIS 2009

  3. From data mining to user models in evolutionary databases

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. MACRO-SYS: An interactive macroeconomics simulator for advanced learning

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. Multi-objective genetic algorithms: Construction and recombination of passive testing properties

    SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering

2009

  1. A hierarchical methodology to specify and simulate complex computational systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)