TY - CHAP A1 - Fibich, Christian A1 - Horauer, Martin A1 - Obermaisser, Roman T1 - HLShield: A Reliability Enhancement Framework for High-Level Synthesis T2 - 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017) KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Fibich, Christian A1 - Rössler, Peter A1 - Tauner, Stefan A1 - Matschnig, Martin A1 - Taucher, Herbert T1 - A FPGA-based Demonstrator for Safety-Critical Applications T2 - IEEE Austria Austrochip 2017, Oct. 12, 2017, Linz KW - Embedded Systems KW - FPGA Y1 - 2019 ER - TY - CHAP A1 - Fibich, Christian A1 - Wenzl, Matthias A1 - Rössler, Peter T1 - On Automated Generation of Checker Units from Hardware Assertion Languages T2 - Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014 KW - Embedded Systems Y1 - 2019 ER - TY - CHAP A1 - Fibich, Christian A1 - Tauner, Stefan A1 - Rössler, Peter A1 - Horauer, Martin T1 - Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures T2 - Proceedings of the 2020 15th Conference on Computer Science and Information Systems (FedCSIS), 6-9 September 2020, Sofia, Bulgaria KW - Embedded Systems KW - Basic Linear Algebra Subprograms KW - Benchmarks KW - ARM KW - RISC-V Y1 - SP - 663 EP - 672 ER - TY - CHAP A1 - Fibich, Christian A1 - Tauner, Stefan A1 - Rössler, Peter A1 - Horauer, Martin A1 - Krapfenbauer, Markus A1 - Linauer, Martin A1 - Matschnig, Martin A1 - Taucher, Herbert T1 - Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications T2 - 8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro KW - Embedded Systems KW - Basic Linear Algebra Subprograms KW - BLAS KW - Benchmark Y1 - 2019 ER - TY - JOUR A1 - Fibich, Christian A1 - Rössler, Peter A1 - Tauner, Stefan A1 - Taucher, Herbert A1 - Matschnig, Martin T1 - A Netlist-level Fault-injection Tool for FPGAs JF - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015) KW - FPGA KW - Embedded Systems KW - Electronic Engineering KW - Information Technology Y1 - 2019 IS - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015) ER -