Debugging Unrealizable Specifications with Model-Based Diagnosis

Robert Könighofer; Georg Hofferek; Roderick Paul Bloem

Debugging Unrealizable Specifications with Model-Based Diagnosis

Robert Könighofer, Georg Hofferek, 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	Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Erscheinungsort	Berlin Heidelberg
Herausgeber (Verlag)	Springer
Seiten	29-45
Band	6504
ISBN (Print)	978-3-642-19582-2
Publikationsstatus	Veröffentlicht - 2011
Veranstaltung	Haifa Verification Conference 2010 - Haifa, Israel Dauer: 5 Okt. 2010 → 7 Okt. 2010

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	Haifa Verification Conference 2010
Kurztitel	HVC
Land/Gebiet	Israel
Ort	Haifa
Zeitraum	5/10/10 → 7/10/10

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Zugriff auf Dokument

final_hvc10.pdfEndgültige, publizierte Fassung, 265 KB

Andere Dateien und Links

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: Forschungsprojekt
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

Debugging Unrealizable Specifications with Model-Based Diagnosis. / Könighofer, Robert; Hofferek, Georg; Bloem, Roderick Paul.
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Band 6504 Berlin Heidelberg: Springer, 2011. S. 29-45 (Lecture Notes in Computer Science).

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

Könighofer, R, Hofferek, G & Bloem, RP 2011, Debugging Unrealizable Specifications with Model-Based Diagnosis. in Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Bd. 6504, Lecture Notes in Computer Science, Springer, Berlin Heidelberg, S. 29-45, Haifa Verification Conference 2010, Haifa, Israel, 5/10/10.

Könighofer, Robert ; Hofferek, Georg ; Bloem, Roderick Paul. / Debugging Unrealizable Specifications with Model-Based Diagnosis. Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Band 6504 Berlin Heidelberg : Springer, 2011. S. 29-45 (Lecture Notes in Computer Science).

@inproceedings{50d721beaa334348ba8fadc1b6fe3e0b,

title = "Debugging Unrealizable Specifications with Model-Based Diagnosis",

author = "Robert K{\"o}nighofer and Georg Hofferek and Bloem, {Roderick Paul}",

year = "2011",

language = "English",

isbn = "978-3-642-19582-2",

volume = "6504",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "29--45",

booktitle = "Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers",

note = "Haifa Verification Conference 2010, HVC ; Conference date: 05-10-2010 Through 07-10-2010",

}

TY - GEN

T1 - Debugging Unrealizable Specifications with Model-Based Diagnosis

AU - Könighofer, Robert

AU - Hofferek, Georg

AU - Bloem, Roderick Paul

PY - 2011

Y1 - 2011

UR - http://www.springerlink.com/content/e83u817351416271/

UR - https://www.research.ibm.com/haifa/conferences/hvc2010/index.shtml

M3 - Conference paper

SN - 978-3-642-19582-2

VL - 6504

T3 - Lecture Notes in Computer Science

SP - 29

EP - 45

BT - Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

PB - Springer

CY - Berlin Heidelberg

T2 - Haifa Verification Conference 2010

Y2 - 5 October 2010 through 7 October 2010

ER -

Debugging Unrealizable Specifications with Model-Based Diagnosis

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

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

Formal Methods for Design & Verification

Dieses zitieren