Publications

Title Authors Publisher Year
A Harmonized Multimodel Framework for Safety Environments. Xabier Larrucea; Izaskun Santamaria; Paolo Panaroni EuroSPI 2012: 121-132 2012
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
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
A Verification Framework for Fault Injection using Questa for Automotive Applications Cristiano Novello; Garazi Juez User to User Conference - October 17th, 2013 2013
A Simulation Based Framework for Fault Injection Testing of Devices for Automotive Applications Cristiano Novello; Garazi Juez AMP-S Design Symposium, Infineon Technologies Austria AG, April 2013 2013
A Verification Framework for Fault Injection using Questa for Automotive Applications Cristiano Novello; Garazi Juez Mentor Graphics User2User, München, October 2013 2013
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

Pages