TY - CHAP A1 - Schuster, Harald A1 - Horauer, Martin A1 - Kramer, Michael A1 - Leibhart, Heinz A1 - Büger, Josef T1 - A Log-Tool Suite for Embedded Systems T2 - Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal KW - Embedded Systems Y1 - ER - TY - CHAP A1 - Brejcha, Philipp A1 - Beneder, Roman A1 - Kramer, Michael T1 - New approaches for a distance learning course about Embedded, T2 - IEEE EDUCON Education Engineering 2011 - Learning Environments and Ecosystems in Engineering Education, JORDAN, AMMAN, April 04 - 06, 2011 KW - Embedded Systems KW - Teaching Y1 - 2019 ER - TY - GEN A1 - Schuster, Harald A1 - Horauer, Martin A1 - Kramer, Michael A1 - Liebhart, Heinz A1 - Büger, Josef T1 - A Log-Tool Suite for Embedded Systems KW - Embedded Systems Y1 - ER - TY - CHAP A1 - Puhm, Andreas A1 - Kramer, Michael A1 - Horauer, Martin T1 - An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization T2 - Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015 KW - Clock Synchronization Y1 - SP - 64 EP - 70 ER - TY - GEN A1 - Puhm, Andreas A1 - Kramer, Michael T1 - An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization KW - Clock Synchronization Y1 - ER - TY - CHAP A1 - Kramer, Michael A1 - Gerstmayer, Florian A1 - Hausladen, Jürgen T1 - Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication T2 - 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Turin, Italy, 2018 KW - Digital Signature KW - Cryptography KW - Security KW - Verification KW - Car2X communication Y1 - 2018 SP - 1123 EP - 1126 ER - TY - CHAP A1 - Hausladen, Jürgen A1 - Gerstmayer, Florian A1 - Kramer, Michael A1 - Horauer, Martin T1 - Methods for Protection of Iintellectual Property in Embedded Software - A Survey T2 - 13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017) KW - Intellectual Property KW - Protection Methods KW - Embedded Systems Y1 - 2018 ER - TY - CHAP A1 - Gerstmayer, Florian A1 - Hausladen, Jürgen A1 - Kramer, Michael A1 - Horauer, Martin T1 - A Binary Protection Framework for Embedded Systems Software T2 - 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017) KW - Protection Framework KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Gerstmayer, Florian A1 - Hausladen, Jürgen A1 - Kramer, Michael A1 - Horauer, Martin T1 - A Binary Protection Framework for Embedded Systems Software KW - Protection Framework KW - Embedded Systems Y1 - 2018 ER - 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 - 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 - 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 - TY - GEN A1 - Kramer, Michael A1 - Gerstmayer, Florian A1 - Hausladen, Jürgen T1 - Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication KW - Digital Signature KW - Cryptography KW - Security KW - Verification KW - Car2X communication Y1 - ER - TY - CHAP A1 - Otto, Matthias A1 - Kramer, Michael T1 - Implementation of a clothoid based trajectory into the ROS framework T2 - Proceedings of the 2016 3rd International Conference on Control, Decision and Information Technologies (CoDIT), 4 pages, April 6-8, Malta, 2016 KW - Embedded Systems Y1 - 2018 ER - TY - GEN A1 - Otto, Matthias A1 - Kramer, Michael T1 - Implementation of a clothoid based trajectory into the ROS framework KW - ROS framework Y1 - 2018 ER - TY - CHAP A1 - Puhm, Andreas A1 - Kramer, Michael A1 - Moosbrugger, Patrick T1 - Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation T2 - Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014 KW - Clock Synchronization Y1 - ER - TY - GEN A1 - Puhm, Andreas A1 - Kramer, Michael A1 - Moosbrugger, Patrick T1 - Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation KW - Clock Synchronization Y1 - ER - TY - CHAP A1 - Kramer, Michael A1 - Beneder, Roman A1 - Brejcha, Philipp A1 - Balog, Peter T1 - Dedicated Infrastructure for academic courses related to embedded systems design supporting students in distance learnign programs T2 - Proceedings of the 7th International ASME/IEEE Conference on Mechatronics & Embedded Systems & Applications ASME/IEEE MESA 2011, August 28-31, 2011, Washington, DC, USA KW - Embedded Systems KW - Teaching Y1 - 2019 ER - TY - CHAP A1 - Brejcha, Philipp A1 - Beneder, Roman A1 - Kramer, Michael T1 - A two stage approach for a cost-effective and versatile debugging unit and starter platform T2 - MESA12 - The 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China KW - Embedded Systems Y1 - 2019 ER - TY - CHAP A1 - Kramer, Michael A1 - Beneder, Roman A1 - Brejcha, Philipp T1 - Reducing the entrance hurdle in Embedded System Engineering courses T2 - The IEEE Region 8 EUROCON 2011 International Conference on Computer as a Tool joint with the Conference on Telecommunications, LISBON, PORTUGAL, April 27-29, 2011 KW - Embedded Systems KW - Teaching Y1 - 2019 ER - TY - CHAP A1 - Brejcha, Philipp A1 - Beneder, Roman A1 - Kramer, Michael T1 - Increasing the attractivity of embedded system courses T2 - IEEE EDUCON Education Engineering 2012 - Collaborative Learning & New Pedagogic Approaches in Engineering Education, Marakesch, Marokko KW - Embedded Systems KW - Teaching Y1 - 2019 ER - TY - CHAP A1 - Zauner, Martin A1 - Kramer, Michael A1 - Balog, Peter T1 - TACKLING THE ABSTRACTION GAP FOR THE DESIGN OF EMBEDDED REACTIVE SYSTEMS USING ESTEREL - A CASE STUDY T2 - Proceedings of the 3nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA07), Sept. 4-7, 2007, Las Vegas, USA, DETC2007-34561 KW - Embedded Systems Y1 - 2019 ER - TY - CHAP A1 - Bululukova, Darya A1 - Kramer, Michael T1 - Application of Existing Wireless Power Transfer Standards in Automotive Applications, T2 - Proceedings of the 2014 International Conference on Connected Vehicles & Expo, November 3-7 2014, Vienna, Austria KW - Standards KW - Automotive Engineering Y1 - ER - TY - CHAP A1 - Bululukova, Darya A1 - Kramer, Michael A1 - Wahl, Harald A1 - Schwanzer, Susanne T1 - Gender-inclusive laboratory design for teaching electric vehicle components T2 - IEEE Global Engineering Education Conference (EDUCON 2017) KW - Gender KW - Teaching KW - Electronics Y1 - 2018 SP - 1345 EP - 1353 ER - TY - GEN A1 - Bululukova, Darya A1 - Kramer, Michael A1 - Otto, Matthias T1 - Wireless Power as a Charging Concept for Light Electric Vehicles: Technological Hype or a Real Solution KW - Wireless Power KW - Vehicles KW - Power Supply Y1 - 2018 ER - TY - CHAP A1 - Bululukova, Darya A1 - Kramer, Michael A1 - Otto, Matthias T1 - Wireless Power as a Charging Concept for Light Electric Vehicles: Technological Hype or a Real Solution T2 - oceedings of the Forschungsforum der Österreichischen Fachhochschulen 2016, March 30-31 2016, Vienna, Austria KW - Wireless Power KW - Vehicles KW - Power Supply Y1 - 2018 ER - TY - CHAP A1 - Kaufmann, Christian A1 - Wahl, Harald A1 - Kramer, Michael A1 - Mense, Alexander T1 - Obstacles in Teaching Secure Software Development - How We Can Overcome Them T2 - 11th International Conference on Information Science and Information Literacy (ICISIL 2021), Brașov, Romania, March 2021 KW - Lernen KW - Lehren KW - Secure Software Development KW - Automated Feedback KW - Technology Acceptance Y1 - 2021 ER - TY - GEN A1 - Bululukova, Darya A1 - Kramer, Michael A1 - Wahl, Harald A1 - Schwanzer, Susanne T1 - Gender-inclusive laboratory design for teaching electric vehicle components KW - Gender KW - Teaching KW - Electronics Y1 - 2018 ER - TY - CHAP A1 - Balog, Peter A1 - Kramer, Michael A1 - Zauner, Martin T1 - Modellierung reaktiver Systeme mit Esterel T2 - Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria KW - Reactive Systems Y1 - 2019 ER -