Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

Roderick Paul Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer

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
Pages517-532
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., Chatterjee, K., Jacobs, S., & Könighofer, R. (2015). Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference (Vol. 9035, pp. 517-532). (Lecture Notes in Computer Science). Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-662-46681-0_50

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. / Bloem, Roderick Paul; Chatterjee, Krishnendu; Jacobs, Swen; Könighofer, Robert.

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

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

Bloem, RP, Chatterjee, K, Jacobs, S & Könighofer, R 2015, Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. 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. 517-532, 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_50
Bloem RP, Chatterjee K, Jacobs S, Könighofer R. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Vol. 9035. Berlin Heidelberg: Springer. 2015. p. 517-532. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-662-46681-0_50
Bloem, Roderick Paul ; Chatterjee, Krishnendu ; Jacobs, Swen ; Könighofer, Robert. / Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Vol. 9035 Berlin Heidelberg : Springer, 2015. pp. 517-532 (Lecture Notes in Computer Science).
@inproceedings{1e4e9eebee044877a19bb5dcf8bd35dc,
title = "Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information",
author = "Bloem, {Roderick Paul} and Krishnendu Chatterjee and Swen Jacobs and Robert K{\"o}nighofer",
year = "2015",
doi = "10.1007/978-3-662-46681-0_50",
language = "English",
isbn = "978-3-662-46680-3",
volume = "9035",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "517--532",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference",

}

TY - GEN

T1 - Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

AU - Bloem, Roderick Paul

AU - Chatterjee, Krishnendu

AU - Jacobs, Swen

AU - Könighofer, Robert

PY - 2015

Y1 - 2015

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

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

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

M3 - Conference contribution

SN - 978-3-662-46680-3

VL - 9035

T3 - Lecture Notes in Computer Science

SP - 517

EP - 532

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

PB - Springer

CY - Berlin Heidelberg

ER -