From signal temporal logic to FPGA monitors

Stefan Jaksic (Vortragende:r), Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	13. ACM/IEEE International Conference on Formal Methods and Models for Codesign
Seiten	218-227
Seitenumfang	10
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	MEMOCODE 2015 - Dauer: 21 Sept. 2015 → 23 Sept. 2015

Konferenz	MEMOCODE 2015
Zeitraum	21/09/15 → 23/09/15

Research Field

@inproceedings{55a381a0b994435b8cf24db02257c0a3,

title = "From signal temporal logic to FPGA monitors",

author = "Stefan Jaksic and Ezio Bartocci and Radu Grosu and Reinhard Kloibhofer and Thang Nguyen and Dejan Nickovic",

year = "2015",

language = "English",

isbn = "978-1-5090-0237-5",

pages = "218--227",

booktitle = "13. ACM/IEEE International Conference on Formal Methods and Models for Codesign",

note = "MEMOCODE 2015 ; Conference date: 21-09-2015 Through 23-09-2015",

}

TY - GEN

T1 - From signal temporal logic to FPGA monitors

AU - Bartocci, Ezio

AU - Grosu, Radu

AU - Kloibhofer, Reinhard

AU - Nguyen, Thang

AU - Nickovic, Dejan

A2 - Jaksic, Stefan

PY - 2015

Y1 - 2015

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-5090-0237-5

SP - 218

EP - 227

BT - 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign

T2 - MEMOCODE 2015

Y2 - 21 September 2015 through 23 September 2015

ER -