José Antonio Martín

15 papers A* 1B 1C 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2014 J jnl
Automated Synthesis and Ranking of Secure BPMN Orchestrators.
Int. J. Secur. Softw. Eng.
Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
2014 — ch.
On the Synthesis of Secure Services Composition.
Engineering Secure Future Internet Services and Systems
José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani
2013 B conf
Automated Synthesis and Ranking of Secure BPMN Orchestrators.
ARES
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
2013 C conf
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation.
MODELSWARD
Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo
2012 — conf
A tool for the synthesis of cryptographic orchestrators.
MDsec@MoDELS
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
2012 J jnl
Synthesis of secure adaptors.
J. Log. Algebraic Methods Program.
José Antonio Martín, Fabio Martinelli, Ernesto Pimentel
2011 — conf
Assessment of bradykinesia in Parkinson's disease patients through a multi-parametric system.
EMBC
Matteo Pastorino, Jorge Cancela, María Teresa Arredondo, Mario Pansera, Laura Pastor-Sanz, Federico Villagra, María A. Pastor, José Antonio Martín
2011 J jnl
Contracts for security adaptation.
J. Log. Algebraic Methods Program.
José Antonio Martín, Ernesto Pimentel
2011 — conf
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation.
FACS
José Antonio Martín, Antonio Brogi, Ernesto Pimentel
2010 — conf
A Case Study in Model-Based Adaptation of Web Services.
ISoLA (2)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
2010 — conf
Semi-Automatic Specification of Behavioural Service Adaptation Contracts.
FESCA@ETAPS
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
2009 A* conf
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.
ICSE
Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel
2008 J jnl
Analytic-numerical solutions of diffusion mathematical models with delays.
Comput. Math. Appl.
Elia Reyes, Francisco Rodríguez, José Antonio Martín
2008 — conf
Automatic Generation of Adaptation Contracts.
FOCLASA@ICALP
José Antonio Martín, Ernesto Pimentel
2008 — conf
Dinapter: Automatic Adapter Specification for Software Composition.
PROLE
José Antonio Martín, Ernesto Pimentel