|
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 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 |
|
Adequacy of contract grammars for component certification |
Alejandra Ruiz; Huascar Espinoza; Tim Kelly |
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC, 2013 |
2013 |
