José Antonio Martín

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Business Processes

Secure Multi Party

Ranking Algorithm

Top Venues

J. Log. Algebraic Methods Program.

Int. J. Secur. Softw. Eng.

Publications

Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. 5 (2) (2014)
Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. MODELSWARD (2013)
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES (2013)
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS (2012)
José Antonio Martín, Fabio Martinelli, Ernesto Pimentel
Synthesis of secure adaptors. J. Log. Algebraic Methods Program. 81 (2) (2012)
José Antonio Martín, Ernesto Pimentel
Contracts for security adaptation. J. Log. Algebraic Methods Program. 80 (3-5) (2011)
José Antonio Martín, Antonio Brogi, Ernesto Pimentel
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. FACS (2011)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) (2010)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. Electron. Notes Theor. Comput. Sci. 264 (1) (2010)
Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. ICSE (2009)
José Antonio Martín, Ernesto Pimentel
Dinapter: Automatic Adapter Specification for Software Composition. Electron. Notes Theor. Comput. Sci. 248 (2009)
José Antonio Martín, Ernesto Pimentel
Automatic Generation of Adaptation Contracts. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Elia Reyes, Francisco Rodríguez, José Antonio Martín
Analytic-numerical solutions of diffusion mathematical models with delays. Comput. Math. Appl. 56 (3) (2008)