TY  - GEN
A1  - David, Veronika
A1  - Aigner, Benjamin
T1  - AsTeRICS Framework
KW  - Cross-Cultural Education
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Puhm, Andreas
A1  - Kramer, Michael
A1  - Horauer, Martin
T1  - An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization
T2  - Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015
KW  - Clock Synchronization
Y1  - 
SP  - 64
EP  - 70
ER  - 
TY  - GEN
A1  - Puhm, Andreas
A1  - Kramer, Michael
T1  - An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization
KW  - Clock Synchronization
Y1  - 
ER  - 
TY  - JOUR
A1  - Schefer-Wenzl, Sigrid
A1  - Wenzl, Matthias
T1  - Roboter mit Himbeeren, Ein Überblick über Roboterbausätze und GPIO Bibliotheken auf Raspberry Pi (2)
JF  - Entwickler Magazin 2015
KW  - Robotic
KW  - Embedded Systems
Y1  - 2019
IS  - Entwickler Magazin Juni 2015
ER  - 
TY  - GEN
A1  - Schmidt, Stefan
T1  - Game Engineering und Simulation
KW  - Game Engineering
KW  - Simulation
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Hausladen, Jürgen
A1  - Pohn, Birgit
A1  - Horauer, Martin
T1  - A Cloud-Based Approach to Development of Embedded Systems Software
T2  - Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015
KW  - Cloud
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Glatz, Bernd
A1  - Beneder, Roman
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Deadlock Detection Runtime Service for Embedded Linux
T2  - Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015
KW  - Linux
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  - CHAP
A1  - Kramer, Michael
A1  - Horauer, Martin
T1  - Software Based Methods to Harden Embedded Software at Run-Time: A Survey
T2  - ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015
KW  - Embedded Systems
KW  - Software
Y1  - 2019
SN  - 978-0-7918-5719-9
ER  - 
TY  - JOUR
A1  - Praus, Friedrich
A1  - Kastner, Wolfgang
A1  - Palensky, Peter
T1  - Secure Control Applications in Smart Homes and Buildings
JF  - Journal of Universal Computer Science
KW  - Smart Homes
Y1  - 2018
ER  - 
TY  - THES
A1  - Praus, Friedrich
T1  - Secure Control Applications in Smart Homes and Buildings
KW  - Smart Home
KW  - Smart Building
KW  - Secure Control Application
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - THES
A1  - Praus, Friedrich
T1  - Secure Control Applications in Smart Homes and Buildings
KW  - Smart Homes
KW  - Security
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Veigl, Christoph
A1  - David, Veronika
A1  - Deinhofer, Martin
A1  - Aigner, Benjamin
T1  - Online Offset Correction of Remote Eye Tracking Data: A Novel Approach for Accurate Gaze-Based Mouse Cursor Control
T2  - Proceedings of the 7th ICT Innovation Conference (ICT-ACT 2015), October 4-7, 2015, Ohrid (Mazedonia)
KW  - Eye Tracking
KW  - Ambient Assisted Living
KW  - Input Devices
Y1  - 2018
ER  - 
TY  - GEN
A1  - Veigl, Christoph
A1  - David, Veronika
A1  - Deinhofer, Martin
A1  - Aigner, Benjamin
T1  - Online Offset Correction of Remote Eye Tracking Data: A Novel Approach for Accurate Gaze-Based Mouse Cursor Control
KW  - Eye Tracking
KW  - Ambient Assisted Living
KW  - Input Devices
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Schuhmann, Johann
A1  - Moosbrugger, Patrick
A1  - Rozier, Kirstin
T1  - R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
T2  - Proceedings of the 15th International Conference on Runtime Verification (RV15),Vienna - Austria, Sep. 22-25, 2015
KW  - Security
KW  - Unmanned Aerial Systems
Y1  - 2018
SP  - 233
EP  - 249
ER  - 
TY  - GEN
A1  - Schuhmann, Johann
A1  - Moosbrugger, Patrick
A1  - Rozier, Kirstin
T1  - R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
KW  - Security
KW  - Unmanned Aerial Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Wenzl, Matthias
A1  - Fibich, Christian
A1  - Rössler, Peter
A1  - Taucher, Herbert
A1  - Matschnig, Martin
T1  - Logic Synthesis of Assertions for Saftey-critical Applications
T2  - Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015
KW  - Safety
Y1  - 
ER  - 
TY  - GEN
A1  - Wenzl, Matthias
A1  - Fibich, Christian
A1  - Rössler, Peter
A1  - Taucher, Herbert
A1  - Matschnig, Martin
T1  - Logic Synthesis of Assertions for Saftey-critical Applications
KW  - Safety
Y1  - 
ER  - 
TY  - JOUR
A1  - Horauer, Martin
A1  - Widhalm, Dominik
A1  - Tauner, Stefan
A1  - Mirtl, Stefan
T1  - Verification challenges of complex system-on-chip devices
JF  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
KW  - Embedded Systems
KW  - Electronic Engineering
KW  - Information Technology
Y1  - 2019
IS  - e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)
ER  - 
TY  - CHAP
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,
T2  - Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015
KW  - Embedded Systems
Y1  - 
ER  -