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

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	FMCAD 2013 - Formal Methods in Computer-Aided Design
Publisher	Institute of Electrical and Electronics Engineers
Pages	77-84
ISBN (Print)	978-0-9835678-3-7
Publication status	Published - 2013
Event	International Conference on Formal Methods in Computer-Aided Design - Portland, Oregon, United States Duration: 20 Oct 2013 → 23 Oct 2013

Conference

Conference	International Conference on Formal Methods in Computer-Aided Design
Country/Territory	United States
City	Portland, Oregon
Period	20/10/13 → 23/10/13

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Basic - Fundamental (Grundlagenforschung)
Application

Access to Document

main_full.pdfFinal published version, 659 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
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
Project: Research project

Cite this

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, pp. 77-84, International Conference on Formal Methods in Computer-Aided Design, Portland, Oregon, United States, 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

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

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

Cite this