VECS Publications
In order to obtain a copy of the pre-print send an e-mail with your inquiry and full contact information to the VECS group.
Awards
Kapsch Award 2017: F. Gerstmayer, Embedded Security - Intellectual Property Protection for Embedded Systems Software, 2017.
Würdigungspreis 2016: P. Moosbrugger, Ein "integriertes Gesundheitszustands-Management-System" für unbemannte Flugsysteme, Würdigungspreis des Bundesministeriums für Wissenschaft, Forschung und Wirtschaft (bm:wfw) 2016.
Kapsch Award 2016: P. Moosbrugger, A Real-Time, On-board System Health Management Unit for Unmanned Aerial Systems, 2016.
Kapsch Award 2014: D. Widhalm, Bridging the Gap between AGENtiX und JAZZ, 2014.
Journal Papers
EURASIP: Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer, Martin Matschnig and Herbert Taucher: FIJI: Fault InJection Instrumenter, EURASIP Journal on Embedded Systems, 2018 (paper submitted).
e&i 2015a: Christian Fibich, Peter Rössler , Stefan Tauner, Herbert Taucher, Martin Matschnig: A netlist-level fault-injection tool for FPGAs, e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015), Page 274-281. DOI: 10.1007/s00502-015-0315-4
e&i 2015b: Martin Horauer, Dominik Widhalm, Stefan Tauner, and Stefan Mirtl: Verification challenges of complex system-on-chip devices, e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015), Page 269-273. DOI: 10.1007/s00502-015-0314-5
ELSEVIER 2014: Th. Reinbacher, J. Brauer, M. Horauer, A. Steininger, and St. Kowalewski: Runtime Verification of Microcontroller Binary Code, Elsevier Science of Computer Programming, Volume 80, Part A, pp. 109-129, 1 February 2014.
Conference Papers
ETFA'2018: Michael Kramer, Florian Gerstmayer, Jürgen Hausladen: Selection, Benchmark and Recommendations for an Embedded System to Achieve Necessary ECDSA Signature Verification Performance for Car2X Communication Requirements, IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018), Torino, Italy (paper submitted).
DCIS'2018a: David Pescha, Martin Horauer: Eventroms in IEC 61499 Applications, XXXIII Conference on Design of Circuits and Integrated Systems (DCIS 2018), Lyon, France (paper submitted).
DCIS'2018b: Christian Fibich, Martin Horauer, Roman Obermaisser: Soft-Error Impact Analysis and Mitigation for Sequential Logic in HLS-generated Designs, XXXIII Conference on Design of Circuits and Integrated Systems (DCIS 2018), Lyon, France (paper submitted).
SIES'2018: Christian Fibich, Stefan Tauner, Peter Rössler, Martin Horauer, Martin Matschnig, Herbert Taucher: Preliminary Evaluation of High-level Synthesis Tools - Xilinx Vivado and PandA Bambu, Proceedings of 13th International Symposium on Industrial Embedded Systems (SIES'2018), June 6-8, 2018, Graz, Austria (paper accepted).
ICSRS'2017: Christian Fibich, Martin Horauer, Roman Obermaisser: Vulnerability Analysis of Storage Elements in HLS-Generated Designs using High-Level Profiling, Proceedings of the 2nd International Conference on System Reliability and Safety (ICSRS2017) p. 190-194., 20-22 December 2017, Milan, Italy.
AUSTROCHIP'2017: Christian Fibich, Peter Roessler, Stefan Tauner, Martin Matschnig and Herbert Taucher: A FPGA-based Demonstrator for Safety-Critical Applications, Proceedings of 25th Austrian Workshop on Microelectronics (Austrochip 2017), p. 35-40, October 12th, 2017, Linz, Austria.
MESA'2017: Jürgen Hausladen, Florian Gerstmayer, Michael Kramer and Martin Horauer: Methods for Protection of Iintellectual Property in Embedded Software - A Survey, Proceedings of 13th ASME/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA), IDETC/CIE 2017, DETC2017-67422, p. 9, August 6-9, 2017, Cleveland, Ohio, USA.
SIES'2017a: Christian Fibich, Martin Horauer, Roman Obermaisser: HLShield: A Reliability Enhancement Framework for High-Level Synthesis, Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems (SIES'2017), p. 10, 14-16 June 2017, Toulouse, France.
SIES'2017b: Florian Gerstmayer, Jürgen Hausladen, Michael Kramer and Martin Horauer: A Binary Protection Framework for Embedded Systems Software , Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems (SIES'2017), p. 8, 14-16 June 2017, Toulouse, France.
ETFA'2016: Bernd Glatz, Harald Schuster, Martin Horauer, Thomas Rauscher, Roman Obermaisser: Fault Injection for IEC 61499 Applications, Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2016), Berlin, Germany, 2016-09-06 -- 2016-09-09.
MESA'2016a: Dominik Widhalm, Stefan Tauner, Martin Horauer: Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment, The 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA'2016), ID: 83, p. 6, Auckland, New Zealand, 29-31 August 2016.
MESA'2016b: Bernd Glatz, Fionn Cleary, Martin Horauer, Harald Schuster, Peter Balog: Complementing Testing of IEC61499 Function Blocks with Model-Checking, The 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA'2016), ID: 86, p. 7, Auckland, New Zealand, 29-31 August 2016.
ISPCS'2016: Andreas Puhm, Aneeq Mahmood, Thomas Bigler, Nikolaus Kerö: Synchronizing an IEEE 1588 Slave Clock Over Both Paths of a Redundant Ethernet System, 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, p. 1-6, Sept. 2016.
DETC'2015: Michael Kramer and Martin Horauer: Software Based Methods to Harden Embedded Software at Run-Time: A Survey, Volume 9: 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015, DETC2015-47357, pp. V009T07A008; 5 pages doi:10.1115/DETC2015-47357, ISBN: 978-0-7918-5719-9
RV'2015: Johann Schuhmann, Patrick Moosbrugger, Kristin Y, Rozier: R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems, Proceedings of the 15th International Conference on Runtime Verification (RV'15), pp. 233-249, Vienna - Austria, Sep. 22-25, 2015. ISBN: 978-3-319-23820-3
AUSTROCHIP'2015: Stefan Tauner, Dominik Widhalm, Martin Horauer: Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities, Proceedings of the 2015 IEEE Austrian Workshop on Microelectronics, p. 36-41, Vienna, 28 Sept. 2015, DOI 10.1109/Austrochip.2015.8.
ETFA'2015: Bernd Glatz, Roman Beneder, Martin Horauer and Thomas Rauscher: Deadlock Detection Runtime Service for Embedded Linux, Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA'2015), p. 7, Luxembourg, 8-11 Sept. 2015. ISBN 978-1-4673-7928-1
SENSORCOMM'2015: Andreas Puhm, Michael Karmer and Martin Horauer: An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization, The Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM'2015), p. 64-70, Venice, August 2015, ISBN: 978-1-61208-425-1
I2MTC'2015: Dominik Widhalm, Stefan Tauner, Martin Horauer, Achim Schumacher, Alexander Haggenmiller: A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs, Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC'2015), May 11-14, 2015, 6 pages.
ICIT'2015: Matthias Wenzl, Christian Fibich, Peter Rössler, Herbert Taucher and Martin Matschnig: Logic Synthesis of Assertions for Saftey-critical Applications, Proceedings of the 2015 International Conference on Industrial Technology (ICIT'2015), March 17-19, 2015, 6 pages.
MESS'2014a: Christian Fibich, Matthias Wenzl, and Peter Rössler: On Automated Generation of Checker Units from Hardware Assertion Languages, Proceedings of the Microelectronic Systems Symposium 2014 (MESS'2014), May 8.-9., Vienna, 2014.
MESA'2014b: Roman Beneder, Bernd Glatz, Martin Horauer, and Thomas Rauscher, Runtime Verification Infrastructure for Embedded Linux, Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA'2014), paper ID 017, p. 6, September 10-12, Senigallia - Italy, 2014.
ETFA'2014a: Roman Beneder, Bernd Glatz, Martin Horauer, and Thomas Rauscher, Memory Leak Detection Runtime-Service for Embedded Linux Devices, Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), p. 6, September 16-19, Barcelona - Spain, 2014, , ISBN: 978-1-4799-4846-8.
ETFA'2014b: Andreas Puhm, Michael Kramer, Patrick Moosbrugger, and Martin Horauer, Problems and Solutions for Refitting a Sensor Network with IEEE1588 Clock Synchronisation, Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), p. 7, September 16-19, Barcelona - Spain, 2014, ISBN: 978-1-4799-4846-8.
CENICS'2014: Harald Schuster, Martin Horauer, Michael Kramer, Heinz Leibhart, Josef Büger, A Log-Tool Suite for Embedded Systems, Proceedings of the 7th International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS'2014), November 16-20, 2014 - Lisbon, Portugal, 2014.
Conference Poster Presentations
MESS'2018: Christian Fibich, Martin Horauer, and Roman Obermaisser. Automated Fault Tolerance Augmentation for HLS-Generated FPGA Designs, Microelectronic Systems Symposium (MESS’2018), Vienna, Austria.
MESS'2016a: Christian Fibich, Stefan Tauner, Peter Rössler: A Netlist-level Fault Injection Tool for FPGAs, Microelectronic Systems Symposium (MESS'2016), Vienna, Austria.
MESS'2016a: Stefan Tauner, Dominik Widhalm, Martin Horauer: Unification of Pre- and Post-Silicon Verification Flows in Mixed-Signal Designs, Microelectronic Systems Symposium (MESS'2016), Vienna, Austria.