Publicaciones en las que colabora con Ernesto Pimentel Sánchez (12)

2014

  1. On the synthesis of secure services composition_

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8431, pp. 140-159

2013

  1. Automated synthesis and ranking of secure BPMN orchestrators

    Proceedings - 2013 International Conference on Availability, Reliability and Security, ARES 2013

  2. Automated throughput optimization of cloud services via model-driven adaptation

    MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development

2012

  1. A tool for the synthesis of cryptographic orchestrators

    Proceedings of the Workshop on Model-Driven Security, MDsec 2012

  2. Learning from failures: A lightweight approach to run-time behavioural adaptation

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

  3. Synthesis of secure adaptors

    Journal of Logic and Algebraic Programming

2011

  1. Contracts for security adaptation

    Journal of Logic and Algebraic Programming, Vol. 80, Núm. 3-5, pp. 154-179

2010

  1. A case study in model-based adaptation of web services

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

  2. Semi-automatic specification of behavioural service adaptation contracts

    Electronic Notes in Theoretical Computer Science

2009

  1. Automatic Generation of Adaptation Contracts

    Electronic Notes in Theoretical Computer Science, Vol. 229, Núm. 2, pp. 115-131

  2. Dinapter: Automatic Adapter Specification for Software Composition

    Electronic Notes in Theoretical Computer Science, Vol. 248, pp. 161-171

  3. ITACA: An integrated toolbox for the automatic composition and adaptation of web services

    Proceedings - International Conference on Software Engineering