|
Adequacy of contract grammars for component certification |
Alejandra Ruiz; Huascar Espinoza; Tim Kelly |
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC, 2013 |
2013 |
|
Dealing with Software Model Quality in Practice: Experience in a Research Project |
Jose Luis de la Vara; Huáscar Espinoza |
13th International Conference on Quality Software - 29-30 July 2013 - Page(s): 396 - 405 |
2013 |
|
Safety-Critical Software |
Xabier Larrucea; Annie Combelles; John Favaro |
IEEE Software, vol.30, no. 3, pp. 25-27, May-June 2013 |
2013 |
|
Secure and Trustworthy Service Composition: The Aniketos Approach |
Per Håkon Meland; Erkuden Rios; Vasilis Tountopoulos; Achim D. Brucker: |
Book: Lecture Notes in Computer Science - Volume 8900 2014 |
2014 |
|
From Consumer Requirements to Policies in Secure Services |
Erkuden Rios; Francesco Malmignati; Eider Iturbe; Michela D’Errico; Mattia Salnitri |
Chapter: Secure and Trustworthy Service Composition - Volume 8900 of the series Lecture Notes in Computer Science 2014 pp 79-94 |
2014 |
|
Practical Implementation of a Fault Injection Methodology using a simulation based approach in the framework of ISO 26262 |
Novello, Cristiano; Juez Uriagereka, Garazi |
Conference: edaWorkshop 14 - Tagungsband - 05/13/2014 - 05/14/2014 at Hannover, Germany |
2014 |
|
An industrial assessment for a multimodel framework |
Xabier Larrucea; Izaskun Santamaria |
Journal of Software: Evolution and Process
Special Issue: EuroSPI 2013
Volume 26, Issue 9, pages 837–845, September 2014 |
2014 |
|
Towards Self-Protective Multi-Cloud Applications - MUSA - a Holistic Framework to Support the Security-Intelligent Lifecycle Management of Multi-Cloud Applications |
Erkuden Rios; Eider Iturbe; Leire Orue-Echevarria; Massimiliano Rak; Valentina Casola |
In Proceedings of the 5th International Conference on Cloud Computing and Services Science, 551-558, 2015, Lisbon, Portugal |
2015 |
|
Self-protecting multi-cloud applications |
Antonio M. Ortiz; Erkuden Rios; Wissam Mallouli; Eider Iturbe; Edgardo Montes de Oca |
Communications and Network Security (CNS), 2015 IEEE Conference on - 28-30 Sept. 2015 - Page(s): 643 - 647 |
2015 |
|
Safety Case Driven Development for Medical Devices |
Ruiz, Alejandra; Barbosa, Paulo; Medeiros, Yang; Espinoza, Huascar |
Computer Safety, Reliability, and Security / Volume 9337 of the series Lecture Notes in Computer Science / pp. 183-196 / 2015 / 34th International Conference on Computer Safety, Reliability, and Security (SAFECOMP) |
2015 |
