@inproceedings{SchusterHorauerKrameretal., author = {Schuster, Harald and Horauer, Martin and Kramer, Michael and Leibhart, Heinz and B{\"u}ger, Josef}, title = {A Log-Tool Suite for Embedded Systems}, series = {Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal}, booktitle = {Proceedings of the 7th International conference on Advances in Circuits, Electronics and Micro-electronics (CENICS), November 16-20, 2014 - Lisbon, Portugal}, subject = {Embedded Systems}, language = {en} } @inproceedings{HorauerRayAugustinetal., author = {Horauer, Martin and Ray, Markus and Augustin, Andreas and Novak, Gregor}, title = {FlexiCount: Eine flexible Personenz{\"a}hlmatte f{\"u}r den mobilen Indoor und Outdoor Einsatz}, series = {, Proceedings Real Corp 2010, Vienna, Austria, May 18-20, 2010}, booktitle = {, Proceedings Real Corp 2010, Vienna, Austria, May 18-20, 2010}, pages = {1095 -- 1100}, subject = {Person Counting}, language = {de} } @inproceedings{ArmengaudRothensteinerSteiningeretal., author = {Armengaud, Eric and Rothensteiner, Florian and Steininger, Andreas and Pallierer, Roman and Horauer, Martin and Zauner, Martin}, title = {A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems}, series = {paper 2.1 of the International Test Conference (ITC 2005), November, Austin/Texas, USA}, booktitle = {paper 2.1 of the International Test Conference (ITC 2005), November, Austin/Texas, USA}, subject = {Testing}, language = {en} } @inproceedings{JerabekAignerGerstmayeretal., author = {Jerabek, Thomas and Aigner, Benjamin and Gerstmayer, Florian and Hausladen, J{\"u}rgen}, title = {Energy-Efficient Real-Time Operating Systems: An Approach using Dynamic Frequency Scaling and Worst-Case Execution Time Aware Scheduling}, series = {The 10th International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2017), September 10-14, 2017 - Rome, Italy}, booktitle = {The 10th International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2017), September 10-14, 2017 - Rome, Italy}, subject = {Electronics}, language = {en} } @misc{HuemerPolzerSteininger, author = {Huemer, Florian and Polzer, Thomas and Steininger, Andreas}, title = {Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA}, subject = {Metastability}, language = {en} } @inproceedings{BaumgartnerRoesslerKubinger, author = {Baumgartner, Daniel and R{\"o}ssler, Peter and Kubinger, Wilfried}, title = {Performance Benchmark of DSP and FPGA Implementations of Low-Level Vision Algorithms}, series = {IEEE Conference on Computer Vision and Pattern Recognition (CVPR '07), p. 1-8, 23rd June 2007, Minneapolis, Minnesota, USA}, booktitle = {IEEE Conference on Computer Vision and Pattern Recognition (CVPR '07), p. 1-8, 23rd June 2007, Minneapolis, Minnesota, USA}, isbn = {1-4244-1180-7}, pages = {1 -- 8}, subject = {Embedded Systems}, language = {en} } @inproceedings{BaumgartnerKubingerRoessler, author = {Baumgartner, Daniel and Kubinger, Wilfried and R{\"o}ssler, Peter}, title = {Optimization and Benchmark of Vision Algorithms on a DSP}, series = {Proceedings of the 18th International DAAAM Symposium on Intelligent Manufacturing \& Automation, October 24-27 2007, Zadar, Croatia}, booktitle = {Proceedings of the 18th International DAAAM Symposium on Intelligent Manufacturing \& Automation, October 24-27 2007, Zadar, Croatia}, subject = {Embedded Systems}, language = {en} } @inproceedings{VeiglKutscheraRoessler, author = {Veigl, Christoph and Kutschera, Christof and R{\"o}ssler, Peter}, title = {Ausgelagerte Uhrensynchronisation f{\"u}r verteilte eingebettete Systeme}, series = {3. Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH2009), Villach, Austria, April 15-16 2009}, booktitle = {3. Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH2009), Villach, Austria, April 15-16 2009}, subject = {Embedded Systems}, language = {de} } @inproceedings{EckelBodenstorferNachtnebeletal., author = {Eckel, C. and Bodenstorfer, E. and Nachtnebel, H. and R{\"o}ssler, Peter and F{\"u}rtler, J. and Mayer, K.}, title = {Hochgeschwindigkeitskamera mit intelligenter Datenvorverarbeitung}, series = {Proceedings of Austrochip 2006, 11 October, Vienna, Austria}, booktitle = {Proceedings of Austrochip 2006, 11 October, Vienna, Austria}, pages = {103 -- 108}, subject = {Camera}, language = {de} } @misc{VeiglDeinhoferAigneretal., author = {Veigl, Christoph and Deinhofer, Martin and Aigner, Benjamin and Miesenberger, Klaus}, title = {Personalized Computer Access for People with Severe Motor Disabilities - AsTeRICS, FlipMouse and the Two-Level Personalization Software Engineering Method}, subject = {Disabilities}, language = {en} } @misc{VeiglDavid, author = {Veigl, Christoph and David, Veronika}, title = {AsTeRICS und FlipMouse: Flexible Eingabesysteme und kosteng{\"u}nstige L{\"o}sungen f{\"u}r Kommunikation und Umgebungssteuerung f{\"u}r Menschen mit Behinderung}, subject = {Communication}, language = {de} } @misc{DavidAigner, author = {David, Veronika and Aigner, Benjamin}, title = {AsTeRICS Framework}, subject = {Cross-Cultural Education}, language = {en} } @inproceedings{BrejchaBenederKramer, author = {Brejcha, Philipp and Beneder, Roman and Kramer, Michael}, title = {New approaches for a distance learning course about Embedded,}, series = {IEEE EDUCON Education Engineering 2011 - Learning Environments and Ecosystems in Engineering Education, JORDAN, AMMAN, April 04 - 06, 2011}, booktitle = {IEEE EDUCON Education Engineering 2011 - Learning Environments and Ecosystems in Engineering Education, JORDAN, AMMAN, April 04 - 06, 2011}, subject = {Embedded Systems}, language = {en} } @inproceedings{GlatzClearyHoraueretal., author = {Glatz, Bernd and Cleary, Fionn and Horauer, Martin and Schuster, Harald and Balog, Peter}, title = {Complementing Testing of IEC61499 Function Blocks with Model-Checking}, series = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016}, booktitle = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherBrauerHoraueretal., author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Schlich, Bastian}, title = {Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller}, series = {Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland}, booktitle = {Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland}, pages = {161 -- 170}, subject = {Embedded Systems}, language = {en} } @inproceedings{PraprotnikZauner, author = {Praprotnik, Oliver and Zauner, Martin}, title = {System-Testumgebung f{\"u}r die verteilte Automobilelektronik}, series = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010}, booktitle = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010}, pages = {305 -- 310}, subject = {Embedded Systems}, language = {de} } @inproceedings{Horauer, author = {Horauer, Martin}, title = {Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded Systems}, series = {Proceedings of the 3rd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA07, Sept. 4-7, 2007, Las Vegas, USA}, booktitle = {Proceedings of the 3rd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, MESA07, Sept. 4-7, 2007, Las Vegas, USA}, subject = {Embedded Systems}, language = {en} } @inproceedings{JakischKrammerKraetzetal., author = {Jakisch, Philipp and Krammer, Christopher and Kr{\"a}tz, Thomas and Stukelj, Gasper and Werdenits, Lukas and H{\"o}ller, Roland and R{\"o}ssler, Peter}, title = {Field Programmable Analog Circuits and Arrays - An Overview}, series = {Proceedings of the IEEE International Conference on Electrical, Computer and Energy Technologies (ICECET), Cape Town, South Africa, Dec. 9-10, 2021}, booktitle = {Proceedings of the IEEE International Conference on Electrical, Computer and Energy Technologies (ICECET), Cape Town, South Africa, Dec. 9-10, 2021}, pages = {6}, subject = {Field Programmable Analog Arrays}, language = {en} } @inproceedings{RoesslerHoellerReisneretal., author = {R{\"o}ssler, Peter and H{\"o}ller, Roland and Reisner, Christopher and Maischberger, Oliver}, title = {Survey and Comparison of Digital Logic Simulators}, series = {Proceedings of 27th Austrochip Conference on Microelectronics, Oct. 24, 2019, Vienna, Austria}, booktitle = {Proceedings of 27th Austrochip Conference on Microelectronics, Oct. 24, 2019, Vienna, Austria}, pages = {5}, subject = {Digital Logic Simulation}, language = {en} } @article{RoesslerHoeller, author = {R{\"o}ssler, Peter and H{\"o}ller, Roland}, title = {Programmable Logic Devices - Key Components for Today's and Tomorrow's Electronic-Based Systems}, series = {e\&i (Elektrotechnik und Informationstechnik), Volume 137, Issue 1, 2020}, volume = {Vol. 137, 2020}, journal = {e\&i (Elektrotechnik und Informationstechnik), Volume 137, Issue 1, 2020}, number = {Issue 1, 2020}, pages = {7}, subject = {Programmable Logic Devices}, language = {en} } @inproceedings{HoellerHaselbergerBalleketal., author = {H{\"o}ller, Roland and Haselberger, Dominic and Ballek, Dominik and R{\"o}ssler, Peter}, title = {Open-Source RISC-V Processor IP Cores for FPGAs - Overview and Evaluation}, series = {8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro}, booktitle = {8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro}, pages = {6}, subject = {Field-Programmable Gate Array}, language = {en} } @inproceedings{RoesslerHoellerReisneretal., author = {R{\"o}ssler, Peter and H{\"o}ller, Roland and Reisner, Christopher and Schr{\"o}n, Felix and Ewers, Ekaterina}, title = {A Model Railway based Demonstrator for Saftey-Critical Systems}, series = {12th European Workshop on Microelectronics Education, Sept. 24-26, 2018, Braunschweig, Germany}, booktitle = {12th European Workshop on Microelectronics Education, Sept. 24-26, 2018, Braunschweig, Germany}, pages = {6}, subject = {Functional Safety}, language = {en} } @inproceedings{WenzlRoesslerPuhm, author = {Wenzl, Matthias and R{\"o}ssler, Peter and Puhm, Andreas}, title = {Checking Application-level Properties Using Assertion Synthesis}, series = {Proceedings of the ASME/IEEE International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA}, booktitle = {Proceedings of the ASME/IEEE International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA}, pages = {9}, subject = {Assertion-based Verification}, language = {en} } @inproceedings{RoesslerHoeller, author = {R{\"o}ssler, Peter and H{\"o}ller, Roland}, title = {Innovative Plattformen f{\"u}r Elektronische Systeme (INES)}, series = {Proceedings of the FFH (Forschungsforum der {\"O}stereichischen Fachhochschulen), April 24-25, 2019, Wiener Neustadt, Austria}, booktitle = {Proceedings of the FFH (Forschungsforum der {\"O}stereichischen Fachhochschulen), April 24-25, 2019, Wiener Neustadt, Austria}, pages = {4}, subject = {FPGA}, language = {de} } @inproceedings{RoesslerHoellerZauner, author = {R{\"o}ssler, Peter and H{\"o}ller, Roland and Zauner, Martin}, title = {A methodology for remote debug, test and maintenance based on IEEE1588}, series = {ASME 2011 International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference IDETC/CIE 2001 August 29-31, Washington, DC, USA.}, booktitle = {ASME 2011 International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference IDETC/CIE 2001 August 29-31, Washington, DC, USA.}, subject = {Embedded Systems}, language = {en} } @inproceedings{PuhmRoessler, author = {Puhm, Andreas and R{\"o}ssler, Peter}, title = {Entwicklung eines flexibel in der Lehre einsetzbaren Designflows f{\"u}r digitale Mikrochips}, series = {8. Forschungsforum der {\"o}sterreichischen Fachhochschulen, 23. bis 24. April 2014, Kufstein, {\"O}sterreich}, booktitle = {8. Forschungsforum der {\"o}sterreichischen Fachhochschulen, 23. bis 24. April 2014, Kufstein, {\"O}sterreich}, pages = {266 -- 270}, subject = {Embedded Systems}, language = {en} } @inproceedings{PuhmRoessler, author = {Puhm, Andreas and R{\"o}ssler, Peter}, title = {Considerations on Teaching Digital ASIC Design}, series = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA) 2014}, booktitle = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA) 2014}, subject = {Embedded Systems}, language = {en} } @inproceedings{AignerRoessler, author = {Aigner, Benjamin and R{\"o}ssler, Peter}, title = {A Low-cost Sound Generator for an Electric Quad Bike}, series = {MECO2013 Conference, 16-20 June, 2013, Budva, Montenegro}, booktitle = {MECO2013 Conference, 16-20 June, 2013, Budva, Montenegro}, subject = {Embedded Systems}, language = {en} } @incollection{HorauerRoessler, author = {Horauer, Martin and R{\"o}ssler, Peter}, title = {FlexRay (Chapter 44)}, series = {The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011}, booktitle = {The Industrial Electronics Handbook (2nd Edition), CRC Press, 2011}, publisher = {CRC Press}, publisher = {Fachhochschule Technikum Wien}, subject = {Industrial}, language = {en} } @misc{PuhmRoessler, author = {Puhm, Andreas and R{\"o}ssler, Peter}, title = {Considerations on Teaching Digital ASIC Design}, subject = {Embedded Systems}, language = {en} } @inproceedings{KutscheraVeiglHoelleretal., author = {Kutschera, Christof and Veigl, Christoph and H{\"o}ller, Roland and R{\"o}ssler, Peter and Ker{\"o}, Nikolaus and Weiß, Christoph and Gr{\"o}blinger, Andreas and Muhr, Hannes and Cadek, Gerhard}, title = {Nicht-intrusive Uhrensynchronisation nach IEEE 1588 f{\"u}r verteilte, eingebettete Systeme via IEEE 802.3/Ethernet}, series = {Tagungsband der ME 2008 - {\"o}sterreichische Informationstagung Mikroelektronik, Wien, 15.-16. Oktober 2008}, booktitle = {Tagungsband der ME 2008 - {\"o}sterreichische Informationstagung Mikroelektronik, Wien, 15.-16. Oktober 2008}, subject = {Embedded Systems}, language = {de} } @inproceedings{KutscheraVeiglHoelleretal., author = {Kutschera, Christof and Veigl, Christoph and H{\"o}ller, Roland and R{\"o}ssler, Peter and Ker{\"o}, Nikolaus and Weiß, Christoph and Gr{\"o}blinger, Andreas and Muhr, Hannes and Cadek, Gerhard}, title = {Background IEEE 1588 Clock Synchronization over IEEE 802.3/Ethernet, ISPCS 2008}, series = {International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication Ann Arbor, Michigan, September 22-26, 2008}, booktitle = {International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication Ann Arbor, Michigan, September 22-26, 2008}, subject = {Embedded Systems}, language = {en} } @inproceedings{HoellerMuhrKeroeetal., author = {H{\"o}ller, Roland and Muhr, Hannes and Ker{\"o}, Nikolaus and Gr{\"o}blinger, Andreas and Veigl, Christoph and Weiß, Christoph and R{\"o}ssler, Peter}, title = {Weltweit kleinste, voll integrierte L{\"o}sung zur Uhrensynchronisation nach IEEE 1588 auf Schicht 2}, series = {agungsband zur IEEE Austrochip 2009, Graz, {\"O}sterreich, 7. Oktober 2009}, booktitle = {agungsband zur IEEE Austrochip 2009, Graz, {\"O}sterreich, 7. Oktober 2009}, isbn = {978-3-9501635-1-3}, pages = {39 -- 44}, subject = {Embedded Systems}, language = {de} } @inproceedings{BalogHorauerRoessler, author = {Balog, Peter and Horauer, Martin and R{\"o}ssler, Peter}, title = {Remote LAB infrastructure for Distance Learning Courses at the Undergraduate Level in Embedded Systems Design}, series = {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}, booktitle = {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}, pages = {6}, subject = {Embedded Systems}, language = {en} } @inproceedings{PuhmRoesslerWimmeretal., author = {Puhm, Andreas and R{\"o}ssler, Peter and Wimmer, Marcus and Swierczek, Roland and Balog, Peter}, title = {Development of a Flexible Gateway Platform for Automotive Networks}, series = {Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany}, booktitle = {Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany}, subject = {Embedded Systems}, language = {en} } @inproceedings{HoellerRoessler, author = {H{\"o}ller, Roland and R{\"o}ssler, Peter}, title = {On-chip Hardware Support for a Radically New Approach to Coordinated Debug of Networked Embedded Systems}, series = {Proceedings of the SD4 (System, Software, SoC and Silicon Debug) Conference 2009, September 24-25, 2009, Sophia Antipolis, France}, booktitle = {Proceedings of the SD4 (System, Software, SoC and Silicon Debug) Conference 2009, September 24-25, 2009, Sophia Antipolis, France}, pages = {6}, subject = {Embedded Systems}, language = {en} } @inproceedings{RoesslerRadlbauerHoraueretal., author = {R{\"o}ssler, Peter and Radlbauer, Josef and Horauer, Martin and Lukasch, Franz and Wimmer, Marcus}, title = {Development of a Data Collection Platform}, series = {Proceedings of IEEE International Symposium on Industrial Electronics (ISIE 2008), CD-006343, June 30 - July 2, 2008, Cambridge}, booktitle = {Proceedings of IEEE International Symposium on Industrial Electronics (ISIE 2008), CD-006343, June 30 - July 2, 2008, Cambridge}, subject = {Data Collection}, language = {en} } @inproceedings{RoesslerZauner, author = {R{\"o}ssler, Peter and Zauner, Martin}, title = {Evaluation of an Esterel-based Hardware/Software Co-Design Flow}, series = {Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland}, booktitle = {Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland}, pages = {42 -- 45}, subject = {Embedded Systems}, language = {en} } @inproceedings{FuertlerBrodersenRoessler, author = {F{\"u}rtler, J. and Brodersen, J. and R{\"o}ssler, Peter et al.}, title = {Architecture for Hardware-driven Image Inspection based on FPGAs}, series = {Proceedings of the SPIE Electronic Imaging 2006 Conference, Volume 6063, 15-19 January, San Jose, USA}, booktitle = {Proceedings of the SPIE Electronic Imaging 2006 Conference, Volume 6063, 15-19 January, San Jose, USA}, pages = {105 -- 113}, subject = {Hardware Architecture}, language = {en} } @inproceedings{NussbaumVeiglAcedoetal., author = {Nussbaum, Gerhard and Veigl, Christoph and Acedo, Javier and Barton, Zdenek and Diaz, Unai and Drajsajtl, Tomas and Garcia, Alvaro and Kakousis, Konstantinos and Miesenberger, Klaus and Papadopoulos, George and Paspallis, Nearchos and Pecyna, Karol and Soria-Frisch, Aureli and Weiss, Christoph}, title = {AsTeRICS - Towards a Rapid Integration Construction Set for Assistive Technologies}, series = {AAATE conference 2011, Maastricht, The Netherlands}, booktitle = {AAATE conference 2011, Maastricht, The Netherlands}, subject = {Assistive Technologies}, language = {en} } @misc{SchusterHorauerKrameretal., author = {Schuster, Harald and Horauer, Martin and Kramer, Michael and Liebhart, Heinz and B{\"u}ger, Josef}, title = {A Log-Tool Suite for Embedded Systems}, subject = {Embedded Systems}, language = {en} } @inproceedings{BenederLechnerSchmitt, author = {Beneder, Roman and Lechner, Markus and Schmitt, Patrick}, title = {Development of a low-cost, open-source measurement equipment for undergraduate courses dedicated to embedded systems}, series = {17th IEEE International Conference on Smart Technologies (EUROCON 2017)}, booktitle = {17th IEEE International Conference on Smart Technologies (EUROCON 2017)}, pages = {187 -- 192}, subject = {Teaching}, language = {en} } @article{VeiglKlausAigneretal., author = {Veigl, Christoph and Klaus, Benjamin and Aigner, Benjamin and Wagner, Manuel}, title = {Universal Access Panel: A Novel Approach for Accessible Smart Homes and IoT}, series = {Computers Helping People with Special Needs. ICCHP-AAATE 2022. Lecture Notes in Computer Science}, volume = {2022}, journal = {Computers Helping People with Special Needs. ICCHP-AAATE 2022. Lecture Notes in Computer Science}, number = {Vol. 13342}, subject = {Home appliances}, language = {en} } @inproceedings{Balog, author = {Balog, Peter}, title = {μC/OS-II Flashportierung f{\"u}r SK167}, series = {Tagungsband der Informationstagung Mikroelektronik me03, October 2003, Vienna, Austria}, booktitle = {Tagungsband der Informationstagung Mikroelektronik me03, October 2003, Vienna, Austria}, pages = {157 -- 162}, subject = {Port}, language = {de} } @inproceedings{PraprotnikGartnerZauneretal., author = {Praprotnik, Oliver and Gartner, Mario and Zauner, Martin and Horauer, Martin}, title = {A Test Suite for System Tests of Distributed Automotive Electronics,}, series = {Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), October 11-16, 2009 - Sliema, Malta}, booktitle = {Proceedings of the Second International Conference on Advances in Circuits, Electronics and Micro-electronics (CENICS 2009), October 11-16, 2009 - Sliema, Malta}, subject = {Embedded Systems}, language = {de} } @misc{GlatzClearyHoraueretal., author = {Glatz, Bernd and Cleary, Fionn and Horauer, Martin and Schuster, Harald and Balog, Peter}, title = {Complementing Testing of IEC61499 Function Blocks with Model-Checking}, subject = {Embedded Systems}, language = {en} } @inproceedings{SchreinerGoeschka, author = {Schreiner, Dietmar and G{\"o}schka, Karl}, title = {Modeling Component Based Distributed Embedded Systems Application with Explicit Connectors in UML 2.0}, series = {Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 07)}, booktitle = {Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 07)}, pages = {1494 -- 1495}, subject = {Embedded Systems}, language = {en} } @inproceedings{PissalouxCarboneVeigletal., author = {Pissaloux, Edwige and Carbone, Andrea and Veigl, Christoph and Weiss, Christopf}, title = {Vision for Assistive Technologies}, series = {AEGIS Conference 2011, Brussels, Belgium, 28th - 30th November 2011}, booktitle = {AEGIS Conference 2011, Brussels, Belgium, 28th - 30th November 2011}, subject = {Assistive Technologies}, language = {en} } @misc{PrausKastnerPalensky, author = {Praus, Friedrich and Kastner, Wolfgang and Palensky, Peter}, title = {Software security requirements in building automation}, subject = {Software Security}, language = {en} } @inproceedings{PuhmKramerHorauer, author = {Puhm, Andreas and Kramer, Michael and Horauer, Martin}, title = {An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization}, series = {Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015}, booktitle = {Proceedings of the Ninth International Conference on Sensor Technologies and Applications (SENSORCOMM), Venice 2015}, pages = {64 -- 70}, subject = {Clock Synchronization}, language = {en} } @inproceedings{ArmengaudSteiningerHoraueretal., author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin and Pallierer, Roman and Friedl, Hannes}, title = {A Monitoring concept for an Automotive Distributed Network - The Flexray Example}, series = {Proceedings of the 7th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2004), 18-21 April 2004, Slovakia}, booktitle = {Proceedings of the 7th IEEE Workshop on Design \& Diagnostics of Electronic Circuits \& Systems (DDECS 2004), 18-21 April 2004, Slovakia}, pages = {173 -- 178}, subject = {Monitoring}, language = {en} } @inproceedings{ForsterKutscheraSteiningeretal., author = {Forster, Wolfgang and Kutschera, Christof and Steininger, Andreas and G{\"o}schka, Karl}, title = {Automated Generation of Explicit Connectors for Component Based Hardware/Software Interaction in Embedded Real-Time Systems}, series = {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}, booktitle = {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}, isbn = {978-1-4244-1694-3}, subject = {Embedded Systems}, language = {en} } @misc{PuhmKramer, author = {Puhm, Andreas and Kramer, Michael}, title = {An Algorithm to Evaluate and Build Schedules for a Distributed Sensor System with Respect to Clock Synchronization}, subject = {Clock Synchronization}, language = {en} } @inproceedings{KramerGerstmayerHausladen, author = {Kramer, Michael and Gerstmayer, Florian and Hausladen, J{\"u}rgen}, title = {Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication}, series = {2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Turin, Italy, 2018}, booktitle = {2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Turin, Italy, 2018}, pages = {1123 -- 1126}, subject = {Digital Signature}, language = {en} } @article{ScheferWenzlWenzl, author = {Schefer-Wenzl, Sigrid and Wenzl, Matthias}, title = {Roboter mit Himbeeren, Ein {\"U}berblick {\"u}ber Roboterbaus{\"a}tze und GPIO Bibliotheken auf Raspberry Pi (2)}, series = {Entwickler Magazin 2015}, journal = {Entwickler Magazin 2015}, number = {Entwickler Magazin Juni 2015}, pages = {pp 64-68}, subject = {Robotic}, language = {de} } @misc{Schmidt, author = {Schmidt, Stefan}, title = {Game Engineering und Simulation}, subject = {Game Engineering}, language = {de} } @article{WenzlMerzdovnikWeippl, author = {Wenzl, Matthias and Merzdovnik, Georg and Weippl, Edgar}, title = {ISaFe - Injecting Security Features into Constrained Embedded Firmware}, series = {ERCIM News}, volume = {2019}, journal = {ERCIM News}, number = {119 (2019)}, pages = {25 -- 26}, subject = {Binary rewriting}, language = {en} } @inproceedings{SchreinerGoeschka, author = {Schreiner, Dietmar and G{\"o}schka, Karl}, title = {Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems}, series = {Lecture Notes in Computer Science vol. 4362 - Proceedings of SOFSEM 2007: Theory and Practice of Computer Science}, booktitle = {Lecture Notes in Computer Science vol. 4362 - Proceedings of SOFSEM 2007: Theory and Practice of Computer Science}, publisher = {Springer}, pages = {923 -- 934}, subject = {Software Engineering}, language = {en} } @inproceedings{ArmengaudSteiningerHoraueretal., author = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin and Pallierer, Roman}, title = {Design Trade-Offs for Systematic Tests of Embedded Communication Systems}, series = {Supplemental Volume to the 2004 International Conference on Dependable Systems and Networks (DSN 2004), June 28 - July 1, Florence, Italy}, booktitle = {Supplemental Volume to the 2004 International Conference on Dependable Systems and Networks (DSN 2004), June 28 - July 1, Florence, Italy}, pages = {118 -- 119}, subject = {Test Design}, language = {en} } @inproceedings{SchreinerGoeschka, author = {Schreiner, Dietmar and G{\"o}schka, Karl}, title = {A Component Model for the AUTOSAR Virtual Function Bus}, series = {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}, booktitle = {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}, subject = {Virtual Function Bus}, language = {en} } @inproceedings{PeschaHorauer, author = {Pescha, David and Horauer, Martin}, title = {Eventroms in IEC 61499 Applications}, series = {Proceedings of XXXIII Conference on Design of Circuits and Integrated Systems (DCIS '2018), November 14-16, 2018, Lyon, France}, booktitle = {Proceedings of XXXIII Conference on Design of Circuits and Integrated Systems (DCIS '2018), November 14-16, 2018, Lyon, France}, isbn = {978-1-7281-0171-2}, pages = {6}, subject = {IEC Standards}, language = {en} } @inproceedings{HausladenGerstmayerJerabeketal., author = {Hausladen, J{\"u}rgen and Gerstmayer, Florian and Jerabek, Thomas and Horauer, Martin}, title = {Integration of Static Worst-Case Execution Time \& Stack Usage Analysis for Embedded Systems Software in a Cloud-Based Development Environment}, series = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, booktitle = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, subject = {Cloud}, language = {en} } @inproceedings{HausladenGerstmayerKrameretal., author = {Hausladen, J{\"u}rgen and Gerstmayer, Florian and Kramer, Michael and Horauer, Martin}, title = {Methods for Protection of Iintellectual Property in Embedded Software - A Survey}, series = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, booktitle = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)}, subject = {Intellectual Property}, language = {en} } @inproceedings{GlatzSchusterHoraueretal., author = {Glatz, Bernd and Schuster, Harald and Horauer, Martin and Rauscher, Thomas and Obermaisser, Roman}, title = {Fault Injection for IEC 61499 Applications}, series = {Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09}, booktitle = {Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09}, subject = {Embedded Systems}, language = {en} } @inproceedings{GerstmayerHausladenKrameretal., author = {Gerstmayer, Florian and Hausladen, J{\"u}rgen and Kramer, Michael and Horauer, Martin}, title = {A Binary Protection Framework for Embedded Systems Software}, series = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)}, booktitle = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)}, subject = {Protection Framework}, language = {en} } @inproceedings{JerabekHorauer, author = {Jerabek, Thomas and Horauer, Martin}, title = {Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software}, series = {Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016}, booktitle = {Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016}, subject = {Embedded Systems}, language = {en} } @misc{GerstmayerHausladenKrameretal., author = {Gerstmayer, Florian and Hausladen, J{\"u}rgen and Kramer, Michael and Horauer, Martin}, title = {A Binary Protection Framework for Embedded Systems Software}, subject = {Protection Framework}, language = {en} } @misc{GlatzSchusterHoraueretal., author = {Glatz, Bernd and Schuster, Harald and Horauer, Martin and Rauscher, Thomas and Obermaisser, Roman}, title = {Fault Injection for IEC 61499 Applications}, subject = {Embedded Systems}, language = {en} } @inproceedings{HausladenPohnHorauer, author = {Hausladen, J{\"u}rgen and Pohn, Birgit and Horauer, Martin}, title = {A Cloud-Based Approach to Development of Embedded Systems Software}, series = {Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015}, booktitle = {Proceedings of the 2015 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA), August 2-5, Boston - Massachusetts, 2015}, pages = {7}, subject = {Cloud}, language = {en} } @inproceedings{GlatzBenederHoraueretal., author = {Glatz, Bernd and Beneder, Roman and Horauer, Martin and Rauscher, Thomas}, title = {Deadlock Detection Runtime Service for Embedded Linux}, series = {Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies \& Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015}, booktitle = {Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies \& Factory Automation (ETFA 2015), p. 7, Luxembourg, 8-11 Sept. 2015}, subject = {Linux}, language = {en} } @misc{GlatzBenederHoraueretal., author = {Glatz, Bernd and Beneder, Roman and Horauer, Martin and Rauscher, Thomas}, title = {Deadlock Detection Runtime Service for Embedded Linux}, subject = {Linux}, language = {en} } @misc{JerabekHorauer, author = {Jerabek, Thomas and Horauer, Martin}, title = {Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software}, subject = {Embedded Systems}, language = {de} } @inproceedings{KutscheraHorauerRayetal., author = {Kutschera, Christof and Horauer, Martin and Ray, Markus and Steinmair, Daniel and Gorski, Peter}, title = {A Flexible Sensor-mat to Automate the Process of People Counting}, series = {roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011}, booktitle = {roceedings of the Fourth International Conference on Advances in Circuits, Electronics and Micro-electronics, Nice/Saint Laurent du Var, France, Aug. 21-27, 2011}, isbn = {978-1-61208-150-2}, pages = {13 -- 16}, subject = {Person Counting}, language = {en} } @inproceedings{BenederGlatzHoraueretal., author = {Beneder, Roman and Glatz, Bernd and Horauer, Martin and Rauscher, Thomas}, title = {Memory Leak Detection Runtime-Service for Embedded Linux Devices}, series = {Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014}, booktitle = {Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), September 16-19, Barcelona - Spain, 2014}, subject = {Software}, language = {en} } @inproceedings{BenederGlatzHoraueretal., author = {Beneder, Roman and Glatz, Bernd and Horauer, Martin and Rauscher, Thomas}, title = {Runtime Verification Infrastructure for Embedded Linux}, series = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014}, booktitle = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014}, subject = {Embedded Systems}, language = {en} } @inproceedings{KramerHorauer, author = {Kramer, Michael and Horauer, Martin}, title = {Software Based Methods to Harden Embedded Software at Run-Time: A Survey}, series = {ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015}, booktitle = {ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Boston, Massachusetts, USA, August 2-5, 2015}, isbn = {978-0-7918-5719-9}, pages = {5}, subject = {Embedded Systems}, language = {en} } @inproceedings{HausladenPohnHorauer, author = {Hausladen, J{\"u}rgen and Pohn, Birgit and Horauer, Martin}, title = {A Cloud-based Integrated Development Environment for Embedded Systems}, series = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014}, booktitle = {Proceedings of the 10th IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), September 10-12, Senigallia - Italy, 2014}, subject = {Embedded Systems}, language = {en} } @inproceedings{HorauerSchusterBalog, author = {Horauer, Martin and Schuster, Harald and Balog, Peter}, title = {Experimental Assessment of the Clique Problem in FlexRay}, series = {Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Portland OR, USA, Aug. 04-07, 2013}, booktitle = {Proceedings of the 8th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Portland OR, USA, Aug. 04-07, 2013}, subject = {Embedded Systems}, language = {en} } @article{ReinbacherBrauerHoraueretal., author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {Runtime verification of microcontroller binary code}, series = {Elsevier Science of Computer Programming, Volume 80, Part A}, journal = {Elsevier Science of Computer Programming, Volume 80, Part A}, number = {Elsevier Science of Computer Programming, Volume 80, Part A}, pages = {pp. 109-129}, subject = {Microcontroller}, language = {en} } @misc{HausladenPohnHorauer, author = {Hausladen, J{\"u}rgen and Pohn, Birgit and Horauer, Martin}, title = {A Cloud-based Integrated Development Environment for Embedded Systems}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherBrauerHoraueretal., author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {Past Time LTL Runtime Verification for Microcontroller Binary Code}, series = {Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011}, booktitle = {Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011}, pages = {37 -- 51}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherSteiningerMuelleretal., author = {Reinbacher, Thomas and Steininger, Andreas and M{\"u}ller, Tobias and Horauer, Martin and Brauer, J{\"o}rg}, title = {Hardware Support for Efficient Testing of Embedded Software}, series = {Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, Washington DC, USA, Aug. 29-31, 2011}, booktitle = {Proceedings of the 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, paper DETC2011-47139, Washington DC, USA, Aug. 29-31, 2011}, pages = {1 -- 10}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherHorauerSchlich, author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian}, title = {Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking}, series = {roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic}, booktitle = {roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic}, pages = {114 -- 119}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherBrauerHoraueretal., author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {Test-Case Generation for Embedded Binary Code Using Abstract Interpretation}, series = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010}, booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010}, subject = {Embedded Systems}, language = {en} } @article{ReinbacherHorauerSchlichetal., author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Brauer, J{\"o}rg and Scheuer, Florian}, title = {Model Checking Embedded Software of an Industrial Knitting Machine}, series = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2}, journal = {International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2}, number = {Vol. 1, No. 2}, pages = {pp. 186-205}, subject = {Model Checking}, language = {de} } @inproceedings{NiklasZaunerHorauer, author = {Niklas, Peter and Zauner, Martin and Horauer, Martin}, title = {Development of an Embedded Monitoring Device for a Manufacturing Plant}, series = {Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China}, booktitle = {Proceedings of the 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2010), July 15-17, 2010, Qingdao, China}, pages = {398 -- 402}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherGueckelHorauer, author = {Reinbacher, Thomas and G{\"u}ckel, Dominique and Horauer, Martin}, title = {Testing Microcontroller Software Simulators}, series = {Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011}, booktitle = {Proceedings of the 1st Workshop on Software Language Engineering for Cyber Physical Systems at Informatik 2011, Berlin, Germany, Oct. 04-07, 2011}, subject = {Embedded Systems}, language = {en} } @article{HorauerZaunerSchuster, author = {Horauer, Martin and Zauner, Martin and Schuster, Harald}, title = {A System-level Test for Automotive Communication Subsystems}, series = {e\&i, Elektrotechnik und Informationstechnik, Heft 6.2011}, journal = {e\&i, Elektrotechnik und Informationstechnik, Heft 6.2011}, number = {Heft 6.2011}, pages = {S. 215-221}, subject = {Automotive}, language = {en} } @inproceedings{ReinbacherHorauer, author = {Reinbacher, Thomas and Horauer, Martin}, title = {Formale Verifikation von Embedded Systems Software}, series = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010}, booktitle = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010}, pages = {289 -- 296}, subject = {Embedded Systems}, language = {en} } @inproceedings{GallaSchreinerForsteretal., author = {Galla, Thomas and Schreiner, Dietmar and Forster, Wolfgang and Kutschera, Christof and G{\"o}schka, Karl and Horauer, Martin}, title = {Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm}, series = {Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C}, booktitle = {Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C}, isbn = {1-4244-0840-7}, pages = {200 -- 208}, subject = {Embedded Systems}, language = {en} } @inproceedings{HorauerPraprotnikZauneretal., author = {Horauer, Martin and Praprotnik, Oliver and Zauner, Martin and H{\"o}ller, Roland and Milbredt, Paul}, title = {A Test Tool for FlexRay-based Embedded Systems}, series = {Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007}, booktitle = {Proceedings of the 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007}, isbn = {1-4244-0840-7}, pages = {349 -- 352}, subject = {Embedded Systems}, language = {en} } @inproceedings{ReinbacherHorauerSchlichetal., author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Bauer, J{\"o}rg and Scheuer, Florian}, title = {Model Checking Assembly Code of an Industrial Knitting Machine}, series = {Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009}, booktitle = {Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009}, pages = {97 -- 104}, subject = {Embedded Systems}, language = {de} } @inproceedings{ReinbacherKramerHoraueretal., author = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian}, title = {hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker}, series = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, pages = {277 -- 280}, subject = {Embedded Systems}, language = {en} } @inproceedings{KutscheraHorauerForster, author = {Kutschera, Christof and Horauer, Martin and Forster, Wolfgang}, title = {Anwendung eines Benchmark-Frameworks f{\"u}r komponentenbasierte Software eingebetteter Systeme}, series = {Tagungsband des 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen}, booktitle = {Tagungsband des 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen}, publisher = {Shaker Verlag}, subject = {Embedded Systems}, language = {de} } @inproceedings{ReinbacherKramerHoraueretal., author = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian}, title = {Motivating Model Checking of Embedded Systems Software}, series = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China}, booktitle = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China}, isbn = {978-1-4244-2367-5}, pages = {546 -- 551}, subject = {Embedded Systems}, language = {en} } @inproceedings{MilbredtSteiningerHorauer, author = {Milbredt, Paul and Steininger, Andreas and Horauer, Martin}, title = {Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks}, series = {Proceedings of the 4th IEEE International Symposium on Electronic Design, Test \& Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong}, booktitle = {Proceedings of the 4th IEEE International Symposium on Electronic Design, Test \& Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong}, pages = {533 -- 538}, subject = {Embedded Systems}, language = {en} } @inproceedings{MilbredtHorauerSteininger, author = {Milbredt, Paul and Horauer, Martin and Steininger, Andreas}, title = {An Investigation of the Clique Problem in FlexRay}, series = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier}, isbn = {978-1-4244-1994-4}, subject = {Embedded Systems}, language = {en} } @inproceedings{ZaunerPraprotnikHorauer, author = {Zauner, Martin and Praprotnik, Oliver and Horauer, Martin}, title = {Neue Testl{\"o}sungen f{\"u}r die Automobilelektronik}, series = {Tagungsband zum 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen 26.-27. M{\"a}rz 2008, FH Ober{\"o}sterreich, Campus Wels}, booktitle = {Tagungsband zum 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen 26.-27. M{\"a}rz 2008, FH Ober{\"o}sterreich, Campus Wels}, publisher = {Shaker Verlag}, isbn = {978-3-8322-7023-0}, pages = {267 -- 273}, subject = {Embedded Systems}, language = {de} } @inproceedings{MuhrHoellerHorauer, author = {Muhr, Hannes and H{\"o}ller, Roland and Horauer, Martin}, title = {A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression}, series = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China}, booktitle = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China}, subject = {Hardware}, language = {en} } @inproceedings{PalliererHorauerZauneretal., author = {Pallierer, Roman and Horauer, Martin and Zauner, Martin and Steininger, Andreas and Armengaud, Eric and Rothensteiner, Florian}, title = {A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems}, series = {Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany}, booktitle = {Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany}, pages = {42 -- 49}, subject = {Automotive}, language = {de} }