TY - GEN A1 - Schuster, Harald A1 - Horauer, Martin A1 - Kramer, Michael A1 - Liebhart, Heinz A1 - Büger, Josef T1 - A Log-Tool Suite for Embedded Systems KW - Embedded Systems Y1 - ER - TY - GEN A1 - Glatz, Bernd A1 - Cleary, Fionn A1 - Horauer, Martin A1 - Schuster, Harald A1 - Balog, Peter T1 - Complementing Testing of IEC61499 Function Blocks with Model-Checking KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Gerstmayer, Florian A1 - Hausladen, Jürgen A1 - Kramer, Michael A1 - Horauer, Martin T1 - A Binary Protection Framework for Embedded Systems Software KW - Protection Framework KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Glatz, Bernd A1 - Schuster, Harald A1 - Horauer, Martin A1 - Rauscher, Thomas A1 - Obermaisser, Roman T1 - Fault Injection for IEC 61499 Applications KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Glatz, Bernd A1 - Beneder, Roman A1 - Horauer, Martin A1 - Rauscher, Thomas T1 - Deadlock Detection Runtime Service for Embedded Linux KW - Linux KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Jerabek, Thomas A1 - Horauer, Martin T1 - Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Hausladen, Jürgen A1 - Pohn, Birgit A1 - Horauer, Martin T1 - A Cloud-based Integrated Development Environment for Embedded Systems KW - Embedded Systems Y1 - ER - TY - GEN A1 - Fibich, Christian A1 - Tauner, Stefan A1 - Rössler, Peter A1 - Horauer, Martin A1 - Matschnig, Martin A1 - Taucher, Herbert T1 - Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu KW - FPGA KW - HLS KW - High-Level Synthesis Y1 - ER - TY - GEN A1 - Widhalm, Dominik A1 - Tauner, Stefan A1 - Horauer, Martin A1 - Schumacher, Achim A1 - Haggenmiller, Alexander T1 - A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs, KW - Embedded Systems Y1 - ER - TY - GEN A1 - Widhalm, Dominik A1 - Tauner, Stefan A1 - Horauer, Martin T1 - Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Tauner, Stefan A1 - Widhalm, Dominik A1 - Horauer, Martin T1 - Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities KW - Embedded Systems Y1 - 2018 ER -