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

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

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

Originalsprache	englisch
Titel	Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014
Herausgeber (Verlag)	.
Seiten	35-42
ISBN (Print)	978-0-9835678-4-4
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	International Conference on Formal Methods in Computer-Aided Design - Lausanne, Schweiz Dauer: 21 Okt. 2014 → 24 Okt. 2014

Konferenz

Konferenz	International Conference on Formal Methods in Computer-Aided Design
Land/Gebiet	Schweiz
Ort	Lausanne
Zeitraum	21/10/14 → 24/10/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Zugriff auf Dokument

paper 29.pdfEndgültige, publizierte Fassung, 336 KB

FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
Projekt: Foschungsprojekt
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Foschungsprojekt
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

@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

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Projekte

FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Dieses zitieren