@inproceedings{SchusterHorauerKrameretal., author = {Schuster, Harald and Horauer, Martin and Kramer, Michael and Leibhart, Heinz and B{\"u}ger, Josef}, title = {A Log-Tool Suite for Embedded Systems}, series = {Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal}, booktitle = {Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal}, subject = {Embedded Systems}, language = {en} } @inproceedings{BrejchaBenederKramer, author = {Brejcha, Philipp and Beneder, Roman and Kramer, Michael}, title = {New approaches for a distance learning course about Embedded,}, series = {IEEE EDUCON Education Engineering 2011 - Learning Environments and Ecosystems in Engineering Education, JORDAN, AMMAN, April 04 - 06, 2011}, booktitle = {IEEE EDUCON Education Engineering 2011 - Learning Environments and Ecosystems in Engineering Education, JORDAN, AMMAN, April 04 - 06, 2011}, subject = {Embedded Systems}, language = {en} } @inproceedings{PuhmKramerHorauer, author = {Puhm, Andreas and Kramer, Michael and Horauer, Martin}, title = {An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization}, series = {Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015}, booktitle = {Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015}, pages = {64 -- 70}, subject = {Clock Synchronization}, language = {en} } @inproceedings{KramerGerstmayerHausladen, author = {Kramer, Michael and Gerstmayer, Florian and Hausladen, J{\"u}rgen}, title = {Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication}, series = {2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Turin, Italy, 2018}, booktitle = {2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Turin, Italy, 2018}, pages = {1123 -- 1126}, subject = {Digital Signature}, language = {en} } @inproceedings{HausladenGerstmayerKrameretal., author = {Hausladen, J{\"u}rgen and Gerstmayer, Florian and Kramer, Michael and Horauer, Martin}, title = {Methods for Protection of Iintellectual Property in Embedded Software - A Survey}, series = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, booktitle = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, subject = {Intellectual Property}, language = {en} } @inproceedings{GerstmayerHausladenKrameretal., author = {Gerstmayer, Florian and Hausladen, J{\"u}rgen and Kramer, Michael and Horauer, Martin}, title = {A Binary Protection Framework for Embedded Systems Software}, series = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)}, booktitle = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)}, subject = {Protection Framework}, language = {en} } @inproceedings{KramerHorauer, author = {Kramer, Michael and Horauer, Martin}, title = {Software Based Methods to Harden Embedded Software at Run-Time: A Survey}, series = {ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015}, booktitle = {ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015}, isbn = {978-0-7918-5719-9}, pages = {5}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherKramerHoraueretal., author = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian}, title = {hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker}, series = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, pages = {277 -- 280}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherKramerHoraueretal., author = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian}, title = {Motivating Model Checking of Embedded Systems Software}, series = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China}, booktitle = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China}, isbn = {978-1-4244-2367-5}, pages = {546 -- 551}, subject = {Embedded Systems}, language = {en} } @inproceedings{OttoKramer, author = {Otto, Matthias and Kramer, Michael}, title = {Implementation of a clothoid based trajectory into the ROS framework}, series = {Proceedings of the 2016 3rd International Conference on Control, Decision and Information Technologies (CoDIT), 4 pages, April 6-8, Malta, 2016}, booktitle = {Proceedings of the 2016 3rd International Conference on Control, Decision and Information Technologies (CoDIT), 4 pages, April 6-8, Malta, 2016}, subject = {Embedded Systems}, language = {en} }