Synthesis of Synchronization using Uninterpreted Functions

Roderick Paul Bloem; Georg Hofferek; Bettina Könighofer; Robert Könighofer; Simon Außerlechner; Raphael Spörk

Synthesis of Synchronization using Uninterpreted Functions

Roderick Paul Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Außerlechner, Raphael Spörk

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 of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014
Publisher	.
Pages	35-42
ISBN (Print)	978-0-9835678-4-4
Publication status	Published - 2014
Event	International Conference on Formal Methods in Computer-Aided Design - Lausanne, Switzerland Duration: 21 Oct 2014 → 24 Oct 2014

Conference

Conference	International Conference on Formal Methods in Computer-Aided Design
Country/Territory	Switzerland
City	Lausanne
Period	21/10/14 → 24/10/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

paper 29.pdfFinal published version, 336 KB

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
Project: Research project
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

@inproceedings{8e5797ed79984013829293116ebedb8e,

title = "Synthesis of Synchronization using Uninterpreted Functions",

author = "Bloem, {Roderick Paul} and Georg Hofferek and Bettina K{\"o}nighofer and Robert K{\"o}nighofer and Simon Au{\ss}erlechner and Raphael Sp{\"o}rk",

year = "2014",

language = "English",

isbn = "978-0-9835678-4-4",

pages = "35--42",

booktitle = "Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014",

publisher = ".",

note = "International Conference on Formal Methods in Computer-Aided Design ; Conference date: 21-10-2014 Through 24-10-2014",

}

TY - GEN

T1 - Synthesis of Synchronization using Uninterpreted Functions

AU - Bloem, Roderick Paul

AU - Hofferek, Georg

AU - Könighofer, Bettina

AU - Könighofer, Robert

AU - Außerlechner, Simon

AU - Spörk, Raphael

PY - 2014

Y1 - 2014

M3 - Conference paper

SN - 978-0-9835678-4-4

SP - 35

EP - 42

BT - Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014

PB - .

T2 - International Conference on Formal Methods in Computer-Aided Design

Y2 - 21 October 2014 through 24 October 2014

ER -

Synthesis of Synchronization using Uninterpreted Functions

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Projects

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this