@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} } @misc{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}, subject = {Digital Signature}, 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} } @misc{OttoKramer, author = {Otto, Matthias and Kramer, Michael}, title = {Implementation of a clothoid based trajectory into the ROS framework}, subject = {ROS framework}, language = {en} } @inproceedings{PuhmKramerMoosbrugger, author = {Puhm, Andreas and Kramer, Michael and Moosbrugger, Patrick}, title = {Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation}, 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 = {Clock Synchronization}, language = {en} } @misc{PuhmKramerMoosbrugger, author = {Puhm, Andreas and Kramer, Michael and Moosbrugger, Patrick}, title = {Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation}, subject = {Clock Synchronization}, language = {en} } @inproceedings{KramerBenederBrejchaetal., author = {Kramer, Michael and Beneder, Roman and Brejcha, Philipp and Balog, Peter}, title = {Dedicated Infrastructure for academic courses related to embedded systems design supporting students in distance learnign programs}, series = {Proceedings of the 7th International ASME/IEEE Conference on Mechatronics \& Embedded Systems \& Applications ASME/IEEE MESA 2011, August 28-31, 2011, Washington, DC, USA}, booktitle = {Proceedings of the 7th International ASME/IEEE Conference on Mechatronics \& Embedded Systems \& Applications ASME/IEEE MESA 2011, August 28-31, 2011, Washington, DC, USA}, subject = {Embedded Systems}, language = {en} } @inproceedings{BrejchaBenederKramer, author = {Brejcha, Philipp and Beneder, Roman and Kramer, Michael}, title = {A two stage approach for a cost-effective and versatile debugging unit and starter platform}, series = {MESA12 - The 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China}, booktitle = {MESA12 - The 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China}, subject = {Embedded Systems}, language = {en} } @inproceedings{KramerBenederBrejcha, author = {Kramer, Michael and Beneder, Roman and Brejcha, Philipp}, title = {Reducing the entrance hurdle in Embedded System Engineering courses}, series = {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}, booktitle = {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}, subject = {Embedded Systems}, language = {en} } @inproceedings{BrejchaBenederKramer, author = {Brejcha, Philipp and Beneder, Roman and Kramer, Michael}, title = {Increasing the attractivity of embedded system courses}, series = {IEEE EDUCON Education Engineering 2012 - Collaborative Learning \& New Pedagogic Approaches in Engineering Education, Marakesch, Marokko}, booktitle = {IEEE EDUCON Education Engineering 2012 - Collaborative Learning \& New Pedagogic Approaches in Engineering Education, Marakesch, Marokko}, subject = {Embedded Systems}, language = {en} } @inproceedings{ZaunerKramerBalog, author = {Zauner, Martin and Kramer, Michael and Balog, Peter}, title = {TACKLING THE ABSTRACTION GAP FOR THE DESIGN OF EMBEDDED REACTIVE SYSTEMS USING ESTEREL - A CASE STUDY}, series = {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}, booktitle = {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}, subject = {Embedded Systems}, language = {en} } @inproceedings{BululukovaKramer, author = {Bululukova, Darya and Kramer, Michael}, title = {Application of Existing Wireless Power Transfer Standards in Automotive Applications,}, series = {Proceedings of the 2014 International Conference on Connected Vehicles \& Expo, November 3-7 2014, Vienna, Austria}, booktitle = {Proceedings of the 2014 International Conference on Connected Vehicles \& Expo, November 3-7 2014, Vienna, Austria}, subject = {Standards}, language = {en} } @inproceedings{BululukovaKramerWahletal., author = {Bululukova, Darya and Kramer, Michael and Wahl, Harald and Schwanzer, Susanne}, title = {Gender-inclusive laboratory design for teaching electric vehicle components}, series = {IEEE Global Engineering Education Conference (EDUCON 2017)}, booktitle = {IEEE Global Engineering Education Conference (EDUCON 2017)}, pages = {1345 -- 1353}, subject = {Gender}, language = {en} } @misc{BululukovaKramerOtto, author = {Bululukova, Darya and Kramer, Michael and Otto, Matthias}, title = {Wireless Power as a Charging Concept for Light Electric Vehicles: Technological Hype or a Real Solution}, subject = {Wireless Power}, language = {en} } @inproceedings{KaufmannWahlKrameretal., author = {Kaufmann, Christian and Wahl, Harald and Kramer, Michael and Mense, Alexander}, title = {Obstacles in Teaching Secure Software Development - How We Can Overcome Them}, series = {11th International Conference on Information Science and Information Literacy (ICISIL 2021), Brașov, Romania, March 2021}, booktitle = {11th International Conference on Information Science and Information Literacy (ICISIL 2021), Brașov, Romania, March 2021}, subject = {Lernen}, language = {en} } @misc{BululukovaKramerWahletal., author = {Bululukova, Darya and Kramer, Michael and Wahl, Harald and Schwanzer, Susanne}, title = {Gender-inclusive laboratory design for teaching electric vehicle components}, subject = {Gender}, language = {en} }