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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example T2 - Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy KW - Testing KW - Distributed Systems Y1 - 2019 SP - 763 EP - 770 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - Automatic Parameter Identification in FlexRay based Automotive Communication Networks T2 - Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic KW - Automotive KW - Communication Network Y1 - 2019 SP - 897 EP - 904 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories T2 - Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary KW - Hardware Architecture KW - Memory Access Y1 - 2019 SP - 113 EP - 120 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - A Method for Bit Level Test and Diagnosis of Communication Services T2 - Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary KW - Testing KW - Communication Service Y1 - 2019 SP - 69 EP - 74 ER - TY - CHAP A1 - Horauer, Martin A1 - Kutschera, Christof A1 - Schreiner, Dietmar T1 - Komponentenbasierte Systemsoftware für die Automobilelektronik T2 - Tagungsband zum ersten Forschungsforum der österreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria KW - Automotive Y1 - 2019 ER - TY - CHAP A1 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin T1 - An Efficient Test and Diganosis Environment for Communication Controllers T2 - Proceedings of Austrochip 2006, 11 October, Vienna, Austria KW - Testing KW - Communication Controller Y1 - 2019 ER - TY - CHAP A1 - Billmann, Maurice A1 - Werner, Stefan A1 - Höller, Roland A1 - Praus, Friedrich A1 - Puhm, Andreas A1 - Kerö, Nikolaus T1 - Open-Source Crypto IP Cores for FPGAs - Overview and Evaluation T2 - Proceedings of 27th Austrochip Conference on Microelectronics, Oct. 24, 2019, Vienna, Austria KW - open-source cryptography IP cores KW - FPGA KW - advanced encryption standard KW - secure hash algorithm KW - physically unclonable function Y1 - 2020 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 - Armengaud, Eric A1 - Steininger, Andreas A1 - Horauer, Martin A1 - Pallierer, Roman T1 - A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems T2 - Proceedings of the 5th Workshop on Factory Communication Systems (WFCS 2004), September 22-24, Vienna, Austria KW - Testing KW - Automotive KW - Communication Systems Y1 - 2019 SP - 275 EP - 283 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 - CHAP A1 - Pallierer, Roman A1 - Horauer, Martin A1 - Steininger, Andreas T1 - Monitoring and Fault-Injection of X-by-Wire Communication Networks T2 - Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", July, Munich, Germany KW - Communication Network Y1 - 2019 ER - TY - CHAP A1 - Praus, Friedrich A1 - Kastner, Wolfgang A1 - Palensky, Peter T1 - Software security requirements in building automation T2 - Beiträge der 8. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 5.-7. April 2016, Bonn KW - Software Security Y1 - 2018 SP - 228 ER - TY - CHAP A1 - Praus, Friedrich A1 - Kastner, Wolfgang T1 - Identifying Unsecured Building Automation Installations T2 - Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014 KW - Security Y1 - ER - TY - CHAP A1 - Praus, Friedrich A1 - Kastner, Wolfgang T1 - Spotting Unsecured KNX Installations T2 - Proceedings of the Konnex Scientific Conference, November 2014 KW - KNX Y1 - ER - TY - CHAP A1 - Kropf, Johannes A1 - Prazak-Aram, Barbara A1 - Roedl, Lukas A1 - Praus, Friedrich A1 - Siegel, Christian T1 - Large scale integration and evaluation of aal technologies in eastern austria - the modulaar project T2 - "AAL Forum", Volume Session D3, Sep. 2013, Norrköping, Sweden KW - Assistive Technologies Y1 - 2019 ER - TY - CHAP A1 - Wagner, Richard A1 - Wolff, Peter A1 - Schaeffer, Klaus A1 - Praus, Friedrich T1 - Ambient Assitive Technologies: The mobile robot P3AAT T2 - Proceedings of the Austrian Robotics Workshop (ARW-13), May 2013, Vienna KW - Assistive Technologies Y1 - 2019 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 - CHAP A1 - Beneder, Roman A1 - Lechner, Markus A1 - Schmitt, Patrick T1 - Development of a Signal-Toolkit to Increase the Availability of Measurement Equipment at Courses Dedicated to Technical Sciences T2 - Proceedings of the IEEE Global Engineering Education Conference (EDUCON2018), 17-20 April 2018, Santa Cruz de Tenerife, Spain KW - Open-Source Tool KW - Measurement Equipment KW - Signal Processing Y1 - 2018 SP - 373 EP - 383 ER - TY - CHAP A1 - Huemer, Florian A1 - Polzer, Thomas A1 - Steininger, Andreas T1 - Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA T2 - IEEE 21st International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 25-27 April 2018, Budapest, Hungary KW - Metastability KW - Time-to-digital Converter KW - TDC KW - Transition Detection KW - Carry Chain KW - Converter Y1 - 2018 SN - 2473-2117 SP - 141 EP - 146 ER - TY - CHAP A1 - Beneder, Roman A1 - Lechner, Markus A1 - Schmitt, Patrick T1 - Development of a Signal Generator for Study Programs Dedicated to Electronic Engineering T2 - Proceedings of the IEEE Global Engineering Education Conference (EDUCON2018), 17-20 April 2018, Santa Cruz de Tenerife, Spain KW - Open-Source Tool KW - Measurement Equipment KW - Signal Processing Y1 - 2018 SP - 369 EP - 372 ER - TY - CHAP 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 T2 - International Conference on Human Aspects of IT for the Aged Population 2017 KW - Disabilities KW - Input Devices KW - Software Engineering Y1 - 2018 SP - 397 EP - 415 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 -