|
|
|
psilva@dit.upm.es |
|
|
+34 91 549 5700 Ext. 3019
|
|
|
|
B-324 Cómo llegar |
|
|
|
ETSI Telecomunicación,
Ciudad Universitaria, |
Grupos donde desarrollo mi actividad
investigadora:
Temas de
interés:
Participación en Proyectos de
Investigación
RT-MODEL
(Real-time platforms for model-driven design of embedded systems).
Plan Nacional de I+D+I. (TIN2008-06766-C03-01). 2008-2011.
ITECBAN
(Infraestructura Tecnológica y
Metodológica de Soporte para un Core Bancario). Programa
CENIT CICYT. 2006-2009.
MODELWARE (MODELing solution
for softWARE systems). Programa CE,
6º PM. (IST IP 511731). 2004-2006.
EFTCoR
(Environmental Friendly and
Cost-Effective Technology for Coating Removal). Programa CE, 5º PM.
(G3RD-CT-2002-00794). 2002-2005.
TRECOM
(Sistemas de tiempo real empotrados,
fiables y distribuidos basados en componentes). Programa TIC2002-04123-C03. 2002-2005.
ROBOCOP (Towards a Robust Open Component Based Software Architecture for
Configurable Consumer Devices). Programa ITEA. 2001-2003.
Publicaciones
de Miguel, M. A., Salazar, E., Silva, J. P., & Fernandez-Briones, J. (2012).
"Reusable Modelling Tool Assets: Deployment of MDA Artefacts."
In J. Rech, & C. Bunse (Eds.), Emerging Technologies for the Evolution and Maintenance of Software Models (pp. 371-409).
doi:10.4018/978-1-61350-438-3.ch014
Juan Pedro Silva Gallino, Miguel De
Miguel, Javier Fernandez Briones and Alejandro Alonso.
"Domain-Specific Multi-Modeling of Security Concerns in Service-Oriented Architectures"
WS-FM'11, 8th International Workshop on Web Services and Formal Methods, 2011.
Clermont-Ferrand, France, September 1- September 2, 2011.
ISBN: To be announced
Juan Pedro Silva Gallino, Miguel de
Miguel, Javier F. Briones, Alejandro Alonso,
"Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures,"
Services Computing, IEEE International Conference on, pp. 761-762, 2011.
IEEE International Conference on Services Computing, 2011.
Washington, DC USA, July 04-July 09, 2011.
ISBN: 978-0-7695-4462-5
Javier F.
Briones, Alejandro Alonso, Miguel A. de Miguel, and Juan Pedro Silva
Evaluating non-functional
properties globally
In Proceedings of the 2010
3rd Simposio de Sistemas de Tiempo Real in the
Congreso Español de Informática (CEDI), Sept 2010,
Valencia, Spain
ISBN 978-84-92812-64-6
Javier F. Briones, Miguel de
Miguel, Juan Pedro Silva, Alejandro Alonso
On the requirements for quality composability
modeling and analysis
In Proceedings of the 2010 1st IEEE International Workshop on Model-Based
Engineering for Real-Time Embedded Systems Design (MoBE-RTES),
May 2010, Carmona, Spain
IEEE Computer Society, Los Alamitos, CA, USA, pp. 123-129
ISBN 978-0-7695-4038-2, DOI 10.1109/ISORC.2010.27
Juan Pedro Silva, Miguel A. de Miguel, Javier F. Briones, and Alejandro Alonso
Model-Driven Development of a Web Service-Oriented Architecture and Security
Policies
In Proceedings of the 2010 13th IEEE Symposium on
Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), May
2010, Carmona, Spain
IEEE Computer Society, Los Alamitos, CA, USA, pp. 92-96
ISBN 978-0-7695-4037-5, ISSN 1555-0885, DOI 10.1109/ISORC.2010.34
Javier F. Briones, Miguel A.
de Miguel, Alejandro Alonso, and Juan Pedro Silva
Analysis of Quality Dependencies in the Composition of Software
Architectures
In Proceedings of 13th Jornadas de Tiempo Real, 4-5 Feb. 2010, Granada, Spain
ISBN 978-84-92757-51-0
Juan Pedro
Silva Gallino, Miguel A. de Miguel, Javier Fernandez
Briones and Alejandro Alonso
Desarrollo Guiado por Modelos de una Arquitectura Orientada a Servicios Web
y Políticas de Seguridad
In Proceedings of the 5th
Jornadas Científico-Técnicas en Servicios Web y SOA, 1-Oct. 2009, Madrid, Spain
ISBN 978-84-692-6832-2
Juan Pedro Silva, Miguel A. De Miguel, Javier F. Briones, and Alejandro Alonso
Composing Models with Six Different Tools: a Comparative Study
In Proceedings of the 1st International Workshop on Model Transformation with
ATL, 8-9 July 2009, Nantes, France
Javier F. Briones, Miguel A.
de Miguel, Alejandro Alonso, and Juan Pedro Silva
Quality of Service Composition and Adaptability of Software Architectures
In Proceedings of the 2009 12th IEEE Symposium on
Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC),
March 2009, Tokyo, Japan
IEEE Computer Society, Washington, DC, pp. 169-173
ISBN 978-0-7695-3573-9, ISSN 1555-0885, DOI 10.1109/ISORC.2009.45
Javier F. Briones, Miguel A.
de Miguel, Alejandro Alonso, and Juan Pedro Silva
Quality of Service Composition and Adaptability of Software Architectures
In Proceedings of 12th Jornadas de Tiempo Real, 5-6 Feb. 2009, Madrid, Spain
ISBN 84-89315-55-8
Javier F.
Briones, M. A. de Miguel, Alejandro. Alonso, and
Juan Pedro Silva
Modeling Quality of Service Adaptability
In Proceedings of 2008 International Conference of Enterprise Distributed
Object Computing, 3rd Workshop on Advances in Quality of Service Management,
Sept. 2008, München, Germany
IEEE Computer Society, Los Alamitos, CA, USA, pp. 50-57
ISBN 978-0-7695-3720-7, DOI 10.1109/EDOCW.2008.45
Miguel A. de Miguel, Javier F. Briones,
Juan Pedro Silva, and Alejandro Alonso
Integration of Safety Analysis in Model-Driven Software Development
IET Software, vol.2, no.3, pp.260-280, June 2008
ISSN 1751-8806, DOI 10.1049/iet-sen:20070050
Miguel A. Miguel, Philippe Massonet,
Juan Pedro Silva, and Javier F. Briones
Model Based Development of Quality-Aware Software Services
In Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time
Distributed Computing (ISORC), May 2008, Orlando, Florida, USA
IEEE Computer Society, Washington, DC, pp. 563-569
ISBN 978-0-7695-3132-8, DOI 10.1109/ISORC.2008.23
Javier F. Briones, Miguel A.
de Miguel, Alejandro Alonso, and Juan Pedro Silva
Software Modeling of Quality-Adaptable Systems
In Actas de las XI Jornadas de Tiempo Real, 7-8 Feb. 2008, Palma de Mallorca, Spain. pp. 21 - 26.
Javier F. Briones, Miguel A.
de Miguel, Juan Pedro Silva, Alejandro Alonso
Application of Safety Analysis in Model Driven Development
In Proceedings 5th IFIP Workshop on Software Technologies for Future Embedded
& Ubiquitous Systems (SEUS), 7-8 May 2007, Santorini
Island, Greece
LNCS 4761, Springer Verlag, pp.93–104
ISBN 978-3-540-75663-7, DOI 10.1007/978-3-540-75664-4_10
Javier F. Briones, Miguel A.
de Miguel, Juan Pedro Silva, and Alejandro Alonso
Integration of Safety Analysis and Software Development Methods
In Proceedings of 1st International Conference on System Safety, London, UK,
6-8 Jun. 2006
The Institution of Engineering and Technology, UK, pp. 275-284
ISBN 0-86341-646-2
Miguel A. de Miguel, Javier F. Briones,
Juan Pedro Silva, Alejandro Alonso
Model Based Integration of Safety Analysis and Development
In Proceedings of 9th IEEE International Symposium on Object and
Component-Oriented Real-Time Distributed Computing (ISORC), Gyeongju,
Korea, Apr. 2006
IEEE Computer Society, Washington, DC, USA, pp. 323-326
ISBN 0-7695-2561-X, DOI 10.1109/ISORC.2006.53
Juan Pedro Silva, Miguel. A. de Miguel, Javier F. Briones, Alejandro Alonso
Safety Metrics for the Analysis of Software Architectures
In the Proceedings of the 1st Workshop on Visual Modeling for Software
Intensive Systems (VMSIS), pp. 59-66, Dallas, Texas, USA, 24 Sept. 2005
|
|
Deportes: |
|
|
|
Computación: Programación, |
|
|
|
Otros: Amistades. |
|
Primera
Versión: 14/11/2003; Actualizaciones: 3; Última Actualización: 23/02/2011