@inproceedings{GlatzBenederHoraueretal., author = {Glatz, Bernd and Beneder, Roman and Horauer, Martin and Rauscher, Thomas}, title = {Deadlock Detection Runtime Service for Embedded Linux}, series = {Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies \& Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015}, booktitle = {Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies \& Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015}, subject = {Linux}, language = {en} } @misc{GlatzBenederHoraueretal., author = {Glatz, Bernd and Beneder, Roman and Horauer, Martin and Rauscher, Thomas}, title = {Deadlock Detection Runtime Service for Embedded Linux}, subject = {Linux}, language = {en} } @inproceedings{BenederGlatzHoraueretal., author = {Beneder, Roman and Glatz, Bernd and Horauer, Martin and Rauscher, Thomas}, title = {Memory Leak Detection Runtime-Service for Embedded Linux Devices}, series = {Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014}, booktitle = {Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014}, subject = {Software}, language = {en} } @inproceedings{BenederGlatzHoraueretal., author = {Beneder, Roman and Glatz, Bernd and Horauer, Martin and Rauscher, Thomas}, title = {Runtime Verification Infrastructure for Embedded Linux}, series = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014}, booktitle = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014}, subject = {Embedded Systems}, language = {en} } @inproceedings{MuhrHoellerHorauer, author = {Muhr, Hannes and H{\"o}ller, Roland and Horauer, Martin}, title = {A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression}, series = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China}, booktitle = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China}, subject = {Hardware}, language = {en} }