JOSE ANTONIO
MARTIN ALUSTIZA
Chercheur dans le période 1974-2020
Ernesto
Pimentel Sánchez
Publications dans lesquelles il/elle collabore avec Ernesto Pimentel Sánchez (12)
2014
-
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
-
Automated synthesis and ranking of secure BPMN orchestrators
Proceedings - 2013 International Conference on Availability, Reliability and Security, ARES 2013
-
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
-
A tool for the synthesis of cryptographic orchestrators
Proceedings of the Workshop on Model-Driven Security, MDsec 2012
-
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)
-
Synthesis of secure adaptors
Journal of Logic and Algebraic Programming
2011
-
Contracts for security adaptation
Journal of Logic and Algebraic Programming, Vol. 80, Núm. 3-5, pp. 154-179
2010
-
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)
-
Semi-automatic specification of behavioural service adaptation contracts
Electronic Notes in Theoretical Computer Science
2009
-
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science, Vol. 229, Núm. 2, pp. 115-131
-
Dinapter: Automatic Adapter Specification for Software Composition
Electronic Notes in Theoretical Computer Science, Vol. 248, pp. 161-171
-
ITACA: An integrated toolbox for the automatic composition and adaptation of web services
Proceedings - International Conference on Software Engineering