@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{RoesslerHoellerZauner, author = {R{\"o}ssler, Peter and H{\"o}ller, Roland and Zauner, Martin}, title = {A methodology for remote debug, test and maintenance based on IEEE1588}, series = {ASME 2011 International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference IDETC/CIE 2001 August 29-31, Washington, DC, USA.}, booktitle = {ASME 2011 International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference IDETC/CIE 2001 August 29-31, Washington, DC, USA.}, subject = {Embedded Systems}, language = {en} } @incollection{HorauerRoessler, author = {Horauer, Martin and R{\"o}ssler, Peter}, title = {FlexRay (Chapter 44)}, series = {The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011}, booktitle = {The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011}, publisher = {CRC Press}, publisher = {Fachhochschule Technikum Wien}, subject = {Industrial}, language = {en} } @inproceedings{NussbaumVeiglAcedoetal., author = {Nussbaum, Gerhard and Veigl, Christoph and Acedo, Javier and Barton, Zdenek and Diaz, Unai and Drajsajtl, Tomas and Garcia, Alvaro and Kakousis, Konstantinos and Miesenberger, Klaus and Papadopoulos, George and Paspallis, Nearchos and Pecyna, Karol and Soria-Frisch, Aureli and Weiss, Christoph}, title = {AsTeRICS - Towards a Rapid Integration Construction Set for Assistive Technologies}, series = {AAATE conference 2011, Maastricht, The Netherlands}, booktitle = {AAATE conference 2011, Maastricht, The Netherlands}, subject = {Assistive Technologies}, language = {en} } @inproceedings{PissalouxCarboneVeigletal., author = {Pissaloux, Edwige and Carbone, Andrea and Veigl, Christoph and Weiss, Christopf}, title = {Vision for Assistive Technologies}, series = {AEGIS Conference 2011, Brussels, Belgium, 28th - 30th November 2011}, booktitle = {AEGIS Conference 2011, Brussels, Belgium, 28th - 30th November 2011}, subject = {Assistive Technologies}, language = {en} } @inproceedings{KutscheraHorauerRayetal., author = {Kutschera, Christof and Horauer, Martin and Ray, Markus and Steinmair, Daniel and Gorski, Peter}, title = {A Flexible Sensor-mat to Automate the Process of People Counting}, series = {roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011}, booktitle = {roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011}, isbn = {978-1-61208-150-2}, pages = {13 -- 16}, subject = {Person Counting}, language = {en} } @inproceedings{ReinbacherBrauerHoraueretal., author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {Past Time LTL Runtime Verification for Microcontroller Binary Code}, series = {Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011}, booktitle = {Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011}, pages = {37 -- 51}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherSteiningerMuelleretal., author = {Reinbacher, Thomas and Steininger, Andreas and M{\"u}ller, Tobias and Horauer, Martin and Brauer, J{\"o}rg}, title = {Hardware Support for Efficient Testing of Embedded Software}, series = {Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, Washington DC, USA, Aug. 29-31, 2011}, booktitle = {Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, Washington DC, USA, Aug. 29-31, 2011}, pages = {1 -- 10}, subject = {Embedded Systems}, language = {en} } @article{ReinbacherHorauerSchlichetal., author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Brauer, J{\"o}rg and Scheuer, Florian}, title = {Model Checking Embedded Software of an Industrial Knitting Machine}, series = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2}, journal = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2}, number = {Vol. 1, No. 2}, pages = {pp. 186-205}, subject = {Model Checking}, language = {de} } @inproceedings{ReinbacherGueckelHorauer, author = {Reinbacher, Thomas and G{\"u}ckel, Dominique and Horauer, Martin}, title = {Testing Microcontroller Software Simulators}, series = {Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011}, booktitle = {Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011}, subject = {Embedded Systems}, language = {en} }