TY  - CHAP
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
T2  - Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016
KW  - Embedded Systems
Y1  - 2018
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  - CHAP
A1  - Glatz, Bernd
A1  - Schuster, Harald
A1  - Horauer, Martin
A1  - Rauscher, Thomas
A1  - Obermaisser, Roman
T1  - Fault Injection for IEC 61499 Applications
T2  - Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09
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  - 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  - Beneder, Roman
A1  - Glatz, Bernd
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Memory Leak Detection Runtime-Service for Embedded Linux Devices
T2  - Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014
KW  - Software
KW  - Linux
Y1  - 
ER  - 
TY  - CHAP
A1  - Beneder, Roman
A1  - Glatz, Bernd
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Runtime Verification Infrastructure for Embedded Linux
T2  - Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014
KW  - Embedded Systems
KW  - Linux
Y1  - 
ER  -