The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

R. Barbosa; Stylianos Basagiannis; Georgios Giantamidis; H. Becker; Enrico Ferrari; J. Jahic; A. Kanak; Mikel Esnaola; Vanessa Orani; David Pereira; Luigi Pomante; Rupert Schlick; Ales Smrcka; A. Yazici; Peter Folkesson; Behrooz Sangchoolie

doi:10.1109/DSD51259.2020.00064

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

R. Barbosa (Speaker), Stylianos Basagiannis, Georgios Giantamidis, H. Becker, Enrico Ferrari, J. Jahic, A. Kanak, Mikel Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, A. Yazici, Peter Folkesson, Behrooz Sangchoolie

Security & Communication Technologies

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation

Original language	English
Title of host publication	Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020)
Pages	352-359
Number of pages	8
DOIs	https://doi.org/10.1109/DSD51259.2020.00064
Publication status	Published - 2020
Event	23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020 - Duration: 26 Aug 2020 → 28 Aug 2020

Conference

Conference	23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020
Period	26/08/20 → 28/08/20

Research Field

Dependable Systems Engineering

Access to Document

10.1109/DSD51259.2020.00064Licence: Unspecified

Cite this

Barbosa, R., Basagiannis, S., Giantamidis, G., Becker, H., Ferrari, E., Jahic, J., Kanak, A., Esnaola, M., Orani, V., Pereira, D., Pomante, L., Schlick, R., Smrcka, A., Yazici, A., Folkesson, P., & Sangchoolie, B. (2020). The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. In Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020) (pp. 352-359) https://doi.org/10.1109/DSD51259.2020.00064

@inproceedings{70e4c4dc442144bf9e4ecc0a7a805b7d,

title = "The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security",

author = "R. Barbosa and Stylianos Basagiannis and Georgios Giantamidis and H. Becker and Enrico Ferrari and J. Jahic and A. Kanak and Mikel Esnaola and Vanessa Orani and David Pereira and Luigi Pomante and Rupert Schlick and Ales Smrcka and A. Yazici and Peter Folkesson and Behrooz Sangchoolie",

year = "2020",

doi = "10.1109/DSD51259.2020.00064",

language = "English",

isbn = "9781728195360",

pages = "352--359",

booktitle = "Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020)",

note = "23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020 ; Conference date: 26-08-2020 Through 28-08-2020",

}

Barbosa, R, Basagiannis, S, Giantamidis, G, Becker, H, Ferrari, E, Jahic, J, Kanak, A, Esnaola, M, Orani, V, Pereira, D, Pomante, L, Schlick, R, Smrcka, A, Yazici, A, Folkesson, P & Sangchoolie, B 2020, The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. in Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020). pp. 352-359, 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020, 26/08/20. https://doi.org/10.1109/DSD51259.2020.00064

TY - GEN

T1 - The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

AU - Basagiannis, Stylianos

AU - Giantamidis, Georgios

AU - Becker, H.

AU - Ferrari, Enrico

AU - Jahic, J.

AU - Kanak, A.

AU - Esnaola, Mikel

AU - Orani, Vanessa

AU - Pereira, David

AU - Pomante, Luigi

AU - Schlick, Rupert

AU - Smrcka, Ales

AU - Yazici, A.

AU - Folkesson, Peter

AU - Sangchoolie, Behrooz

A2 - Barbosa, R.

PY - 2020

Y1 - 2020

U2 - 10.1109/DSD51259.2020.00064

DO - 10.1109/DSD51259.2020.00064

M3 - Conference Proceedings with Oral Presentation

SN - 9781728195360

SP - 352

EP - 359

BT - Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020)

T2 - 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020

Y2 - 26 August 2020 through 28 August 2020

ER -