Synthesizing Robust Systems with RATSY

Roderick Paul Bloem; Hans-Jürgen Gamauf; Georg Hofferek; Bettina Könighofer; Robert Könighofer

doi:http://dx.doi.org/10.4204/EPTCS.84.4

Synthesizing Robust Systems with RATSY

Roderick Paul Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer

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	Proceedings First Workshop on Synthesis (SYNT 2012)
Publisher	Electronic Proceedings in Theoretical Computer Science
Pages	47-53
Volume	84
DOIs	https://doi.org/10.4204/EPTCS.84.4
Publication status	Published - 2012
Event	Workshop on Synthesis (SYNT 2012) - Berkeley, California, United States Duration: 7 Jul 2012 → 8 Jul 2012

Conference

Conference	Workshop on Synthesis (SYNT 2012)
Country/Territory	United States
City	Berkeley, California
Period	7/07/12 → 8/07/12

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

http://dx.doi.org/10.4204/EPTCS.84.4

synt2012_submission_6.pdfFinal published version, 418 KB

Cite this

@inproceedings{d45900355be74531aab35f8203cf4b78,

title = "Synthesizing Robust Systems with RATSY",

author = "Bloem, {Roderick Paul} and Hans-J{\"u}rgen Gamauf and Georg Hofferek and Bettina K{\"o}nighofer and Robert K{\"o}nighofer",

year = "2012",

doi = "http://dx.doi.org/10.4204/EPTCS.84.4",

language = "English",

volume = "84",

pages = "47--53",

booktitle = "Proceedings First Workshop on Synthesis (SYNT 2012)",

publisher = "Electronic Proceedings in Theoretical Computer Science",

note = "Workshop on Synthesis (SYNT 2012) ; Conference date: 07-07-2012 Through 08-07-2012",

}

TY - GEN

T1 - Synthesizing Robust Systems with RATSY

AU - Bloem, Roderick Paul

AU - Gamauf, Hans-Jürgen

AU - Hofferek, Georg

AU - Könighofer, Bettina

AU - Könighofer, Robert

PY - 2012

Y1 - 2012

UR - http://eptcs.org/content.cgi?SYNT2012

UR - http://eptcs.org/paper.cgi?SYNT2012.4

U2 - http://dx.doi.org/10.4204/EPTCS.84.4

DO - http://dx.doi.org/10.4204/EPTCS.84.4

M3 - Conference paper

VL - 84

SP - 47

EP - 53

BT - Proceedings First Workshop on Synthesis (SYNT 2012)

PB - Electronic Proceedings in Theoretical Computer Science

T2 - Workshop on Synthesis (SYNT 2012)

Y2 - 7 July 2012 through 8 July 2012

ER -

Synthesizing Robust Systems with RATSY

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

RiSE - Rigorous Systems Engineering

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this

Synthesizing Robust Systems with RATSY

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

RiSE - Rigorous Systems Engineering

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this