Automatic Failure Explanation in CPS Models

Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic

Automatic Failure Explanation in CPS Models

Ezio Bartocci, Niveditha Manjunath (Speaker), Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

Security & Communication Technologies

TU Wien

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

Original language	English
Title of host publication	Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
Pages	69-85
Number of pages	17
Publication status	Published - 2019
Event	SEFM 2019 - Duration: 18 Sept 2019 → 20 Sept 2019

Conference

Conference	SEFM 2019
Period	18/09/19 → 20/09/19

Research Field

Dependable Systems Engineering

Cite this

@inproceedings{d51f34725faa4f8db0d6d9545ef6147f,

title = "Automatic Failure Explanation in CPS Models",

author = "Ezio Bartocci and Niveditha Manjunath and Leonardo Mariani and Cristinel Mateis and Dejan Nickovic",

year = "2019",

language = "English",

isbn = "978-3-030-30445-4",

pages = "69--85",

booktitle = "Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings",

note = "SEFM 2019 ; Conference date: 18-09-2019 Through 20-09-2019",

}

Automatic Failure Explanation in CPS Models. / Bartocci, Ezio; Manjunath, Niveditha (Speaker); Mariani, Leonardo et al.
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. 2019. p. 69-85.

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

TY - GEN

T1 - Automatic Failure Explanation in CPS Models

AU - Bartocci, Ezio

AU - Mariani, Leonardo

AU - Mateis, Cristinel

AU - Nickovic, Dejan

A2 - Manjunath, Niveditha

PY - 2019

Y1 - 2019

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-30445-4

SP - 69

EP - 85

BT - Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings

T2 - SEFM 2019

Y2 - 18 September 2019 through 20 September 2019

ER -