TY  - CHAP
A1  - Schuster, Harald
A1  - Horauer, Martin
A1  - Kramer, Michael
A1  - Leibhart, Heinz
A1  - Büger, Josef
T1  - A Log-Tool Suite for Embedded Systems
T2  - Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal
KW  - Embedded Systems
Y1  - 
ER  - 
TY  - CHAP
A1  - Armengaud, Eric
A1  - Rothensteiner, Florian
A1  - Steininger, Andreas
A1  - Pallierer, Roman
A1  - Horauer, Martin
A1  - Zauner, Martin
T1  - A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems
T2  - paper 2.1 of the International Test Conference (ITC 2005), November, Austin/Texas, USA
KW  - Testing
KW  - Automotive
KW  - Embedded Systems
KW  - Communication Systems
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Baumgartner, Daniel
A1  - Rössler, Peter
A1  - Kubinger, Wilfried
T1  - Performance Benchmark of DSP and FPGA Implementations of Low-Level Vision Algorithms
T2  - IEEE Conference on Computer Vision and Pattern Recognition (CVPR '07), p. 1-8, 23rd June 2007, Minneapolis, Minnesota, USA
KW  - Embedded Systems
KW  - FPGA
Y1  - 2019
SN  - 1-4244-1180-7
SP  - 1
EP  - 8
ER  - 
TY  - CHAP
A1  - Baumgartner, Daniel
A1  - Kubinger, Wilfried
A1  - Rössler, Peter
T1  - Optimization and Benchmark of Vision Algorithms on a DSP
T2  - Proceedings of the 18th International DAAAM Symposium on Intelligent Manufacturing & Automation, October 24-27 2007, Zadar, Croatia
KW  - Embedded Systems
KW  - Algorithm
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Veigl, Christoph
A1  - Kutschera, Christof
A1  - Rössler, Peter
T1  - Ausgelagerte Uhrensynchronisation für verteilte eingebettete Systeme
T2  - 3. Forschungsforum der österreichischen Fachhochschulen (FFH2009), Villach, Austria, April 15-16 2009
KW  - Embedded Systems
KW  - Synchronization
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Brejcha, Philipp
A1  - Beneder, Roman
A1  - Kramer, Michael
T1  - New approaches for a distance learning course about Embedded,
T2  - IEEE EDUCON Education Engineering 2011 - Learning Environments and Ecosystems in Engineering Education, JORDAN, AMMAN, April 04 - 06, 2011
KW  - Embedded Systems
KW  - Teaching
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Glatz, Bernd
A1  - Cleary, Fionn
A1  - Horauer, Martin
A1  - Schuster, Harald
A1  - Balog, Peter
T1  - Complementing Testing of IEC61499 Function Blocks with Model-Checking
T2  - Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller
T2  - Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland
KW  - Embedded Systems
KW  - Microcontroller
Y1  - 2019
SP  - 161
EP  - 170
ER  - 
TY  - CHAP
A1  - Praprotnik, Oliver
A1  - Zauner, Martin
T1  - System-Testumgebung für die verteilte Automobilelektronik
T2  - Informationstagung Mikroelektronik (ME 2010),  Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Automotive
KW  - Testing
Y1  - 2019
SP  - 305
EP  - 310
ER  - 
TY  - CHAP
A1  - Horauer, Martin
T1  - Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded Systems
T2  - Proceedings of the 3rd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA07, Sept. 4-7, 2007, Las Vegas, USA
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Rössler, Peter
A1  - Höller, Roland
A1  - Zauner, Martin
T1  - A methodology for remote debug, test and maintenance based on IEEE1588
T2  - ASME 2011 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2001 August 29-31, Washington, DC, USA.
KW  - Embedded Systems
KW  - IEEE
KW  - Testing
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Puhm, Andreas
A1  - Rössler, Peter
T1  - Entwicklung eines flexibel in der Lehre einsetzbaren Designflows für digitale Mikrochips
T2  - 8. Forschungsforum der österreichischen Fachhochschulen, 23. bis 24. April 2014, Kufstein, Österreich
KW  - Embedded Systems
KW  - Microchip
KW  - Teaching
Y1  - 2019
SP  - 266
EP  - 270
ER  - 
TY  - CHAP
A1  - Puhm, Andreas
A1  - Rössler, Peter
T1  - Considerations on Teaching Digital ASIC Design
T2  - Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA) 2014
KW  - Embedded Systems
KW  - Education
KW  - ASIC
Y1  - 
ER  - 
TY  - CHAP
A1  - Aigner, Benjamin
A1  - Rössler, Peter
T1  - A Low-cost Sound Generator for an Electric Quad Bike
T2  - MECO2013 Conference, 16-20 June, 2013, Budva, Montenegro
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Horauer, Martin
A1  - Rössler, Peter
T1  - FlexRay (Chapter 44)
T2  - The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011
KW  - Industrial
KW  - Communication System
KW  - Embedded Systems
Y1  - 2019
PB  - CRC Press
ER  - 
TY  - GEN
A1  - Puhm, Andreas
A1  - Rössler, Peter
T1  - Considerations on Teaching Digital ASIC Design
KW  - Embedded Systems
KW  - Education
KW  - ASIC
Y1  - 
ER  - 
TY  - CHAP
A1  - Kutschera, Christof
A1  - Veigl, Christoph
A1  - Höller, Roland
A1  - Rössler, Peter
A1  - Kerö, Nikolaus
A1  - Weiß, Christoph
A1  - Gröblinger, Andreas
A1  - Muhr, Hannes
A1  - Cadek, Gerhard
T1  - Nicht-intrusive Uhrensynchronisation nach IEEE 1588 für verteilte, eingebettete Systeme via IEEE 802.3/Ethernet
T2  - Tagungsband der ME 2008 - österreichische Informationstagung Mikroelektronik, Wien, 15.-16. Oktober 2008
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Kutschera, Christof
A1  - Veigl, Christoph
A1  - Höller, Roland
A1  - Rössler, Peter
A1  - Kerö, Nikolaus
A1  - Weiß, Christoph
A1  - Gröblinger, Andreas
A1  - Muhr, Hannes
A1  - Cadek, Gerhard
T1  - Background IEEE 1588 Clock Synchronization over IEEE 802.3/Ethernet, ISPCS 2008
T2  - International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication Ann Arbor, Michigan, September 22-26, 2008
KW  - Embedded Systems
KW  - Synchronization
KW  - IEEE
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Höller, Roland
A1  - Muhr, Hannes
A1  - Kerö, Nikolaus
A1  - Gröblinger, Andreas
A1  - Veigl, Christoph
A1  - Weiß, Christoph
A1  - Rössler, Peter
T1  - Weltweit kleinste, voll integrierte Lösung zur Uhrensynchronisation nach IEEE 1588 auf Schicht 2
T2  - agungsband zur IEEE Austrochip 2009, Graz, Österreich, 7. Oktober 2009
KW  - Embedded Systems
KW  - Synchronization
KW  - IEEE
Y1  - 2019
SN  - 978-3-9501635-1-3
SP  - 39
EP  - 44
ER  - 
TY  - CHAP
A1  - Balog, Peter
A1  - Horauer, Martin
A1  - Rössler, Peter
T1  - Remote LAB infrastructure for Distance Learning Courses at the Undergraduate Level in Embedded Systems Design
T2  - Proceedings of the 2009 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA 2009), DETC2009-87148, Aug. 30-Sept. 02, 2009, San Diego, USA
KW  - Embedded Systems
KW  - Teaching
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Puhm, Andreas
A1  - Rössler, Peter
A1  - Wimmer, Marcus
A1  - Swierczek, Roland
A1  - Balog, Peter
T1  - Development of a Flexible Gateway Platform for Automotive Networks
T2  - Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany
KW  - Embedded Systems
KW  - Automotive
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Höller, Roland
A1  - Rössler, Peter
T1  - On-chip Hardware Support for a Radically New Approach to Coordinated Debug of Networked Embedded Systems
T2  - Proceedings of the SD4 (System, Software, SoC and Silicon Debug) Conference 2009, September 24-25, 2009, Sophia Antipolis, France
KW  - Embedded Systems
KW  - On-chip Hardware
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Rössler, Peter
A1  - Zauner, Martin
T1  - Evaluation of an Esterel-based Hardware/Software Co-Design Flow
T2  - Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland
KW  - Embedded Systems
Y1  - 2019
SP  - 42
EP  - 45
ER  - 
TY  - GEN
A1  - Schuster, Harald
A1  - Horauer, Martin
A1  - Kramer, Michael
A1  - Liebhart, Heinz
A1  - Büger, Josef
T1  - A Log-Tool Suite for Embedded Systems
KW  - Embedded Systems
Y1  - 
ER  - 
TY  - CHAP
A1  - Balog, Peter
T1  - μC/OS-II Flashportierung für SK167
T2  - Tagungsband der Informationstagung Mikroelektronik me03, October 2003, Vienna, Austria
KW  - Port
KW  - Embedded Systems
Y1  - 2019
SP  - 157
EP  - 162
ER  - 
TY  - CHAP
A1  - Praprotnik, Oliver
A1  - Gartner, Mario
A1  - Zauner, Martin
A1  - Horauer, Martin
T1  - A Test Suite for System Tests of Distributed Automotive Electronics,
T2  - Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), October 11-16, 2009 - Sliema, Malta
KW  - Embedded Systems
KW  - Automotive
KW  - Testing
Y1  - 2019
ER  - 
TY  - GEN
A1  - Glatz, Bernd
A1  - Cleary, Fionn
A1  - Horauer, Martin
A1  - Schuster, Harald
A1  - Balog, Peter
T1  - Complementing Testing of IEC61499 Function Blocks with Model-Checking
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Schreiner, Dietmar
A1  - Göschka, Karl
T1  - Modeling Component Based Distributed Embedded Systems Application with Explicit Connectors in UML 2.0
T2  - Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 07)
KW  - Embedded Systems
KW  - Distributed Systems
KW  - Connector
Y1  - 2019
SP  - 1494
EP  - 1495
ER  - 
TY  - CHAP
A1  - Forster, Wolfgang
A1  - Kutschera, Christof
A1  - Steininger, Andreas
A1  - Göschka, Karl
T1  - Automated Generation of Explicit Connectors for Component Based Hardware/Software Interaction in Embedded Real-Time Systems
T2  - 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
KW  - Embedded Systems
KW  - Embedded Real-Time Systems
Y1  - 2019
SN  - 978-1-4244-1694-3
ER  - 
TY  - JOUR
A1  - Schefer-Wenzl, Sigrid
A1  - Wenzl, Matthias
T1  - Roboter mit Himbeeren, Ein Überblick über Roboterbausätze und GPIO Bibliotheken auf Raspberry Pi (2)
JF  - Entwickler Magazin 2015
KW  - Robotic
KW  - Embedded Systems
Y1  - 2019
IS  - Entwickler Magazin Juni 2015
ER  - 
TY  - JOUR
A1  - Wenzl, Matthias
A1  - Merzdovnik, Georg
A1  - Weippl, Edgar
T1  - ISaFe - Injecting Security Features into Constrained Embedded Firmware
JF  - ERCIM News
KW  - Binary rewriting
KW  - Binary Hardening
KW  - Embedded Systems
KW  - Embedded Firmware
Y1  - 2019
VL  - 2019
IS  - 119 (2019)
SP  - 25
EP  - 26
ER  - 
TY  - CHAP
A1  - Schreiner, Dietmar
A1  - Göschka, Karl
T1  - Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
T2  - Lecture Notes in Computer Science vol. 4362 - Proceedings of SOFSEM 2007: Theory and Practice of Computer Science
KW  - Software Engineering
KW  - Embedded Systems
KW  - Connector
Y1  - 2019
SP  - 923
EP  - 934
PB  - Springer
ER  - 
TY  - CHAP
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Horauer, Martin
A1  - Pallierer, Roman
T1  - Design Trade-Offs for Systematic Tests of Embedded Communication Systems
T2  - Supplemental Volume to the 2004 International Conference on Dependable Systems and Networks (DSN 2004), June 28 - July 1, Florence, Italy
KW  - Test Design
KW  - Embedded Systems
KW  - Communication Systems
Y1  - 2019
SP  - 118
EP  - 119
ER  - 
TY  - CHAP
A1  - Hausladen, Jürgen
A1  - Gerstmayer, Florian
A1  - Jerabek, Thomas
A1  - Horauer, Martin
T1  - Integration of Static Worst-Case Execution Time & Stack Usage Analysis for Embedded Systems Software in a Cloud-Based Development Environment
T2  - 13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017)
KW  - Cloud
KW  - Stack Usage
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Hausladen, Jürgen
A1  - Gerstmayer, Florian
A1  - Kramer, Michael
A1  - Horauer, Martin
T1  - Methods for Protection of Iintellectual Property in Embedded Software - A Survey
T2  - 13th ASMEE/IEEE International Conference on Mechatronic & Embedded Systems & Applications (MESA 2017)
KW  - Intellectual Property
KW  - Protection Methods
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Glatz, Bernd
A1  - Schuster, Harald
A1  - Horauer, Martin
A1  - Rauscher, Thomas
A1  - Obermaisser, Roman
T1  - Fault Injection for IEC 61499 Applications
T2  - Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Gerstmayer, Florian
A1  - Hausladen, Jürgen
A1  - Kramer, Michael
A1  - Horauer, Martin
T1  - A Binary Protection Framework for Embedded Systems Software
T2  - 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)
KW  - Protection Framework
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Jerabek, Thomas
A1  - Horauer, Martin
T1  - Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software
T2  - Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - GEN
A1  - Gerstmayer, Florian
A1  - Hausladen, Jürgen
A1  - Kramer, Michael
A1  - Horauer, Martin
T1  - A Binary Protection Framework for Embedded Systems Software
KW  - Protection Framework
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - GEN
A1  - Glatz, Bernd
A1  - Schuster, Harald
A1  - Horauer, Martin
A1  - Rauscher, Thomas
A1  - Obermaisser, Roman
T1  - Fault Injection for IEC 61499 Applications
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Hausladen, Jürgen
A1  - Pohn, Birgit
A1  - Horauer, Martin
T1  - A Cloud-Based Approach to Development of Embedded Systems Software
T2  - Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015
KW  - Cloud
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Glatz, Bernd
A1  - Beneder, Roman
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Deadlock Detection Runtime Service for Embedded Linux
T2  - Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015
KW  - Linux
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - GEN
A1  - Glatz, Bernd
A1  - Beneder, Roman
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Deadlock Detection Runtime Service for Embedded Linux
KW  - Linux
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - GEN
A1  - Jerabek, Thomas
A1  - Horauer, Martin
T1  - Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Beneder, Roman
A1  - Glatz, Bernd
A1  - Horauer, Martin
A1  - Rauscher, Thomas
T1  - Runtime Verification Infrastructure for Embedded Linux
T2  - Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014
KW  - Embedded Systems
KW  - Linux
Y1  - 
ER  - 
TY  - CHAP
A1  - Kramer, Michael
A1  - Horauer, Martin
T1  - Software Based Methods to Harden Embedded Software at Run-Time: A Survey
T2  - ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015
KW  - Embedded Systems
KW  - Software
Y1  - 2019
SN  - 978-0-7918-5719-9
ER  - 
TY  - CHAP
A1  - Hausladen, Jürgen
A1  - Pohn, Birgit
A1  - Horauer, Martin
T1  - A Cloud-based Integrated Development Environment for Embedded Systems
T2  - Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014
KW  - Embedded Systems
Y1  - 
ER  - 
TY  - CHAP
A1  - Horauer, Martin
A1  - Schuster, Harald
A1  - Balog, Peter
T1  - Experimental Assessment of the Clique Problem in FlexRay
T2  - Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Portland OR, USA, Aug. 04-07, 2013
KW  - Embedded Systems
KW  - FlexRay
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Runtime verification of microcontroller binary code
JF  - Elsevier Science of Computer Programming, Volume 80, Part A
KW  - Microcontroller
KW  - Binary Code
KW  - Embedded Systems
Y1  - 2019
IS  - Elsevier Science of Computer Programming, Volume 80, Part A
ER  - 
TY  - GEN
A1  - Hausladen, Jürgen
A1  - Pohn, Birgit
A1  - Horauer, Martin
T1  - A Cloud-based Integrated Development Environment for Embedded Systems
KW  - Embedded Systems
Y1  - 
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Past Time LTL Runtime Verification for Microcontroller Binary Code
T2  - 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
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 37
EP  - 51
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Steininger, Andreas
A1  - Müller, Tobias
A1  - Horauer, Martin
A1  - Brauer, Jörg
T1  - Hardware Support for Efficient Testing of Embedded Software
T2  - 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
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SP  - 1
EP  - 10
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking
T2  - roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SP  - 114
EP  - 119
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Brauer, Jörg
A1  - Horauer, Martin
A1  - Steininger, Andreas
A1  - Kowalewski, Stefan
T1  - Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
T2  - Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
A1  - Schlich, Bastian
A1  - Brauer, Jörg
A1  - Scheuer, Florian
T1  - Model Checking Embedded Software of an Industrial Knitting Machine
JF  - International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2
KW  - Model Checking
KW  - Static Analysis
KW  - Binary Code
KW  - Formal Verification
KW  - Embedded Systems
Y1  - 2019
IS  - Vol. 1, No. 2
ER  - 
TY  - CHAP
A1  - Niklas, Peter
A1  - Zauner, Martin
A1  - Horauer, Martin
T1  - Development of an Embedded Monitoring Device for a Manufacturing Plant
T2  - Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China
KW  - Embedded Systems
KW  - Manufacturing
Y1  - 2019
SP  - 398
EP  - 402
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Gückel, Dominique
A1  - Horauer, Martin
T1  - Testing Microcontroller Software Simulators
T2  - Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011
KW  - Embedded Systems
KW  - Microcontroller
KW  - Testing
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Horauer, Martin
A1  - Zauner, Martin
A1  - Schuster, Harald
T1  - A System-level Test for Automotive Communication Subsystems
JF  - e&i, Elektrotechnik und Informationstechnik, Heft 6.2011
KW  - Automotive
KW  - Embedded Systems
Y1  - 2019
IS  - Heft 6.2011
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
T1  - Formale Verifikation von Embedded Systems Software
T2  - Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010
KW  - Embedded Systems
KW  - Verification
Y1  - 2019
SP  - 289
EP  - 296
ER  - 
TY  - CHAP
A1  - Galla, Thomas
A1  - Schreiner, Dietmar
A1  - Forster, Wolfgang
A1  - Kutschera, Christof
A1  - Göschka, Karl
A1  - Horauer, Martin
T1  - Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm
T2  - Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C
KW  - Embedded Systems
KW  - Automotive
Y1  - 2019
SN  - 1-4244-0840-7
SP  - 200
EP  - 208
ER  - 
TY  - CHAP
A1  - Horauer, Martin
A1  - Praprotnik, Oliver
A1  - Zauner, Martin
A1  - Höller, Roland
A1  - Milbredt, Paul
T1  - A Test Tool for FlexRay-based Embedded Systems
T2  - Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SN  - 1-4244-0840-7
SP  - 349
EP  - 352
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Horauer, Martin
A1  - Schlich, Bastian
A1  - Bauer, Jörg
A1  - Scheuer, Florian
T1  - Model Checking Assembly Code of an Industrial Knitting Machine
T2  - Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009
KW  - Embedded Systems
KW  - Model Checking
KW  - Knitting Machine
Y1  - 2019
SP  - 97
EP  - 104
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Kramer, Michael
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker
T2  - Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier
KW  - Embedded Systems
KW  - Embedded Model Checking
Y1  - 2019
SP  - 277
EP  - 280
ER  - 
TY  - CHAP
A1  - Kutschera, Christof
A1  - Horauer, Martin
A1  - Forster, Wolfgang
T1  - Anwendung eines Benchmark-Frameworks für komponentenbasierte Software eingebetteter Systeme
T2  - Tagungsband des 2. Forschungsforum der österreichischen Fachhochschulen
KW  - Embedded Systems
KW  - Benchmark-Framework
Y1  - 2019
PB  - Shaker Verlag
ER  - 
TY  - CHAP
A1  - Reinbacher, Thomas
A1  - Kramer, Michael
A1  - Horauer, Martin
A1  - Schlich, Bastian
T1  - Motivating Model Checking of Embedded Systems Software
T2  - EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China
KW  - Embedded Systems
Y1  - 2019
SN  - 978-1-4244-2367-5
SP  - 546
EP  - 551
ER  - 
TY  - CHAP
A1  - Milbredt, Paul
A1  - Steininger, Andreas
A1  - Horauer, Martin
T1  - Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks
T2  - Proceedings of the 4th IEEE International Symposium on Electronic Design, Test & Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SP  - 533
EP  - 538
ER  - 
TY  - CHAP
A1  - Milbredt, Paul
A1  - Horauer, Martin
A1  - Steininger, Andreas
T1  - An Investigation of the Clique Problem in FlexRay
T2  - Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier
KW  - Embedded Systems
KW  - FlexRay
Y1  - 2019
SN  - 978-1-4244-1994-4
ER  - 
TY  - CHAP
A1  - Zauner, Martin
A1  - Praprotnik, Oliver
A1  - Horauer, Martin
T1  - Neue Testlösungen für die Automobilelektronik
T2  - Tagungsband zum 2. Forschungsforum der österreichischen Fachhochschulen 26.-27. März 2008, FH Oberösterreich, Campus Wels
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SN  - 978-3-8322-7023-0
SP  - 267
EP  - 273
PB  - Shaker Verlag
ER  - 
TY  - CHAP
A1  - Pallierer, Roman
A1  - Horauer, Martin
A1  - Zauner, Martin
A1  - Steininger, Andreas
A1  - Armengaud, Eric
A1  - Rothensteiner, Florian
T1  - A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems
T2  - Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany
KW  - Automotive
KW  - Communication Systems
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
SP  - 42
EP  - 49
ER  - 
TY  - CHAP
A1  - Horauer, Martin
A1  - Rothensteiner, Florian
A1  - Zauner, Martin
A1  - Armengaud, Eric
A1  - Steininger, Andreas
A1  - Friedl, Hannes
A1  - Pallierer, Roman
T1  - An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol
T2  - Proceedings of Austrochip 2004, October 2004, Villach, Austria
KW  - Embedded Systems
KW  - Automotive
KW  - Communication Systems
Y1  - 2019
SP  - 119
EP  - 123
ER  - 
TY  - CHAP
A1  - Puhm, Andreas
A1  - Mahmood, Aneeq
A1  - Bigler, Thomas
A1  - Kerö, Nikolaus
T1  - Synchronizing an IEEE 1588 Slave Clock Over Both Paths of a Redundant Ethernet System
T2  - 2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication
KW  - Network
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - JOUR
A1  - Praus, Friedrich
A1  - Kastner, Wolfgang
A1  - Palensky, Peter
T1  - Secure Control Applications in Smart Homes and Buildings
JF  - Journal of Universal Computer Science, Special Issue on Security, Privacy and Reliability of Smart Buildings, 2016
KW  - Smart Building
KW  - Secure Control Application
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - THES
A1  - Praus, Friedrich
T1  - Secure Control Applications in Smart Homes and Buildings
KW  - Smart Home
KW  - Smart Building
KW  - Secure Control Application
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Granzer, Wolfgang
A1  - Praus, Friedrich
A1  - Balog, Peter
T1  - Source Code Plagiarism in Computer Engineering Courses
JF  - JSCI (Journal of Systemics, Cybernetics and Informatics) 11(6):4, 2013
KW  - Plagiarism
KW  - Computer Engineering
KW  - Embedded Systems
Y1  - 2019
IS  - JSCI (Journal of Systemics, Cybernetics and Informatics) 11(6):4
ER  - 
TY  - CHAP
A1  - Isaacs, Richard
A1  - Praus, Friedrich
T1  - Design & development of a prototype android app for a KNX home
T2  - KNX Scientific Conference
KW  - Embedded Systems
KW  - KNX
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Samardzija, Luka
A1  - Praus, Friedrich
T1  - ANT goes KNX - an open platform gateway for ANT and KNX
T2  - KNX Scientific Conference
KW  - Embedded Systems
KW  - KNX
KW  - ANT
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Veigl, Christoph
A1  - Miesenberger, Klaus
T1  - A toolkit for user-centered design of assistive technology solutions
JF  - Journal on Technology & Persons with Disabilities, Volume 6 (2018)
KW  - Toolkit
KW  - Assistive Technology
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Polzer, Thomas
A1  - Huerner, Florian
T1  - Refined metastability characterization using a time-to-digital converter
JF  - Microelectronics Reliability, January 2018
KW  - Microelectronic
KW  - Embedded Systems
Y1  - 2019
IS  - Microelectronics Reliability, January 2018, Volume 80
ER  - 
TY  - CHAP
A1  - Komodromos, Marios
A1  - Mettouris, Christos
A1  - Achilleos, Achilleas
A1  - Papadopoulos, George
A1  - Veigl, Christoph
A1  - Deinhofer, Martin
A1  - Doppler, Alfred
A1  - Schuerz, Stefan
T1  - A Runtime Middleware for Enabling Application Integration and Rapid Re-Engineering
T2  - 5th International Conference on Intelligent Software Methodologies, Tools and Techniques, September 12-14, Larnaca, Cyprus
KW  - Middleware
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Beneder, Roman
A1  - Lechner, Markus
A1  - Schmitt, Patrick
T1  - Increasing the accessibility of measurement equipment for undergraduate courses dedicated to Embedded Systems
T2  - IEEE Global Engineering Education Conference (EDUCON 2017)
KW  - Measurement Equipment
KW  - Teaching
KW  - Embedded Systems
Y1  - 2018
SP  - 161
EP  - 164
ER  - 
TY  - GEN
A1  - Komodromos, Marios
A1  - Mettouris, Christos
A1  - Achilleos, Achilleas
A1  - Papadopoulos, George
A1  - Veigl, Christoph
A1  - Deinhofer, Martin
A1  - Doppler, Alfred
A1  - Schuerz, Stefan
T1  - A Runtime Middleware for Enabling Application Integration and Rapid Re-Engineering
KW  - Middleware
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - GEN
A1  - Puhm, Andreas
A1  - Mahmood, Aneeq
A1  - Bigler, Thomas
A1  - Kerö, Nikolaus
T1  - Synchronizing an IEEE 1588 Slave Clock Over Both Paths of a Redundant Ethernet System
KW  - Network
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Otto, Matthias
A1  - Kramer, Michael
T1  - Implementation of a clothoid based trajectory into the ROS framework
T2  - Proceedings of the 2016 3rd International Conference on Control, Decision and Information Technologies (CoDIT), 4 pages, April 6-8, Malta, 2016
KW  - Embedded Systems
Y1  - 2018
ER  - 
TY  - CHAP
A1  - Wenzl, Matthias
A1  - Schuster, Harald
A1  - Obermayer, Christian
A1  - Balog, Peter
T1  - EMBEDDED MULTI CORE VIRTUAL PROTOTYPING FOR SOFTWARE ENGINEERS
T2  - roceedings 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
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Kittenberger, Thomas
A1  - Ferner, Andreas
A1  - Scheikl, Reinhard
T1  - A simple computer vision based indoor positioning system for educational micro air vehicles
JF  - JAMRIS (Journal of Automation, Mobile Robotics & Intelligent Systems), PIAP, Volume 8, No. 1
KW  - Computer Vision
KW  - Indoor Positioning
KW  - Infrared Camera
KW  - Robotics Education
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - JOUR
A1  - Wenzl, Matthias
A1  - Schefer-Wenzl, Sigrid
T1  - Ran an den Knochen: Java embedded auf dem Beagle Bone
JF  - Entwickler Magazin Spezial "Internet of Things", April 2014
KW  - Java
KW  - Embedded Systems
KW  - Internet of Things
Y1  - 2019
IS  - Entwickler Magazin Spezial "Internet of Things", April 2014
ER  - 
TY  - JOUR
A1  - Wenzl, Matthias
A1  - Schefer-Wenzl, Sigrid
T1  - Java Embedded auf dem Beagle Bone
JF  - Java Magazin Heft 7
KW  - Java
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Kramer, Michael
A1  - Beneder, Roman
A1  - Brejcha, Philipp
A1  - Balog, Peter
T1  - Dedicated Infrastructure for academic courses related to embedded systems design supporting students in distance learnign programs
T2  - Proceedings of the 7th International ASME/IEEE Conference on Mechatronics & Embedded Systems & Applications ASME/IEEE MESA 2011, August 28-31, 2011, Washington, DC, USA
KW  - Embedded Systems
KW  - Teaching
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Brejcha, Philipp
A1  - Beneder, Roman
A1  - Kramer, Michael
T1  - A two stage approach for a cost-effective and versatile debugging unit and starter platform
T2  - MESA12 - The 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Kittenberger, Thomas
A1  - Reeh, M.
A1  - Scheibelecker, M.
T1  - A micro air vehicle instrument landing system based on synchronized, unidirectional ultrasound transmission
T2  - nternational Micro Air Vehicle Conference and Competition, Huntsville, Alabama, USA, May 23-27, 2011
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Kramer, Michael
A1  - Beneder, Roman
A1  - Brejcha, Philipp
T1  - Reducing the entrance hurdle in Embedded System Engineering courses
T2  - 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
KW  - Embedded Systems
KW  - Teaching
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Schuster, Harald
A1  - Wenzl, Matthias
A1  - Zauner, Martin
T1  - A Framework for Teaching Embedded Multi-Core Programming
T2  - Proceedings of the 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, July 8-10, 2012, Suzhou, China
KW  - Embedded Systems
KW  - Teaching
Y1  - 2019
SP  - 292
EP  - 297
ER  - 
TY  - CHAP
A1  - Schuster, Harald
T1  - Experimentelle Implementierung eines Switches für FlexRay
T2  - Tagungsband 5. Forschungsforum der österreichischen Fachhochschulen, 27. bis 28. April 2011, Wien, Österreich
KW  - Embedded Systems
KW  - FlexRay
Y1  - 2019
SN  - 978-3-902614-16-2
SP  - 465
EP  - 466
ER  - 
TY  - CHAP
A1  - Kittenberger, Thomas
A1  - Brodl, L.
A1  - Vavra, Norbert
T1  - Experiences using autonomous model airplanes for embedded control education and for bachelor and diploma projects
T2  - Proceedings of "Robotics in Education", Sept. 16-17, 2010, Bratislava, Slovakia
KW  - Embedded Systems
KW  - Teaching
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Weiß, Christoph
A1  - Gröblinger, Andreas
A1  - Höller, Roland
T1  - Koordinierte Fehlersuche und Tests in verteilten Echtzeitsystemen
T2  - 3. Forschungsforum der österreichischen Fachhochschulen (FFH2009), Villach, Austria, April 15-16 2009
KW  - Embedded Systems
KW  - Embedded Real-Time Systems
KW  - Testing
Y1  - 2019
SP  - 210
EP  - 216
ER  - 
TY  - CHAP
A1  - Brauer, Jörg
A1  - Reinbacher, Thomas
A1  - Schlich, Bastian
A1  - Kowalewski, Stefan
T1  - Stack Bounds Analysis for Microcontroller Assembly Code
T2  - 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
KW  - Embedded Systems
KW  - Microcontroller
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Weiß, Christoph
A1  - Gröblinger, Andreas
A1  - Hoffmann, Markus
A1  - Morawek, Roman
A1  - Höller, Roland
T1  - Fahrzeuge ohne Elektronikpannen - Fehlersuche in Echtzeitsystemen: Ein Fallbeispiel
T2  - 2. Forschungsforum der österreichischen Fachhochschulen (FFH2008) Poster Abstracts, Wels, 26. - 27. März 2008
KW  - Embedded Systems
KW  - Testing
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Balog, Peter
A1  - Jakoby, Bernhard
A1  - Magerl, Gottfried
A1  - Schoitsch, Erwin
T1  - Informationstagung Mikroelektronik 2008
T2  - Tagungsband, OVE Schriftenreihe Nr. 50, 2008
KW  - Embedded Systems
Y1  - 2019
ER  - 
TY  - CHAP
A1  - Forster, Wolfgang
A1  - Kutschera, Christof
A1  - Schreiner, Dietmar
A1  - Göschka, Karl
T1  - A Unified Benchmarking Process for Components in Automotive Embedded Systems Software
T2  - Proceedings of the 10th IEEE International Symposium on Object/Component/Service-oriented Real-time distributed computing (ISORC 2007), May 7-9, Santorini Islands, Greece
KW  - Benchmarking
KW  - Automotive
KW  - Embedded Systems
Y1  - 2019
SP  - 41
EP  - 45
ER  - 
TY  - CHAP
A1  - Zauner, Martin
A1  - Kramer, Michael
A1  - Balog, Peter
T1  - TACKLING THE ABSTRACTION GAP FOR THE DESIGN OF EMBEDDED REACTIVE SYSTEMS USING ESTEREL - A CASE STUDY
T2  - 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
KW  - Embedded Systems
Y1  - 2019
ER  -