Weakness monitors for Fail-Aware Systems

Wolfgang Granig; Stefan Jaksic; Horst Lewitschnig; Cristinel Mateis; Dejan Nickovic

Weakness monitors for Fail-Aware Systems

Wolfgang Granig (Author, Invited)
, Stefan Jaksic (Speaker, Invited)
, Horst Lewitschnig (Author, Invited)
, Cristinel Mateis (Author, Invited)
, Dejan Nickovic (Author, Invited)

Infineon Technologies Austria AG

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

Original language	English
Title of host publication	18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings
Publisher	Springer
Pages	283-301
Number of pages	19
ISBN (Print)	978-3-030-57628-8
Publication status	Published - 2020
Event	2020 International Conference on Formal Modeling and Analysis of Timed Systems - Duration: 1 Sept 2020 → 4 Sept 2020

Conference

Conference	2020 International Conference on Formal Modeling and Analysis of Timed Systems
Period	1/09/20 → 4/09/20

Research Field

Dependable Systems Engineering

Cite this

@inproceedings{35f55f6ce28d4027aea257cd947ccd28,

title = "Weakness monitors for Fail-Aware Systems",

author = "Wolfgang Granig and Stefan Jaksic and Horst Lewitschnig and Cristinel Mateis and Dejan Nickovic",

year = "2020",

language = "English",

isbn = "978-3-030-57628-8",

pages = "283--301",

booktitle = "18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings",

publisher = "Springer",

address = "Germany",

note = "2020 International Conference on Formal Modeling and Analysis of Timed Systems ; Conference date: 01-09-2020 Through 04-09-2020",

}

Weakness monitors for Fail-Aware Systems. / Granig, Wolfgang (Author, Invited); Jaksic, Stefan (Speaker, Invited); Lewitschnig, Horst (Author, Invited) et al.
18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Springer, 2020. p. 283-301.

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

TY - GEN

T1 - Weakness monitors for Fail-Aware Systems

A2 - Granig, Wolfgang

A2 - Jaksic, Stefan

A2 - Lewitschnig, Horst

A2 - Mateis, Cristinel

A2 - Nickovic, Dejan

PY - 2020

Y1 - 2020

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-57628-8

SP - 283

EP - 301

BT - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings

PB - Springer

T2 - 2020 International Conference on Formal Modeling and Analysis of Timed Systems

Y2 - 1 September 2020 through 4 September 2020

ER -