Publicaciones (41) Publicaciones de Cesar Andres Sanchez

2018

  1. Design of a Secure shield for internet and web-based services using software reflection

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

2017

  1. A framework to reduce the cost of monitoring and diagnosis using game theory

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

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

2014

  1. How to evaluate trust using MMT

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

  2. Security properties in virtual organizations

    Proceedings - 2013 IEEE International Conference on High Performance Computing and Communications, HPCC 2013 and 2013 IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013

2013

  1. A formal framework for software product lines

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

  2. Trust ontology based on access control parameters in multi-organization environments

    Proceedings - 2013 International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2013

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