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 - Horauer, Martin A1 - Ray, Markus A1 - Augustin, Andreas A1 - Novak, Gregor T1 - FlexiCount: Eine flexible Personenzählmatte für den mobilen Indoor und Outdoor Einsatz T2 - , Proceedings Real Corp 2010, Vienna, Austria, May 18-20, 2010 KW - Person Counting Y1 - 2019 SP - 1095 EP - 1100 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 - Jerabek, Thomas A1 - Aigner, Benjamin A1 - Gerstmayer, Florian A1 - Hausladen, Jürgen T1 - Energy-Efficient Real-Time Operating Systems: An Approach using Dynamic Frequency Scaling and Worst-Case Execution Time Aware Scheduling T2 - The 10th International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2017), September 10-14, 2017 - Rome, Italy KW - Electronics KW - Microelectronics Y1 - 2019 ER - TY - GEN A1 - Huemer, Florian A1 - Polzer, Thomas A1 - Steininger, Andreas T1 - Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA KW - Metastability KW - Time-to-digital Converter KW - TDC KW - Transition Detection KW - Converter Y1 - 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 - Eckel, C. A1 - Bodenstorfer, E. A1 - Nachtnebel, H. A1 - Rössler, Peter A1 - Fürtler, J. A1 - Mayer, K. T1 - Hochgeschwindigkeitskamera mit intelligenter Datenvorverarbeitung T2 - Proceedings of Austrochip 2006, 11 October, Vienna, Austria KW - Camera KW - Data Processing Y1 - 2019 SP - 103 EP - 108 ER - TY - GEN A1 - Veigl, Christoph A1 - Deinhofer, Martin A1 - Aigner, Benjamin A1 - Miesenberger, Klaus T1 - Personalized Computer Access for People with Severe Motor Disabilities - AsTeRICS, FlipMouse and the Two-Level Personalization Software Engineering Method KW - Disabilities KW - Ambient Assisted Living KW - Input Devices KW - Software Engineering Y1 - 2018 ER - TY - GEN A1 - Veigl, Christoph A1 - David, Veronika T1 - AsTeRICS und FlipMouse: Flexible Eingabesysteme und kostengünstige Lösungen für Kommunikation und Umgebungssteuerung für Menschen mit Behinderung KW - Communication KW - Assistive Technology KW - AsTeRICS framework Y1 - ER - TY - GEN A1 - David, Veronika A1 - Aigner, Benjamin T1 - AsTeRICS Framework KW - Cross-Cultural Education Y1 - 2018 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 - Jakisch, Philipp A1 - Krammer, Christopher A1 - Krätz, Thomas A1 - Stukelj, Gasper A1 - Werdenits, Lukas A1 - Höller, Roland A1 - Rössler, Peter T1 - Field Programmable Analog Circuits and Arrays – An Overview T2 - Proceedings of the IEEE International Conference on Electrical, Computer and Energy Technologies (ICECET), Cape Town, South Africa, Dec. 9-10, 2021 KW - Field Programmable Analog Arrays KW - FPAA KW - Mixed-Signal I/O Circuits Y1 - ER - TY - CHAP A1 - Rössler, Peter A1 - Höller, Roland A1 - Reisner, Christopher A1 - Maischberger, Oliver T1 - Survey and Comparison of Digital Logic Simulators T2 - Proceedings of 27th Austrochip Conference on Microelectronics, Oct. 24, 2019, Vienna, Austria KW - Digital Logic Simulation KW - Verification KW - Electronic Design Automation KW - VLSI Design KW - Survey Y1 - 2020 ER - TY - JOUR A1 - Rössler, Peter A1 - Höller, Roland T1 - Programmable Logic Devices – Key Components for Today's and Tomorrow's Electronic-Based Systems JF - e&i (Elektrotechnik und Informationstechnik), Volume 137, Issue 1, 2020 KW - Programmable Logic Devices KW - Field-Programmable Gate Arrays KW - PLD KW - FPGA Y1 - 2020 VL - Vol. 137, 2020 IS - Issue 1, 2020 ER - TY - CHAP A1 - Höller, Roland A1 - Haselberger, Dominic A1 - Ballek, Dominik A1 - Rössler, Peter T1 - Open-Source RISC-V Processor IP Cores for FPGAs – Overview and Evaluation T2 - 8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro KW - Field-Programmable Gate Array KW - PSoC KW - CPU Core KW - Open-Source KW - RISC-V Y1 - 2019 ER - TY - CHAP A1 - Rössler, Peter A1 - Höller, Roland A1 - Reisner, Christopher A1 - Schrön, Felix A1 - Ewers, Ekaterina T1 - A Model Railway based Demonstrator for Saftey-Critical Systems T2 - 12th European Workshop on Microelectronics Education, Sept. 24-26, 2018, Braunschweig, Germany KW - Functional Safety KW - FPGA KW - PSoC KW - Distributed System KW - Education Y1 - 2019 ER - TY - CHAP A1 - Wenzl, Matthias A1 - Rössler, Peter A1 - Puhm, Andreas T1 - Checking Application-level Properties Using Assertion Synthesis T2 - Proceedings of the ASME/IEEE International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA KW - Assertion-based Verification KW - PSL KW - Assertion Synthesis KW - Fault Detection KW - FPGA Y1 - 2019 ER - TY - CHAP A1 - Rössler, Peter A1 - Höller, Roland T1 - Innovative Plattformen für Elektronische Systeme (INES) T2 - Proceedings of the FFH (Forschungsforum der Östereichischen Fachhochschulen), April 24-25, 2019, Wiener Neustadt, Austria KW - FPGA KW - Field-Programmable Gate Array KW - PLD KW - Programmable Logic Device KW - Electronic Based Systems 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 - Radlbauer, Josef A1 - Horauer, Martin A1 - Lukasch, Franz A1 - Wimmer, Marcus T1 - Development of a Data Collection Platform T2 - Proceedings of IEEE International Symposium on Industrial Electronics (ISIE 2008), CD-006343, June 30 - July 2, 2008, Cambridge KW - Data Collection 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 - CHAP A1 - Fürtler, J. A1 - Brodersen, J. A1 - Rössler, Peter et al. T1 - Architecture for Hardware-driven Image Inspection based on FPGAs T2 - Proceedings of the SPIE Electronic Imaging 2006 Conference, Volume 6063, 15-19 January, San Jose, USA KW - Hardware Architecture KW - Image Inspection KW - FPGA Y1 - 2019 SP - 105 EP - 113 ER - TY - CHAP A1 - Nussbaum, Gerhard A1 - Veigl, Christoph A1 - Acedo, Javier A1 - Barton, Zdenek A1 - Diaz, Unai A1 - Drajsajtl, Tomas A1 - Garcia, Alvaro A1 - Kakousis, Konstantinos A1 - Miesenberger, Klaus A1 - Papadopoulos, George A1 - Paspallis, Nearchos A1 - Pecyna, Karol A1 - Soria-Frisch, Aureli A1 - Weiss, Christoph T1 - AsTeRICS - Towards a Rapid Integration Construction Set for Assistive Technologies T2 - AAATE conference 2011, Maastricht, The Netherlands KW - Assistive Technologies Y1 - 2019 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 - Beneder, Roman A1 - Lechner, Markus A1 - Schmitt, Patrick T1 - Development of a low-cost, open-source measurement equipment for undergraduate courses dedicated to embedded systems T2 - 17th IEEE International Conference on Smart Technologies (EUROCON 2017) KW - Teaching KW - Measurement Devices Y1 - 2018 SP - 187 EP - 192 ER - TY - JOUR A1 - Veigl, Christoph A1 - Klaus, Benjamin A1 - Aigner, Benjamin A1 - Wagner, Manuel T1 - Universal Access Panel: A Novel Approach for Accessible Smart Homes and IoT JF - Computers Helping People with Special Needs. ICCHP-AAATE 2022. Lecture Notes in Computer Science KW - Home appliances KW - Disability KW - Accessibility KW - Multimodal User Interface KW - Smart Home Y1 - VL - 2022 IS - Vol. 13342 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 - Pissaloux, Edwige A1 - Carbone, Andrea A1 - Veigl, Christoph A1 - Weiss, Christopf T1 - Vision for Assistive Technologies T2 - AEGIS Conference 2011, Brussels, Belgium, 28th - 30th November 2011 KW - Assistive Technologies Y1 - 2019 ER - TY - GEN A1 - Praus, Friedrich A1 - Kastner, Wolfgang A1 - Palensky, Peter T1 - Software security requirements in building automation KW - Software Security Y1 - 2018 ER - TY - CHAP A1 - Puhm, Andreas A1 - Kramer, Michael A1 - Horauer, Martin T1 - An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization T2 - Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015 KW - Clock Synchronization Y1 - SP - 64 EP - 70 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin A1 - Pallierer, Roman A1 - Friedl, Hannes T1 - A Monitoring concept for an Automotive Distributed Network - The Flexray Example T2 - Proceedings of the 7th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2004), 18-21 April 2004, Slovakia KW - Monitoring KW - Automotive Network Y1 - 2019 SP - 173 EP - 178 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 - GEN A1 - Puhm, Andreas A1 - Kramer, Michael T1 - An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization KW - Clock Synchronization Y1 - ER - TY - CHAP A1 - Kramer, Michael A1 - Gerstmayer, Florian A1 - Hausladen, Jürgen T1 - Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication T2 - 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Turin, Italy, 2018 KW - Digital Signature KW - Cryptography KW - Security KW - Verification KW - Car2X communication Y1 - 2018 SP - 1123 EP - 1126 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 - GEN A1 - Schmidt, Stefan T1 - Game Engineering und Simulation KW - Game Engineering KW - Simulation Y1 - 2018 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 - Schreiner, Dietmar A1 - Göschka, Karl T1 - A Component Model for the AUTOSAR Virtual Function Bus T2 - Proceedings of the 1st IEEE International Workshop on Software Engineering Challenges in the Automotive Domain (SECAD 2007) at the IEEE 31st International Conference on Computer Software and Applications (COMPSAC 2007), July 23-27, Beijing, China KW - Virtual Function Bus Y1 - 2019 ER - TY - CHAP A1 - Pescha, David A1 - Horauer, Martin T1 - Eventroms in IEC 61499 Applications T2 - Proceedings of XXXIII Conference on Design of Circuits and Integrated Systems (DCIS ’2018), November 14-16, 2018, Lyon, France KW - IEC Standards KW - Storms KW - Sensors KW - Monitoring KW - Hardware Y1 - 2019 SN - 978-1-7281-0171-2 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 - Kutschera, Christof A1 - Horauer, Martin A1 - Ray, Markus A1 - Steinmair, Daniel A1 - Gorski, Peter T1 - A Flexible Sensor-mat to Automate the Process of People Counting T2 - roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011 KW - Person Counting Y1 - 2019 SN - 978-1-61208-150-2 SP - 13 EP - 16 ER - TY - CHAP A1 - Beneder, Roman A1 - Glatz, Bernd A1 - Horauer, Martin A1 - Rauscher, Thomas T1 - Memory Leak Detection Runtime-Service for Embedded Linux Devices T2 - Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014 KW - Software KW - Linux Y1 - 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 - Muhr, Hannes A1 - Höller, Roland A1 - Horauer, Martin T1 - A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression T2 - Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China KW - Hardware KW - Linux KW - Clock Suppression KW - Simulation Y1 - 2019 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 -