|
Towards a multi-view point safety contract |
Alejandra Ruiz; Tim Kelly; Huascar Espinoza |
Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA, 2013 |
2013 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
An industrial experience in cross domain assurance projects |
Alejandra Ruiz; Xabier Larrucea; Huascar Espinoza; Franck Aime; Cyril Marchand |
Systems, Software and Services Process Improvement - Volume 543 of the series Communications in Computer and Information Science pp 29-38 - September 2015 |
2015 |
|
A safe generic adaptation mechanism for smart cars |
Alejandra Ruiz; Garazi Juez; P.Schleiss; G.Weiss |
Published in: Software Reliability Engineering (ISSRE), 2015 IEEE 26th International Symposium on Date of Conference: 2-5 Nov. 2015 Page(s): 161 - 171 |
2015 |
|
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 |
