Technical reports

2016

  • Michael Pazourek. Smart Cities - Smart Lighting based on Open Transport Data. Technical Report 183/1-184, A-Lab @ Automation Systems Group, TU Vienna, November 2016. [ bib | .pdf ]
  • Daniel Ramsauer. Microlocation based configuration for KNX installations. Technical Report 183/1-185, A-Lab @ Automation Systems Group, TU Vienna, November 2016. [ bib | .pdf ]
  • Filip Kovacevic. Sensornetzwerke im Bauingenieurwesen. Technical Report 183/1-182, A-Lab @ Automation Systems Group, TU Vienna, October 2016. [ bib | .pdf ]
  • Simon Strassl. Artificial Neural Networks for Smart Lighting. Technical Report 183/1-181, A-Lab @ Automation Systems Group, TU Vienna, September 2016. [ bib | .pdf ]
  • Eugen Kaltenegger. Physical and Graphical Simulation of an Ackermann Steered Vehicle. Technical Report 183/1-183, RobLab @ Automation Systems Group, TU Vienna, May 2016. [ bib | .pdf ]
  • Dimitar Naydenov. Autonomous Navigation - Position Tracking of a Remote Control Vehicle using IMU. Technical Report 183/1-179, RobLab @ Automation Systems Group, TU Vienna, March 2016. [ bib | .pdf ]
  • Benjamin Binder. Motion Tracking for an Autonomous Race-Car. Technical Report 183/1-180, RobLab @ Automation Systems Group, TU Vienna, March 2016. [ bib | .pdf ]

2015

  • Martin Wührer. MTP-Lynx. Technical Report 183/1-176, A-Lab @ Automation Systems Group, TU Vienna, December 2015. [ bib | .pdf ]
  • Balazs Bezeczky. Integration of a BECKHOFF PLC into an HVAC model plant. Technical Report 183/1-177, A-Lab @ Automation Systems Group, TU Vienna, December 2015. [ bib | .pdf ]
  • Patrick Roland Gansterer. Web Process Control Protocol - A WebSocket subprotocol for automation. Technical Report 183/1-178, A-Lab @ Automation Systems Group, TU Vienna, December 2015. [ bib | .pdf ]
  • Michael H. Spiegel. Integrating the Functional Mockup Interface into IEC 61499-based components. Technical Report 183/1-175, A-Lab @ Automation Systems Group, TU Vienna, October 2015. [ bib | .pdf ]
  • Robert Horvath. Seamless Integration of BACnet Devices into oBIX. Technical Report 183/1-173, A-Lab @ Automation Systems Group, TU Vienna, August 2015. [ bib | .pdf ]
  • Thomas Johannes Stipsits. Security Analysis of the Austrian Citizen Card Environment MOCCA. Technical Report 183/1-174, A-Lab @ Automation Systems Group, TU Vienna, August 2015. [ bib | .pdf ]
  • Marco Handl. Modell- und listenbasierte Softwareentwicklung in der Industrieautomation. Technical Report 183/1-172, A-Lab @ Automation Systems Group, TU Vienna, July 2015. [ bib | .pdf ]
  • Christoph Stampfel. Gebäudeautomation und RESTful BACnet/WS. Technical Report 183/1-170, A-Lab @ Automation Systems Group, TU Vienna, April 2015. [ bib | .pdf ]
  • Thomas Schmidleithner. Fine-grained authorization in Constrained RESTful Environments. Technical Report 183/1-171, A-Lab @ Automation Systems Group, TU Vienna, April 2015. [ bib | .pdf ]
  • Patrik Fimml. In-Memory Protocol Fuzz Testing using the Pin Toolkit. Technical Report 183/1-168, A-Lab @ Automation Systems Group, TU Vienna, March 2015. [ bib | .pdf ]
  • Markus Hannes Fischer. Framework for Side Channel Analysis on Flash Memory. Technical Report 183/1-169, A-Lab @ Automation Systems Group, TU Vienna, March 2015. [ bib | .pdf ]

2014

  • Clemens Pühringer. Cloud Computing for Home Automation. Technical Report 183/1-167, A-Lab @ Automation Systems Group, TU Vienna, March 2014. [ bib | .pdf ]
  • Martin Kaufleitner. X2X Scope. Technical Report 183/1-166, A-Lab @ Automation Systems Group, TU Vienna, January 2014. [ bib | .pdf ]

2013

  • Stefan Reichard. UPnP and DPWS - Differences and Similarities. Technical Report 183/1-165, A-Lab @ Automation Systems Group, TU Vienna, November 2013. [ bib | .pdf ]
  • Ralph Hoch. A Java API and Web Service Gateway for wireless M-Bus. Technical Report 183/1-164, A-Lab @ Automation Systems Group, TU Vienna, October 2013. [ bib | .pdf ]
  • Peter Klein. An Application Programming Interface for Constrained RESTful Environments based on a Groovy Domain Specific Language. Technical Report 183/1-163, A-Lab @ Automation Systems Group, TU Vienna, April 2013. [ bib | .pdf ]
  • Peter Hausberger. Eingebettete Betriebssysteme in der Automation. Technical Report 183/1-162, A-Lab @ Automation Systems Group, TU Vienna, March 2013. [ bib | .pdf ]

2012

  • Bernhard Nickel. Meter Data Management and Analysis. Technical Report 183/1-161, A-Lab @ Automation Systems Group, TU Vienna, October 2012. [ bib | .pdf ]
  • Thomas Fruehwirth. ZigBee WirelessHART 6LoWPAN - ein Vergleich. Technical Report 183/1-160, A-Lab @ Automation Systems Group, TU Vienna, April 2012. [ bib | .pdf ]

2011

  • Martin Unger. Web Service Endpoint Protection (WSEP) mit SAML und XACML. Technical Report 183/1-159, A-Lab @ Automation Systems Group, TU Vienna, December 2011. [ bib | .pdf ]
  • Patrick Ruß. KNX for OPC UA. Technical Report 183/1-158, A-Lab @ Automation Systems Group, TU Vienna, November 2011. [ bib | .pdf ]
  • Robert Mittermayr and Johann Blieberger. Shared Memory Concurrent System Verification using Kronecker Algebra. Technical Report 183/1-155, Automation Systems Group, TU Vienna, September 2011. [ bib | .pdf ]
  • Jürgen Maier. Powerline in Building Automation. Technical Report 183/1-157, A-Lab @ Automation Systems Group, TU Vienna, September 2011. [ bib | .pdf ]
  • Martin Kerschberger. Near Field Communication - A survey of safety and security measures. Technical Report 183/1-156, A-Lab @ Automation Systems Group, TU Vienna, July 2011. [ bib | .pdf ]
  • Markus Klein. Industrial Ethernet - Challenges and Drawbacks. Comparison of Modbus TCP/IP and Ethernet/IP. Technical Report 183/1-154, A-Lab @ Automation Systems Group, TU Vienna, March 2011. [ bib | .pdf ]
  • Johannes Kasberger. Advantages of Industrial Ethernet - Comparison of Modbus over TCP/IP and PROFINET. Technical Report 183/1-153, A-Lab @ Automation Systems Group, TU Vienna, January 2011. [ bib | .pdf ]

2010

  • Thomas Wimmer. Functions of Building Automation and Control Systems. Technical Report 183/1-152, A-Lab @ Automation Systems Group, TU Vienna, July 2010. [ bib | .pdf ]
  • Stefan Szucsich. Web Services in Building Automation with focus on BACnet/WS. Technical Report 183/1-151, A-Lab @ Automation Systems Group, TU Vienna, June 2010. [ bib | .pdf ]
  • Bernhard Mathias. Modular Security Enhanced Bootloader. Technical Report 183/1-150, A-Lab @ Automation Systems Group, TU Vienna, April 2010. [ bib | .pdf ]
  • Markus Gerstner. ZigBee. Technical Report 183/1-148, A-Lab @ Automation Systems Group, TU Vienna, March 2010. [ bib | .pdf ]
  • Helene Oberhumer. Web Services in der Gebäudeautomation mit Schwerpunkt auf oBIX. Technical Report 183/1-149, A-Lab @ Automation Systems Group, TU Vienna, March 2010. [ bib | .pdf ]

2009

  • Andreas Fernbach. An enhanced TP-UART interface board. Technical Report 183/1-147, A-Lab @ Automation Systems Group, TU Vienna, November 2009. [ bib | .pdf ]
  • Jörg Rohringer. Hardware Abstraction Layer für serielle Kommunikation und Software-Timer in embedded Devices. Technical Report 183/1-144, Department of Automation, TU Vienna, Februar 2009. [ bib | .pdf ]

2008

  • Florian Guggenberger. KNXcalibur Tochter API API. Technical Report 183/1-143, Department of Automation, TU Vienna, December 2008. [ bib | .pdf ]
  • Dominik Windhab. Bluetooth - KNX Gateway. Technical Report 183/1-145, Department of Automation, TU Vienna, November 2008. [ bib | .pdf ]
  • Lukas Krammer. IEEE 802.15.4 MAC API. Technical Report 183/1-142, Department of Automation, TU Vienna, Mai 2008. [ bib | .pdf ]
  • Felix Schuster. LoTeTra - Low Temperature Tracking. Technical Report 183/1-146, Department of Automation, TU Vienna, Oktober 2008. [ bib | .pdf ]

2007

  • Raul Fechete and Georg Kienesberger. Generating control flow graphs for Ada programs. Technical Report 183/1-139, Department of Automation, TU Vienna, September 2007. [ bib | .pdf ]
  • Jürgen Weidinger. BACnet/KNX Gateway für KNXcalibur. Technical Report 183/1-141, Department of Automation, TU Vienna, Dezember 2007. [ bib | .pdf ]

2005

  • Bernd Burgstaller. Symbolic evaluation of imperative programming languages. Technical Report 183/1-138, Department of Automation, TU Vienna, June 2005. [ bib | .pdf ]
  • Raul Fechete, Georg Kienesberger, and Peter Minarik. Busy wait analyser. Technical Report 183/1-140, Department of Automation, TU Vienna, Juni 2005. [ bib | .pdf ]

2004

  • Bernd Burgstaller, Bernhard Scholz, and Johann Blieberger. Tour de spec - A collection of Spec95 program paths and associated costs for symbolic evaluation. Technical Report 183/1-137, Department of Automation, TU Vienna, January 2004. [ bib | .pdf ]

2003

  • Bernd Thallner and Ulrich Schmid. Fault tolerant communication topologies for wireless ad hoc networks. Technical Report 183/1-132, Department of Automation, TU Vienna, December 2003. (submitted). [ bib ]
  • Ulrich Schmid. FWF project proposal: Asynchronous distributed algorithms in the θ-model. Technical Report 183/1-133, Department of Automation, TU Vienna, December 2003. [ bib ]
  • Johann Vilanek. Zutrittskontrolle und Überwachung der Laborräume des Instituts für Technische Informatik. Technical Report 183/1-134, Department of Automation, TU Vienna, December 2003. [ bib ]
  • Johann Vilanek, Ulrich Schmid, Wolfgang Kastner, Bettina Weiss, Peter Puschner, Wilfried Elmenreich, Heinz Deinhart, and Wolfgang Meyer. Projektbericht Technische Informatik: Seamless Campus. Technical Report 183/1-135, Department of Automation, TU Vienna, December 2003. [ bib ]
  • Ulrich Schmid and Johann Vilanek. FIT-IT project proposal: Seamless campus. Technical Report 183/1-136, Department of Automation, TU Vienna, December 2003. [ bib ]
  • Gérard Le Lann and Ulrich Schmid. How to maximize computing systems coverage. Technical Report 183/1-128, Department of Automation, Vienna University of Technology, April 2003. [ bib ]
  • Ulrich Schmid and Bettina Weiss. Impossibility results and lower bounds for consensus under link failures. Technical Report 183/1-129, Department of Automation, TU Vienna, April 2003. (submitted). [ bib ]
  • Martin Biely. Towards an optimal algorithm for hybrid Byzantine agreement. Technical Report 183/1-130, Department of Automation, TU Vienna, April 2003. (Appeared in Proc. IASTED PDCS'03). [ bib ]
  • Josef Widder, Gérard Le Lann, and Ulrich Schmid. Perfect failure detection with booting in partially synchronous systems. Technical Report 183/1-131, Department of Automation, TU Vienna, April 2003. [ bib ]
  • Josef Widder and Ulrich Schmid. Booting clock synchronization in partially synchronous systems with hybrid node and link failures. Technical Report 183/1-126, Department of Automation, Vienna University of Technology, January 2003. (submitted). [ bib | .pdf ]
  • Gérard Le Lann and Ulrich Schmid. How to implement a timer-free perfect failure detector in partially synchronous systems. Technical Report 183/1-127, Department of Automation, Vienna University of Technology, January 2003. [ bib ]

2002

  • Josef Widder. Switching On: How to boot clock synchronization in partially synchronous systems. Technical Report 183/1-125, Department of Automation, Vienna University of Technology, December 2002. (appeared in Proc. DISC'03). [ bib | .pdf ]
  • Ulrich Schmid and Bettina Weiss. Synchronous Byzantine agreement under hybrid process and link failures. Technical Report 183/1-124, Department of Automation, TU Vienna, November 2002. (replaces TR 183/1-110). [ bib | .pdf ]
  • Günther Gridling. An algorithm for three-process consensus under restricted link failures. Technical Report 183/1-123, Department of Automation, TU Vienna, October 2002. [ bib | .pdf ]
  • Bettina Weiss. Authentication under denial-of-service attacks. Technical Report 183/1-122, Department of Automation, TU Vienna, July 2002. [ bib | .pdf ]
  • Günther Gridling. On the problem of internal interference in CDMA-based ad-hoc networks. Technical Report 183/1-121, Department of Automation, TU Vienna, June 2002. [ bib | .pdf ]
  • Ulrich Schmid and Christof Fetzer. Randomized asynchronous consensus with imperfect communications. Technical Report 183/1-120, Vienna University of Technology, Department of Automation, January 2002. (appeared in Proc. SRDS'03). [ bib | .pdf ]

2001

  • Ulrich Schmid, Martin Horauer, and Nikolaus Kerö. Hochgenaue Uhrensynchronisation in Verteilten Systemen. Technical Report 183/1-117, Vienna University of Technology, Department of Automation, October 2001. [ bib | .pdf ]
  • Ulrich Schmid and Robert Sablatnig. EDV-Pflichtlaborkonzept Informatik. Technical Report 183/1-118, Vienna University of Technology, Department of Automation, October 2001. [ bib ]
  • Ulrich Schmid. Bakkalaureats- und Magisterstudium Technische Informatik. Technical Report 183/1-119, Vienna University of Technology, Department of Automation, October 2001. [ bib | .pdf ]
  • Martin Biely and Ulrich Schmid. Message-efficient consensus in presence of hybrid node and link faults. Technical Report 183/1-116, Vienna University of Technology, Department of Automation, August 2001. (submitted). [ bib ]
  • Günther Gridling. Initial clock synchronization. Technical Report 183/1-115, Vienna University of Technology, Department of Automation, July 2001. [ bib ]
  • Bettina Weiss and Ulrich Schmid. Consensus with written messages under link faults. Technical Report 183/1-114, Vienna University of Technology, Department of Automation, March 2001. (Extended version of Proc. SRDS'01). [ bib | .pdf ]
  • Ulrich Schmid and Bettina Weiss. Consensus with oral/written messages: Link faults revisited. Technical Report 183/1-110, Vienna University of Technology, Department of Automation, February 2001. (obsolete, replaced by TR 183/1-124). [ bib | .pdf ]
  • Günther Gridling, Ulrich Schmid, Hannes Stratil, Bernd Thallner, and Bettina Weiss. Service specification of w2f. Technical Report 183/1-113, Vienna University of Technology, Department of Automation, February 2001. [ bib | .pdf ]

2000

  • Bettina Weiss. Formal methods in security. Technical Report 183/1-112, Vienna University of Technology, Department of Automation, November 2000. [ bib ]
  • Ulrich Schmid. A perception-based fault model for single-round agreement algorithms. Technical Report 183/1-108, Vienna University of Technology, Department of Automation, October 2000. [ bib ]
  • Bernd Burgstaller and Wolfgang Kastner. Mapping of a real-time operating system to unix. Technical Report 183/1-109, Vienna University of Technology, Department of Automation, October 2000. [ bib | .pdf ]
  • Bettina Weiss. Security issues in W2F. Technical Report 183/1-111, Vienna University of Technology, Department of Automation, July 2000. [ bib | .pdf ]
  • Ulrich Schmid, Wolfgang Kastner, Bernd Burgstaller, and Christian Kral. Skriptum zur Laborübung Prozeßautomatisierung. Technical Report 183/1-106-a, Vienna University of Technology, Department of Automation, June 2000. [ bib ]
  • Wolfgang Kastner, Bettina Weiss, and Ulrich Schmid. Beispielsammlung zur Laborübung Prozeßautomatisierung. Technical Report 183/1-106-b, Vienna University of Technology, Department of Automation, June 2000. [ bib ]
  • Wolfgang Kastner. Tutoren-Schulungsunterlagen zur Laborübung Prozeß automatisierung. Technical Report 183/1-106-c, Vienna University of Technology, Department of Automation, June 2000. [ bib ]
  • Wolfgang Kastner. Software-Umgebung zur Laborübung Prozeßautomatisierung. Technical Report 183/1-106-d, Vienna University of Technology, Department of Automation, June 2000. [ bib ]
  • Ulrich Schmid. Verteilte Embedded Systems unter OSE. Technical Report 183/1-107, Vienna University of Technology, Department of Automation, June 2000. [ bib | .pdf ]
  • Nikolaus Kerö, Ulrich Schmid, and Martin Horauer. Verfahren für die Synchronisation von Computeruhren in Netzwerken. Technical Report 183/1-105, Vienna University of Technology, Department of Automation, March 2000. German Gebrauchsmuster GM 153/2000. [ bib ]
  • Bettina Weiss. Security in distributed systems - a survey. Technical Report 183/1-99, Vienna University of Technology, Department of Automation, February 2000. [ bib | .pdf ]
  • Ulrich Schmid. Report on 3 years of START-project Y41-MAT. Technical Report 183/1-100, Vienna University of Technology, Department of Automation, February 2000. [ bib | .pdf ]
  • Christof Fetzer and Ulrich Schmid. Architecture and services of the W2F fieldbus. Technical Report 183/1-101, Vienna University of Technology, Department of Automation, (forthcoming) 2000. [ bib | .pdf ]
  • Ulrich Schmid. Orthogonal accuracy clock synchronization. Technical Report 183/1-77, Vienna University of Technology, Department of Automation, March 1997. Chicago Journal of Theoretical Computer Science, Vol. 2000(3), 2000. [ bib ]

1999

  • Martina Umlauft and Ulrich Schmid. GPS Device-Driver software documentation. Technical Report 183/1-97, Vienna University of Technology, Department of Automation, October 1999. [ bib ]
  • Ulrich Schmid. Lehrbedarfs- und Lehrkapazitätserhebung für die Technisch-Naturwissenschaftlichen Fakultät der TU-Wien. Technical Report 183/1-98, Vienna University of Technology, Department of Automation, October 1999. [ bib | .pdf ]
  • Ulrich Schmid and Klaus Schossmaier. How to reconcile fault-tolerant interval intersection with the Lipschitz condition. Technical Report 183/1-96, Vienna University of Technology, Department of Automation, September 1999. (Distributed Computing). [ bib | .pdf ]
  • Ulrich Schmid. Basic features of the W2F fieldbus. Technical Report 183/1-95, Vienna University of Technology, Department of Automation, August 1999. [ bib | .pdf ]
  • Ulrich Schmid, Johann Klasek, Thomas Mandl, Herbert Nachtnebel, Gerhard Cadek, and Nikolaus Kerö. A network time interface M-module for distributing GPS-time over LANs. Technical Report 183/1-93, Vienna University of Technology, Department of Automation, April 1999. J. Real-Time Systems, 1999. [ bib ]
  • Bettina Weiss, Günther Gridling, Ulrich Schmid, and Klaus Schossmaier. The SimUTC fault-tolerant distributed systems simulation toolkit. Technical Report 183/1-94, Vienna University of Technology, Department of Automation, April 1999. Proc. MASCOTS'99. [ bib ]
  • Bettina Weiss. Simulation environment for clock synchronization. Technical Report 183/1-88, Vienna University of Technology, Department of Automation, February 1999. [ bib ]
  • Günther Gridling. Evaluation system for clock synchronization algorithms. Technical Report 183/1-89, Vienna University of Technology, Department of Automation, February 1999. [ bib ]
  • Gerda Richter, Michael Schmidt, and Ulrich Schmid. i82596 NTI device-driver software documentation. Technical Report 183/1-90, Vienna University of Technology, Department of Automation, February 1999. [ bib ]
  • Klaus Schossmaier and Johann Klasek. Implementing the optimal precision algorithm for clock state & rate synchronization. Technical Report 183/1-91, Vienna University of Technology, Department of Automation, February 1999. [ bib | .pdf ]
  • Gerald Hummel and Bettina Weiss. Random generators. Technical Report 183/1-92, Vienna University of Technology, Department of Automation, February 1999. [ bib | .pdf ]
  • Ulrich Schmid and Thomas Mandl. Implementation of the NTI device-handler. Technical Report 183/1-86, Vienna University of Technology, Department of Automation, January 1999. [ bib ]
  • Thomas Mandl, Herbert Nachtnebel, and Ulrich Schmid. Network Time Interface user manual. Technical Report 183/1-87, Vienna University of Technology, Department of Automation, January 1999. [ bib ]

1998

  • Ulrich Schmid, Winfried Auzinger, Robert Sablatnig, Karlheinz Schwarz, Herbert Störi, and Bruno Wöhrer. EDV-Laborkonzept für die Fakultät TNF. Technical Report 183/1-85, Vienna University of Technology, Department of Automation, December 1998. [ bib ]
  • Silvia Miksch, Ulrich Schmid, Martin Schönhacker, Katrin Seyr, and Martina Umlauft. Evaluierung der Informatik. Technical Report 183/1-84, Vienna University of Technology, Department of Automation, November 1998. (Also appeared as Institutsbericht Nr. 38, Institut für Computergraphik, Abteilung für Algorithmen und Programmiermethodik, Technische Universität Wien, November 1998.). [ bib ]
  • Ulrich Schmid Christian Kral, Thomas Mandl and Klaus Schossmaier. Tips für die Messe-Präsentation von Forschungsergebnissen. Technical Report 183/1-83, Vienna University of Technology, Department of Automation, April 1998. [ bib ]
  • Ulrich Schmid. Stellenbewirtschaftungsmodell für die Fakultät und die Fachgruppe Informatik. Technical Report 183/1-82, Vienna University of Technology, Department of Automation, February 1998. [ bib | .pdf ]
  • Johann Blieberger. Preemptive lcfs scheduling of transactions with deadlines. Technical Report 183/1-103, Vienna University of Technology, Department of Automation, January 1998. [ bib ]
  • Johann Blieberger. Busy period duration for static priority scheduling of database transactions. Technical Report 183/1-104, Vienna University of Technology, Department of Automation, January 1998. [ bib ]
  • Martin Horauer, Dietmar Loy, and Ulrich Schmid. NTI functional and architectural specification. Technical Report 183/1-69, Vienna University of Technology, Department of Automation, December 1996. (major revision 1998). [ bib | .pdf ]

1997

  • Ulrich Schmid. Interval-based clock synchronization with optimal precision. Technical Report 183/1-78, Vienna University of Technology, Department of Automation, July 1997. [ bib ]
  • Dieter Hoechtl and Ulrich Schmid. Long-term evaluation of GPS timing receiver failures. Technical Report 183/1-79, Vienna University of Technology, Department of Automation, July 1997. Proc. of the 29th IEEE PTTI Systems and Application Meeting, Long Beach, California, December 1997. [ bib ]
  • Ulrich Schmid and Klaus Schossmaier. Interval-based clock synchronization revisited. Technical Report 183/1-80, Vienna University of Technology, Department of Automation, July 1997. (Appeared in [?]). [ bib ]
  • Ulrich Schmid. Kabel-Fehlerortung mit SynUTC. Technical Report 183/1-81, Vienna University of Technology, Department of Automation, July 1997. [ bib | .pdf ]
  • Johann Blieberger and Bernhard Scholz. Automatic symbolic verification of real-time programs. Technical Report 183/1-75, Vienna University of Technology, Department of Automation, Mai 1997. [ bib ]
  • Johann Blieberger and Helmut Reinwein. Scheduling in a real-time environment under rush-hour conditions. Technical Report 183/1-102, Vienna University of Technology, Department of Automation, May 1997. [ bib ]
  • Ulrich Schmid. Orthogonal accuracy clock synchronization. Technical Report 183/1-77, Vienna University of Technology, Department of Automation, March 1997. Chicago Journal of Theoretical Computer Science, Vol. 2000(3), 2000. [ bib ]
  • Johann Blieberger and Bernd Burgstaller. WPP - Programmer's and User's Guide. Technical Report 183/1-74, Vienna University of Technology, Department of Automation, Jaenner 1997. [ bib ]
  • Ulrich Schmid Martin Horauer and Klaus Schossmaier. NTI: A Network Time Interface M-module for high-accuracy clock synchronization. Technical Report 183/1-76, Vienna University of Technology, Department of Automation, January 1997. [ bib ]
  • Klaus Schossmaier, Ulrich Schmid, Martin Horauer, and Dietmar Loy. Specification and implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Technical Report 183/1-67, Vienna University of Technology, Department of Automation, January 1996. J. Real-Time Systems 12:3, 1997. [ bib | .pdf ]
  • K. Schossmaier U. Schmid. Interval-based clock synchronization. Technical Report 183/1-64, Vienna University of Technology, Department of Automation, December 1995. J. Real-Time Systems 12:2, 1997. [ bib | .pdf ]

1996

  • Martin Horauer, Dietmar Loy, and Ulrich Schmid. NTI functional and architectural specification. Technical Report 183/1-69, Vienna University of Technology, Department of Automation, December 1996. (major revision 1998). [ bib | .pdf ]
  • Klaus Schossmaier. Understanding interval-based clock rate synchronization algorithms. Technical Report 183/1-70, Vienna University of Technology, Department of Automation, December 1996. Proc. ACM PODC '97. [ bib | .pdf ]
  • Martin Horauer. A primer to digital design with Synopsys and Cadence. Technical Report 183/1-68, Vienna University of Technology, Department of Automation, October 1996. [ bib | .pdf ]
  • Ulrich Schmid. Application to START. Technical Report 183/1-65, Vienna University of Technology, Department of Automation, January 1996. [ bib ]
  • Klaus Schossmaier and Dietmar Loy. An ASIC supporting external clock synchronization for distributed real-time systems. Technical Report 183/1-66, Vienna University of Technology, Department of Automation, January 1996. Euromicro '96. [ bib | .pdf ]
  • Klaus Schossmaier, Ulrich Schmid, Martin Horauer, and Dietmar Loy. Specification and implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Technical Report 183/1-67, Vienna University of Technology, Department of Automation, January 1996. J. Real-Time Systems 12:3, 1997. [ bib | .pdf ]
  • Johann Blieberger. Zusatzantrag zum FWF-Projekt WOOP. Technical Report 183/1-72, Vienna University of Technology, Department of Automation, Jaenner 1996. [ bib ]
  • Johann Blieberger. An annotated bibliography on real-time databases. Technical Report 183/1-73, Vienna University of Technology, Department of Automation, Jaenner 1996. [ bib ]

1995

  • K. Schossmaier U. Schmid. Interval-based clock synchronization. Technical Report 183/1-64, Vienna University of Technology, Department of Automation, December 1995. J. Real-Time Systems 12:2, 1997. [ bib | .pdf ]
  • Johann Blieberger and Bernd Burgstaller. The role of GNAT within project WOOP. Technical Report 183/1-59, Vienna University of Technology, Department of Automation, October 1995. [ bib | .pdf ]
  • Johann Blieberger. Entwurf von Automatisierungssystemen mit Ada. Technical Report 183/1-71, Vienna University of Technology, Department of Automation, September 1995. [ bib ]
  • Ulrich Schmid, Dietmar Loy, and Wolfgang Kastner. Project proposal SSCMP: Sequenced Synchronized Clock Multicast Protocol. Technical Report 183/1-58, Vienna University of Technology, Department of Automation, August 1995. [ bib | .pdf ]
  • Ulrich Schmid. Random trees in queueing systems with deadlines (Habilitationsschrift). Technical Report 183/1-60, Vienna University of Technology, Department of Automation, August 1995. Theoretical Computer Science 144(1-2), 1995. [ bib | .pdf ]
  • Ulrich Schmid. Synchronized Universal Time Coordinated for distributed real-time systems. Technical Report 183/1-61, Vienna University of Technology, Department of Automation, August 1995. Control Engineering Practice 3(6), 1995. [ bib | .pdf ]
  • U. Schmid W.A. Halang, F.-J. Koller and M. Witte. Untersuchung des Zeitverhaltens verteilter Echtzeitsysteme. Technical Report 183/1-62, Vienna University of Technology, Department of Automation, August 1995. Proc. Echtzeit '95. [ bib | .pdf ]
  • H. Haberstroh U. Schmid, W. Kastner. Process control education for computer science: From fiction back to facts. Technical Report 183/1-63, Vienna University of Technology, Department of Automation, August 1995. TEMPUS JEP MODIFY Workshop '95. [ bib | .pdf ]
  • Klaus Schossmaier and Ulrich Schmid. UTCSU functional specification. Technical Report 183/1-56, Vienna University of Technology, Department of Automation, July 1995. [ bib | .pdf ]
  • Ulrich Schmid and Werner Staringer. Geschichte des Informatik-Labors Treitlstraße 3, 1. Stock. Technical Report 183/1-57, Vienna University of Technology, Department of Automation, July 1995. [ bib | .pdf ]
  • Johann Blieberger. Loops for safety critical applications. Technical Report 183/1-51, Vienna University of Technology, Department of Automation, June 1995. Safecomp 95. [ bib | .pdf ]
  • Johann Blieberger and Roland Lieger. A general framework for obtaining recurrence relations for the average-case analysis of recursive procedures. Technical Report 183/1-55, Vienna University of Technology, Department of Automation, April 1995. [ bib ]
  • Johann Blieberger and Roland Lieger. Real-time recursive procedures. Technical Report 183/1-50, Vienna University of Technology, Department of Automation, March 1995. 7th EUROMICRO Workshop on Real-Time Systems. [ bib | .pdf ]
  • Johann Blieberger and Roland Lieger. Multi-staged discrete loops and worst-case performance of real-time applications. Technical Report 183/1-54, Vienna University of Technology, Department of Automation, March 1995. [ bib ]
  • Roland Lieger and Johann Blieberger. Multi-staged discrete loops for real-time systems. Technical Report 183/1-53, Vienna University of Technology, Department of Automation, February 1995. [ bib ]

1994

  • Johann Blieberger and Roland Lieger. Worst-case space and time complexity of recursive procedures. Technical Report 183/1-52, Vienna University of Technology, Department of Automation, December 1994. [ bib | .pdf ]
  • Andreas Pircher, Johann Blieberger, Uwe Janner, Gerhard-Helge Schildt, and Mirad Zadic. Entwurf zur Automatisierung der Lagerbewirtschaftung von Wertpapierdruckereien unter spezieller Berücksichtigung von Hochsicherheitsaspekten. Technical Report 183/1-49, Vienna University of Technology, Department of Automation, September 1994. Keywords: EPOS, Sicherheit, Lagerbewirtschaftung. [ bib ]
  • Roland Lieger and Johann Blieberger. The Ackermann-function effort in space and time. Technical Report 183/1-48, Vienna University of Technology, Department of Automation, August 1994. Keywords: Ackermann-Function, WOOP, Worst Case Performance. [ bib | .pdf ]
  • Stefan Stöckler. Analyzing distributed real-time systems using TATs and the specification language GOLD MINE. Technical Report 183/1-41, Vienna University of Technology, Department of Automation, May 1994. [ bib | .pdf ]
  • Ulrich Schmid and Alfred Pusterhofer. SSCMP: The sequenced synchronized clock message protocol. Technical Report 183/1-46, Vienna University of Technology, Department of Automation, May 1994. Keywords: at most once message delivery, sequencing, correctness, clock synchronization. [ bib | .pdf ]
  • Ulrich Schmid. Static priority scheduling of aperiodic real-time tasks. Technical Report 183/1-47, Vienna University of Technology, Department of Automation, May 1994. (Extension of [?]). [ bib | .pdf ]
  • Johann Blieberger. Discrete loops and worst case performance. Technical Report 183/1-43, Vienna University of Technology, Department of Automation, February 1994. Computer Languages, Keywords: WOOP, Worst Case Performance, Discrete Loops. [ bib | .pdf ]

1993

  • Ulrich Schmid and Dietmar Loy. FWF-Projekantrag Synchronized UTC for distributed real-time systems (SynUTC). Technical Report 183/1-39, Vienna University of Technology, Department of Automation, December 1993. Keywords: Distributed Real-Time Systems, Fault-Tolerance, Clock-Synchronization, GPS. [ bib | .pdf ]
  • Ulrich Schmid and Wolfgang Kastner. DOBOS - Konzept eines distributed object-based operating systems. Technical Report 183/1-40, Vienna University of Technology, Department of Automation, December 1993. (Extension of [?]). [ bib | .pdf ]
  • Ulrich Schmid. An annotated bibliography on clock synchronization in distributed systems. Technical Report 183/1-45, Vienna University of Technology, Department of Automation, December 1993. Keywords: clock synchronization, distributed systems, annotated bibliography. [ bib ]
  • Johann Blieberger. FWF-Projektantrag Worst Case Performance Objekt-Orientierter Echtzeit-Programme (WOOP). Technical Report 183/1-42, Vienna University of Technology, Department of Automation, November 1993. Keywords: WOOP, Worst Case Performance. [ bib | .pdf ]
  • Ulrich Schmid, Harald Haberstroh, and Stefan Stöckler. Process control education for computer science: Facts and fiction. Technical Report 183/1-37, Vienna University of Technology, Department of Automation, August 1993. Keywords: process control practical, computer science. [ bib | .pdf ]
  • Ulrich Schmid. Determining the size of dedicated shared memory areas for client-server applications. Technical Report 183/1-44, Vienna University of Technology, Department of Automation, August 1993. [ bib | .pdf ]
  • Stefan Stöckler. Timed attributed event traces. Technical Report 183/1-35, Vienna University of Technology, Department of Automation, April 1993. [ bib ]
  • Ulrich Schmid. Zusatzantrag zum FWF-Projekt VTA. Technical Report 183/1-36, Vienna University of Technology, Department of Automation, April 1993. [ bib | .pdf ]
  • Johann Blieberger and Gerhard-Helge Schildt. Safe programmable logic controller (SAFE_PLC). Technical Report 183/1-38, Vienna University of Technology, Department of Automation, April 1993. Proposal for ESPRIT, gemeinsam mit Institut für Sicherheitstechnologie, Philips Industrial Electronic und Adelard, Keywords: safe programmable logic controller. [ bib ]
  • Johann Blieberger. Ein LaTeX Style zur Gestaltung von Diplomarbeiten an Instituten der Technisch-Naturwissenschaftlichen Fakultät der Technischen Universität Wien. Technical Report 183/1-34, Vienna University of Technology, Department of Automation, January 1993. Keywords: LaTeX, Diplomarbeit. [ bib ]
  • Michael Drmota and Ulrich Schmid. Exponential limiting distributions in queueing systems with deadlines. Technical Report 183/1-17, Vienna University of Technology, Department of Automation, March 1991. SIAM Journal on Applied Mathematics 53(1), Februar 1993, p. 301-318, Keywords: Scheduling, Bäume, singularity analysis, asymptotics. [ bib | .pdf ]
  • Ulrich Schmid. The average CRI-length of a controlled ALOHA collision resolution algorithm. Technical Report 183/1-6, Vienna University of Technology, Department of Automation, January 1989. Theoretical Computer Science 108, 1993, p. 291-310. [ bib | .pdf ]

1992

  • Michael Drmota and Ulrich Schmid. The analysis of the expected successful operation time of slotted ALOHA. Technical Report 183/1-33, Vienna University of Technology, Department of Automation, December 1992. (Extension of [?]). [ bib | .pdf ]
  • Johann Blieberger. Entwurf von Automatisierungssystemen mit Ada (Skriptum zur gleichnamigen Vorlesung). Technical Report 183/1-32, Vienna University of Technology, Department of Automation, October 1992. Keywords: Ada, Software-Entwurf, Automatisierungssysteme, Echtzeitsysteme. [ bib ]
  • Stefan Stöckler. GOLD MINE: Generic Object-oriented Language for Defining Monitors, Events and Intervals. Technical Report 183/1-27, Vienna University of Technology, Department of Automation, April 1992. [ bib ]
  • Atilla Bezirgan. A case-based reasoning approach to dynamic job-shop scheduling. Technical Report 183/1-31, Vienna University of Technology, Department of Automation, April 1992. Keywords: Scheduling, Case-Based Reasoning, Job-Shop Scheduling, Fallbasierte Systeme. [ bib | .pdf ]
  • Thomas Hontsch and Ulrich Schmid. Instrumentierung auf Sourcecode-Level. Technical Report 183/1-26, Vienna University of Technology, Department of Automation, January 1992. [ bib | .pdf ]
  • Atilla Bezirgan and Jürgen Dorn. ROOMS - A case-based system for scheduling study-courses. Technical Report 183/1-30, Vienna University of Technology, Department of Automation, January 1992. Keywords: Fallbasierte Systeme, Hörsaalverwaltung, ROOMS, Case-Based Reasoning, Scheduling. [ bib | .pdf ]
  • Ulrich Schmid. On the asymptotics of the average CRI-length of the slotted ALOHA collision resolution algorithm. Technical Report 183/1-4, Vienna University of Technology, Department of Automation, March 1988. Applied Mathematics and Computation 48, 1992, p. 59-70. [ bib | .pdf ]
  • Ulrich Schmid. On a tree collision resolution algorithm in presence of capture. Technical Report 183/1-3, Vienna University of Technology, Department of Automation, January 1988. Informatique theorique at Applications/Theoretical Informatics and Applications 26(2), 1992, p. 163-197. [ bib | .pdf ]

1991

  • Atilla Bezirgan, Andreas Dluhy, Gerhard-Helge Schildt, and R. Wirth. ELDORADO - Ein graphischer Verkehrsnetzeditor. Technical Report 183/1-29, Vienna University of Technology, Department of Automation, December 1991. Keywords: Graphischer Verkehrsnetzeditor, Eldorado. [ bib | .pdf ]
  • Johann Blieberger and Gerhard-Helge Schildt. Versuche der Compiler-Validierung. Technical Report 183/1-23, Vienna University of Technology, Department of Automation, November 1991. Informatik-Fachberichte 295, PEARL 91, Workshop über Realzeitsysteme, W.A. Halang (Hrsg.), November 1991, pp. 1-19, Keywords: Validierung, Compiler, Semantik. [ bib | .pdf ]
  • Atilla Bezirgan, Johann Blieberger, and J. Kremser. Skripten zur Übung 'Einführung in die Informatik I' WS91/92. Technical Report 183/1-28, Vienna University of Technology, Department of Automation, November 1991. [ bib ]
  • Johann Blieberger. Entwurf von Automatisierungssystemen mit Ada (Skriptum zur gleichnamigen Vorlesung). Technical Report 183/1-24, Vienna University of Technology, Department of Automation, October 1991. Keywords: Ada, Software-Entwurf, Automatisierungssysteme, Echtzeitsysteme. [ bib ]
  • Ulrich Schmid. Das Workstation-LAN der Abteilung Automatisierungssysteme. Technical Report 183/1-25, Vienna University of Technology, Department of Automation, October 1991. [ bib | .pdf ]
  • Johann Blieberger and Stefan Stöckler. Anleitung zur Gestaltung von Projektberichten. Technical Report 183/1-1, Vienna University of Technology, Department of Automation, June 1991. Keywords: Projektbericht, Technical Report, Anleitung, Aufnahme von Papers, Zitierregeln, Master Index. [ bib | .pdf ]
  • Ulrich Schmid and Stefan Stöckler. Konzept der Laborübung Prozeßautomatisierung. Technical Report 183/1-21, Vienna University of Technology, Department of Automation, June 1991. [ bib ]
  • Ulrich Schmid. FWF-Projektantrag Versatile Timing Analyzer (VTA). Technical Report 183/1-22, Vienna University of Technology, Department of Automation, June 1991. [ bib | .pdf ]
  • Ulrich Schmid. The average CRI-length of a tree collision resolution algorithm in presence of multiplicity-dependent capture effects. Technical Report 183/1-19, Vienna University of Technology, Department of Automation, May 1991. (Extension of [?]). [ bib | .pdf ]
  • M. Kathofer and Gerhard-Helge Schildt. A proposal of vital process control using an expert system. Technical Report 183/1-20, Vienna University of Technology, Department of Automation, May 1991. DAISY_91, Mai 1991, Vienna, North-Holland. [ bib | .pdf ]
  • Ulrich Schmid. Monitoring in verteilten Echtzeitsystemen. Technical Report 183/1-18, Vienna University of Technology, Department of Automation, April 1991. Proceedings Echtzeit'91(Sindelfingen, BRD) (1991). [ bib | .pdf ]
  • Michael Drmota and Ulrich Schmid. Exponential limiting distributions in queueing systems with deadlines. Technical Report 183/1-17, Vienna University of Technology, Department of Automation, March 1991. SIAM Journal on Applied Mathematics 53(1), Februar 1993, p. 301-318, Keywords: Scheduling, Bäume, singularity analysis, asymptotics. [ bib | .pdf ]
  • Johann Blieberger and Ulrich Schmid. Qualifying dynamic task scheduling in hard real-time systems: A novel approach. Technical Report 183/1-15, Vienna University of Technology, Department of Automation, January 1991. [ bib | .pdf ]
  • Atilla Bezirgan. Skripten zur Übung 'Einführung in die Informatik I' WS90/91. Technical Report 183/1-16, Vienna University of Technology, Department of Automation, January 1991. [ bib ]

1990

  • Ulrich Schmid and Johann Blieberger. On non-preemptive LCFS scheduling with deadlines. Technical Report 183/1-14, Vienna University of Technology, Department of Automation, December 1990. Journal of Algorithms, Keywords: Echtzeitverhalten, LCFS Scheduling, Bäume, singularity analysis, asymptotics. [ bib | .pdf ]
  • Stefan Stöckler. Real-Time Simulation (RTS) - Beschreibung. Technical Report 183/1-13, Vienna University of Technology, Department of Automation, November 1990. Keywords: Echtzeit, Simulation. [ bib | .pdf ]
  • Johann Blieberger and Ulrich Schmid. FCFS scheduling in a hard real-time environment under rush-hour conditions. Technical Report 183/1-12, Vienna University of Technology, Department of Automation, June 1990. BIT 32 (1992), pp. 370-383, Keywords: Echtzeitverhalten, FCFS Scheduling, Bäume, singularity analysis, asymptotics. [ bib | .pdf ]
  • Klaus Schossmaier. RT - Benutzerhandbuch. Technical Report 183/1-10, Vienna University of Technology, Department of Automation, January 1990. Keywords: Regelungstechnik, Simulation. [ bib | .pdf ]
  • Günther Glaser. PET - Benutzerhandbuch. Technical Report 183/1-11, Vienna University of Technology, Department of Automation, January 1990. Keywords: Petri-Netze, Simulation. [ bib | .pdf ]

1989

  • Gerhard-Helge Schildt. On diverse programming for vital systems. Technical Report 183/1-9, Vienna University of Technology, Department of Automation, December 1989. IFAC-Symposium, December 1989, Vienna, North-Holland. [ bib | .pdf ]
  • Johann Blieberger and Ulrich Schmid. Preemptive LCFS scheduling in hard real-time applications. Technical Report 183/1-7, Vienna University of Technology, Department of Automation, September 1989. Performance Evaluation (1992), pp. 203-215, Keywords: Echtzeitverhalten, LCFS Scheduling, Bäume, singularity analysis, asymptotics. [ bib | .pdf ]
  • Ulrich Schmid and Johann Blieberger. Some investigations on FCFS scheduling in hard real-time applications. Technical Report 183/1-8, Vienna University of Technology, Department of Automation, September 1989. Journal of Computer and System Sciences 45 (1992), pp. 493-512, Keywords: Echtzeitverhalten, FCFS Scheduling, Bäume, singularity analysis, asymptotics. [ bib | .pdf ]
  • Ulrich Schmid. The average CRI-length of a controlled ALOHA collision resolution algorithm. Technical Report 183/1-6, Vienna University of Technology, Department of Automation, January 1989. Theoretical Computer Science 108, 1993, p. 291-310. [ bib | .pdf ]

1988

  • Gerhard-Helge Schildt. Industrielle Softwareentwicklung und Qualitätssicherung. Technical Report 183/1-5, Vienna University of Technology, Department of Automation, October 1988. [ bib | .pdf ]
  • Ulrich Schmid. On the asymptotics of the average CRI-length of the slotted ALOHA collision resolution algorithm. Technical Report 183/1-4, Vienna University of Technology, Department of Automation, March 1988. Applied Mathematics and Computation 48, 1992, p. 59-70. [ bib | .pdf ]
  • Ulrich Schmid. On a tree collision resolution algorithm in presence of capture. Technical Report 183/1-3, Vienna University of Technology, Department of Automation, January 1988. Informatique theorique at Applications/Theoretical Informatics and Applications 26(2), 1992, p. 163-197. [ bib | .pdf ]

1986

  • Johann Blieberger. Monotonically labelled motzkin trees. Technical Report 183/1-2, Vienna University of Technology, Department of Automation, March 1986. Discrete Applied Mathematics 18 (1987), pp. 9-24, Keywords: Bäume, singularity analysis, asymptotics. [ bib ]
DATENSCHUTZERKLÄRUNG - Joomla templates by a4joomla