|
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 |
|
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 |
|
A review of travel time estimation and forecasting for Advanced Traveller Information Systems |
Mori, Usue; Mendiburu, Alexander; Álvarez, Maite; Lozano, Jose A |
Transportmetrica A: Transport Science - Volume 11, Issue 2, 2015 |
2015 |
|
Un système expert fondé sur une analyse sémantique pour l'identification de menaces d'ordre biologique |
Cédric Lopez; Aleksandra Ponomareva; Cécile Robin; André Bittar; Paolo Curtoni; Xabier Larrucea; Frédérique Segond; Marie-Hélène Metzger |
Conference Paper - June 2015 - Conference: TALN 2015 |
2015 |
|
Multidirectional Modular Conditional Safety Certificates |
Tiago Amorim; Alejandra Ruiz; Christoph Dropmann; Daniel Schneider |
Computer Safety, Reliability, and Security - Volume 9338 of the series Lecture Notes in Computer Science pp 357-368 |
2015 |
