|
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 |
|
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 |
|
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 |
