TY  - JOUR
A1  - Rössler, Peter
A1  - Höller, Roland
T1  - Programmable Logic Devices – Key Components for Today's and Tomorrow's Electronic-Based Systems
JF  - e&i (Elektrotechnik und Informationstechnik), Volume 137, Issue 1, 2020
KW  - Programmable Logic Devices
KW  - Field-Programmable Gate Arrays
KW  - PLD
KW  - FPGA
Y1  - 2020
VL  - Vol. 137, 2020
IS  - Issue 1, 2020
ER  - 
TY  - JOUR
A1  - Veigl, Christoph
A1  - Klaus, Benjamin
A1  - Aigner, Benjamin
A1  - Wagner, Manuel
T1  - Universal Access Panel: A Novel Approach for Accessible Smart Homes and IoT
JF  - Computers Helping People with Special Needs. ICCHP-AAATE 2022. Lecture Notes in Computer Science
KW  - Home appliances
KW  - Disability
KW  - Accessibility
KW  - Multimodal User Interface
KW  - Smart Home
Y1  - 
VL  - 2022
IS  - Vol. 13342
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  - JOUR
A1  - Wenzl, Matthias
A1  - Merzdovnik, Georg
A1  - Weippl, Edgar
T1  - ISaFe - Injecting Security Features into Constrained Embedded Firmware
JF  - ERCIM News
KW  - Binary rewriting
KW  - Binary Hardening
KW  - Embedded Systems
KW  - Embedded Firmware
Y1  - 2019
VL  - 2019
IS  - 119 (2019)
SP  - 25
EP  - 26
ER  - 
TY  - JOUR
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Runtime verification of microcontroller binary code
JF  - Elsevier Science of Computer Programming, Volume 80, Part A
KW  - Microcontroller
KW  - Binary Code
KW  - Embedded Systems
Y1  - 2019
IS  - Elsevier Science of Computer Programming, Volume 80, Part A
ER  - 
TY  - JOUR
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
A1  - Schlich, Bastian
A1  - Brauer, Jörg
A1  - Scheuer, Florian
T1  - Model Checking Embedded Software of an Industrial Knitting Machine
JF  - International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2
KW  - Model Checking
KW  - Static Analysis
KW  - Binary Code
KW  - Formal Verification
KW  - Embedded Systems
Y1  - 2019
IS  - Vol. 1, No. 2
ER  - 
TY  - JOUR
A1  - Horauer, Martin
A1  - Zauner, Martin
A1  - Schuster, Harald
T1  - A System-level Test for Automotive Communication Subsystems
JF  - e&i, Elektrotechnik und Informationstechnik, Heft 6.2011
KW  - Automotive
KW  - Embedded Systems
Y1  - 2019
IS  - Heft 6.2011
ER  - 
TY  - JOUR
A1  - Schindelböck, Denise
A1  - Praus, Friedrich
A1  - Gall, Walter
T1  - A Diabetes Self-Management Prototype in an AAL-Environment to Detect Remarkable Health States
JF  - Proceedings of Health Informatics Meets eHealth 2016
KW  - Ambient Assisted Living
KW  - Health Applications
Y1  - 2018
SP  - 273
EP  - 280
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, Special Issue on Security, Privacy and Reliability of Smart Buildings, 2016
KW  - Smart Building
KW  - Secure Control Application
KW  - Embedded Systems
Y1  - 2019
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  -