@misc{DavidAigner, author = {David, Veronika and Aigner, Benjamin}, title = {AsTeRICS Framework}, subject = {Cross-Cultural Education}, 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} } @misc{PuhmKramer, author = {Puhm, Andreas and Kramer, Michael}, title = {An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization}, subject = {Clock Synchronization}, language = {en} } @article{ScheferWenzlWenzl, author = {Schefer-Wenzl, Sigrid and Wenzl, Matthias}, title = {Roboter mit Himbeeren, Ein {\"U}berblick {\"u}ber Roboterbaus{\"a}tze und GPIO Bibliotheken auf Raspberry Pi (2)}, series = {Entwickler Magazin 2015}, journal = {Entwickler Magazin 2015}, number = {Entwickler Magazin Juni 2015}, pages = {pp 64-68}, subject = {Robotic}, language = {de} } @misc{Schmidt, author = {Schmidt, Stefan}, title = {Game Engineering und Simulation}, subject = {Game Engineering}, language = {de} } @inproceedings{HausladenPohnHorauer, author = {Hausladen, J{\"u}rgen and Pohn, Birgit and Horauer, Martin}, title = {A Cloud-Based Approach to Development of Embedded Systems Software}, series = {Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015}, booktitle = {Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015}, pages = {7}, subject = {Cloud}, language = {en} } @inproceedings{GlatzBenederHoraueretal., author = {Glatz, Bernd and Beneder, Roman and Horauer, Martin and Rauscher, Thomas}, title = {Deadlock Detection Runtime Service for Embedded Linux}, series = {Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies \& Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015}, booktitle = {Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies \& Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015}, subject = {Linux}, language = {en} } @misc{GlatzBenederHoraueretal., author = {Glatz, Bernd and Beneder, Roman and Horauer, Martin and Rauscher, Thomas}, title = {Deadlock Detection Runtime Service for Embedded Linux}, subject = {Linux}, 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} } @article{PrausKastnerPalensky, author = {Praus, Friedrich and Kastner, Wolfgang and Palensky, Peter}, title = {Secure Control Applications in Smart Homes and Buildings}, series = {Journal of Universal Computer Science}, journal = {Journal of Universal Computer Science}, subject = {Smart Homes}, language = {en} } @phdthesis{Praus, author = {Praus, Friedrich}, title = {Secure Control Applications in Smart Homes and Buildings}, school = {Fachhochschule Technikum Wien}, subject = {Smart Home}, language = {en} } @phdthesis{Praus, author = {Praus, Friedrich}, title = {Secure Control Applications in Smart Homes and Buildings}, school = {Fachhochschule Technikum Wien}, subject = {Smart Homes}, language = {en} } @inproceedings{VeiglDavidDeinhoferetal., author = {Veigl, Christoph and David, Veronika and Deinhofer, Martin and Aigner, Benjamin}, title = {Online Offset Correction of Remote Eye Tracking Data: A Novel Approach for Accurate Gaze-Based Mouse Cursor Control}, series = {Proceedings of the 7th ICT Innovation Conference (ICT-ACT 2015), October 4-7, 2015, Ohrid (Mazedonia)}, booktitle = {Proceedings of the 7th ICT Innovation Conference (ICT-ACT 2015), October 4-7, 2015, Ohrid (Mazedonia)}, pages = {10}, subject = {Eye Tracking}, language = {en} } @misc{VeiglDavidDeinhoferetal., author = {Veigl, Christoph and David, Veronika and Deinhofer, Martin and Aigner, Benjamin}, title = {Online Offset Correction of Remote Eye Tracking Data: A Novel Approach for Accurate Gaze-Based Mouse Cursor Control}, subject = {Eye Tracking}, language = {en} } @inproceedings{SchuhmannMoosbruggerRozier, author = {Schuhmann, Johann and Moosbrugger, Patrick and Rozier, Kirstin}, title = {R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems}, series = {Proceedings of the 15th International Conference on Runtime Verification (RV15),Vienna - Austria, Sep. 22-25, 2015}, booktitle = {Proceedings of the 15th International Conference on Runtime Verification (RV15),Vienna - Austria, Sep. 22-25, 2015}, pages = {233 -- 249}, subject = {Security}, language = {en} } @misc{SchuhmannMoosbruggerRozier, author = {Schuhmann, Johann and Moosbrugger, Patrick and Rozier, Kirstin}, title = {R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems}, subject = {Security}, language = {en} } @inproceedings{WenzlFibichRoessleretal., author = {Wenzl, Matthias and Fibich, Christian and R{\"o}ssler, Peter and Taucher, Herbert and Matschnig, Martin}, title = {Logic Synthesis of Assertions for Saftey-critical Applications}, series = {Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015}, booktitle = {Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015}, subject = {Safety}, language = {en} } @misc{WenzlFibichRoessleretal., author = {Wenzl, Matthias and Fibich, Christian and R{\"o}ssler, Peter and Taucher, Herbert and Matschnig, Martin}, title = {Logic Synthesis of Assertions for Saftey-critical Applications}, subject = {Safety}, language = {en} } @article{HorauerWidhalmTauneretal., author = {Horauer, Martin and Widhalm, Dominik and Tauner, Stefan and Mirtl, Stefan}, title = {Verification challenges of complex system-on-chip devices}, series = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)}, journal = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)}, number = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)}, pages = {Page 269-273}, subject = {Embedded Systems}, language = {en} } @inproceedings{WidhalmTaunerHoraueretal., author = {Widhalm, Dominik and Tauner, Stefan and Horauer, Martin and Schumacher, Achim and Haggenmiller, Alexander}, title = {A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs,}, series = {Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015}, booktitle = {Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015}, subject = {Embedded Systems}, language = {en} }