Shield Synthesis: - Runtime Enforcement for Reactive Systems

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

doi:10.1007/978-3-662-46681-0_51

Shield Synthesis: - Runtime Enforcement for Reactive Systems

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

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference
Erscheinungsort	Berlin Heidelberg
Herausgeber (Verlag)	Springer
Seiten	533-548
Band	9035
ISBN (Print)	978-3-662-46680-3
DOIs	https://doi.org/10.1007/978-3-662-46681-0_51
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	International Conference on Tools and Algorithms for the Construction and Analysis of Systems - London, Großbritannien / Vereinigtes Königreich Dauer: 13 Apr. 2015 → 17 Apr. 2015

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	London
Zeitraum	13/04/15 → 17/04/15

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Zugriff auf Dokument

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

main.pdfEndgültige, publizierte Fassung, 331 KB

Andere Dateien und Links

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

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE
Tögl, R., Könighofer, R. & Bloem, R.
1/10/12 → 30/09/15
Projekt: Forschungsprojekt
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Forschungsprojekt
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
Projekt: Arbeitsgebiet

Dieses zitieren

Shield Synthesis: - Runtime Enforcement for Reactive Systems. / Bloem, Roderick Paul ; Könighofer, Bettina; Könighofer, Robert et al.
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Band 9035 Berlin Heidelberg: Springer, 2015. S. 533-548 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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. Bd. 9035, Lecture Notes in Computer Science, Springer, Berlin Heidelberg, S. 533-548, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, Großbritannien / Vereinigtes Königreich, 13/04/15. https://doi.org/10.1007/978-3-662-46681-0_51

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

note = "International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; Conference date: 13-04-2015 Through 17-04-2015",

}

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 paper

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

T2 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Y2 - 13 April 2015 through 17 April 2015

ER -

Shield Synthesis: - Runtime Enforcement for Reactive Systems

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Dieses zitieren