Publications

Books & Book Chapters

Horauer M., Rössler P.: FlexRay, in The Industrial Electronics Handbook (2nd Edition) - Industrial Communications Systems, Chapter 44, CRC Press, 2011. ISBN: 978-1-4398-0281-6.

Patents

Höller R.: Einrichtung zum koordinierten Testen und zur Fehlersuche in verteilten eingebetteten Mikroprozessorsystemen, Patent No. AT505630, March 2009, available via the website of the European Patent Agency.

PhD Theses

Praus F.: Secure Control Applications in Smart Homes and Buildings, PhD Thesis, November 2015, Vienna University of Technology.

Journals & Magazines

JUCS2016: Friedrich Praus, Wolfgang Kastner, and Peter Palensky: Secure Control Applications in Smart Homes and Buildings, Journal of Universal Computer Science, Special Issue on Security, Privacy and Reliability of Smart Buildings, 2016.

e&i 2015a: Christian Fibich, Peter Rössler, Stefan Tauner, Herbert Taucher, Martin Matschnig: A Netlist-level Fault-injection Tool for FPGAs, e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015), Page 274-281. DOI: 10.1007/s00502-015-0315-4.

e&i 2015b: Martin Horauer, Dominik Widhalm, Stefan Tauner, and Stefan Mirtl: Verification challenges of complex system-on-chip devices, e & i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015), Page 269-273. DOI: 10.1007/s00502-015-0314-5.

ELSEVIER 2014: Th. Reinbacher, J. Brauer, M. Horauer, A. Steininger, and St. Kowalewski: Runtime verification of microcontroller binary code, Elsevier Science of Computer Programming, Volume 80, Part A, pp. 109-129, 1 February 2014.

JAMRIS 2014: Kittenberger T., Ferner A., Scheikl R.: A simple computer vision based indoor positioning system for educational micro air vehicles, JAMRIS (Journal of Automation, Mobile Robotics & Intelligent Systems), PIAP, Volume 8, No. 1, pp. 46-52, 2014.

EMS 2014: Wenzl M., Schefer-Wenzl S.: Ran an den Knochen: Java embedded auf dem Beagle Bone, Entwickler Magazin Spezial "Internet of Things", April 2014, pp. 93-97.

UBI 2013: Kaufmann Ch., Holweg G., Wahl H., Balog P., and Mense A.: Privacy in Web 2.0 Lerning - Experiences with the Acceptance of Working Professional Students, Ubiquitous Learning: An International Journal, Volume 4, Issue 4, 2013, pp25-40, ISSN 1835-9795.

JMAG 2013: M. Wenzl, S. Schefer-Wenzl: Java Embedded auf dem Beagle Bone, Java Magazin Heft 7, Seiten 86-91, 2013.

JSCI 2013: Wolfgang Granzer, Friedrich Praus and Peter Balog: Source Code Plagiarism in Computer Engineering Courses, JSCI (Journal of Systemics, Cybernetics and Informatics) 11(6):4, 2013.

e&i 2011: Horauer M., Zauner M., and Schuster H.: A System-level Test for Automotive Communication Subsystems, e&i, Elektrotechnik und Informationstechnik, Heft 6.2011, S. 215-221, Springer Verlag Wien, österreich.

JITCC 2011: Reinbacher Th., Horauer M., Schlich B., Brauer J., and Scheuer F.: Model Checking Embedded Software of an Industrial Knitting Machine, International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2, pp. 186-205, 2011.

TII 2008: E. Armengaud and A. Steininger and M. Horauer: Towards a Systematic Test for Embedded Automotive Communication Systems, IEEE Transactions on Industrial Informatics, Vol. 4, Iss. 3, pp. 146-155, 2008.

e&i 2008: Wimmer M., Swierczek R., Puhm A., Balog P., and Rössler P.: Ein flexibler Gateway-Knoten für Netzwerke im Automobil, e&i, Elektrotechnik und Informationstechnik, 125. Jahrgang, Heft 10.2008, S. a19-a22, Springer Verlag Wien, österreich.

ATZ 2007: P. Milbredt, M. Horauer, and K. Reif: Wakeup and Startup of FlexRay Cross Linkings, ATZ elektronik, p. 30-32, Dez. 2007, ISSN 1862-1791 70934.

EURASIP 2007: Fürtler J., Rössler P. et al.: Design Considerations for Scalable High Performance Vision Systems Embedded in Industrial Print Inspection Machines, EURASIP International Journal on Embedded Systems, Special Issue on "Embedded Vision Systems", Volume 2007, Article ID 71794, 10 pages, Hindawi Academic Publishing, doi:10.1155/2007/71794

Conferences 2016

International Conferences:

SH2016: Friedrich Praus, Wolfgang Kastner, and Peter Palensky: Software security requirements in building automation, Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 8. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 5.-7. April 2016, Bonn, pages 217--228, 2016.

CoDIT2016: Matthias Otto and Michael Kramer: Implementation of a clothoid based trajectory into the ROS framework, Proceedings of the 2016 3rd International Conference on Control, Decision and Information Technologies (CoDIT), 4 pages, April 6-8, Malta, 2016.

KNX2016a: Clemens Hammer, Johannes Klug and Friedrich Praus: KNX in academic education and training, KNX Scientific Conference 2016, October 27-28 2016, Germany/Dortmund.

KNX2016b: Friedrich Praus, Wolfgang Granzer, and Peter Balog: KNX security devices, In Proc. KNX Scientific Conference, October 2016.

SOMET2016: Marios Komodromos, Christos Mettouris, Achilleas Achilleos, George Papadopoulos, Christoph Veigl, Martin Deinhofer, Alfred Doppler, Stefan Schuerz: A Runtime Middleware for Enabling Application Integration and Rapid Re-Engineering, 15th International Conference on Intelligent Software Methodologies, Tools and Techniques, September 12-14, Larnaca, Cyprus, 6 pages.

DSAI2016: Benjamin Aigner, Veronika David, Martin Deinhofer, Christoph Veigl: FLipMouse - a Flexible Alternative Input Solution for People withSevere Motor Restrictions, 7th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, December 1-3, 2016 - UTAD, Vila Real, Portugal, 8 pages.

ETFA2016: Bernd Glatz, Harald Schuster, Martin Horauer, Thomas Rauscher, Roman Obermaisser: Fault Injection for IEC 61499 Applications, Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09, (Work-in-Progress Submission).

MESA2016a: Dominik Widhalm, Stefan Tauner, Martin Horauer: Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment, The 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), ID: 83, p. 6, Auckland, New Zealand, 29-31 August 2016.

MESA2016b: Bernd Glatz, Fionn Cleary, Martin Horauer, Harald Schuster, Peter Balog: Complementing Testing of IEC61499 Function Blocks with Model-Checking, The 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), ID: 86, p. 7, Auckland, New Zealand, 29-31 August 2016.

ISPCS2016: Andreas Puhm, Aneeq Mahmood, Thomas Bigler, Nikolaus Kerö: Synchronizing an IEEE 1588 Slave Clock Over Both Paths of a Redundant Ethernet System, 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, p. 1-6, Sept. 2016.

DEPEND2016: Thomas Jerabek and Martin Horauer: Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software, The Ninth International Conference on Dependability (DEPEND 2016), p. 7-14, Nice, July 2016, ISBN: 978-1-61208-492-3

National Conferences:

FFH2016: Darya Bululukova, Michael Kramer, Matthias Otto: Wireless Power as a Charging Concept for Light Electric Vehicles: Technological Hype or a Real Solution, Proceedings of the Forschungsforum der Österreichischen Fachhochschulen 2016, March 30-31 2016, Vienna, Austria.

EHS2016: Denise Schindelböck, Friedrich Praus, and Walter Gall: A Diabetes Self-Management Prototype in an AAL-Environment to Detect Remarkable Health States, Health Informatics Meets eHealth, Volume 223, Pages 273-280, 2016.

Conferences 2015

International Conferences:

DETC2015a: Jürgen Hausladen, Birgit Pohn, Martin Horauer: A Cloud-Based Approach to Development of Embedded Systems Software, Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), 7 pages, August 2-5, Boston - Massachusetts, 2015.

DETC2015b: Michael Kramer and Martin Horauer: Software Based Methods to Harden Embedded Software at Run-Time: A Survey, Volume 9: 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015, DETC2015-47357, pp. V009T07A008; 5 pages doi:10.1115/DETC2015-47357, ISBN: 978-0-7918-5719-9

ICT-ACT 2015: Chris Veigl, Veronika David, Martin Deinhofer, Benjamin Aigner: Online Offset Correction of Remote Eye Tracking Data: A Novel Approach for Accurate Gaze-Based Mouse Cursor Control, 7th ICT Innovation Conference (ICT-ACT 2015), October 4-7, 2015, Ohrid (Mazedonia), 10 pages.

RV2015: Johann Schuhmann, Patrick Moosbrugger, Kristin Y, Rozier: R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems, Proceedings of the 15th International Conference on Runtime Verification (RV15), pp. 233-249, Vienna - Austria, Sep. 22-25, 2015. ISBN: 978-3-319-23820-3

ETFA 2015: Bernd Glatz, Roman Beneder, Martin Horauer and Thomas Rauscher: Deadlock Detection Runtime Service for Embedded Linux, Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015. ISBN 978-1-4673-7928-1

SENSORCOMM 2015: Andreas Puhm, Michael Karmer and Martin Horauer: An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization, The Ninth International Conference on Sensor Technologies and Applications SENSORCOMM 2015, p. 64-70, Venice, August 2015, ISBN: 978-1-61208-425-1

I2MTC 2015: Dominik Widhalm, Stefan Tauner, Martin Horauer, Achim Schumacher, Alexander Haggenmiller: A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs, Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015, 6 pages.

ICIT 2015: Matthias Wenzl, Christian Fibich, Peter Rössler, Herbert Taucher and Martin Matschnig: Logic Synthesis of Assertions for Saftey-critical Applications, Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015, 6 pages.

National Conferences:

AUSTROCHIP 2015: Stefan Tauner, Dominik Widhalm, Martin Horauer: Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities, Proceedings of the 2015 IEEE Austrian Workshop on Microelectronics, p. 36-41, Vienna, 28 Sept. 2015, DOI 10.1109/Austrochip.2015.8.

Conferences 2014

International Conferences:

ITHET2014: Benjamin Aigner, Veronika David, Martin Deinhofer, Angelina Kratschanova, Christoph Veigl: The AsTeRICS Academy for Cross-Cultural Education in Assistive Technologies, Strategies for fostering diversity in electrical engineering and information technology, 13th Conference on Information Technology Based Higher Education and Training (ITHET 2015), September 11-13, 2014, York (England), 7 pages.

ICCVE14: Darya Bululukova and Michael Kramer: Application of Existing Wireless Power Transfer Standards in Automotive Applications, Proceedings of the 2014 International Conference on Connected Vehicles & Expo, November 3-7 2014, Vienna, Austria.

KNX14: Friedrich Praus and Wolfgang Kastner: Spotting Unsecured KNX Installations, In Proc. Konnex Scientific Conference, November 2014.

MESS 2014: Christian Fibich, Matthias Wenzl, and Peter Rössler: On Automated Generation of Checker Units from Hardware Assertion Languages, Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014.

MESA 2014a: Roman Beneder, Bernd Glatz, Martin Horauer, and Thomas Rauscher: Runtime Verification Infrastructure for Embedded Linux, Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA'14), paper ID 017, p. 6, September 10-12, Senigallia - Italy, 2014.

MESA 2014b: Jürgen Hausladen, Birgit Pohn, Martin Horauer: A Cloud-based Integrated Development Environment for Embedded Systems, Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA'14), 6 pages, September 10-12, Senigallia - Italy, 2014.

ETFA 2014a: Roman Beneder, Bernd Glatz, Martin Horauer, and Thomas Rauscher: Memory Leak Detection Runtime-Service for Embedded Linux Devices, Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), p. 6, September 16-19, Barcelona - Spain, 2014, , ISBN: 978-1-4799-4846-8.

ETFA 2014b: Andreas Puhm, Michael Kramer, Patrick Moosbrugger, and Martin Horauer: Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation, Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), p. 7, September 16-19, Barcelona - Spain, 2014, ISBN: 978-1-4799-4846-8.

ETFA 2014c: Friedrich Praus and Wolfgang Kastner: Identifying Unsecured Building Automation Installations, Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), September 16-19, Barcelona - Spain, 2014, ISBN: 978-1-4799-4846-8.

CENICS 2014: Harald Schuster, Martin Horauer, Michael Kramer, Heinz Leibhart, Josef Büger: A Log-Tool Suite for Embedded Systems, Proceedings of the 7th International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2014), November 16-20, 2014 - Lisbon, Portugal, 2014.

National Conferences:

FFH2014: Puhm A., Rössler P.: Entwicklung eines flexibel in der Lehre einsetzbaren Designflows für digitale Mikrochips, 8. Forschungsforum der österreichischen Fachhochschulen, 23. bis 24. April 2014, Kufstein, österreich, pp. 266-270.

Conferences 2013

International Conferences:

RIE2013: Kittenberger T., Ferner A., Scheikl R.: A simple computer vision based indoor positioning system for educational micro air vehicles, 4th International Conference on Robotics in Education, Lodz, Poland, Sept. 19-20, 2013.

MESA2013: Horauer M., Schuster H. and Balog P.: Experimental Assessment of the Clique Problem in FlexRay, Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper no. DETCC2013-12888, Portland OR, USA, Aug. 04-07, 2013.

MECO2013: Benjamin Aigner, Peter Rössler: A Low-cost Sound Generator for an Electric Quad Bike, MECO2013 Conference, 16-20 June, 2013, Budva, Montenegro.

AAL2013: Johannes Kropf, Barbara Prazak-Aram, Lukas Roedl, Friedrich Praus and Christian Siegel: Large scale integration and evaluation of aal technologies in eastern austria - the modulaar project, in "AAL Forum", Volume Session D3, Sep. 2013, Norrköping, Sweden.

BRC2013: C. Veigl, C. Weiß, D. Ibanez, A. Soria-Frisch, A. Carbone: Model-based Design of Novel Human-Computer Interfaces, The Assistive Technology Rapid Integration and Construction Set (AsTeRICS), 4th IEEE Biosignals and Biorobotics Conference (ISSNIP 2013), Rio de Janeiro (Brasil), 18-20 February 2013.

ASME2013: M. Wenzl, H. Schuster, C. Obermayer, P. Balog: EMBEDDED MULTI CORE VIRTUAL PROTOTYPING FOR SOFTWARE ENGINEERS, Proceedings of the ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference IDETC/CIE 2013, August 4-7, 2013, Portland, Oregon, USA; Paper ID: DETC2013-12062.

National Conferences:

FHK2013: R. Beneder: Innovative concepts for Embedded Systems courses, FHK - 7th Association of Austrian Universities of Applied Sciences, DORNBIRN, AUSTRIA, April 2013.

ARW13: Richard Wagner, Peter Wolff, Klaus Schaeffer, Friedrich Praus. Ambient Assitive Technologies: The mobile robot P3AAT, Proceedings of the Austrian Robotics Workshop (ARW-13), May 2013, Vienna.

Conferences 2012

International Conferences:

ICSIT2012: Kaufmann Ch., Holweg G., Wahl H., Balog P., and Mense A.: University Education in Transition - which Technical Support is Needed by Part-Time Students, Proceedings of the 3rd International Conference on Society and Information Technologies (ICSIT 2012), Mar. 25-28, 2012, Orlando, Florida, USA.

ICETI2012: Wolfgang Granzer, Friedrich Praus, Peter Balog: Source Code Plagiarism in Computer Engineering Courses, 3rd International Conference on Education, Training and Informatic (ICETI12), Mar. 2012, Paper ID EB266TP.

KNX12: Richard Isaacs, Friedrich Praus: Design & development of a prototype android app for a KNX home, KNX Scientific Conference, Nov. 2012.

KNX12: Luka Samardzija, Friedrich Praus: ANT goes KNX - an open platform gateway for ANT and KNX, KNX Scientific Conference, Nov. 2012.

CHPSN2012: García-Soler A., Diaz-Orueta U., Oßmann R., Nußbaum G., Veigl C., Weiß C., Pecyna K.: Addressing accessibility challenges of people with motor disabilities by means of AsTeRICS: A step by step definition of technical requirements,The 13th International Conference on Computers Helping People with Special Needs, July 11-13, 2012.

CHPSN2012: Oßmann R., Thaller D., Nußbaum G., Veigl C., Weiß C.: Making the PlayStation 3 Accessible with AsTeRICS, The 13th International Conference on Computers Helping People with Special Needs, July 11-13, 2012.

TOBI2012: J. Acedo, A. Soria-Frisch, C. Veigl, C. Weiß: AsTeRICS A Flexible Prototyping Environment for Hybrid BCI Applications in End User Environments, TOBI Workshop III, Bringing BCIs to End-Users: Facing the Challenge, Würzburg, Germany, March 20-22, 2012.

CSDEAFI2012: Oßmann, R., Thaller, D., Nußbaum, G., Pühretmair, F., Veigl, C., Weiß, C., Morales, B., Diaz, U.: AsTeRICS, a Flexible Assistive Technology Construction Set, 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-exclusion (DSAI'2012), Book of Abstracts, ISBN 978-989-704-089-4, UTAD - University de Trás-os-Montes e Alto Douro, pp.11, Portugal (2012).

IICE2012: M. Wenzl: Evaluating best practices for teaching multi-core programming, Ireland International Conference on Education (IIEC-2012), October 29-31, 2012, Dublin, Ireland; Paper ID: IIC-2012-372.

MESA2012: H. Schuster, M. Wenzl, M. Zauner: A Framework for Teaching Embedded Multi-Core Programming, Proceedings of the 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pp. 292 - 297 , July 8-10, 2012, Suzhou, China; Paper ID: MESA.2012.6275577.

MESA2012: Brejcha P., Beneder R., Kramer M.: A two stage approach for a cost-effective and versatile debugging unit and starter platform, MESA12 - The 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China; Paper ID: 56.

EDUCON2012: Brejcha P., Beneder R., Kramer M.: Increasing the attractivity of embedded system courses, IEEE EDUCON Education Engineering 2012 - Collaborative Learning & New Pedagogic Approaches in Engineering Education, Marakesch, Marokko, April 17 - 20, 2012.

Conferences 2011

International Conferences:

IMAV2011: Kittenberger T., Reeh M., Scheibelecker M.: A micro air vehicle instrument landing system based on synchronized, unidirectional ultrasound transmission, International Micro Air Vehicle Conference and Competition, Huntsville, Alabama, USA, May 23-27, 2011.

UBI2011: Kaufmann Ch., Holweg G., Wahl H., Balog P., and Mense A.: Privacy in Web 2.0 Lerning - Experiences with the Acceptance of Working Professional Students, Conference on Ubiquitous Learning, Nov. 11-12, 2011, UCB, Berkeley, California, USA.

VRAP2011: Weiß C., Veigl C.: AsTeRICS - A Rapid Prototyping Platform for Assistive Technologies, The International Conference on Advanced Research in Virtual and Rapid Prototyping (VRAP 2011), 28 September - 1 October 2011.

AAATE2011: Nußbaum G., Veigl C., Acedo J. et al.: AsTeRICS - Towards a Rapid Integration Construction Set for Assistive Technologies, AAATE Conference 2011, Maastricht, The Netherlands.

E2011: Kakousis K., Mettouris C., Papadopoulos G., Oßmann R., Pecyna K., Veigl C., Weiß C. et al.: AsTeRICS: Assistive Technology for All, eChallenges e-2011 Conference, Florence, Italy, October 26-28, 2011.

AEGIS2011: Pissaloux E., Carbone A., Veigl C., Weiß C.: Vision for Assistive Technologies, AEGIS Conference 2011, Brussels, Belgium, 28th - 30th November 2011.

MESA2011: P. Rössler, R. Höller, M. Zauner: A methodology for remote debug, test and maintenance based on IEEE1588, ASME 2011 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2001 August 29-31, Washington, DC, USA.

WS4C2011: Reinbacher Th., Gückel D., and Horauer M.: Testing Microcontroller Software Simulators, Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011.

MESA2011: Kramer M., Beneder R., Brejcha Ph., and Balog P.: Dedicated Infrastructure for academic courses related to embedded systems design supporting students in distance learnign programs, Proceedings of the 7th International ASME/IEEE Conference on Mechatronics & Embedded Systems & Applications ASME/IEEE MESA 2011, August 28-31, 2011, Washington, DC, USA; Paper ID: DETC2011/MESA-47843

MESA2011: Reinbacher Th., Steininger A., Müller T., Horauer M., and Brauer J.: Hardware Support for Efficient Testing of Embedded Software, Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, p. 1-10, Washington DC, USA, Aug. 29-31, 2011.

FMICS2011: Reinbacher Th., Brauer J., Horauer M., Steininger A., and Kowalewski St.: Past Time LTL Runtime Verification for Microcontroller Binary Code, Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, 2011, Volume 6959/2011, pp. 37-51, DOI: 10.1007/978-3-642-24431-5_5, Trento, Italy, Aug. 29-30, 2011.

CENICS2011: Kutschera Ch., Horauer M., Ray M., Steinmair D. and Gorski P.: A Flexible Sensor-mat to Automate the Process of People Counting, Proceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, pp. 13-16, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011. ISBN: 978-1-61208-150-2.

EDUCON2011: Brejcha, Philipp; Beneder, Roman; Kramer, Michael: New approaches for a distance learning course about Embedded, IEEE EDUCON Education Engineering 2011 - Learning Environments and Ecosystems in Engineering Education, JORDAN, AMMAN, April 04 - 06, 2011 (to be published)

EUROCON2011: Kramer, Michael; Beneder, Roman; Brejcha, Philipp: Reducing the entrance hurdle in Embedded System Engineering courses, 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, (to be published)

National Conferences:

FFH2011: H. Schuster, Experimentelle Implementierung eines Switches für FlexRay, Tagungsband 5. Forschungsforum der österreichischen Fachhochschulen, 27. bis 28. April 2011, Wien, österreich, ISBN: 978-3-902614-16-2, pp. 465-466.

Conferences 2010

International Conferences:

MEMICS 2010: Reinbacher Th., Brauer J., Horauer M., Steininger A., Kowalewski St.: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010.

RIE2010: Kittenberger T., Brodl L., Vavra N., Experiences using autonomous model airplanes for embedded control education and for bachelor and diploma projects, in Proceedings of "Robotics in Education", Sept. 16-17, 2010, Bratislava, Slovakia.

MESA 2010: Niklas P., Zauner M., Horauer M.: Development of an Embedded Monitoring Device for a Manufacturing Plant, Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), p. 398-402, July 15-17, 2010, Qingdao, China.

CORP 2010: Horauer M., Ray M., Augustin A. and Novak G.: FlexiCount: Eine flexible Personenzählmatte für den mobilen Indoor und Outdoor Einsatz, Proceedings Real Corp 2010, pp. 1095-1100, Vienna, Austria, May 18-20, 2010.

National Conferences:

ME 2010: Reinbacher Th., Horauer M.: Formale Verifikation von Embedded Systems Software, Informationstagung Mikroelektronik (ME 2010), pp. 289-296, Vienna, Austria, April 7-8, 2010.

ME 2010: Praprotnik O., Zauner M.: System-Testumgebung für die verteilte Automobilelektronik, Informationstagung Mikroelektronik (ME 2010), pp. 305-310, Vienna, Austria, April 7-8, 2010.

Conferences 2009

International Conferences:

ESWEEK 2009: Brauer J., Reinbacher Th., Schlich B., Kowalewski St.: Stack Bounds Analysis for Microcontroller Assembly Code, Proceedings of the 4th Workshop on Embedded Systems Security (WESS'09) - A Workshop of the Embedded Systems Week (ESWEEK'09), Grenoble, France, Oct. 15, 2009.

SIES 2009: Reinbacher, T., Brauer, J., Horauer, M. and Schlich, B.: Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller, Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, pp. 161-170, Lausanne, Switzerland.

SIES 2009: Rössler P., Zauner M.: Evaluation of an Esterel-based Hardware/Software Co-Design Flow, Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, pp. 42-45, Lausanne, Switzerland.

EM-Com 2009: Reinbacher Th., Horauer M., Schlich B., Brauer J., Scheuer F.: Model Checking Assembly Code of an Industrial Knitting Machine, Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), pp. 97-104, Jeju, Korea, Dec. 10-12, 2009.

CENICS 2009: Praprotnik O., Gartner M., Zauner M., Horauer M.: A Test Suite for System Tests of Distributed Automotive Electronics, Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), October 11-16, 2009 - Sliema, Malta.

MESA 2009: Balog P., Horauer M. and Rössler P.: Remote LAB infrastructure for Distance Learning Courses at the Undergraduate Level in Embedded Systems Design, Proceedings of the 2009 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA 2009), DETC2009-87148, p. 6, Aug. 30-Sept. 02, 2009, San Diego, USA.

SD4 2009: Höller R., Rössler P.: On-chip Hardware Support for a Radically New Approach to Coordinated Debug of Networked Embedded Systems, Proceedings of the SD4 (System, Software, SoC and Silicon Debug) Conference 2009, September 24-25, 2009, Sophia Antipolis, France, p. 6.

DDECS 2009: Reinbacher Th., Horauer M. and Schlich B.: Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking, Proceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), pp. 114-119, April 15-17, 2009, Liberec, Czech Republic.

National Conferences:

Austrochip 2009: Höller R., Muhr H., Kerö N., Gröblinger A., Kutschera C., Veigl C., Weiß C., Rössler P.: Weltweit kleinste, voll integrierte Lösung zur Uhrensynchronisation nach IEEE 1588 auf Schicht 2, Tagungsband zur IEEE Austrochip 2009, Graz, Österreich, 7. Oktober 2009, S. 39-44, ISBN 978-3-9501635-1-3.

FFH 2009: Christoph Veigl, Christof Kutschera, Peter Rössler: Ausgelagerte Uhrensynchronisation für verteilte eingebettete Systeme, 3. Forschungsforum der österreichischen Fachhochschulen (FFH2009), Villach, April 15-16 2009.

FFH 2009: Weiß C., Gröblinger A., Höller R.: Koordinierte Fehlersuche und Tests in verteilten Echtzeitsystemen, 3. Forschungsforum der österreichischen Fachhochschulen (FFH2009), Villach, Austria, p. 210-216, April 15-16 2009.

Conferences 2008

International Conferences:

MESA 2008: Th. Reinbacher and M. Kramer and M. Horauer and B. Schlich: Motivating Model Checking of Embedded Systems Software, IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications pp. 546-551, October 12-15, 2008, Beijing, China. ISBN: 978-1-4244-2367-5.

ISIE 2008: Rössler P., Radlbauer J., Horauer M., Lukasch F., Wimmer M.: Development of a Data Collection Platform, Proceedings of IEEE International Symposium on Industrial Electronics (ISIE 2008), CD-006343, June 30 - July 2, 2008, Cambridge.

SIES 2008: Reinbacher Th., Kramer M., Horauer M. and Schlich B.: Challenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker, Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), p.277-280, June 11-13, 2008, Montpellier.

SIES 2008: Milbredt P., Horauer M. and Steininger A.: An Investigation of the Clique Problem in FlexRay, Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), p.200-207, June 11-13, 2008, Montpellier. ISBN: 978-1-4244-1994-4.

ETFA 2008: Puhm A., Rössler P., Wimmer M., Swierczek R. and Balog P.: Development of a Flexible Gateway Platform for Automotive Networks, Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany.

IPDPS 2008: Forster W., Kutschera C., Steininger A., Göschka K.: Automated Generation of Explicit Connectors for Component Based Hardware/Software Interaction in Embedded Real-Time Systems, Proceedings of 'The 16th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2008) in conjunction with 22nd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008)', Miami, Florida, USA, April 14, 2008. 978-1-4244-1694-3.

ISPCS 2008: Christof Kutschera, Christoph Veigl, Roland Höller, Peter Rössler, Nikolaus Kerö, Christoph Weiß, Andreas Gröblinger, Hannes Muhr, Gerhard Cadek: Background IEEE 1588 Clock Synchronization over IEEE 802.3/Ethernet, ISPCS 2008 - International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication Ann Arbor, Michigan, September 22-26, 2008.

DELTA 2008: Milbredt P., Steininger A. and Horauer M.: Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks, Proceedings of the 4th IEEE International Symposium on Electronic Design, Test & Applications (DELTA 2008), p.533-538, Jan. 23-25, 2008, Hong Kong.

National Conferences:

ME 2008: P. Balog, B. Jakoby, G. Magerl, and E. Schoitsch (Ed.): Informationstagung Mikroelektronik 2008 - Tagungsband, OVE Schriftenreihe Nr. 50, 2008, ISBN 978-3-85133-049-6.

FFH 2008: M. Zauner, O. Praprotnik, M. Horauer: Neue Testlösungen für die Automobilelektronik, Tagungsband zum 2. Forschungsforum der österreichischen Fachhochschulen 26.-27. März 2008, FH Oberösterreich, Campus Wels, pp. 267-273, Shaker Verlag, 2008. ISBN 978-3-8322-7023-0

FFH 2008: Ch. Kutschera, M. Horauer, W. Forster: Anwendung eines Benchmark-Frameworks für komponentenbasierte Software eingebetteter Systeme, Tagungsband des 2. Forschungsforum der österreichischen Fachhochschulen, Shaker Verlag, 2008.

FFH 2008: Christoph Weiß, Andreas Gröblinger, Markus Hoffmann, Roman Morawek, Roland Höller: Fahrzeuge ohne Elektronikpannen - Fehlersuche in Echtzeitsystemen: Ein Fallbeispiel, 2. Forschungsforum der österreichischen Fachhochschulen (FFH2008) Poster Abstracts, Wels, 26. - 27. März 2008.

ME 2008: Christof Kutschera, Christoph Veigl, Roland Höller, Peter Rössler, Nikolaus Kerö, Christoph Weiß, Andreas Gröblinger, Hannes Muhr, Gerhard Cadek: Nicht-intrusive Uhrensynchronisation nach IEEE 1588 für verteilte, eingebettete Systeme via IEEE 802.3/Ethernet, Tagungsband der ME 2008 - österreichische Informationstagung Mikroelektronik, Wien, 15.-16. Oktober 2008.

Conferences 2007

International Conferences:

SIES 2007: Horauer M., Praprotnik O., Zauner M., Höller R., Milbredt P.: A Test Tool for FlexRay-based Embedded Systems, Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), pp. 349-352, Lisbon - Portugal, 4-6 July, 2007, ISBN: 1-4244-0840-7

SIES 2007: Thomas M. Galla, Dietmar Schreiner, Wolfgang Forster, Christof Kutschera, Karl M. Göschka, Martin Horauer: Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm, Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), pp. 200-208, Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C, ISBN 1-4244-0840-7, Library of congress 2006937976.

DAAAM 2007: Baumgartner D., Kubinger W., Rössler P.: Optimization and Benchmark of Vision Algorithms on a DSP, Proceedings of the 18th International DAAAM Symposium on Intelligent Manufacturing & Automation, October 24-27 2007, Zadar, Croatia.

CVPR 2007: Baumgartner D., Rössler P., Kubinger W.: Performance Benchmark of DSP and FPGA Implementations of Low-Level Vision Algorithms, IEEE Conference on Computer Vision and Pattern Recognition (CVPR '07), p. 1-8, 23rd June 2007, Minneapolis, Minnesota, USA, ISBN: 1-4244-1180-7.

MESA 2007: Horauer M., Armengaud E. and Steininger A.: Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded Systems, Proceedings of the 3rd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA07, Sept. 4-7, 2007, Las Vegas, USA. (best paper in computaional methods and software)

MESA 2007: Schreiner, D.; Göschka, K.: Building Component Based Software Connectors for Communication Middleware in Distributed Embedded Systems, Proceedings of the '3rd ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA 2007)', Las Vegas, Nevada, USA, September 4-7, 2007.

MESA 2007: Zauner M., Kramer M. and Balog P.: TACKLING THE ABSTRACTION GAP FOR THE DESIGN OF EMBEDDED REACTIVE SYSTEMS USING ESTEREL - A CASE STUDY, 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.

COMPSAC 2007: Schreiner, D.; Göschka, K.: A Component Model for the AUTOSAR Virtual Function Bus, Proceedings of the '1st IEEE International Workshop on Software Engineering Challenges in the Automotive Domain (SECAD) at the 'IEEE 31st International Conference on Computer Software and Applications (COMPSAC 2007)', Bejing, China, Jul 23-27, IEEE Computer Society, 2007.

SAC 2007: Schreiner, D.; Göschka, K.: Modeling Component Based Distributed Embedded Systems Application with Explicit Connectors in UML 2.0, The 22nd Annual ACM Symposium on Applied Computing (SAC07), SProceedings of the '22nd Annual ACM Symposium on Applied Computing' (SAC 2007),ACM, Volume 2 (2007), ISBN 1-59593-480-4; pp. 1494 - 1495, ACM (best poster award).

ISORC 2007: Forster, W.; Kutschera, C.; Schreiner, D.; Göschka, K.: A Unified Benchmarking Process for Components in Automotive Embedded Systems Software. Proceedings of the '10 th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2007)', Santorini Islands, pp. 41-45, Greece, May 7-9, IEEE Computer Society, 2007, ISBN: 0-7695-2765-5.

ETAPS 2007: Schreiner, D.; Göschka, K.: Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures, Presentation at the '6th International Software Composition Symposium' (SC 2007), Workshop at the 'European Joint Conferences on Theory and Practice of Software' (ETAPS 2007), Braga, Portugal, March 24 - 25, 2007.

SOFSEM 2007: Schreiner, D.; Göschka, K.: Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems, Presentation at the '33rd International Conference on Current Trends in Theory and Practice of Computer Science' (SOFSEM 2007), Harrachov, Czech Republic, Jan 20 - 26, 2007, in: Lecture Notes in Computer Science (ISSN 0302-9743), vol. 4362 / 2007, 'SOFSEM 2007: Theory and Practice of Computer Science, Proceedings, (ISBN 3-540-69506-0), pp.923 - 934, Springer Verlag, 2007.

National Conferences:

Austrochip 2007: Rössler P. and Zauner M.: Evaluierung eines Esterel-basierenden Hardware/Software Co-Design Flows, Proceedings of the Austrochip 2007, Graz, Austria, October 11, 2007, pg. 99-106, ISBN 978-3-902465-87-0.

FFH 2007: Horauer, M.; Kutschera, Ch., Schreiner D.: Komponentenbasierte Systemsoftware für die Automobilelektronik, Erstes Forschungsforum der österreichischen Fachhochschulen (FFH 2007), Salzburg, 11.-12. April 2007.

FFH 2007: Balog P., Kramer M., Zauner M.: Modellierung reaktiver Systeme mit Esterel, Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), veranstaltet von der österreichischen Fachhochschulkonferenz, 11. bis 12. April 2007, Puch bei Salzburg, österreich.

FFH 2007: Rössler P., Radlbauer J., Horauer M., Lukasch F. and Wimmer M.: Entwicklung eines Satellitenmodems, Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), veranstaltet von der österreichischen Fachhochschulkonferenz, 11. bis 12. April 2007, Puch bei Salzburg, österreich.

Conferences 2006

International Conferences:

ECOOP 2006: Schreiner, D.; Göschka, K.: Model Level Validation of Component Based Software for Distributed Embedded Systems, Poster Presentation at the '20th European Conference on Object-Oriented Programming (ECOOP 2006)', Nantes, France, July 3-7, 2006.

MESA 2006: H. Muhr, R. Höller, M. Horauer: A Heterogeneous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression, Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA06, August 13-16, 2006, Beijing, China.

SAMOS 2006: H. Muhr and R. Höller: Accelerating RTL Simulation by Several Orders of Magnitude Using Clock Suppression, Proceedings of the 6th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS, July 17-20, 2006, Samos, Greece.

SPIE 2006: Fürtler J., Brodersen J., Rössler P. et al.: Architecture for Hardware-driven Image Inspection based on FPGAs, Proceedings of the SPIE Electronic Imaging 2006 Conference, Vol. 6063, pp. 105-113, 15-19 January 2006, San Jose, California USA.

ETFA 2006: E. Armengaud, A. Steininger and M. Horauer: Automatic Parameter Identfication in FlexRay based Automotive Communication Networks, 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague - Czech Republic, pp. 897-904, Sept. 2006.

National Conferences:

Austrochip 2006: Balog P. and Horauer M. (Ed.): Austrochip 2006 - Die österr. Tagung zum Themenbereich des Entwurfs integrierter Schaltungen und Systeme, University of Applied Sciences Technikum Wien, 2006, ISBN-13: 978-3-200-00770-3.

Austrochip 2006: S. Guenes, P. Stipek, R. Höller, Hardware Implementation of a Transform Coding Stage for a Video Decoder, Proceedings of the 14th AUSTROCHIP National Conference, pp. 209-216, October 11th, 2006, Vienna, Austria. ISBN-13: 978-3-200-00770-3.

Austrochip 2006: Eckel C., Bodenstorfer E., Nachtnebel H., Rössler P., Fürtler J. und Mayer K. J.: Hochgeschwindigkeitskamera mit intelligenter Datenvorverarbeitung, "Proceedings of the Austrochip 2006", the Austrian national conference on microelectronics, pp. 103-108, Wien, Austria, October 11th 2006. ISBN-13: 978-3-200-00770-3.

Austrochip 2006: E. Armengaud, A. Steininger and M. Horauer: An Efficient Test and Diagnosis Environment for Communication Controllers, Austrochip 2006 , Vienna - Austria, Oct. 2006.

Conferences 2005

International Conferences:

ITC 2005: E. Armengaud, F. Rothensteiner, A. Steininger, R. Pallierer, M. Horauer and M. Zauner: A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems, Int. Test Conference (ITC 2005), paper 2.1, Austin - Texas - USA, Nov. 2005.

DDECS 2005: E. Armengaud, A. Steininger and M. Horauer: A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories, 8th Int. Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS2005), Sopron - Hungary, pp. 113-120, April 2005.

DDECS 2005: E. Armengaud, A. Steininger and M. Horauer: A Method for Bit Level Test and Diagnosis of Communication Services, 8th Int. Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS2005), Sopron - Hungary, pp. 69-74, April 2005.

ETFA 2005: E. Armengaud, A. Steininger and M. Horauer: Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example, 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), Catania - Italy, pp. 763-770, Sept. 2005, ISBN: 0-7803-9402-X.

Embedded World 2005: R. Pallierer, M. Horauer, M. Zauner, A. Steininger, E. Armengaud and F. Rothensteiner: A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems, Embedded World 2005 Conference, pp. 42-49, Nürnberg - Germany, February 2005.

Embedded World 2005: P. Balog: Network- and Internet Integration of Embedded Systems, Embedded World 2005, February 22-24, 2005, Nuremberg, Conference Proceedings, pp1033-1039.

Design & Elektronik 2005: R. Pallierer, M. Horauer and A. Steininger: Monitoring and Fault-Injection of X-by-Wire Communication Networks, Design & Elektronik Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", Munich - Germany, July 2004.

National Conferences:

Austrochip 2005: M. Horauer, F. Rothensteiner, M. Zauner, E.Armengaud, A. Steininger, H. Friedl and R. Pallierer: An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol, Austrochip 2004, pp. 119-123, Villach - Austria, October 2004. ISBN: 3-200-00211-5

Austrochip 2005: Kerö N., Rössler P. (Hrsg.): Tagungsband zur Austrochip 2005, 6. Oktober 2005, Wien, österreich, ISBN 3-901578-13-7.

Conferences 2004

International Conferences:

WFCS 2004: E. Armengaud, A. Steininger, M. Horauer and R. Pallierer: A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems, 5th International Workshop on Factory Communication Systems (WFCS2004), pp. 275-283, Vienna - Austria, Sept. 22 - 24, 2004.

DSN 2004: E. Armengaud, A. Steininger, M. Horauer and R. Pallierer: Design Trade-offs for Systematic Tests of Embedded Communication Systems, Supplemental Volume to the 2004 International Conference on Dependable Systems and Networks (DSN2004), Florence - Italy, June 28 - July 1, pp.118-119, 2004.

DDECS 2004: E. Armengaud, A. Steininger, M. Horauer, R. Pallierer and H. Friedl: A MONITORING CONCEPT FOR AN AUTOMOTIVE DISTRIBUTED NETWORK - THE FLEXRAY EXAMPLE, 7th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2004), Slovakia, April 18-21, pp.173-178, 2004.

Conferences 2003

National Conferences:

ME 2003: P. Balog: Internetintegration von Embedded Systems, Informationstagung Mikroelektronik me03, Themenkreis: Embedded Systems, Oktober 2003, Wien, Tagungsband pp. 129-134, ISBN 3-85133-030-7.

ME 2003: P. Balog: μC/OS-II Echtzeitbetriebssystem für Mikrocontroller, Informationstagung Mikroelektronik me03, Themenkreis: Embedded Systems, Oktober 2003, Wien, Tagungsband pp. 151-156, ISBN 3-85133-030-7.

ME 2003: P. Balog: μC/OS-II Flashportierung für SK167, Informationstagung Mikroelektronik me03, Themenkreis: Embedded Systems, Oktober 2003, Wien, Tagungsband pp. 157-162, ISBN 3-85133-030-7.