From signal temporal logic to FPGA monitors

Stefan Jaksic (Speaker), Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	13. ACM/IEEE International Conference on Formal Methods and Models for Codesign
Pages	218-227
Number of pages	10
Publication status	Published - 2015
Event	MEMOCODE 2015 - Duration: 21 Sept 2015 → 23 Sept 2015

Conference	MEMOCODE 2015
Period	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 -