Publications

Title Authors Publisher Year
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse Alejandra Ruiz; Ibrahim Habli; Huáscar Espinoza Computer Safety, Reliability, and Security - Volume 7613 of the series Lecture Notes in Computer Science 2012 pp 22-35 2012
A Generic Executable Framework For Model-driven Engineering Adrián Noguero; Huáscar Espinoza Information Systems and Technologies (CISTI), 2012 7th Iberian Conference on - June 2012 - Page(s): 1 - 6 2012
Special issue on Model Based Engineering for Embedded Systems Design Daniela Cancila; Huáscar Espinoza; Richard F. Paige Journal of Systems Architecture - Embedded Systems Design 58(5): 177 (2012) 2012
A Harmonized Multimodel Framework for Safety Environments. Xabier Larrucea; Izaskun Santamaria; Paolo Panaroni EuroSPI 2012: 121-132 2012
A Fault Injection Verification System Targeting ISO 26262 Compliancy Cristiano Novello; Garazi Juez AMP-S Design Symposium, Infineon Technologies Austria AG, April 2013 2013
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
Safety-Critical Software Xabier Larrucea; Annie Combelles; John Favaro IEEE Software, vol.30, no. 3, pp. 25-27, May-June 2013 2013
Safety-Critical Software [Guest editors' introduction]. IEEE Software Xabier Larrucea; Annie Combelles; John M. Favaro Published in: IEEE Software (Volume:30 , Issue: 3 ) - Page(s): 25 - 27 - May-June 2013 2013

Pages