João Carlos Cunha

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020

Challenges and Solutions from an Embedded Programming Bootcamp.

[BibT_eX]

[DOI]

Proceedings of the First International Computer Programming Education Conference, 2020

6th International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2020.

[BibT_eX]

[DOI]

Kalinka Branco

Michaël Lauer

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

2018

SSIV 2018 Introduction.

[BibT_eX]

[DOI]

Kalinka Branco

Michaël Lauer

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2017

A field study on root cause analysis of defects in space software.

[BibT_eX]

[DOI]

Nuno Silva

Emerson Alberto Marconato

Marco Vieira

Reliab. Eng. Syst. Saf., 2017

Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Douglas Rodrigues

Rayner de Melo Pires

Kalinka R. L. J. Castelo Branco

Marco Vieira

IEEE Intell. Transp. Syst. Mag., 2017

Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial].

[BibT_eX]

[DOI]

Kalinka Castelo Branco

António Casimiro

Urbano Nunes

IEEE Intell. Transp. Syst. Mag., 2017

Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

SSIV 2017 Welcome.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

2016

Using Failure Prediction to Improve FPGA Scrubbing.

[BibT_eX]

[DOI]

Jose Luis Nunes

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

On the Effects of Cumulative SEUs in FPGA-Based Systems.

[BibT_eX]

[DOI]

Jose Luis Nunes

Proceedings of the 12th European Dependable Computing Conference, 2016

SOASales: A SOA System for Research Purposes.

[BibT_eX]

[DOI]

Carla Machado

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Introduction to SSIV 2016.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2015

FIRED - Fault Injector for Reconfigurable Embedded Devices.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Workshop on Safety and Security of Intelligent Vehicles (SSIV).

[BibT_eX]

[DOI]

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

Studying the Propagation of Failures in SOAs.

[BibT_eX]

[DOI]

Marco Vieira

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

2014

On Applying FMEA to SOAs: A Proposal and Open Challenges.

[BibT_eX]

[DOI]

Nuno Antunes

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Towards Certification of Automotive Software.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

A view on the past and future of fault injection.

[BibT_eX]

[DOI]

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Evaluating Xilinx SEU Controller Macro for fault injection.

[BibT_eX]

[DOI]

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

Dependable and Secure Embedded Node Demonstrator.

[BibT_eX]

[DOI]

Przemyslaw Osocha

Fabio Giovagnini

Proceedings of the Computer Safety, Reliability, and Security, 2012

On the Use of Boundary Scan for Code Coverage of Critical Embedded Software.

[BibT_eX]

[DOI]

Ricardo Barbosa

Gilberto Rodrigues

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

2011

Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Implementing Software Effort Estimation in a Medium-sized Company.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Using partial dynamic FPGA reconfiguration to support real-time dependability.

[BibT_eX]

[DOI]

Proceedings of the 13th European Workshop on Dependable Computing, 2011

2005

On the Effects of Errors During Boot.

[BibT_eX]

[DOI]

Carlos Bruno Silva

Luís Ferreira da Silva

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

2002

Reset-Driven Fault Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2002

On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

A Study of Failure Models in Feedback Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

1999

Can Software Implemented Fault-Injection Be Used on Real-Time Systems?.

[BibT_eX]

[DOI]

João Gabriel Silva

Proceedings of the Dependable Computing, 1999

1996

DELFIM: Error Detection by Thin Memory Protection.

[BibT_eX]

[DOI]