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  - 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  - 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  - 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  - 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  -