Specification-centered robustness

Roderick Paul Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Barbara Jobstmann

doi:10.1109/SIES.2011.5953660

Specification-centered robustness

Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	2011 6th International Symposium on Industrial Embedded Systems
Place of Publication	Piscataway, NJ
Publisher	Institute of Electrical and Electronics Engineers
Pages	176-185
ISBN (Print)	978-1-612-84818-1
DOIs	https://doi.org/10.1109/SIES.2011.5953660
Publication status	Published - 2011
Event	IEEE International Symposium on Industrial Embedded Systems - Västeràs, Sweden Duration: 15 Jun 2011 → 17 Jun 2011

Conference

Conference	IEEE International Symposium on Industrial Embedded Systems
Country/Territory	Sweden
City	Västeràs
Period	15/06/11 → 17/06/11

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1109/SIES.2011.5953660

Cite this

Specification-centered robustness. / Bloem, Roderick Paul; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Jobstmann, Barbara.

2011 6th International Symposium on Industrial Embedded Systems. Piscataway, NJ : Institute of Electrical and Electronics Engineers, 2011. p. 176-185.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Bloem, RP, Chatterjee, K, Greimel, K, Henzinger, TA & Jobstmann, B 2011, Specification-centered robustness. in 2011 6th International Symposium on Industrial Embedded Systems. Institute of Electrical and Electronics Engineers, Piscataway, NJ, pp. 176-185, IEEE International Symposium on Industrial Embedded Systems, Västeràs, Sweden, 15/06/11. https://doi.org/10.1109/SIES.2011.5953660

@inproceedings{8d58748f033b43ff968b0e97e4c5baf4,

title = "Specification-centered robustness",

author = "Bloem, {Roderick Paul} and Krishnendu Chatterjee and Karin Greimel and Henzinger, {Thomas A.} and Barbara Jobstmann",

year = "2011",

doi = "10.1109/SIES.2011.5953660",

language = "English",

isbn = "978-1-612-84818-1",

pages = "176--185",

booktitle = "2011 6th International Symposium on Industrial Embedded Systems",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "IEEE International Symposium on Industrial Embedded Systems ; Conference date: 15-06-2011 Through 17-06-2011",

}

TY - GEN

T1 - Specification-centered robustness

AU - Bloem, Roderick Paul

AU - Chatterjee, Krishnendu

AU - Greimel, Karin

AU - Henzinger, Thomas A.

AU - Jobstmann, Barbara

PY - 2011

Y1 - 2011

UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5953660

U2 - 10.1109/SIES.2011.5953660

DO - 10.1109/SIES.2011.5953660

M3 - Conference paper

SN - 978-1-612-84818-1

SP - 176

EP - 185

BT - 2011 6th International Symposium on Industrial Embedded Systems

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway, NJ

T2 - IEEE International Symposium on Industrial Embedded Systems

Y2 - 15 June 2011 through 17 June 2011

ER -

Specification-centered robustness

Conference

Fields of Expertise

Access to Document

Other files and links

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this

Specification-centered robustness

Conference

Fields of Expertise

Access to Document

Other files and links

Projects

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this