In-Situ Requirements Monitoring of Embedded Systems
- 期刊名称IEEE Embedded Systems Letters
- 作者Seo, Minjun; Lysecky, Roman
- 印刷ISSN1943-0663
- 电子ISSN1943-0671
- 文件大小892.35KB
- 发表时间2016
- DOI10.1109/les.2016.2568042
- 页码1-1
Non-Intrusive In-Situ Requirements Monitoring of Embedded SystemSeo, Minjun; Lysecky, Roman · ACM Transactions on Design Automation of Electronic Systems · 2018
[ACM Press the 2019 - Tysons Corner, VA, USA (2019.05.09-2019.05.11)] Proceedings of the 2019 on Great Lakes Symposium on VLSI - GLSVLSI '19 - Automatic Extraction of Requirements from State-based Hardware Designs for Runtime VerificationSeo, Minjun; Lysecky, Roman · 2019
[IEEE 2015 20th Asia and South Pacific Design Automation Conference (ASP-DAC) - Chiba, Japan (2015.1.19-2015.1.22)] The 20th Asia and South Pacific Design Automation Conference - Timing-based anomaly detection in embedded systemsSixing Lu, ; Minjun Seo, ; Lysecky, Roman · 2015
[IEEE 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) - Turin (2018.9.30-2018.10.5)] 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) - Work-in-Progress: Runtime Requirements Monitoring for State-based HardwareSeo, Minjun; Lysecky, Roman · 2018
Table of ContentsIEEE Embedded Systems Letters · 2015
Blank pageIEEE Embedded Systems Letters · 2015
IEEE Embedded Systems Letters publication informationIEEE Embedded Systems Letters · 2015
Expand your professional network with IEEEIEEE Embedded Systems Letters · 2015
Expand your network, get rewardedIEEE Embedded Systems Letters · 2015
Blank pageIEEE Embedded Systems Letters · 2015
Blank pageIEEE Embedded Systems Letters · 2016
Introducing IEEE CollabratecIEEE Embedded Systems Letters · 2015