1. 2020
  2. Combining Fault Analysis Technologies for ISO26262 Functional Safety Verification

    Augusto da Silva, F., Bagbaba, A. C., Hamdioui, S. & Sauer, C., 2020, 2019 IEEE 28th Asian Test Symposium (ATS). Bilof, R. S. (ed.). Piscataway: IEEE, p. 129-134 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. 2019
  4. Efficient Methodology for ISO26262 Functional Safety Verification

    Silva, F. A. D., Bagbaba, A. C., Hamdioui, S. & Sauer, C., 1 Jul 2019, 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019. Gizopoulos, D., Alexandrescu, D., Papavramidou, P. & Maniatakos, M. (eds.). Piscataway: IEEE, p. 255-256 2 p. 8854449

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. 2018
  6. Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262

    Augusto da Silva, F., Bagbaba, A. C., Hamdioui, S. & Sauer, C., 2018, DVCon Europe 2018. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

ID: 37770004