Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

Georg Hofferek; Ashutosh Gupta; Bettina Könighofer; Jie-Hong Roland Jiang; Roderick Paul Bloem

Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Paul Bloem

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

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

Originalsprache	englisch
Titel	FMCAD 2013 - Formal Methods in Computer-Aided Design
Herausgeber (Verlag)	Institute of Electrical and Electronics Engineers
Seiten	77-84
ISBN (Print)	978-0-9835678-3-7
Publikationsstatus	Veröffentlicht - 2013
Veranstaltung	International Conference on Formal Methods in Computer-Aided Design - Portland, Oregon, USA / Vereinigte Staaten Dauer: 20 Okt. 2013 → 23 Okt. 2013

Konferenz

Konferenz	International Conference on Formal Methods in Computer-Aided Design
Land/Gebiet	USA / Vereinigte Staaten
Ort	Portland, Oregon
Zeitraum	20/10/13 → 23/10/13

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)
Application

Zugriff auf Dokument

main_full.pdfEndgültige, publizierte Fassung, 659 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
EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Projekt: Foschungsprojekt

Dieses zitieren

Hofferek, G, Gupta, A, Könighofer, B, Jiang, J-HR & Bloem, RP 2013, Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. in FMCAD 2013 - Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, S. 77-84, International Conference on Formal Methods in Computer-Aided Design, Portland, Oregon, USA / Vereinigte Staaten, 20/10/13.

@inproceedings{b58f0fc0f62744d8a3e34370da2484f1,

title = "Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof",

author = "Georg Hofferek and Ashutosh Gupta and Bettina K{\"o}nighofer and Jiang, {Jie-Hong Roland} and Bloem, {Roderick Paul}",

year = "2013",

language = "English",

isbn = "978-0-9835678-3-7",

pages = "77--84",

booktitle = "FMCAD 2013 - Formal Methods in Computer-Aided Design",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "International Conference on Formal Methods in Computer-Aided Design ; Conference date: 20-10-2013 Through 23-10-2013",

}

TY - GEN

T1 - Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

AU - Hofferek, Georg

AU - Gupta, Ashutosh

AU - Könighofer, Bettina

AU - Jiang, Jie-Hong Roland

AU - Bloem, Roderick Paul

PY - 2013

Y1 - 2013

M3 - Conference paper

SN - 978-0-9835678-3-7

SP - 77

EP - 84

BT - FMCAD 2013 - Formal Methods in Computer-Aided Design

PB - Institute of Electrical and Electronics Engineers

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

Y2 - 20 October 2013 through 23 October 2013

ER -

Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Projekte

FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur

RiSE - Rigorous Systems Engineering

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

Dieses zitieren