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 contribution

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	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

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

2 Finished

RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Project: Research project
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Project: Research area

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 contribution

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",

}

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 contribution

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

ER -

Specification-centered robustness

Conference

Fields of Expertise

Access to Document

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this