DECS Publications

In order to obtain a copy of one of the listed technical reports or papers send an e-mail with your inquiry and full contact information to the DECS group.

Journal & Conference Papers

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

[RHSBS2010]
Reinbacher Th., Horauer M., Schlich B., Brauer J., Scheuer F.: Model Checking Embedded Software of an Industrial Knitting Machine, International Journal of Information Technology, Communications, and Convergence, Inderscience, 2010 (paper accepted).

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

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

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

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

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

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

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

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

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

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

[ASH2008]
E. Armengaud and A. Steininger and M. Horauer, Towards a Systematic Test for Embedded Automotive Communication Systems, IEEE Transactions on Industrial Informatics, Vol. 4, Iss. 3, pp. 146-155, 2008. (MA27 Best Paper Award - Category Research Papers)

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

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

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

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

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

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

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

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

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

[RZ2007]
Rössler P., Zauner M.: Evaluierung eines Esterel-basierenden Hardware/Software Co-Design Flows, Proceedings of the 15th Workshop on Microelectronics (Austrochip 2007), pp. 99-106, Graz - Austria, October 11 2007.

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

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

[HAS2007]
Horauer M., Armengaud E. and Steininger A.: CONCEPTS AND TOOLS FOR THE TEST OF THE COMMUNICATION SUB-SYSTEM OF TIME-TRIGGERED DISTRIBUTED EMBEDDED SYSTEMS, Proceedings of the 3nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA07), p.8, Sept. 4-7, 2007, Las Vegas, USA, DETC2007-34439. (Best Paper in Computational Methods and Software)

[ZKB2007]
Zauner M., Kramer M. and Balog P.: TACKLING THE ABSTRACTION GAP FOR THE DESIGN OF EMBEDDED REACTIVE SYSTEMS USING ESTEREL – A CASE STUDY, Proceedings of the 3nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA07), Sept. 4-7, 2007, Las Vegas, USA, DETC2007-34561.

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

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

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

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

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

[FR2006]
Fürtler J., Rössler P. et al.: Design Considerations for Scalable High Performance Vision Systems Embedded in Industrial Print Inspection Machines, EURASIP Journal on Embedded Systems 2006, Volume 2007 (2007), Article ID 71794, p. 10, Hindawi Academic Publishing.

[NK2006]
Neururer C., Kubinger W.: FPGA Implementation of a Bayer Filter, Algorithm, to be published in "Proceedings of the Austrochip 2006", the Austrian national conference on microelectronics, pp. 203-208, Vienna, Austria, October 11th 2006. ISBN-13: 978-3-200-00770-3. (in german)

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

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

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

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

Technical Reports

[TR-1]
M. Zauner, R. Höller, Th. Kittenberger, "Infrastructure Setup", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, 2006.

[TR-2]
M. Biack, "Linear Temporal Logic (LTL) - an Introduction", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 22, 2006.

[TR-3]
M. Biack, "Introduction to Model Checking", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 68, 2006.

[TR-4]
M. Kramer, "State of the Art of Modelchecking for Formal Verification - A Survey of Tools", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, 2007.

[TR-5]
M. Kramer, "Formal Verification and Modelchecking - A Motivation and Basic Formulas", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, 2007.

[TR-6]
M. Kramer, P. Balog, "Fundamentals of Modelcheking and Verification - Set Theory LTL, CTL, Automata Theory", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, 2007.

[TR-7]
M. Kramer, P. Balog, "SPIN - The Currently Most Common Modelchecker", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, 2007.

[TR-8]
M. Zauner, "Literature Survey and Introduction to the Formal Synchronous Specification Language Esterel", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 27, 2006.

[TR-9]
M. Zauner, "An Introduction to the Esterel Studio Compiler for Constructing Reactive Systems", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 28, 2006.

[TR-10]
M. Zauner, "Marketsurvey for FlexRay Software/Hardware", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 48, 2006.

[TR-11]
A. Puhm, M. Zauner, "FlexRay Demonstrator Based on a Typical Sensor/Actor Regulator System", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, 2006.

[TR-12]
R. Höller, "MEMEC Virtex4 Demo Board + Xilinx Embedded Development Kit - Getting Started", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 14, 2006.

[TR-13]
R. Höller, "MEMEC Virtex4 Demo Board + Xilinx ChipScope Pro 7.1i - Getting Started", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 9, 2006.

[TR-14]
R. Höller, "MEMEC Virtex4 Demo Board + Xilinx System ACE - Getting Started", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 9, 2006.

[TR-15]
M. Horauer, R. Höller, "MEMEC Virtex4 LX25LC Rev. 1 Demo Board + Xilinx Embedded Development Kit - Getting Started", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 22, 2006.

[TR-16]
M. Horauer, "Getting Started with the Virtex4LX25 + P160 Communications 2 Add-On Board", Technical Report - University of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 10, 2006.

[TR-17]
M. Horauer, "Remote Testing of Distributed Embedded Systems - Part I Definitions and State-of-the-Art Survey", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 20, 2006.

[TR-18]
M. Horauer, "Remote Testing of Distributed Embedded Systems - Part II Testing Time-Triggered Distributed Systems ", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, 2006.

[TR-19]
R. Höller, "Remote Testing of Distributed Embedded Systems - Part III Testing Event-Triggered Distributed Systems ", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, 2006.

[TR-20]
M. Zauner, "HW/SW Bring-Up of the High-Speed USB Interface for the TW StarAnalyzer", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 9, 2007.

[TR-21]
A. Reinberger, "Automated test environment for DECOMSYS::BUSDOCTOR", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 13, 2007.

[TR-22]
R. Höller, "DECS Demonstrator Functional Specification", Technical Report - Univ. of Applied Sciences Technikum Wien, Department of Embedded Systems, 2006.

[TR-23]
R. Höller, "DECS Demonstrator P160 Module - Board and FPGA Design Specification", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 27, 2007.

[TR-24]
R. Höller, M. Zauner, M. Kramer, "Report on Bring Up of the DECS P160 Module", Technical Report - Univ. of Applied Sciences Technikum Wien, Research Group Embedded Systems, p. 15, 2007.

Technical Reports - Benchmark Projects

[BP-1]
P. Rössler, M. Wimmer, "Data Collection Platform - Users Manual", Univ. of Applied Sciences Technikum Wien, Dept. of Embedded Systems, p. 21, 2007.

[BP-2]
P. Rössler, "Data Collection Platform - Design Specification", Univ. of Applied Sciences Technikum Wien, Dept. of Embedded Systems, p. 112, 2007.

[BP-3]
M. Wimmer, "Data Collection Platform - Software Architectural Overview", Univ. of Applied Sciences Technikum Wien, Dept. of Embedded Systems, p. 13, 2007.

Public Relations

[PR-S1]
M. Horauer, P. Rössler, "Umweltmessdaten: Einmal Weltall und retour", Fachzeitschrift a3-Volt, Heft April 2007.

[PR-S2]
P. Balog, "Embedded Systems - Werkstatt sucht Master", Fachzeitschrift a3-Volt, Heft Juni 2006.

[PR-S3]
P. Balog, "Grosse Potentiale - Expertenrunde FlexRay", Elektronik Journal, Heft Jänner 2006.

[PR-S4]
Project presentation at the public event "Lange Nacht der Forschung" :: Posters :: 1 :: 2 :: 3 :: 4 :: 5 :: 6