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 - TY - CHAP A1 - Muhr, Hannes A1 - Höller, Roland A1 - Horauer, Martin T1 - A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression T2 - Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China KW - Hardware KW - Linux KW - Clock Suppression KW - Simulation Y1 - 2019 ER -