Shield Synthesis: - Runtime Enforcement for Reactive Systems

Roderick Paul Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference
Place of PublicationBerlin Heidelberg
PublisherSpringer
Pages533-548
Volume9035
ISBN (Print)978-3-662-46680-3
DOIs
Publication statusPublished - 2015
EventInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - London, United Kingdom
Duration: 13 Apr 201517 Apr 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
CountryUnited Kingdom
CityLondon
Period13/04/1517/04/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Bloem, R. P., Könighofer, B., Könighofer, R., & Wang, C. (2015). Shield Synthesis: - Runtime Enforcement for Reactive Systems. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference (Vol. 9035, pp. 533-548). (Lecture Notes in Computer Science). Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-662-46681-0_51

Shield Synthesis: - Runtime Enforcement for Reactive Systems. / Bloem, Roderick Paul; Könighofer, Bettina; Könighofer, Robert; Wang, Chao.

Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Vol. 9035 Berlin Heidelberg : Springer, 2015. p. 533-548 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Könighofer, B, Könighofer, R & Wang, C 2015, Shield Synthesis: - Runtime Enforcement for Reactive Systems. in Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. vol. 9035, Lecture Notes in Computer Science, Springer, Berlin Heidelberg, pp. 533-548, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom, 13/04/15. https://doi.org/10.1007/978-3-662-46681-0_51
Bloem RP, Könighofer B, Könighofer R, Wang C. Shield Synthesis: - Runtime Enforcement for Reactive Systems. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Vol. 9035. Berlin Heidelberg: Springer. 2015. p. 533-548. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-662-46681-0_51
Bloem, Roderick Paul ; Könighofer, Bettina ; Könighofer, Robert ; Wang, Chao. / Shield Synthesis: - Runtime Enforcement for Reactive Systems. Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Vol. 9035 Berlin Heidelberg : Springer, 2015. pp. 533-548 (Lecture Notes in Computer Science).
@inproceedings{2c2b4fb1675841f2b2df2a8a264e3997,
title = "Shield Synthesis: - Runtime Enforcement for Reactive Systems",
author = "Bloem, {Roderick Paul} and Bettina K{\"o}nighofer and Robert K{\"o}nighofer and Chao Wang",
year = "2015",
doi = "10.1007/978-3-662-46681-0_51",
language = "English",
isbn = "978-3-662-46680-3",
volume = "9035",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "533--548",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference",

}

TY - GEN

T1 - Shield Synthesis: - Runtime Enforcement for Reactive Systems

AU - Bloem, Roderick Paul

AU - Könighofer, Bettina

AU - Könighofer, Robert

AU - Wang, Chao

PY - 2015

Y1 - 2015

UR - http://www.etaps.org/2015/tacas

U2 - 10.1007/978-3-662-46681-0_51

DO - 10.1007/978-3-662-46681-0_51

M3 - Conference contribution

SN - 978-3-662-46680-3

VL - 9035

T3 - Lecture Notes in Computer Science

SP - 533

EP - 548

BT - Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference

PB - Springer

CY - Berlin Heidelberg

ER -