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 - CHAP A1 - Hausladen, Jürgen A1 - Pohn, Birgit A1 - Horauer, Martin T1 - A Cloud-based Integrated Development Environment for Embedded Systems 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 Y1 - ER - TY - CHAP A1 - Horauer, Martin A1 - Schuster, Harald A1 - Balog, Peter T1 - Experimental Assessment of the Clique Problem in FlexRay T2 - Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Portland OR, USA, Aug. 04-07, 2013 KW - Embedded Systems KW - FlexRay Y1 - 2019 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 - GEN A1 - Hausladen, Jürgen A1 - Pohn, Birgit A1 - Horauer, Martin T1 - A Cloud-based Integrated Development Environment for Embedded Systems KW - Embedded Systems Y1 - ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Brauer, Jörg A1 - Horauer, Martin A1 - Steininger, Andreas A1 - Kowalewski, Stefan T1 - Past Time LTL Runtime Verification for Microcontroller Binary Code T2 - Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011 KW - Embedded Systems KW - Verification Y1 - 2019 SP - 37 EP - 51 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Steininger, Andreas A1 - Müller, Tobias A1 - Horauer, Martin A1 - Brauer, Jörg T1 - Hardware Support for Efficient Testing of Embedded Software T2 - Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, Washington DC, USA, Aug. 29-31, 2011 KW - Embedded Systems KW - Testing Y1 - 2019 SP - 1 EP - 10 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Horauer, Martin A1 - Schlich, Bastian T1 - Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking T2 - roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic KW - Embedded Systems KW - Testing Y1 - 2019 SP - 114 EP - 119 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Brauer, Jörg A1 - Horauer, Martin A1 - Steininger, Andreas A1 - Kowalewski, Stefan T1 - Test-Case Generation for Embedded Binary Code Using Abstract Interpretation T2 - Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010 KW - Embedded Systems KW - Testing Y1 - 2019 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 - CHAP A1 - Niklas, Peter A1 - Zauner, Martin A1 - Horauer, Martin T1 - Development of an Embedded Monitoring Device for a Manufacturing Plant T2 - Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China KW - Embedded Systems KW - Manufacturing Y1 - 2019 SP - 398 EP - 402 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Gückel, Dominique A1 - Horauer, Martin T1 - Testing Microcontroller Software Simulators T2 - Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011 KW - Embedded Systems KW - Microcontroller KW - Testing Y1 - 2019 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 - CHAP A1 - Reinbacher, Thomas A1 - Horauer, Martin T1 - Formale Verifikation von Embedded Systems Software T2 - Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010 KW - Embedded Systems KW - Verification Y1 - 2019 SP - 289 EP - 296 ER - TY - CHAP A1 - Galla, Thomas A1 - Schreiner, Dietmar A1 - Forster, Wolfgang A1 - Kutschera, Christof A1 - Göschka, Karl A1 - Horauer, Martin T1 - Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm T2 - Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C KW - Embedded Systems KW - Automotive Y1 - 2019 SN - 1-4244-0840-7 SP - 200 EP - 208 ER - TY - CHAP A1 - Horauer, Martin A1 - Praprotnik, Oliver A1 - Zauner, Martin A1 - Höller, Roland A1 - Milbredt, Paul T1 - A Test Tool for FlexRay-based Embedded Systems T2 - Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007 KW - Embedded Systems KW - Testing Y1 - 2019 SN - 1-4244-0840-7 SP - 349 EP - 352 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Horauer, Martin A1 - Schlich, Bastian A1 - Bauer, Jörg A1 - Scheuer, Florian T1 - Model Checking Assembly Code of an Industrial Knitting Machine T2 - Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009 KW - Embedded Systems KW - Model Checking KW - Knitting Machine Y1 - 2019 SP - 97 EP - 104 ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Kramer, Michael A1 - Horauer, Martin A1 - Schlich, Bastian T1 - hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker T2 - Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier KW - Embedded Systems KW - Embedded Model Checking Y1 - 2019 SP - 277 EP - 280 ER - TY - CHAP A1 - Kutschera, Christof A1 - Horauer, Martin A1 - Forster, Wolfgang T1 - Anwendung eines Benchmark-Frameworks für komponentenbasierte Software eingebetteter Systeme T2 - Tagungsband des 2. Forschungsforum der österreichischen Fachhochschulen KW - Embedded Systems KW - Benchmark-Framework Y1 - 2019 PB - Shaker Verlag ER - TY - CHAP A1 - Reinbacher, Thomas A1 - Kramer, Michael A1 - Horauer, Martin A1 - Schlich, Bastian T1 - Motivating Model Checking of Embedded Systems Software T2 - EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China KW - Embedded Systems Y1 - 2019 SN - 978-1-4244-2367-5 SP - 546 EP - 551 ER -