Technical Reports

2017

  1. David Krywult. Evaluierung und Weiterentwicklung des Micro16 für die Lehre. Number 183/1-187, A-Lab @ Automation Systems Group, TU Vienna, April 2017. URL BibTeX

    @techreport{ ss17:krywult,
    	title = "{Evaluierung und Weiterentwicklung des Micro16 für die Lehre}",
    	author = "David Krywult",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-187",
    	month = "April",
    	year = 2017,
    	pages = "76 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0187.pdf"
    }
    
  2. Marc Pamies. GSM Sensor Passive detection of mobile phone users. Number 183/1-186, A-Lab @ Automation Systems Group, TU Vienna, February 2017. URL BibTeX

    @techreport{ ss17:pamies,
    	title = "{GSM Sensor Passive detection of mobile phone users}",
    	author = "Marc Pamies",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-186",
    	month = "February",
    	year = 2017,
    	pages = "64 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0186.pdf"
    }
    


2016

  1. Daniel Ramsauer. Microlocation based configuration for KNX installations. Number 183/1-185, A-Lab @ Automation Systems Group, TU Vienna, November 2016. URL BibTeX

    @techreport{ ws16:ramsauer,
    	title = "{Microlocation based configuration for KNX installations}",
    	author = "Daniel Ramsauer",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-185",
    	month = "November",
    	year = 2016,
    	pages = "68 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0185.pdf"
    }
    
  2. Michael Pazourek. Smart Cities – Smart Lighting based on Open Transport Data. Number 183/1-184, A-Lab @ Automation Systems Group, TU Vienna, November 2016. URL BibTeX

    @techreport{ ws16:pazourek,
    	title = "{Smart Cities -- Smart Lighting based on Open Transport Data}",
    	author = "Michael Pazourek",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-184",
    	month = "November",
    	year = 2016,
    	pages = "53 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0184.pdf"
    }
    
  3. Filip Kovacevic. Sensornetzwerke im Bauingenieurwesen. Number 183/1-182, A-Lab @ Automation Systems Group, TU Vienna, October 2016. URL BibTeX

    @techreport{ ws16:kovacevic,
    	title = "{Sensornetzwerke im Bauingenieurwesen}",
    	author = "Filip Kovacevic",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-182",
    	month = "October",
    	year = 2016,
    	pages = "84 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0182.pdf"
    }
    
  4. Simon Strassl. Artificial Neural Networks for Smart Lighting. Number 183/1-181, A-Lab @ Automation Systems Group, TU Vienna, September 2016. URL BibTeX

    @techreport{ ss16:strassl,
    	title = "{Artificial Neural Networks for Smart Lighting}",
    	author = "Simon Strassl",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-181",
    	month = "September",
    	year = 2016,
    	pages = "69 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0181.pdf"
    }
    
  5. Eugen Kaltenegger. Physical and Graphical Simulation of an Ackermann Steered Vehicle. Number 183/1-183, RobLab @ Automation Systems Group, TU Vienna, May 2016. URL BibTeX

    @techreport{ ss16:kaltenegger,
    	title = "{Physical and Graphical Simulation of an Ackermann Steered Vehicle}",
    	author = "Eugen Kaltenegger",
    	institution = "RobLab @ Automation Systems Group, TU Vienna",
    	number = "183/1-183",
    	month = "May",
    	year = 2016,
    	pages = "36 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0183.pdf"
    }
    
  6. Dimitar Naydenov. Autonomous Navigation - Position Tracking of a Remote Control Vehicle using IMU. Number 183/1-179, RobLab @ Automation Systems Group, TU Vienna, March 2016. URL BibTeX

    @techreport{ ss16:naydenov,
    	title = "{Autonomous Navigation - Position Tracking of a Remote Control Vehicle using IMU}",
    	author = "Dimitar Naydenov",
    	institution = "RobLab @ Automation Systems Group, TU Vienna",
    	number = "183/1-179",
    	month = "March",
    	year = 2016,
    	pages = "36 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0179.pdf"
    }
    
  7. Benjamin Binder. Motion Tracking for an Autonomous Race-Car. Number 183/1-180, RobLab @ Automation Systems Group, TU Vienna, March 2016. URL BibTeX

    @techreport{ ss16:binder,
    	title = "{Motion Tracking for an Autonomous Race-Car}",
    	author = "Benjamin Binder",
    	institution = "RobLab @ Automation Systems Group, TU Vienna",
    	number = "183/1-180",
    	month = "March",
    	year = 2016,
    	pages = "33 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0180.pdf"
    }
    
  8. Bernhard Heinzl. Hybrid Modeling of Production Systems: {Co}-Simulation and {DEVS}-Based Approach. Diploma Thesis, TU Wien, Vienna, Austria, 2016. BibTeX

    @phdthesis{ heinzl_hybriddevs_2016,
    	author = "Heinzl, Bernhard",
    	title = "Hybrid Modeling of Production Systems: {{Co}}-Simulation and {{DEVS}}-Based Approach",
    	type = "Diploma Thesis",
    	school = "TU Wien",
    	address = "Vienna, Austria",
    	language = "English",
    	month = "",
    	year = 2016
    }
    


2015
  1. Patrick Roland Gansterer. Web Process Control Protocol – A WebSocket subprotocol for automation. Number 183/1-178, A-Lab @ Automation Systems Group, TU Vienna, December 2015. URL BibTeX

    @techreport{ ws15:websockets,
    	title = "{Web Process Control Protocol -- A WebSocket subprotocol for automation}",
    	author = "Patrick Roland Gansterer",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-178",
    	month = "December",
    	year = 2015,
    	pages = "58 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0178.pdf"
    }
    
  2. Martin Wührer. MTP-Lynx. Number 183/1-176, A-Lab @ Automation Systems Group, TU Vienna, December 2015. URL BibTeX

    @techreport{ ws15:mtp-lynx,
    	title = "{MTP-Lynx}",
    	author = {Martin W\"uhrer},
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-176",
    	month = "December",
    	year = 2015,
    	pages = "75 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0176.pdf"
    }
    
  3. Balazs Bezeczky. Integration of a BECKHOFF PLC into an HVAC model plant. Number 183/1-177, A-Lab @ Automation Systems Group, TU Vienna, December 2015. URL BibTeX

    @techreport{ ws15:beckhoff,
    	title = "{Integration of a BECKHOFF PLC into an HVAC model plant}",
    	author = "Balazs Bezeczky",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-177",
    	month = "December",
    	year = 2015,
    	pages = "75 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0177.pdf"
    }
    
  4. Michael H Spiegel. Integrating the Functional Mockup Interface into IEC 61499-based components. Number 183/1-175, A-Lab @ Automation Systems Group, TU Vienna, October 2015. URL BibTeX

    @techreport{ ws15:iec61499,
    	title = "{Integrating the Functional Mockup Interface into IEC 61499-based components}",
    	author = "Michael H. Spiegel",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-175",
    	month = "October",
    	year = 2015,
    	pages = "85 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0175.pdf"
    }
    
  5. Thomas Johannes Stipsits. Security Analysis of the Austrian Citizen Card Environment MOCCA. Number 183/1-174, A-Lab @ Automation Systems Group, TU Vienna, August 2015. URL BibTeX

    @techreport{ ss15:mocca,
    	title = "{Security Analysis of the Austrian Citizen Card Environment MOCCA}",
    	author = "Thomas Johannes Stipsits",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-174",
    	month = "August",
    	year = 2015,
    	pages = "71 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0174.pdf"
    }
    
  6. Robert Horvath. Seamless Integration of BACnet Devices into oBIX. Number 183/1-173, A-Lab @ Automation Systems Group, TU Vienna, August 2015. URL BibTeX

    @techreport{ ss15:bacnetobix,
    	title = "{Seamless Integration of BACnet Devices into oBIX}",
    	author = "Robert Horvath",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-173",
    	month = "August",
    	year = 2015,
    	pages = "54 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0173.pdf"
    }
    
  7. Marco Handl. Modell- und listenbasierte Softwareentwicklung in der Industrieautomation. Number 183/1-172, A-Lab @ Automation Systems Group, TU Vienna, July 2015. URL BibTeX

    @techreport{ ss15:listenbasierteswe,
    	title = "{Modell- und listenbasierte Softwareentwicklung in der Industrieautomation}",
    	author = "Marco Handl",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-172",
    	month = "July",
    	year = 2015,
    	pages = "45 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0172.pdf"
    }
    
  8. Thomas Schmidleithner. Fine-grained authorization in Constrained RESTful Environments. Number 183/1-171, A-Lab @ Automation Systems Group, TU Vienna, April 2015. URL BibTeX

    @techreport{ ss15:constraintrestful,
    	title = "{Fine-grained authorization in Constrained RESTful Environments}",
    	author = "Thomas Schmidleithner",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-171",
    	month = "April",
    	year = 2015,
    	pages = "68 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0171.pdf"
    }
    
  9. Christoph Stampfel. Gebäudeautomation und RESTful BACnet/WS. Number 183/1-170, A-Lab @ Automation Systems Group, TU Vienna, April 2015. URL BibTeX

    @techreport{ ss15:bacnetws,
    	title = {{Geb\"audeautomation und RESTful BACnet/WS}},
    	author = "Christoph Stampfel",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-170",
    	month = "April",
    	year = 2015,
    	pages = "71 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0170.pdf"
    }
    
  10. Markus Hannes Fischer. Framework for Side Channel Analysis on Flash Memory. Number 183/1-169, A-Lab @ Automation Systems Group, TU Vienna, March 2015. URL BibTeX

    @techreport{ ws14:sidechannel,
    	title = "{Framework for Side Channel Analysis on Flash Memory}",
    	author = "Markus Hannes Fischer",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-169",
    	month = "March",
    	year = 2015,
    	pages = "104 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0169.pdf"
    }
    
  11. Patrik Fimml. In-Memory Protocol Fuzz Testing using the Pin Toolkit. Number 183/1-168, A-Lab @ Automation Systems Group, TU Vienna, March 2015. URL BibTeX

    @techreport{ ws14:fuzztesting,
    	title = "{In-Memory Protocol Fuzz Testing using the Pin Toolkit}",
    	author = "Patrik Fimml",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-168",
    	month = "March",
    	year = 2015,
    	pages = "35 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0168.pdf"
    }
    
  12. Philipp Raich. Scalability Analysis of a Web-based IoT Stack for Automation Systems. TU Wien, Institut f{\"ü}r Rechnergestützte Automation, 2015. URL BibTeX

    @mastersthesis{ raich2015,
    	author = "Raich, Philipp",
    	school = {TU Wien, Institut f{\"{ü}}r Rechnergest{\"{u}}tzte Automation},
    	title = "{Scalability Analysis of a Web-based IoT Stack for Automation Systems}",
    	url = "http://www.ub.tuwien.ac.at/dipl/2015/AC12204604.pdf",
    	year = 2015
    }
    
  13. Franz Josef Preyser. An Approach to Develop a User Friendly Way of Implementing DEV&DESS Models in PowerDEVS. Vienna Technical University - Institut for Analysis and Scientific Computing, 2015. URL BibTeX

    @mastersthesis{ preyser2015b,
    	author = "Preyser, Franz Josef",
    	school = "Vienna Technical University - Institut for Analysis and Scientific Computing",
    	title = "{An Approach to Develop a User Friendly Way of Implementing DEV\&DESS Models in PowerDEVS}",
    	url = "http://publik.tuwien.ac.at/files/PubDat_245603.pdf",
    	year = 2015,
    	notes = "Betreuer/in(nen): F. Breitenecker, M. Drmota; Institut für Analysis und Scientific Computing, 2015; Abschlussprüfung: 15.06.2015."
    }
    


2014
  1. Clemens Pühringer. Cloud Computing for Home Automation. Number 183/1-167, A-Lab @ Automation Systems Group, TU Vienna, March 2014. URL BibTeX

    @techreport{ ws13:cloud,
    	title = "{Cloud Computing for Home Automation}",
    	author = {Clemens P\"uhringer},
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-167",
    	month = "March",
    	year = 2014,
    	pages = "52 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0167.pdf"
    }
    
  2. Martin Kaufleitner. X2X Scope. Number 183/1-166, A-Lab @ Automation Systems Group, TU Vienna, January 2014. URL BibTeX

    @techreport{ ws13:x2x,
    	title = "{X2X Scope}",
    	author = "Martin Kaufleitner",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-166",
    	month = "January",
    	year = 2014,
    	pages = "87 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0166.pdf"
    }
    
  3. Daniel Schachinger. Model-Driven Engineering for Building Automation Systems. TU Wien, Institute of Computer Aided Automation, 2014. URL BibTeX

    @mastersthesis{ schachinger:2014-1,
    	title = "{Model-Driven Engineering for Building Automation Systems}",
    	author = "Daniel Schachinger",
    	school = "{TU Wien, Institute of Computer Aided Automation}",
    	year = 2014,
    	url = "http://www.ub.tuwien.ac.at/dipl/2014/AC11630465.pdf"
    }
    
  4. Lukas Krammer. Dependability in building automation networks. Vienna University of Technology, 2014. BibTeX

    @phdthesis{ diss_lk,
    	title = "Dependability in building automation networks",
    	author = "Lukas Krammer",
    	school = "Vienna University of Technology",
    	year = 2014,
    	month = ""
    }
    


2013
  1. Stefan Reichard. UPnP and DPWS – Differences and Similarities. Number 183/1-165, A-Lab @ Automation Systems Group, TU Vienna, November 2013. URL BibTeX

    @techreport{ ws13:dpws,
    	title = "{UPnP and DPWS -- Differences and Similarities}",
    	author = "Stefan Reichard",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-165",
    	month = "November",
    	year = 2013,
    	pages = "64 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0165.pdf"
    }
    
  2. Ralph Hoch. A Java API and Web Service Gateway for wireless M-Bus. Number 183/1-164, A-Lab @ Automation Systems Group, TU Vienna, October 2013. URL BibTeX

    @techreport{ ws13:mbus,
    	title = "{A Java API and Web Service Gateway for wireless M-Bus}",
    	author = "Ralph Hoch",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-164",
    	month = "October",
    	year = 2013,
    	pages = "53 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0164.pdf"
    }
    
  3. Peter Klein. An Application Programming Interface for Constrained RESTful Environments based on a Groovy Domain Specific Language. Number 183/1-163, A-Lab @ Automation Systems Group, TU Vienna, April 2013. URL BibTeX

    @techreport{ ss13:groovy,
    	title = "{An Application Programming Interface for Constrained RESTful Environments based on a Groovy Domain Specific Language}",
    	author = "Peter Klein",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-163",
    	month = "April",
    	year = 2013,
    	pages = "50 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0163.pdf"
    }
    
  4. Peter Hausberger. Eingebettete Betriebssysteme in der Automation. Number 183/1-162, A-Lab @ Automation Systems Group, TU Vienna, March 2013. URL BibTeX

    @techreport{ ss13:embeddedos,
    	title = "{Eingebettete Betriebssysteme in der Automation}",
    	author = "Peter Hausberger",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-162",
    	month = "March",
    	year = 2013,
    	pages = "40 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0162.pdf"
    }
    
  5. Dominik Bunyai. ZigBee Network Layer Simulation on top of IEEE 802.15.4. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2013. BibTeX

    @mastersthesis{ dbunyai:zigbeesim,
    	author = "Dominik Bunyai",
    	title = "{ZigBee Network Layer Simulation on top of IEEE 802.15.4}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2013,
    	month = "",
    	url = ""
    }
    


2012
  1. Bernhard Nickel. Meter Data Management and Analysis. Number 183/1-161, A-Lab @ Automation Systems Group, TU Vienna, October 2012. URL BibTeX

    @techreport{ ws12:meterdatamanagement,
    	title = "{Meter Data Management and Analysis}",
    	author = "Bernhard Nickel",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-161",
    	month = "October",
    	year = 2012,
    	pages = "57 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0161.pdf"
    }
    
  2. Thomas Fruehwirth. ZigBee WirelessHART 6LoWPAN - ein Vergleich. Number 183/1-160, A-Lab @ Automation Systems Group, TU Vienna, April 2012. URL BibTeX

    @techreport{ ws11:wpanoverview,
    	title = "{ZigBee WirelessHART 6LoWPAN - ein Vergleich}",
    	author = "Thomas Fruehwirth",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-160",
    	month = "April",
    	year = 2012,
    	pages = "37 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0160.pdf"
    }
    


2011
  1. Martin Unger. Web Service Endpoint Protection (WSEP) mit SAML und XACML. Number 183/1-159, A-Lab @ Automation Systems Group, TU Vienna, December 2011. URL BibTeX

    @techreport{ ws11:saml,
    	title = "{Web Service Endpoint Protection (WSEP) mit SAML und XACML}",
    	author = "Martin Unger",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-159",
    	month = "December",
    	year = 2011,
    	pages = "50 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0159.pdf"
    }
    
  2. Patrick Ruß. KNX for OPC UA. Number 183/1-158, A-Lab @ Automation Systems Group, TU Vienna, November 2011. URL BibTeX

    @techreport{ ws11:knx_opc_ua,
    	title = "{KNX for OPC UA}",
    	author = "Patrick Ru\ss",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-158",
    	month = "November",
    	year = 2011,
    	pages = "31 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0158.pdf"
    }
    
  3. Michael Rupprechter. IP-based Protocols for Fire Alarm Systems. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, November 2011. BibTeX

    @mastersthesis{ mrupp:firesafe,
    	author = "Michael Rupprechter",
    	title = "{IP-based Protocols for Fire Alarm Systems}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2011,
    	month = "nov"
    }
    
  4. Jürgen Maier. Powerline in Building Automation. Number 183/1-157, A-Lab @ Automation Systems Group, TU Vienna, September 2011. URL BibTeX

    @techreport{ ss11:powerline,
    	title = "{Powerline in Building Automation}",
    	author = {J\"urgen Maier},
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-157",
    	month = "September",
    	year = 2011,
    	pages = "43 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0157.pdf"
    }
    
  5. Robert Mittermayr and Johann Blieberger. Shared Memory Concurrent System Verification using Kronecker Algebra. Number 183/1-155, Automation Systems Group, TU Vienna, September 2011. URL BibTeX

    @techreport{ rm:kronalg,
    	title = "{Shared Memory Concurrent System Verification using Kronecker Algebra}",
    	author = "Robert Mittermayr AND Johann Blieberger",
    	institution = "Automation Systems Group, TU Vienna",
    	number = "183/1-155",
    	month = "September",
    	year = 2011,
    	pages = "31 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0155.pdf"
    }
    
  6. Martin Kerschberger. Near Field Communication – A survey of safety and security measures. Number 183/1-156, A-Lab @ Automation Systems Group, TU Vienna, July 2011. URL BibTeX

    @techreport{ ss11:nfc,
    	title = "{Near Field Communication -- A survey of safety and security measures}",
    	author = "Martin Kerschberger",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-156",
    	month = "July",
    	year = 2011,
    	pages = "33 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0156.pdf"
    }
    
  7. Markus Klein. Industrial Ethernet – Challenges and Drawbacks. Comparison of Modbus TCP/IP and Ethernet/IP. Number 183/1-154, A-Lab @ Automation Systems Group, TU Vienna, March 2011. URL BibTeX

    @techreport{ ws10:modbusethernetip,
    	title = "{Industrial Ethernet -- Challenges and Drawbacks. Comparison of Modbus TCP/IP and Ethernet/IP}",
    	author = "Markus Klein",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-154",
    	month = "March",
    	year = 2011,
    	pages = "23 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0154.pdf"
    }
    
  8. Johannes Kasberger. Advantages of Industrial Ethernet – Comparison of Modbus over TCP/IP and PROFINET. Number 183/1-153, A-Lab @ Automation Systems Group, TU Vienna, January 2011. URL BibTeX

    @techreport{ ws10:modbusprofinet,
    	title = "{Advantages of Industrial Ethernet -- Comparison of Modbus over TCP/IP and PROFINET}",
    	author = "Johannes Kasberger",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-153",
    	month = "January",
    	year = 2011,
    	pages = "31 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0153.pdf"
    }
    
  9. Mark Volcic. Sicherheitskritische Modelleisenbahnsteuerung in Ada. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2011. BibTeX

    @mastersthesis{ vol:mrr_ada,
    	author = "Mark Volcic",
    	title = "{Sicherheitskritische Modelleisenbahnsteuerung in Ada}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2011,
    	month = "",
    	url = ""
    }
    
  10. Felix Schuster. Transmitting video data over narrow bandwidth control networks. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2011. BibTeX

    @mastersthesis{ fschuster:cctvbas,
    	author = "Felix Schuster",
    	title = "{Transmitting video data over narrow bandwidth control networks}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2011,
    	month = "",
    	url = ""
    }
    


2010
  1. Thomas Wimmer. Functions of Building Automation and Control Systems. Number 183/1-152, A-Lab @ Automation Systems Group, TU Vienna, July 2010. URL BibTeX

    @techreport{ ss10:saia,
    	title = "{Functions of Building Automation and Control Systems}",
    	author = "Thomas Wimmer",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-152",
    	month = "July",
    	year = 2010,
    	pages = "40 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0152.pdf"
    }
    
  2. Stefan Szucsich. Web Services in Building Automation with focus on BACnet/WS. Number 183/1-151, A-Lab @ Automation Systems Group, TU Vienna, June 2010. URL BibTeX

    @techreport{ ss10:bacnetws,
    	title = "{Web Services in Building Automation with focus on BACnet/WS}",
    	author = "Stefan Szucsich",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-151",
    	month = "June",
    	year = 2010,
    	pages = "25 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0151.pdf"
    }
    
  3. Bernhard Mathias. Modular Security Enhanced Bootloader. Number 183/1-150, A-Lab @ Automation Systems Group, TU Vienna, April 2010. URL BibTeX

    @techreport{ bm10:boot,
    	title = "{Modular Security Enhanced Bootloader}",
    	author = "Bernhard Mathias",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-150",
    	month = "April",
    	year = 2010,
    	pages = "53 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0150.pdf"
    }
    
  4. Markus Gerstner. ZigBee. Number 183/1-148, A-Lab @ Automation Systems Group, TU Vienna, March 2010. URL BibTeX

    @techreport{ mg10:zigbee,
    	title = "{ZigBee}",
    	author = "Markus Gerstner",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-148",
    	month = "March",
    	year = 2010,
    	pages = "42 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0148.pdf"
    }
    
  5. Helene Oberhumer. Web Services in der Gebäudeautomation mit Schwerpunkt auf oBIX. Number 183/1-149, A-Lab @ Automation Systems Group, TU Vienna, March 2010. URL BibTeX

    @techreport{ ho10:obix,
    	title = {{Web Services in der Geb\"audeautomation mit Schwerpunkt auf oBIX}},
    	author = "Helene Oberhumer",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-149",
    	month = "March",
    	year = 2010,
    	pages = "40 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0149.pdf"
    }
    
  6. Wolfgang Granzer. Secure Communication in Home and Building Automation Systems. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2010. PDF BibTeX

    @phdthesis{ wgranzer_diss,
    	author = "Wolfgang Granzer",
    	title = "Secure Communication in Home and Building Automation Systems",
    	school = "Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group",
    	year = 2010,
    	month = "",
    	abstract = "Home and Building Automation (HBA) systems are traditionally concerned with the control of heating, ventilation, air conditioning, as well as lighting and shading systems. Services from the safety and security domain are typically provided by separated, application specific subsystems. An integration with the core HBA systems is done (if at all) at the management level. Nowadays, the rising desire to integrate security-critical services even at the field level can be observed. The extension of the application domain of HBA systems therefore demands the underlying communication system to be reliable and robust against malicious manipulations. An analysis of existing technologies, however, exposes that they do not fulfill the additional requirements yet. The main reason is that the systems were developed at a time when security was considered as a side-issue at best. Hence, these systems rely on physical isolation and ``Security by Obscurity''. This is obviously unacceptable within modern HBA systems since preventing physical access to the network by isolation is not always possible (e.g., WLANs) and ``Security by Obscurity'' is a technique that (if at all) provides only temporary protection. Thus, the development of a comprehensive security concept is of utmost importance. This dissertation is focused on providing mechanisms for secure communication in HBA networks thus counteracting network attacks. Based on a security threat analysis, requirements and challenges for secure communication are identified. After an overview of state of the art technologies, a generic approach for securing communication in HBA networks is introduced. This approach uses the concept of secure communication relationships where communication entities like devices or control applications are able to securely join and leave these relationships. Additionally, a framework that implements this security approach based on a multi-protocol stack is described. To prove the feasibility, the proposed security concept is formally evaluated and a prototype implementation is presented.",
    	pdf = "http://www.auto.tuwien.ac.at/~wgranzer/dissertation_wolfgang_granzer_final_signed.pdf"
    }
    
  7. Lukas Krammer. Motion Planning for Car-like Robots. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2010. BibTeX

    @mastersthesis{ lk10:motionplanning,
    	author = "Lukas Krammer",
    	title = "{Motion Planning for Car-like Robots}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2010,
    	month = "",
    	url = ""
    }
    


2009
  1. Andreas Fernbach. An enhanced TP-UART interface board. Number 183/1-147, A-Lab @ Automation Systems Group, TU Vienna, November 2009. URL BibTeX

    @techreport{ af09:tpuart,
    	title = "An enhanced {TP-UART} interface board",
    	author = "Andreas Fernbach",
    	institution = "A-Lab @ Automation Systems Group, TU Vienna",
    	number = "183/1-147",
    	month = "November",
    	year = 2009,
    	pages = "23 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0147.pdf"
    }
    
  2. Georg Kienesberger. Detecting Busy Waiting by Means of Static Control Flow Analysis. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, July 2009. BibTeX

    @mastersthesis{ gk:busywait,
    	author = "Georg Kienesberger",
    	title = "{Detecting Busy Waiting by Means of Static Control Flow Analysis}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2009,
    	month = "jul",
    	url = ""
    }
    
  3. Jörg Rohringer. Hardware Abstraction Layer für serielle Kommunikation und Software-Timer in embedded Devices. Number 183/1-144, Department of Automation, TU Vienna, 2009. URL BibTeX

    @techreport{ jr09:hal,
    	title = {{Hardware Abstraction Layer f\"ur serielle Kommunikation und Software-Timer in embedded Devices}},
    	author = {J\"org Rohringer},
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-144",
    	month = "Februar",
    	year = 2009,
    	pages = "60 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0144.pdf"
    }
    
  4. Daniel Lechner. Securing Backbones for Embedded Home and Building Automation Networks. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2009. BibTeX

    @mastersthesis{ dl08:secureip,
    	author = "Daniel Lechner",
    	title = "{Securing Backbones for Embedded Home and Building Automation Networks}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2009,
    	month = "",
    	url = ""
    }
    


2008
  1. Florian Guggenberger. KNXcalibur Tochter API API. Number 183/1-143, Department of Automation, TU Vienna, December 2008. URL BibTeX

    @techreport{ fg08:knxcaliburapi,
    	title = "{KNXcalibur Tochter API API}",
    	author = "Florian Guggenberger",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-143",
    	month = "December",
    	year = 2008,
    	pages = "32 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0143.pdf"
    }
    
  2. Dominik Windhab. Bluetooth - KNX Gateway. Number 183/1-145, Department of Automation, TU Vienna, November 2008. URL BibTeX

    @techreport{ dw08:bluetooth,
    	title = "{Bluetooth - KNX Gateway}",
    	author = "Dominik Windhab",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-145",
    	month = "November",
    	year = 2008,
    	pages = "41 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0145.pdf"
    }
    
  3. Thomas Flanitzer. Security mechanisms for low-end embedded systems. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, July 2008. BibTeX

    @mastersthesis{ tflanitzer:secembdev,
    	author = "Thomas Flanitzer",
    	title = "{Security mechanisms for low-end embedded systems}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2008,
    	month = "jul",
    	url = ""
    }
    
  4. Wolfgang Köhler. Simulation of a KNX network with EIBsec protocol extensions. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2008. BibTeX

    @mastersthesis{ wk08:knxsim,
    	author = {Wolfgang K\"ohler},
    	title = "{Simulation of a KNX network with EIBsec protocol extensions}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2008,
    	month = "",
    	url = ""
    }
    
  5. Rainer Müller. Ontologies in Automation. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2008. BibTeX

    @mastersthesis{ rm08:ontologies,
    	author = {Rainer M\"uller},
    	title = "{Ontologies in Automation}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2008,
    	month = "",
    	url = ""
    }
    
  6. Lukas Krammer. IEEE 802.15.4 MAC API. Number 183/1-142, Department of Automation, TU Vienna, 2008. URL BibTeX

    @techreport{ lk08:zigbee,
    	title = "{IEEE 802.15.4 MAC API}",
    	author = "Lukas Krammer",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-142",
    	month = "Mai",
    	year = 2008,
    	pages = "66 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0142.pdf"
    }
    
  7. Hannes Brandstetter. Heimautomationssysteme – Theorie und Praxis. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2008. BibTeX

    @mastersthesis{ hb08:knxhome,
    	author = "Hannes Brandstetter",
    	title = "{Heimautomationssysteme -- Theorie und Praxis}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2008,
    	month = "",
    	url = ""
    }
    
  8. Felix Schuster. LoTeTra - Low Temperature Tracking. Number 183/1-146, Department of Automation, TU Vienna, 2008. URL BibTeX

    @techreport{ fs08:lotetra,
    	title = "{LoTeTra - Low Temperature Tracking}",
    	author = "Felix Schuster",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-146",
    	month = "Oktober",
    	year = 2008,
    	pages = "31 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0146.pdf"
    }
    


2007
  1. Raul Fechete and Georg Kienesberger. Generating Control Flow Graphs for Ada Programs. Number 183/1-139, Department of Automation, TU Vienna, September 2007. URL BibTeX

    @techreport{ fk07:ast2cfg,
    	title = "Generating Control Flow Graphs for {A}da Programs",
    	author = "Raul Fechete and Georg Kienesberger",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-139",
    	month = "September",
    	year = 2007,
    	pages = "47 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0139.pdf"
    }
    
  2. Jürgen Weidinger. BACnet/KNX Gateway für KNXcalibur. Number 183/1-141, Department of Automation, TU Vienna, 2007. URL BibTeX

    @techreport{ jw07:bacnetknx,
    	title = {{BACnet/KNX Gateway f\"ur KNXcalibur}},
    	author = {J\"urgen Weidinger},
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-141",
    	month = "Dezember",
    	year = 2007,
    	pages = "41 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0141.pdf"
    }
    


2005
  1. Bernd Burgstaller. Symbolic Evaluation of Imperative Programming Languages. Number 183/1-138, Department of Automation, TU Vienna, June 2005. URL BibTeX

    @techreport{ bb05:diss,
    	title = "Symbolic Evaluation of Imperative Programming Languages",
    	author = "Bernd Burgstaller",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-138",
    	month = "June",
    	year = 2005,
    	pages = "146 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0138.pdf"
    }
    
  2. Wolfgang Granzer. Security in Networked Building Automation Systems. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2005. BibTeX

    @mastersthesis{ wg05:eibsec,
    	author = "Wolfgang Granzer",
    	title = "{Security in Networked Building Automation Systems}",
    	school = "Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group",
    	year = 2005,
    	month = "",
    	url = ""
    }
    
  3. Robert Mittermayr. Statische Analyse von Multi-Threading Java-Programmen. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2005. BibTeX

    @mastersthesis{ rm:samultithreadjava,
    	author = "Robert Mittermayr",
    	title = "{Statische Analyse von Multi-Threading Java-Programmen}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2005,
    	month = "",
    	url = ""
    }
    
  4. Friedrich Praus. A versatile networked embedded platform for KNX/EIB. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2005. URL BibTeX

    @mastersthesis{ prausdipl2005,
    	author = "Friedrich Praus",
    	title = "A versatile networked embedded platform for {KNX/EIB}",
    	school = "Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group",
    	year = 2005,
    	abstract = "{The deployment of home and building automation systems allows to increase comfort, safety and security and reduce operational cost. Today such systems typically follow a hierarchical distributed approach. While control networks interconnect smart sensors and actuators, a backbone network provides the infrastructure for management tasks. Devices interconnecting these networks have a strategic role. Especially in the home domain, the integration of various control and data networks is essential for maximum benefit. The European Installation Bus (KNX/EIB) is a popular control network designed to enhance electrical installations in buildings. It uses a proprietary twisted pair (TP) medium to interconnect devices like smart light switches and dimmers. The objective of this thesis is to design an embedded and versatile platform for ongoing development in the area of home and building automation systems with a focus on KNX/EIB TP. Besides two KNX/EIB TP interfaces, it provides RS-232, USB and Ethernet connectivity. The platform moreover has sufficient processing power and storage, enabling it to act as a ``smart router'' or gateway. The thesis first presents a classification of control network devices. It then discusses the hardware and software requirements for the desired platform. A detailed presentation of its design, implementation and operation with respect to hardware and software follows.}",
    	url = "http://www.praus.at/dl.php?url=diplomarbeit_fpraus_printed.pdf"
    }
    
  5. Raul Fechete, Georg Kienesberger and Peter Minarik. Busy Wait Analyser. Number 183/1-140, Department of Automation, TU Vienna, 2005. URL BibTeX

    @techreport{ fkm05:bwa,
    	title = "Busy Wait Analyser",
    	author = "Raul Fechete and Georg Kienesberger and Peter Minarik",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-140",
    	month = "Juni",
    	year = 2005,
    	pages = "38 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0140.pdf"
    }
    
  6. Bernd Burgstaller. Symbolic Evaluation of Imperative Programming Languages. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2005. BibTeX

    @phdthesis{ bburg:symeval,
    	author = "Bernd Burgstaller",
    	title = "{Symbolic Evaluation of Imperative Programming Languages}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2005,
    	month = "",
    	url = ""
    }
    


2004
  1. Bernd Burgstaller, Bernhard Scholz and Johann Blieberger. Tour de Spec –- A Collection of Spec95 Program Paths and Associated Costs for Symbolic Evaluation. Number 183/1-137, Department of Automation, TU Vienna, January 2004. URL BibTeX

    @techreport{ bb04:sp95metrics,
    	title = "Tour de Spec --- {A} Collection of {S}pec95 Program Paths and Associated Costs for Symbolic Evaluation",
    	author = "Bernd Burgstaller and Bernhard Scholz and Johann Blieberger",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-137",
    	month = "January",
    	year = 2004,
    	pages = "250 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0137.pdf"
    }
    


2003
  1. Johann Vilanek, Ulrich Schmid, Wolfgang Kastner, Bettina Weiss, Peter Puschner, Wilfried Elmenreich, Heinz Deinhart and Wolfgang Meyer. Projektbericht Technische Informatik: Seamless Campus. Number 183/1-135, Department of Automation, TU Vienna, December 2003. BibTeX

    @techreport{ vskw03:sc,
    	title = "Projektbericht {T}echnische {I}nformatik: {S}eamless {C}ampus",
    	author = "Johann Vilanek and Ulrich Schmid and Wolfgang Kastner and Bettina Weiss and Peter Puschner and Wilfried Elmenreich and Heinz Deinhart and Wolfgang Meyer",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-135",
    	month = "December",
    	year = 2003,
    	pages = "46 pages"
    }
    
  2. Johann Vilanek. Zutrittskontrolle und {Ü}berwachung der Laborräume des Instituts für Technische Informatik. Number 183/1-134, Department of Automation, TU Vienna, December 2003. BibTeX

    @techreport{ vil03:zk,
    	title = {Zutrittskontrolle und {{\"U}}berwachung der {L}aborr\"aume des {I}nstituts f\"ur {T}echnische {I}nformatik},
    	author = "Johann Vilanek",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-134",
    	month = "December",
    	year = 2003,
    	pages = "16 pages"
    }
    
  3. Bernd Thallner and Ulrich Schmid. Fault Tolerant Communication Topologies for Wireless Ad Hoc Networks. Number 183/1-132, Department of Automation, TU Vienna, December 2003. BibTeX

    @techreport{ ts03,
    	title = "Fault Tolerant Communication Topologies for Wireless Ad Hoc Networks",
    	author = "Bernd Thallner and Ulrich Schmid",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-132",
    	month = "December",
    	year = 2003,
    	note = "(submitted)",
    	pages = "13 pages"
    }
    
  4. Ulrich Schmid and Johann Vilanek. FIT-IT Project Proposal: Seamless Campus. Number 183/1-136, Department of Automation, TU Vienna, December 2003. BibTeX

    @techreport{ sv03:fit-it,
    	title = "{FIT-IT} Project Proposal: {S}eamless Campus",
    	author = "Ulrich Schmid and Johann Vilanek",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-136",
    	month = "December",
    	year = 2003,
    	pages = "31 pages"
    }
    
  5. Ulrich Schmid. FWF Project Proposal: Asynchronous Distributed Algorithms in the $\Theta$-Model. Number 183/1-133, Department of Automation, TU Vienna, December 2003. BibTeX

    @techreport{ sch03:theta,
    	title = "{FWF} Project Proposal: {A}synchronous Distributed Algorithms in the $\Theta$-Model",
    	author = "Ulrich Schmid",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-133",
    	month = "December",
    	year = 2003,
    	pages = "16 pages"
    }
    
  6. Josef Widder, Gérard Le Lann and Ulrich Schmid. Perfect Failure Detection with Booting in Partially Synchronous Systems. Number 183/1-131, Department of Automation, TU Vienna, April 2003. BibTeX

    @techreport{ wls03,
    	title = "Perfect Failure Detection with Booting in Partially Synchronous Systems",
    	author = "Josef Widder and G\'{e}rard Le Lann and Ulrich Schmid",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-131",
    	month = "April",
    	year = 2003,
    	pages = "13 pages"
    }
    
  7. Ulrich Schmid and Bettina Weiss. Impossibility Results and Lower Bounds for Consensus under Link Failures. Number 183/1-129, Department of Automation, TU Vienna, April 2003. BibTeX

    @techreport{ sw03:imp,
    	title = "Impossibility Results and Lower Bounds for Consensus under Link Failures",
    	author = "Ulrich Schmid and Bettina Weiss",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-129",
    	month = "April",
    	year = 2003,
    	note = "(submitted)",
    	pages = "22 pages"
    }
    
  8. Gérard Le Lann and Ulrich Schmid. How to Maximize Computing Systems Coverage. Number 183/1-128, autotu, April 2003. BibTeX

    @techreport{ ls03:cov,
    	title = "How to Maximize Computing Systems Coverage",
    	author = "G\'erard Le Lann and Ulrich Schmid",
    	institution = "autotu",
    	number = "183/1-128",
    	month = "April",
    	year = 2003,
    	pages = "26 pages"
    }
    
  9. Martin Biely. Towards an Optimal Algorithm for Hybrid Byzantine Agreement. Number 183/1-130, Department of Automation, TU Vienna, April 2003. BibTeX

    @techreport{ bie03,
    	title = "Towards an Optimal Algorithm for Hybrid {B}yzantine Agreement",
    	author = "Martin Biely",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-130",
    	month = "April",
    	year = 2003,
    	note = "(Appeared in Proc. IASTED PDCS'03)",
    	pages = "11 pages"
    }
    
  10. Josef Widder and Ulrich Schmid. Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Node and Link Failures. Number 183/1-126, autotu, January 2003. URL BibTeX

    @techreport{ ws03,
    	title = "Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Node and Link Failures",
    	author = "Josef Widder and Ulrich Schmid",
    	institution = "autotu",
    	number = "183/1-126",
    	month = "January",
    	year = 2003,
    	note = "(submitted)",
    	pages = "21 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0126.pdf"
    }
    
  11. Gérard Le Lann and Ulrich Schmid. How to Implement a Timer-free Perfect Failure Detector in Partially Synchronous Systems. Number 183/1-127, autotu, January 2003. BibTeX

    @techreport{ ls03,
    	title = "How to Implement a Timer-free Perfect Failure Detector in Partially Synchronous Systems",
    	author = "G\'erard Le Lann and Ulrich Schmid",
    	institution = "autotu",
    	number = "183/1-127",
    	month = "January",
    	year = 2003,
    	pages = "10 pages"
    }
    


2002
  1. Josef Widder. Switching On: How to boot clock synchronization in partially synchronous systems. Number 183/1-125, autotu, December 2002. URL BibTeX

    @techreport{ wid02,
    	title = "{Switching} {On}: {How} to boot clock synchronization in partially synchronous systems",
    	author = "Josef Widder",
    	institution = "autotu",
    	number = "183/1-125",
    	month = "December",
    	year = 2002,
    	note = "(appeared in Proc. DISC'03)",
    	pages = "15 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0125.pdf"
    }
    
  2. Ulrich Schmid and Bettina Weiss. Synchronous Byzantine Agreement under Hybrid Process and Link Failures. Number 183/1-124, Department of Automation, TU Vienna, November 2002. URL BibTeX

    @techreport{ sw02:hom,
    	title = "Synchronous {B}yzantine Agreement under Hybrid Process and Link Failures",
    	author = "Ulrich Schmid and Bettina Weiss",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-124",
    	month = "November",
    	year = 2002,
    	pages = "67 pages",
    	note = "(replaces TR 183/1-110)",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0124.pdf"
    }
    
  3. Günther Gridling. An Algorithm for Three-Process Consensus Under Restricted Link Failures. Number 183/1-123, Department of Automation, TU Vienna, October 2002. URL BibTeX

    @techreport{ gri02:consensus,
    	title = "An Algorithm for Three-Process Consensus Under Restricted Link Failures",
    	author = {G{\"u}nther Gridling},
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-123",
    	pages = "6 pages",
    	month = "October",
    	year = 2002,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0123.pdf"
    }
    
  4. Bettina Weiss. Authentication Under Denial-of-Service Attacks. Number 183/1-122, Department of Automation, TU Vienna, July 2002. URL BibTeX

    @techreport{ wei02:authdos,
    	title = "Authentication Under Denial-of-Service Attacks",
    	author = "Bettina Weiss",
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-122",
    	month = "July",
    	year = 2002,
    	pages = "17 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0122.pdf"
    }
    
  5. Günther Gridling. On the Problem of Internal Interference in CDMA-Based Ad-Hoc Networks. Number 183/1-121, Department of Automation, TU Vienna, June 2002. URL BibTeX

    @techreport{ gri02:cdma,
    	title = "On the Problem of Internal Interference in {CDMA}-Based Ad-Hoc Networks",
    	author = {G{\"u}nther Gridling},
    	institution = "Department of Automation, TU Vienna",
    	number = "183/1-121",
    	month = "June",
    	year = 2002,
    	pages = "21 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0121.pdf"
    }
    
  6. Ulrich Schmid and Christof Fetzer. Randomized Asynchronous Consensus with Imperfect Communications. Number 183/1-120, tuauto, January 2002. URL BibTeX

    @techreport{ sf02:byztr,
    	title = "Randomized Asynchronous Consensus with Imperfect Communications",
    	author = "Ulrich Schmid and Christof Fetzer",
    	institution = "tuauto",
    	number = "183/1-120",
    	month = "January",
    	year = 2002,
    	pages = "29 pages",
    	note = "(appeared in Proc. SRDS'03)",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0120.pdf"
    }
    
  7. Roland Lieger. Bounding the Worst-Case Execution Time of General Loops and Recursion. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 2002. BibTeX

    @phdthesis{ rlieger:wcet,
    	author = "Roland Lieger",
    	title = "{Bounding the Worst-Case Execution Time of General Loops and Recursion}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 2002,
    	month = "",
    	url = ""
    }
    


2001
  1. Ulrich Schmid and Robert Sablatnig. EDV-Pflichtlaborkonzept Informatik. Number 183/1-118, tuauto, October 2001. BibTeX

    @techreport{ ss01:edvlabors,
    	title = "{EDV}-{P}flichtlaborkonzept {I}nformatik",
    	author = "Ulrich Schmid and Robert Sablatnig",
    	institution = "tuauto",
    	number = "183/1-118",
    	month = "October",
    	year = 2001,
    	pages = "21 pages"
    }
    
  2. Ulrich Schmid, Martin Horauer and Nikolaus Kerö. Hochgenaue Uhrensynchronisation in Verteilten Systemen. Number 183/1-117, tuauto, October 2001. URL BibTeX

    @techreport{ shk01:morris,
    	title = "{H}ochgenaue {U}hrensynchronisation in {V}erteilten {S}ystemen",
    	author = {Ulrich Schmid and Martin Horauer and Nikolaus Ker\"o},
    	institution = "tuauto",
    	number = "183/1-117",
    	month = "October",
    	year = 2001,
    	notes = "(Bewerbung Morris-Preis)",
    	pages = "14 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0117.pdf"
    }
    
  3. Ulrich Schmid. Bakkalaureats- und Magisterstudium Technische Informatik. Number 183/1-119, tuauto, October 2001. URL BibTeX

    @techreport{ sch01:ti,
    	title = "{B}akkalaureats- und {M}agisterstudium {T}echnische {I}nformatik",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-119",
    	month = "October",
    	year = 2001,
    	pages = "190 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0119.pdf"
    }
    
  4. Martin Biely and Ulrich Schmid. Message-Efficient Consensus in Presence of Hybrid Node and Link Faults. Number 183/1-116, tuauto, August 2001. BibTeX

    @techreport{ bs01,
    	title = "Message-Efficient Consensus in Presence of Hybrid Node and Link Faults",
    	author = "Martin Biely and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-116",
    	month = "August",
    	year = 2001,
    	note = "(submitted)",
    	pages = "25 pages"
    }
    
  5. Günther Gridling. Initial Clock Synchronization. Number 183/1-115, tuauto, July 2001. BibTeX

    @techreport{ gri01:initsync,
    	title = "Initial Clock Synchronization",
    	author = {G{\"u}nther Gridling},
    	institution = "tuauto",
    	number = "183/1-115",
    	month = "July",
    	year = 2001
    }
    
  6. Bettina Weiss and Ulrich Schmid. Consensus with Written Messages under Link Faults. Number 183/1-114, tuauto, March 2001. URL BibTeX

    @techreport{ ws01:wm,
    	title = "Consensus with Written Messages under Link Faults",
    	author = "Bettina Weiss and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-114",
    	month = "March",
    	year = 2001,
    	note = "(Extended version of Proc. SRDS'01)",
    	pages = "10 dpages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0114.pdf"
    }
    
  7. Ulrich Schmid and Bettina Weiss. Consensus with Oral/Written Messages: Link Faults Revisited. Number 183/1-110, tuauto, February 2001. URL BibTeX

    @techreport{ sw01:hom,
    	title = "Consensus with Oral/Written Messages: Link Faults Revisited",
    	author = "Ulrich Schmid and Bettina Weiss",
    	institution = "tuauto",
    	number = "183/1-110",
    	month = "February",
    	pages = "24 dpages",
    	year = 2001,
    	note = "(obsolete, replaced by TR 183/1-124)",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0110.pdf"
    }
    
  8. Günther Gridling, Ulrich Schmid, Hannes Stratil, Bernd Thallner and Bettina Weiss. Service Specification of W2F. Number 183/1-113, tuauto, February 2001. URL BibTeX

    @techreport{ gsstw01:w2fserv,
    	title = "Service Specification of W2F",
    	author = {G\"unther Gridling and Ulrich Schmid and Hannes Stratil and Bernd Thallner and Bettina Weiss},
    	institution = "tuauto",
    	number = "183/1-113",
    	month = "February",
    	year = 2001,
    	pages = "36 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0113.pdf"
    }
    


2000
  1. Bettina Weiss. Formal Methods in Security. Number 183/1-112, tuauto, November 2000. BibTeX

    @techreport{ wei00:secform,
    	title = "Formal Methods in Security",
    	author = "Bettina Weiss",
    	institution = "tuauto",
    	number = "183/1-112",
    	month = "November",
    	year = 2000
    }
    
  2. Ulrich Schmid. A Perception-based Fault Model for Single-Round Agreement Algorithms. Number 183/1-108, tuauto, October 2000. BibTeX

    @techreport{ sch00:st87,
    	title = "A Perception-based Fault Model for Single-Round Agreement Algorithms",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-108",
    	month = "October",
    	year = 2000,
    	pages = "15 dpages"
    }
    
  3. Bernd Burgstaller and Wolfgang Kastner. Mapping of a Real-time Operating System to Unix. Number 183/1-109, tuauto, October 2000. URL BibTeX

    @techreport{ bk00:vocos,
    	title = "Mapping of a Real-time Operating System to Unix",
    	author = "Bernd Burgstaller and Wolfgang Kastner",
    	institution = "tuauto",
    	number = "183/1-109",
    	month = "October",
    	year = 2000,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0109.pdf"
    }
    
  4. Bettina Weiss. Security Issues in W2F. Number 183/1-111, tuauto, July 2000. URL BibTeX

    @techreport{ wei00:w2fsec,
    	title = "Security Issues in {W2F}",
    	author = "Bettina Weiss",
    	institution = "tuauto",
    	number = "183/1-111",
    	month = "July",
    	year = 2000,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0111.pdf"
    }
    
  5. Wolfgang Kastner. Software-Umgebung zur Laborübung Prozeß automatisierung. Number 183/1-106-d, tuauto, June 2000. BibTeX

    @techreport{ skbk00d,
    	title = {{S}oftware-{U}mgebung zur {L}abor\"ubung {P}roze\ss automatisierung},
    	author = "Wolfgang Kastner",
    	institution = "tuauto",
    	number = "183/1-106-d",
    	month = "June",
    	year = 2000
    }
    
  6. Wolfgang Kastner. Tutoren-Schulungsunterlagen zur Laborübung Prozeß automatisierung. Number 183/1-106-c, tuauto, June 2000. BibTeX

    @techreport{ skbk00c,
    	title = {{Tutoren-Schulungsunterlagen} zur {L}abor\"ubung {P}roze\ss automatisierung},
    	author = "Wolfgang Kastner",
    	institution = "tuauto",
    	number = "183/1-106-c",
    	month = "June",
    	year = 2000
    }
    
  7. Wolfgang Kastner, Bettina Weiss and Ulrich Schmid. Beispielsammlung zur Laborübung Prozeß automatisierung. Number 183/1-106-b, tuauto, June 2000. BibTeX

    @techreport{ skbk00b,
    	title = {{B}eispielsammlung zur {L}abor\"ubung {P}roze\ss automatisierung},
    	author = "Wolfgang Kastner and Bettina Weiss and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-106-b",
    	month = "June",
    	year = 2000
    }
    
  8. Ulrich Schmid, Wolfgang Kastner, Bernd Burgstaller and Christian Kral. Skriptum zur Laborübung Prozeß automatisierung. Number 183/1-106-a, tuauto, June 2000. BibTeX

    @techreport{ skbk00a,
    	title = {{S}kriptum zur {L}abor\"ubung {P}roze\ss automatisierung},
    	author = "Ulrich Schmid and Wolfgang Kastner and Bernd Burgstaller and Christian Kral",
    	institution = "tuauto",
    	number = "183/1-106-a",
    	month = "June",
    	year = 2000
    }
    
  9. Ulrich Schmid. Verteilte Embedded Systems unter OSE. Number 183/1-107, tuauto, June 2000. URL BibTeX

    @techreport{ sch00:ose,
    	title = "{V}erteilte {E}mbedded {S}ystems unter {OSE}",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-107",
    	month = "June",
    	year = 2000,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0107.pdf"
    }
    
  10. Nikolaus Kerö, Ulrich Schmid and Martin Horauer. Verfahren für die Synchronisation von Computeruhren in Netzwerken. Number 183/1-105, tuauto, March 2000. BibTeX

    @techreport{ ksh00,
    	title = {{V}erfahren f\"ur die {S}ynchronisation von {C}omputeruhren in {N}etzwerken},
    	author = {Nikolaus Ker\"o and Ulrich Schmid and Martin Horauer},
    	institution = "tuauto",
    	number = "183/1-105",
    	month = "March",
    	year = 2000,
    	note = "German Gebrauchsmuster GM 153/2000"
    }
    
  11. Bettina Weiss. Security in Distributed Systems - A Survey. Number 183/1-99, tuauto, February 2000. URL BibTeX

    @techreport{ wei00:bib,
    	title = "Security in Distributed Systems - A Survey",
    	author = "Bettina Weiss",
    	institution = "tuauto",
    	number = "183/1-99",
    	month = "February",
    	year = 2000,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0099.pdf"
    }
    
  12. Ulrich Schmid. Report on 3 Years of START-Project Y41-MAT. Number 183/1-100, tuauto, February 2000. URL BibTeX

    @techreport{ sch00:start,
    	title = "Report on 3 Years of {START}-Project {Y41-MAT}",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-100",
    	month = "February",
    	year = 2000,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0100.pdf"
    }
    
  13. Christof Fetzer and Ulrich Schmid. Architecture and Services of the W2F Fieldbus. Number 183/1-101, tuauto, 2000. URL BibTeX

    @techreport{ fs00:arch,
    	title = "Architecture and Services of the {W2F} Fieldbus",
    	author = "Christof Fetzer and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-101",
    	month = "(forthcoming)",
    	year = 2000,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0100.pdf"
    }
    


1999
  1. Martina Umlauft and Ulrich Schmid. GPS Device-Driver Software Documentation. Number 183/1-97, tuauto, October 1999. BibTeX

    @techreport{ us99:gps-driver,
    	title = "{GPS} {D}evice-{D}river Software Documentation",
    	author = "Martina Umlauft and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-97",
    	month = "October",
    	year = 1999
    }
    
  2. Ulrich Schmid. Lehrbedarfs- und Lehrkapazitätserhebung für die Technisch-Naturwissenschaftlichen Fakultät der TU-Wien. Number 183/1-98, tuauto, October 1999. URL BibTeX

    @techreport{ sch99:lehrkap,
    	title = {{L}ehrbedarfs- und {L}ehrkapazit\"atserhebung f\"ur die {T}echnisch-{N}aturwissenschaftlichen {F}akult\"at der {TU}-{W}ien},
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-98",
    	month = "October",
    	year = 1999,
    	pages = "100 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0098.pdf"
    }
    
  3. Ulrich Schmid and Klaus Schossmaier. How to Reconcile Fault-Tolerant Interval Intersection with the Lipschitz Condition. Number 183/1-96, tuauto, September 1999. URL BibTeX

    @techreport{ ss99:fti,
    	title = "How to Reconcile Fault-Tolerant Interval Intersection with the {L}ipschitz Condition",
    	author = "Ulrich Schmid and Klaus Schossmaier",
    	institution = "tuauto",
    	number = "183/1-96",
    	month = "September",
    	year = 1999,
    	note = "(Distributed Computing)",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0096.pdf"
    }
    
  4. Ulrich Schmid. Basic Features of the W2F Fieldbus. Number 183/1-95, tuauto, August 1999. URL BibTeX

    @techreport{ sch99:aimsw2f,
    	title = "Basic Features of the {W2F} Fieldbus",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-95",
    	month = "August",
    	year = 1999,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0095.pdf"
    }
    
  5. Bettina Weiss, Günther Gridling, Ulrich Schmid and Klaus Schossmaier. The SimUTC Fault-Tolerant Distributed Systems Simulation Toolkit. Number 183/1-94, tuauto, April 1999. BibTeX

    @techreport{ wgss99,
    	title = "The {SimUTC} Fault-Tolerant Distributed Systems Simulation Toolkit",
    	author = {Bettina Weiss and G\"unther Gridling and Ulrich Schmid and Klaus Schossmaier},
    	institution = "tuauto",
    	number = "183/1-94",
    	month = "April",
    	year = 1999,
    	note = "Proc. MASCOTS'99"
    }
    
  6. 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. Number 183/1-93, tuauto, April 1999. BibTeX

    @techreport{ skmnck99,
    	title = "A Network Time Interface {M}-Module for Distributing {GPS}-Time over {LAN}s",
    	author = {Ulrich Schmid and Johann Klasek and Thomas Mandl and Herbert Nachtnebel and Gerhard Cadek and Nikolaus Ker\"o},
    	institution = "tuauto",
    	number = "183/1-93",
    	month = "April",
    	year = 1999,
    	note = "J. Real-Time Systems, 1999"
    }
    
  7. Bettina Weiss. Simulation Environment for Clock Synchronization. Number 183/1-88, tuauto, February 1999. BibTeX

    @techreport{ wei99,
    	title = "Simulation Environment for Clock Synchronization",
    	author = "Bettina Weiss",
    	institution = "tuauto",
    	number = "183/1-88",
    	month = "February",
    	year = 1999
    }
    
  8. Klaus Schossmaier and Johann Klasek. Implementing the Optimal Precision Algorithm for Clock State & Rate Synchronization. Number 183/1-91, tuauto, February 1999. URL BibTeX

    @techreport{ sk99,
    	title = "Implementing the Optimal Precision Algorithm for Clock State \& Rate Synchronization",
    	author = "Klaus Schossmaier and Johann Klasek",
    	institution = "tuauto",
    	number = "183/1-91",
    	month = "February",
    	year = 1999,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0091.pdf"
    }
    
  9. Gerda Richter, Michael Schmidt and Ulrich Schmid. i82596 NTI Device-Driver Software Documentation. Number 183/1-90, tuauto, February 1999. BibTeX

    @techreport{ rss99:ntidriver,
    	title = "i82596 {NTI} Device-Driver Software Documentation",
    	author = "Gerda Richter and Michael Schmidt and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-90",
    	month = "February",
    	year = 1999
    }
    
  10. Gerald Hummel and Bettina Weiss. Random Generators. Number 183/1-92, tuauto, February 1999. URL BibTeX

    @techreport{ hw99,
    	title = "Random Generators",
    	author = "Gerald Hummel and Bettina Weiss",
    	institution = "tuauto",
    	number = "183/1-92",
    	month = "February",
    	year = 1999,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0092.pdf"
    }
    
  11. Günther Gridling. Evaluation System for Clock Synchronization Algorithms. Number 183/1-89, tuauto, February 1999. BibTeX

    @techreport{ gri99,
    	title = "Evaluation System for Clock Synchronization Algorithms",
    	author = {G\"unther Gridling},
    	institution = "tuauto",
    	number = "183/1-89",
    	month = "February",
    	year = 1999
    }
    
  12. Ulrich~Schmid and Thomas Mandl. Implementation of the NTI Device-Handler. Number 183/1-86, tuauto, January 1999. BibTeX

    @techreport{ sm99,
    	title = "Implementation of the {NTI} Device-Handler",
    	author = "Ulrich~Schmid and Thomas Mandl",
    	institution = "tuauto",
    	number = "183/1-86",
    	month = "January",
    	year = 1999
    }
    
  13. Thomas Mandl, Herbert Nachtnebel and Ulrich~Schmid. Network Time Interface User Manual. Number 183/1-87, tuauto, January 1999. BibTeX

    @techreport{ mns99,
    	title = "{N}etwork {T}ime {I}nterface User Manual",
    	author = "Thomas Mandl and Herbert Nachtnebel and Ulrich~Schmid",
    	institution = "tuauto",
    	number = "183/1-87",
    	month = "January",
    	year = 1999
    }
    


1998
  1. Ulrich Schmid, Winfried Auzinger, Robert Sablatnig, Karlheinz Schwarz, Herbert Störi and Bruno Wöhrer. EDV-Laborkonzept für die Fakultät TNF. Number 183/1-85, tuauto, December 1998. BibTeX

    @techreport{ sch:edvtnf,
    	title = {{EDV}-{L}aborkonzept f\"ur die {F}akult\"at {TNF}},
    	author = {Ulrich Schmid and Winfried Auzinger and Robert Sablatnig and Karlheinz Schwarz and Herbert St\"ori and Bruno W\"ohrer},
    	institution = "tuauto",
    	number = "183/1-85",
    	month = "December",
    	year = 1998,
    	pages = "36 pages"
    }
    
  2. Silvia Miksch, Ulrich Schmid, Martin Schönhacker, Katrin Seyr and Martina Umlauft. Evaluierung der Informatik. Number 183/1-84, tuauto, November 1998. BibTeX

    @techreport{ msssu98,
    	title = "{E}valuierung der {I}nformatik",
    	author = {Silvia Miksch and Ulrich Schmid and Martin Sch\"onhacker and Katrin Seyr and Martina Umlauft},
    	institution = "tuauto",
    	number = "183/1-84",
    	month = "November",
    	year = 1998,
    	pages = "28 pages",
    	note = {(Also appeared as Institutsbericht Nr.~38, Institut f\"ur Computergraphik, Abteilung f\"ur Algorithmen und Programmiermethodik, Technische Universit\"at Wien, November~1998.)}
    }
    
  3. Ulrich~Schmid Christian~Kral Thomas~Mandl and Klaus~Schossmaier. Tips für die Messe-Präsentation von Forschungsergebnissen. Number 183/1-83, tuauto, April 1998. BibTeX

    @techreport{ sch:messetips,
    	title = {{T}ips f\"ur die {M}esse-{P}r\"asentation von {F}orschungsergebnissen},
    	author = "Christian~Kral, Thomas~Mandl, Ulrich~Schmid and Klaus~Schossmaier",
    	institution = "tuauto",
    	number = "183/1-83",
    	month = "April",
    	year = 1998
    }
    
  4. Ulrich~Schmid. Stellenbewirtschaftungsmodell für die Fakultät und die Fachgruppe Informatik. Number 183/1-82, tuauto, February 1998. URL BibTeX

    @techreport{ sch:stellenbewirtschaftung,
    	title = {Stellenbewirtschaftungsmodell f\"ur die {F}akult\"at und die {F}achgruppe {I}nformatik},
    	author = "Ulrich~Schmid",
    	institution = "tuauto",
    	number = "183/1-82",
    	month = "February",
    	year = 1998,
    	pages = "65 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0082.pdf"
    }
    
  5. Johann Blieberger. Preemptive LCFS Scheduling of Transactions with Deadlines. Number 183/1-103, tuauto, January 1998. BibTeX

    @techreport{ bli:plcfstrans,
    	title = "Preemptive LCFS Scheduling of Transactions with Deadlines",
    	author = "Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-103",
    	month = "January",
    	year = 1998
    }
    
  6. Johann Blieberger. Busy Period Duration for Static Priority Scheduling of Database Transactions. Number 183/1-104, tuauto, January 1998. BibTeX

    @techreport{ bli:bpdtrans,
    	title = "Busy Period Duration for Static Priority Scheduling of Database Transactions",
    	author = "Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-104",
    	month = "January",
    	year = 1998
    }
    


1997
  1. Ulrich~Schmid. Interval-based Clock Synchronization with Optimal Precision. Number 183/1-78, tuauto, July 1997. BibTeX

    @techreport{ sch:op,
    	title = "Interval-based Clock Synchronization with Optimal Precision",
    	author = "Ulrich~Schmid",
    	institution = "tuauto",
    	number = "183/1-78",
    	month = "July",
    	year = 1997
    }
    
  2. Ulrich~Schmid. Kabel-Fehlerortung mit SynUTC. Number 183/1-81, tuauto, July 1997. URL BibTeX

    @techreport{ sch:cablefault,
    	title = "{K}abel-{F}ehlerortung mit {SynUTC}",
    	author = "Ulrich~Schmid",
    	institution = "tuauto",
    	number = "183/1-81",
    	month = "July",
    	year = 1997,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0081.pdf"
    }
    
  3. Dieter~Hoechtl and Ulrich~Schmid. Long-Term Evaluation of GPS Timing Receiver Failures. Number 183/1-79, tuauto, July 1997. BibTeX

    @techreport{ hs:gps,
    	title = "Long-Term Evaluation of {GPS} Timing Receiver Failures",
    	author = "Dieter~Hoechtl and Ulrich~Schmid",
    	institution = "tuauto",
    	number = "183/1-79",
    	month = "July",
    	year = 1997,
    	note = "Proc.\ of the 29th IEEE PTTI Systems and Application Meeting, Long Beach, California, December 1997"
    }
    
  4. Johann Blieberger and Helmut Reinwein. Scheduling in a Real-Time Environment under Rush-Hour Conditions. Number 183/1-102, tuauto, May 1997. BibTeX

    @techreport{ br97:rush,
    	title = "Scheduling in a Real-Time Environment under Rush-Hour Conditions",
    	author = "Johann Blieberger and Helmut Reinwein",
    	institution = "tuauto",
    	number = "183/1-102",
    	month = "May",
    	year = 1997
    }
    
  5. Ulrich~Schmid. Orthogonal Accuracy Clock Synchronization. Number 183/1-77, tuauto, March 1997. BibTeX

    @techreport{ sch:oa,
    	title = "Orthogonal Accuracy Clock Synchronization",
    	author = "Ulrich~Schmid",
    	institution = "tuauto",
    	number = "183/1-77",
    	month = "March",
    	year = 1997,
    	note = "Chicago Journal of Theoretical Computer Science, Vol. 2000(3), 2000"
    }
    
  6. Ulrich Schmid and Klaus Schossmaier. Interval-based Clock Synchronization Revisited. Number 183/1-80, tuauto, 1997. BibTeX

    @techreport{ ss97:2,
    	author = "Ulrich Schmid and Klaus Schossmaier",
    	title = "Interval-based Clock Synchronization Revisited",
    	number = "183/1-80",
    	institution = "tuauto",
    	month = "",
    	year = 1997,
    	note = "(Appeared in \cite{Sch97:oa})"
    }
    
  7. Ulrich~Schmid Martin~Horauer and Klaus~Schossmaier. NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization. Number 183/1-76, tuauto, January 1997. BibTeX

    @techreport{ hss:nti,
    	title = "{NTI}: A {N}etwork {T}ime {I}nterface {M}-Module for High-Accuracy Clock Synchronization",
    	author = "Martin~Horauer, Ulrich~Schmid and Klaus~Schossmaier",
    	institution = "tuauto",
    	number = "183/1-76",
    	month = "January",
    	year = 1997
    }
    
  8. Johann Blieberger and Bernd Burgstaller. WPP - Programmer's and User's Guide. Number 183/1-74, tuauto, 1997. BibTeX

    @techreport{ bli:wpp,
    	title = "{WPP - P}rogrammer's and {U}ser's {G}uide",
    	author = "Johann Blieberger and Bernd Burgstaller",
    	institution = "tuauto",
    	number = "183/1-74",
    	month = "Jaenner",
    	year = 1997
    }
    
  9. Johann Blieberger and Bernhard Scholz. Automatic Symbolic Verification of Real-Time Programs. Number 183/1-75, tuauto, 1997. BibTeX

    @techreport{ bli:pathenum,
    	title = "Automatic Symbolic Verification of Real-Time Programs",
    	author = "Johann Blieberger and Bernhard Scholz",
    	institution = "tuauto",
    	number = "183/1-75",
    	month = "Mai",
    	year = 1997
    }
    


1996
  1. Klaus~Schossmaier. Understanding Interval-based Clock Rate Synchronization Algorithms. Number 183/1-70, tuauto, December 1996. URL BibTeX

    @techreport{ schoss:rate,
    	title = "Understanding Interval-based Clock Rate Synchronization Algorithms",
    	author = "Klaus~Schossmaier",
    	institution = "tuauto",
    	number = "183/1-70",
    	month = "December",
    	year = 1996,
    	note = "{\em Proc. ACM PODC '97}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0070.pdf"
    }
    
  2. Martin Horauer, Dietmar Loy and Ulrich Schmid. NTI Functional and Architectural Specification. Number 183/1-69, tuauto, December 1996. URL BibTeX

    @techreport{ hls:nti,
    	title = "{NTI} Functional and Architectural Specification",
    	author = "Martin Horauer and Dietmar Loy and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-69",
    	month = "December",
    	year = 1996,
    	note = "(major revision 1998)",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0069.pdf"
    }
    
  3. Bernhard Scholz. Symbolische Verifikation von Echtzeitprogrammen. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, November 1996. BibTeX

    @mastersthesis{ scholz:symver,
    	author = "Bernhard Scholz",
    	title = "{Symbolische Verifikation von Echtzeitprogrammen}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 1996,
    	month = "nov",
    	url = ""
    }
    
  4. Martin Horauer. A Primer to Digital Design with Synopsys and Cadence. Number 183/1-68, tuauto, October 1996. URL BibTeX

    @techreport{ hor:vhdl,
    	title = "A Primer to Digital Design with {S}ynopsys and {C}adence",
    	author = "Martin Horauer",
    	institution = "tuauto",
    	number = "183/1-68",
    	month = "October",
    	year = 1996,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0068.pdf"
    }
    
  5. Klaus~Schossmaier, Ulrich~Schmid, Martin~Horauer and Dietmar~Loy. Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Number 183/1-67, tuauto, January 1996. URL BibTeX

    @techreport{ sshl:utcsu,
    	title = "Specification and Implementation of the {U}niversal {T}ime {C}oordinated {S}ynchronization {U}nit ({UTCSU})",
    	author = "Klaus~Schossmaier and Ulrich~Schmid and Martin~Horauer and Dietmar~Loy",
    	institution = "tuauto",
    	number = "183/1-67",
    	month = "January",
    	year = 1996,
    	note = "{J. Real-Time Systems 12:3, 1997}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0067.pdf"
    }
    
  6. Klaus~Schossmaier and Dietmar~Loy. An ASIC Supporting External Clock Synchronization for Distributed Real-Time Systems. Number 183/1-66, tuauto, January 1996. URL BibTeX

    @techreport{ sl:utcsu,
    	title = "An {ASIC} Supporting External Clock Synchronization for Distributed Real-Time Systems",
    	author = "Klaus~Schossmaier and Dietmar~Loy",
    	institution = "tuauto",
    	number = "183/1-66",
    	month = "January",
    	year = 1996,
    	note = "{\em Euromicro '96}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0066.pdf"
    }
    
  7. Ulrich Schmid. Application to START. Number 183/1-65, tuauto, January 1996. BibTeX

    @techreport{ sch:start,
    	title = "Application to {START}",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-65",
    	month = "January",
    	year = 1996,
    	pages = "50 pages"
    }
    
  8. Helmut Reinwein. Analytische Untersuchungen von Schedulingalgorithmen unter Echtzeitbedingungen. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 1996. BibTeX

    @mastersthesis{ hr:sched,
    	author = "Helmut Reinwein",
    	title = "{Analytische Untersuchungen von Schedulingalgorithmen unter Echtzeitbedingungen}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 1996,
    	month = "",
    	url = ""
    }
    
  9. Johann~Blieberger. Zusatzantrag zum FWF-Projekt WOOP. Number 183/1-72, tuauto, 1996. BibTeX

    @techreport{ bli:woop_zus,
    	title = "{Z}usatzantrag zum {FWF-P}rojekt {WOOP}",
    	author = "Johann~Blieberger",
    	institution = "tuauto",
    	number = "183/1-72",
    	month = "Jaenner",
    	year = 1996
    }
    
  10. Johann~Blieberger. An Annotated Bibliography on Real-Time Databases. Number 183/1-73, tuauto, 1996. BibTeX

    @techreport{ bli:rtdb,
    	title = "An Annotated Bibliography on Real-Time Databases",
    	author = "Johann~Blieberger",
    	institution = "tuauto",
    	number = "183/1-73",
    	month = "Jaenner",
    	year = 1996
    }
    
  11. Bernd Burgstaller. The WOOP Preprocessor – An Implementation of Discrete Loops in Ada95. Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group, 1996. BibTeX

    @mastersthesis{ bburg:discloop,
    	author = "Bernd Burgstaller",
    	title = "{The WOOP Preprocessor -- An Implementation of Discrete Loops in Ada95}",
    	school = "{Vienna University of Technology, Institute of Computer Aided Automation, Automation Systems Group}",
    	year = 1996,
    	month = "",
    	url = ""
    }
    


1995
  1. Schossmaier K U. Schmid. Interval-Based Clock Synchronization. Number 183/1-64, tuauto, December 1995. URL BibTeX

    @techreport{ ss:icvprec,
    	title = "Interval-Based Clock Synchronization",
    	author = "U. Schmid, K. Schossmaier",
    	institution = "tuauto",
    	number = "183/1-64",
    	month = "December",
    	year = 1995,
    	note = "{J. Real-Time Systems 12:2, 1997}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0064.pdf"
    }
    
  2. Johann Blieberger and Bernd Burgstaller. The role of GNAT within project WOOP. Number 183/1-59, tuauto, October 1995. URL BibTeX

    @techreport{ bli:gnat_woop,
    	title = "The role of {GNAT} within project {WOOP}",
    	author = "Johann Blieberger and Bernd Burgstaller",
    	institution = "tuauto",
    	number = "183/1-59",
    	month = "October",
    	year = 1995,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0059.pdf"
    }
    
  3. Johann~Blieberger. Entwurf von Automatisierungssystemen mit Ada. Number 183/1-71, tuauto, September 1995. BibTeX

    @techreport{ bli:ada95,
    	title = "Entwurf von {A}utomatisierungssystemen mit {A}da",
    	author = "Johann~Blieberger",
    	institution = "tuauto",
    	number = "183/1-71",
    	month = "September",
    	year = 1995
    }
    
  4. Haberstroh H U. Schmid W. Kastner. Process Control Education for Computer Science: From Fiction Back to Facts. Number 183/1-63, tuauto, August 1995. URL BibTeX

    @techreport{ skh:prozaut,
    	title = "Process Control Education for Computer Science: From Fiction Back to Facts",
    	author = "U. Schmid, W. Kastner, H. Haberstroh",
    	institution = "tuauto",
    	number = "183/1-63",
    	month = "August",
    	year = 1995,
    	note = "{\em TEMPUS JEP MODIFY Workshop '95}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0063.pdf"
    }
    
  5. Ulrich Schmid. Synchronized Universal Time Coordinated for Distributed Real-Time Systems. Number 183/1-61, tuauto, August 1995. URL BibTeX

    @techreport{ sch:synutc_cep,
    	title = "Synchronized {U}niversal {T}ime {C}oordinated for Distributed Real-Time Systems",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-61",
    	month = "August",
    	year = 1995,
    	note = "{Control Engineering Practice 3(6), 1995}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0061.pdf"
    }
    
  6. Ulrich Schmid, Dietmar Loy and Wolfgang Kastner. Project Proposal SSCMP: Sequenced Synchronized Clock Multicast Protocol. Number 183/1-58, tuauto, August 1995. URL BibTeX

    @techreport{ sch:sscmpb,
    	title = "Project Proposal {SSCMP}: {S}equenced {S}ynchronized {C}lock {M}ulticast {P}rotocol",
    	author = "Ulrich Schmid and Dietmar Loy and Wolfgang Kastner",
    	institution = "tuauto",
    	number = "183/1-58",
    	month = "August",
    	year = 1995,
    	pages = "31 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0058.pdf"
    }
    
  7. Ulrich Schmid. Random Trees in Queueing Systems with Deadlines (Habilitationsschrift). Number 183/1-60, tuauto, August 1995. URL BibTeX

    @techreport{ sch:habil,
    	title = "Random Trees in Queueing Systems with Deadlines ({H}abilitationsschrift)",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-60",
    	month = "August",
    	year = 1995,
    	note = "{Theoretical Computer Science 144(1-2), 1995}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0060.pdf"
    }
    
  8. Schmid U W.A. Halang F.-J. Koller and M Witte. Untersuchung des Zeitverhaltens verteilter Echtzeitsysteme. Number 183/1-62, tuauto, August 1995. URL BibTeX

    @techreport{ hksw:echtzeit95,
    	title = "Untersuchung des {Z}eitverhaltens verteilter {E}chtzeitsysteme",
    	author = "W.A. Halang, F.-J. Koller, U. Schmid and M. Witte",
    	institution = "tuauto",
    	number = "183/1-62",
    	month = "August",
    	year = 1995,
    	note = "{\em Proc. Echtzeit '95}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0062.pdf"
    }
    
  9. Klaus Schossmaier and Ulrich Schmid. UTCSU Functional Specification. Number 183/1-56, tuauto, July 1995. URL BibTeX

    @techreport{ scho:utcsu,
    	title = "{UTCSU} Functional Specification",
    	author = "Klaus Schossmaier and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-56",
    	month = "July",
    	year = 1995,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0056.pdf"
    }
    
  10. Ulrich Schmid and Werner Staringer. Geschichte des Informatik-Labors Treitlstraß e 3, 1. Stock. Number 183/1-57, tuauto, July 1995. URL BibTeX

    @techreport{ sch:labor,
    	title = "{G}eschichte des {I}nformatik-{L}abors {T}reitlstra\ss e 3, 1. {S}tock",
    	author = "Ulrich Schmid and Werner Staringer",
    	institution = "tuauto",
    	number = "183/1-57",
    	month = "July",
    	year = 1995,
    	pages = "7 pages",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0057.pdf"
    }
    
  11. Johann Blieberger. Loops for Safety Critical Applications. Number 183/1-51, tuauto, June 1995. URL BibTeX

    @techreport{ bli:safeloop,
    	title = "Loops for Safety Critical Applications",
    	author = "Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-51",
    	month = "June",
    	year = 1995,
    	note = "{\em Safecomp 95}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0051.pdf"
    }
    
  12. Johann Blieberger and Roland Lieger. A General Framework for Obtaining Recurrence Relations for the Average-Case Analysis of Recursive Procedures. Number 183/1-55, tuauto, April 1995. BibTeX

    @techreport{ bli:avrecurr,
    	title = "A General Framework for Obtaining Recurrence Relations for the Average-Case Analysis of Recursive Procedures",
    	author = "Johann Blieberger and Roland Lieger",
    	institution = "tuauto",
    	number = "183/1-55",
    	month = "April",
    	year = 1995
    }
    
  13. Johann Blieberger and Roland Lieger. Multi-Staged Discrete Loops and Worst-Case Performance of Real-Time Applications. Number 183/1-54, tuauto, March 1995. BibTeX

    @techreport{ bli:msdl,
    	title = "Multi-Staged Discrete Loops and Worst-Case Performance of Real-Time Applications",
    	author = "Johann Blieberger and Roland Lieger",
    	institution = "tuauto",
    	number = "183/1-54",
    	month = "March",
    	year = 1995
    }
    
  14. Johann Blieberger and Roland Lieger. Real-Time Recursive Procedures. Number 183/1-50, tuauto, March 1995. URL BibTeX

    @techreport{ bli:eumirtrc,
    	title = "Real-Time Recursive Procedures",
    	author = "Johann Blieberger and Roland Lieger",
    	institution = "tuauto",
    	number = "183/1-50",
    	month = "March",
    	year = 1995,
    	note = "{\em 7th EUROMICRO Workshop on Real-Time Systems}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0050.pdf"
    }
    
  15. Roland Lieger and Johann Blieberger. Multi-Staged Discrete Loops for Real-Time Systems. Number 183/1-53, tuauto, February 1995. BibTeX

    @techreport{ lie:msdl,
    	title = "Multi-Staged Discrete Loops for Real-Time Systems",
    	author = "Roland Lieger and Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-53",
    	month = "February",
    	year = 1995
    }
    


1994
  1. Johann Blieberger and Roland Lieger. Worst-Case Space and Time Complexity of Recursive Procedures. Number 183/1-52, tuauto, December 1994. URL BibTeX

    @techreport{ bli:rtrecurr,
    	title = "Worst-Case Space and Time Complexity of Recursive Procedures",
    	author = "Johann Blieberger and Roland Lieger",
    	institution = "tuauto",
    	number = "183/1-52",
    	month = "December",
    	year = 1994,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0052.pdf"
    }
    
  2. 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. Number 183/1-49, tuauto, September 1994. BibTeX

    @techreport{ pir:abb,
    	title = {{E}ntwurf zur {A}utomatisierung der {L}agerbewirtschaftung von {W}ertpapierdruckereien unter spezieller {B}er\"ucksichtigung von {H}ochsicherheitsaspekten},
    	author = "Andreas Pircher and Johann Blieberger and Uwe Janner and Gerhard-Helge Schildt and Mirad Zadic",
    	institution = "tuauto",
    	number = "183/1-49",
    	month = "September",
    	year = 1994,
    	note = "{\em Keywords: EPOS, Sicherheit, Lagerbewirtschaftung}"
    }
    
  3. Roland Lieger and Johann Blieberger. The Ackermann-Function Effort in Space and Time. Number 183/1-48, tuauto, August 1994. URL BibTeX

    @techreport{ lie:ackermann,
    	title = "The {A}ckermann-Function Effort in Space and Time",
    	author = "Roland Lieger and Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-48",
    	month = "August",
    	year = 1994,
    	note = "{\em Keywords: Ackermann-Function, WOOP, Worst Case Performance}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0048.pdf"
    }
    
  4. Stefan Stöckler. Analyzing Distributed Real-Time Systems using TATs and the Specification Language GOLD MINE. Number 183/1-41, tuauto, May 1994. URL BibTeX

    @techreport{ sto:tat,
    	title = "Analyzing Distributed Real-Time Systems using {TAT}s and the Specification Language {GOLD MINE}",
    	author = {Stefan St\"ockler},
    	institution = "tuauto",
    	number = "183/1-41",
    	month = "May",
    	year = 1994,
    	notes = "{\em Keywords: VTA}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0041.pdf"
    }
    
  5. Ulrich Schmid. Static Priority Scheduling of Aperiodic Real-Time Tasks. Number 183/1-47, tuauto, May 1994. URL BibTeX

    @techreport{ sch:static_prio,
    	title = "Static Priority Scheduling of Aperiodic Real-Time Tasks",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-47",
    	month = "May",
    	year = 1994,
    	pages = "70 pages",
    	note = "(Extension of \cite{22})",
    	notes = {{\em Keywords: Echtzeitverhalten, static priority scheduling, combinatorial probabilities, deadline meeting, B\"aume, bivariate singularity analysis, asymptotics}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0047.pdf"
    }
    
  6. Ulrich Schmid and Alfred Pusterhofer. SSCMP: The Sequenced Synchronized Clock Message Protocol. Number 183/1-46, tuauto, May 1994. URL BibTeX

    @techreport{ sch:sscmp,
    	title = "{SSCMP: T}he Sequenced Synchronized Clock Message Protocol",
    	author = "Ulrich Schmid and Alfred Pusterhofer",
    	institution = "tuauto",
    	number = "183/1-46",
    	month = "May",
    	year = 1994,
    	note = "{\em Keywords: at most once message delivery, sequencing, correctness, clock synchronization}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0046.pdf"
    }
    
  7. Johann Blieberger. Discrete Loops and Worst Case Performance. Number 183/1-43, tuauto, February 1994. URL BibTeX

    @techreport{ bli:discloop,
    	title = "Discrete Loops and Worst Case Performance",
    	author = "Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-43",
    	month = "February",
    	year = 1994,
    	note = "{\em Computer Languages}, {\em Keywords: WOOP, Worst Case Performance, Discrete Loops}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0043.pdf"
    }
    


1993
  1. Ulrich Schmid and Dietmar Loy. FWF-Projekantrag Synchronized UTC for Distributed Real-Time Systems (SynUTC). Number 183/1-39, tuauto, December 1993. URL BibTeX

    @techreport{ sch:synutc,
    	title = "{FWF-P}rojekantrag {S}ynchronized {UTC} for Distributed Real-Time Systems ({SynUTC})",
    	author = "Ulrich Schmid and Dietmar Loy",
    	institution = "tuauto",
    	number = "183/1-39",
    	month = "December",
    	year = 1993,
    	note = "{\em Keywords: Distributed Real-Time Systems, Fault-Tolerance, Clock-Synchronization, GPS}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0039.pdf"
    }
    
  2. Ulrich Schmid and Wolfgang Kastner. DOBOS - Konzept eines Distributed Object-Based Operating Systems. Number 183/1-40, tuauto, December 1993. URL BibTeX

    @techreport{ sch:dobos,
    	title = "{DOBOS} - {K}onzept eines Distributed Object-Based Operating Systems",
    	author = "Ulrich Schmid and Wolfgang Kastner",
    	institution = "tuauto",
    	number = "183/1-40",
    	month = "December",
    	year = 1993,
    	pages = "18 pages",
    	note = "(Extension of \cite{20})",
    	notes = "{\em Keywords: Distributed Real-Time Systems, Object-Oriented, VTA}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0040.pdf"
    }
    
  3. Ulrich Schmid. An Annotated Bibliography on Clock Synchronization in Distributed Systems. Number 183/1-45, tuauto, December 1993. BibTeX

    @techreport{ sch:bibl,
    	title = "An Annotated Bibliography on Clock Synchronization in Distributed Systems",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-45",
    	month = "December",
    	year = 1993,
    	note = "{\em Keywords: clock synchronization, distributed systems, annotated bibliography}"
    }
    
  4. Johann Blieberger. FWF-Projektantrag Worst Case Performance Objekt-Orien\-tier\-ter Echtzeit-Programme (WOOP). Number 183/1-42, tuauto, November 1993. URL BibTeX

    @techreport{ bli:woop,
    	title = "{FWF-P}rojektantrag {W}orst {C}ase {P}erformance {O}bjekt-{O}rien\-tier\-ter {E}chtzeit-{P}rogramme ({WOOP})",
    	author = "Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-42",
    	month = "November",
    	year = 1993,
    	note = "{\em Keywords: WOOP, Worst Case Performance}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0042.pdf"
    }
    
  5. Ulrich Schmid. Determining the Size of Dedicated Shared Memory Areas for Client-Server Applications. Number 183/1-44, tuauto, August 1993. URL BibTeX

    @techreport{ sch:size,
    	title = "Determining the Size of Dedicated Shared Memory Areas for Client-Server Applications",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-44",
    	month = "August",
    	year = 1993,
    	pages = "17 pages",
    	notes = "{\em Keywords: dedicated shared memory, buffer size, client-server applications, FCFS scheduling, random trees, combinatorial and asymptotic probabilities}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0044.pdf"
    }
    
  6. Ulrich Schmid, Harald Haberstroh and Stefan Stöckler. Process Control Education for Computer Science: Facts and Fiction. Number 183/1-37, tuauto, August 1993. URL BibTeX

    @techreport{ sch:education,
    	title = "Process Control Education for Computer Science: Facts and Fiction",
    	author = {Ulrich Schmid and Harald Haberstroh and Stefan St\"ockler},
    	institution = "tuauto",
    	number = "183/1-37",
    	month = "August",
    	year = 1993,
    	note = "{\em Keywords: process control practical, computer science}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0037.pdf"
    }
    
  7. Stefan Stöckler. Timed Attributed Event Traces. Number 183/1-35, tuauto, April 1993. BibTeX

    @techreport{ sto:timed_events,
    	title = "Timed Attributed Event Traces",
    	author = {Stefan St\"ockler},
    	institution = "tuauto",
    	number = "183/1-35",
    	month = "April",
    	year = 1993,
    	notes = "{\em Keywords: event traces, VTA, real-time systems, analysis of distributed systems}"
    }
    
  8. Ulrich Schmid. Zusatzantrag zum FWF-Projekt VTA. Number 183/1-36, tuauto, April 1993. URL BibTeX

    @techreport{ sch:zusatz_fwf,
    	title = "{Z}usatzantrag zum {FWF-P}rojekt {VTA}",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-36",
    	month = "April",
    	year = 1993,
    	pages = "23 pages",
    	notes = "{\em Keywords: VTA, Monitoring, Distributed Real-Time Systems}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0036.pdf"
    }
    
  9. Johann Blieberger and Gerhard-Helge Schildt. Safe Programmable Logic Controller (SAFE_PLC). Number 183/1-38, tuauto, April 1993. BibTeX

    @techreport{ bli:safe_plc,
    	title = "Safe Programmable Logic Controller ({SAFE\_PLC})",
    	author = "Johann Blieberger and Gerhard-Helge Schildt",
    	institution = "tuauto",
    	number = "183/1-38",
    	month = "April",
    	year = 1993,
    	note = {Proposal for ESPRIT, gemeinsam mit Institut f\"ur Sicherheitstechnologie, Philips Industrial Electronic und Adelard, {\em Keywords: safe programmable logic controller}}
    }
    
  10. Johann Blieberger. Ein LaTeX Style zur Gestaltung von Diplomarbeiten an Instituten der Technisch-Naturwissenschaftlichen Fakultät der Technischen Universität Wien. Number 183/1-34, tuauto, January 1993. BibTeX

    @techreport{ bli:latex,
    	title = {{E}in {LaTeX} {S}tyle zur {G}estaltung von {D}iplomarbeiten an {I}nstituten der {T}echnisch-{N}aturwissenschaftlichen {F}akult\"at der {T}echnischen {U}niversit\"at {W}ien},
    	author = "Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-34",
    	month = "January",
    	year = 1993,
    	note = "{\em Keywords: LaTeX, Diplomarbeit}"
    }
    


1992
  1. Michael Drmota and Ulrich Schmid. The Analysis of the Expected Successful Operation Time of Slotted ALOHA. Number 183/1-33, tuauto, December 1992. URL BibTeX

    @techreport{ drm:aloha,
    	title = "The Analysis of the Expected Successful Operation Time of Slotted {ALOHA}",
    	author = "Michael Drmota and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-33",
    	month = "December",
    	year = 1992,
    	pages = "29 pages",
    	note = "(Extension of \cite{10})",
    	notes = "{\em Keywords: networks, ALOHA collision resolution, stochastic processes, asymptotics}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0033.pdf"
    }
    
  2. Johann Blieberger. Entwurf von Automatisierungssystemen mit Ada (Skriptum zur gleichnamigen Vorlesung). Number 183/1-32, tuauto, October 1992. BibTeX

    @techreport{ bli:ada92,
    	title = "{E}ntwurf von {A}utomatisierungssystemen mit {A}da ({S}kriptum zur gleichnamigen {V}orlesung)",
    	author = "Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-32",
    	month = "October",
    	year = 1992,
    	note = "{\em Keywords: Ada, Software-Entwurf, Automatisierungssysteme, Echtzeitsysteme}"
    }
    
  3. Stefan Stöckler. GOLD MINE: Generic Object-oriented Language for Defining Monitors, Events and Intervals. Number 183/1-27, tuauto, April 1992. BibTeX

    @techreport{ sto:gold_mine,
    	title = "{GOLD MINE}: {G}eneric {O}bject-oriented {L}anguage for {D}efining {M}onitors, {E}vents and {I}ntervals",
    	author = {Stefan St\"ockler},
    	institution = "tuauto",
    	number = "183/1-27",
    	month = "April",
    	year = 1992,
    	notes = "{\em Keywords: VTA, Monitoring, Event-Defninition-Language, Real-Time Systems}"
    }
    
  4. Atilla Bezirgan. A Case-Based Reasoning Approach to Dynamic Job-Shop Scheduling. Number 183/1-31, tuauto, April 1992. URL BibTeX

    @techreport{ bez:case,
    	title = "A Case-Based Reasoning Approach to Dynamic Job-Shop Scheduling",
    	author = "Atilla Bezirgan",
    	institution = "tuauto",
    	number = "183/1-31",
    	month = "April",
    	year = 1992,
    	note = "{\em Keywords: Scheduling, Case-Based Reasoning, Job-Shop Scheduling, Fallbasierte Systeme}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0031.pdf"
    }
    
  5. Thomas Hontsch and Ulrich Schmid. Instrumentierung auf Sourcecode-Level. Number 183/1-26, tuauto, January 1992. URL BibTeX

    @techreport{ hon:instr,
    	title = "{I}nstrumentierung auf {S}ourcecode-{L}evel",
    	author = "Thomas Hontsch and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-26",
    	month = "January",
    	year = 1992,
    	pages = "45 pages",
    	notes = "{\em Keywords: VTA, Monitoring, Instrumentierung, Real-Time Systems}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0026.pdf"
    }
    
  6. Atilla Bezirgan and Jürgen Dorn. ROOMS - A Case-Based System for Scheduling Study-Courses. Number 183/1-30, tuauto, January 1992. URL BibTeX

    @techreport{ bez:rooms,
    	title = "{ROOMS} - {A} Case-Based System for Scheduling Study-Courses",
    	author = {Atilla Bezirgan and J\"urgen Dorn},
    	institution = "tuauto",
    	number = "183/1-30",
    	month = "January",
    	year = 1992,
    	note = {{\em Keywords: Fallbasierte Systeme, H\"orsaalverwaltung, ROOMS, Case-Based Reasoning, Scheduling}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0030.pdf"
    }
    


1991
  1. Atilla Bezirgan, Andreas Dluhy, Gerhard-Helge Schildt and R Wirth. ELDORADO - Ein graphischer Verkehrsnetzeditor. Number 183/1-29, tuauto, December 1991. URL BibTeX

    @techreport{ bez:eldorado,
    	title = "{ELDORADO} - {E}in graphischer {V}erkehrsnetzeditor",
    	author = "Atilla Bezirgan and Andreas Dluhy and Gerhard-Helge Schildt and R. Wirth",
    	institution = "tuauto",
    	number = "183/1-29",
    	month = "December",
    	year = 1991,
    	note = "{\em Keywords: Graphischer Verkehrsnetzeditor, Eldorado}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0029.pdf"
    }
    
  2. Johann Blieberger and Gerhard-Helge Schildt. Versuche der Compiler-Validierung. Number 183/1-23, tuauto, November 1991. URL BibTeX

    @techreport{ bli:compval,
    	title = "{V}ersuche der {C}ompiler-{V}alidierung",
    	author = "Johann Blieberger and Gerhard-Helge Schildt",
    	institution = "tuauto",
    	number = "183/1-23",
    	month = "November",
    	year = 1991,
    	note = {{\em Informatik-Fachberichte\/} 295, PEARL 91, Workshop \"uber Realzeitsysteme, W.A. Halang (Hrsg.), November 1991, pp. 1-19, {\em Keywords: Validierung, Compiler, Semantik}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0023.pdf"
    }
    
  3. Atilla Bezirgan, Johann Blieberger and J Kremser. Skripten zur {Ü}bung 'Einführung in die Informatik I' WS91/92. Number 183/1-28, tuauto, November 1991. BibTeX

    @techreport{ bez:info191,
    	title = {{S}kripten zur {{\"U}}bung '{E}inf\"uhrung in die {I}nformatik {I}' {WS}91/92},
    	author = "Atilla Bezirgan and Johann Blieberger and J. Kremser",
    	institution = "tuauto",
    	number = "183/1-28",
    	month = "November",
    	year = 1991
    }
    
  4. Ulrich Schmid. Das Workstation-LAN der Abteilung Automatisierungssysteme. Number 183/1-25, tuauto, October 1991. URL BibTeX

    @techreport{ sch:lan,
    	title = "{D}as {W}orkstation-{LAN} der {A}bteilung {A}utomatisierungssysteme",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-25",
    	month = "October",
    	year = 1991,
    	pages = "30 pages",
    	notes = "{\em Keywords: UNIX, Workstation-LAN, Systemadministration}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0025.pdf"
    }
    
  5. Johann Blieberger. Entwurf von Automatisierungssystemen mit Ada (Skriptum zur gleichnamigen Vorlesung). Number 183/1-24, tuauto, October 1991. BibTeX

    @techreport{ bli:ada91,
    	title = "{E}ntwurf von {A}utomatisierungssystemen mit {A}da ({S}kriptum zur gleichnamigen {V}orlesung)",
    	author = "Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-24",
    	month = "October",
    	year = 1991,
    	note = "{\em Keywords: Ada, Software-Entwurf, Automatisierungssysteme, Echtzeitsysteme}"
    }
    
  6. Ulrich Schmid. FWF-Projektantrag Versatile Timing Analyzer (VTA). Number 183/1-22, tuauto, June 1991. URL BibTeX

    @techreport{ sch:vta,
    	title = "{FWF-P}rojektantrag {V}ersatile {T}iming {A}nalyzer ({VTA})",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-22",
    	month = "June",
    	year = 1991,
    	pages = "50 pages",
    	notes = "{\em Keywords: VTA, Monitoring, Distributed Real-Time Systems}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0022.pdf"
    }
    
  7. Ulrich Schmid and Stefan Stöckler. Konzept der Laborübung Prozeß automatisierung. Number 183/1-21, tuauto, June 1991. BibTeX

    @techreport{ sch:lupa,
    	title = {Konzept der {L}abor\"ubung {P}roze\ss automatisierung},
    	author = {Ulrich Schmid and Stefan St\"ockler},
    	institution = "tuauto",
    	number = "183/1-21",
    	month = "June",
    	year = 1991,
    	pages = "300 pages"
    }
    
  8. Johann Blieberger and Stefan Stöckler. Anleitung zur Gestaltung von Projektberichten. Number 183/1-1, tuauto, June 1991. URL BibTeX

    @techreport{ bli:tr,
    	title = "Anleitung zur {G}estaltung von {P}rojektberichten",
    	author = {Johann Blieberger and Stefan St\"ockler},
    	institution = "tuauto",
    	number = "183/1-1",
    	month = "June",
    	year = 1991,
    	note = "{\em Keywords: Projektbericht, Technical Report, Anleitung, Aufnahme von Papers, Zitierregeln, Master Index}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0001.pdf"
    }
    
  9. Ulrich Schmid. The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects. Number 183/1-19, tuauto, May 1991. URL BibTeX

    @techreport{ sch:avcrilencap,
    	title = "The Average {CRI}-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-19",
    	month = "May",
    	year = 1991,
    	pages = "17 pages",
    	note = "(Extension of \cite{11})",
    	notes = {{\em Keywords: Collision Resolution Algorithms, B\"aume, singularity analysis, asymptotics}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0019.pdf"
    }
    
  10. M Kathofer and Gerhard-Helge Schildt. A Proposal of Vital Process Control Using an Expert System. Number 183/1-20, tuauto, May 1991. URL BibTeX

    @techreport{ kat:expert,
    	title = "A Proposal of Vital Process Control Using an Expert System",
    	author = "M. Kathofer and Gerhard-Helge Schildt",
    	institution = "tuauto",
    	number = "183/1-20",
    	month = "May",
    	year = 1991,
    	note = "{\em DAISY\_91}, Mai 1991, Vienna, North-Holland",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0020.pdf"
    }
    
  11. Ulrich Schmid. Monitoring in verteilten Echtzeitsystemen. Number 183/1-18, tuauto, April 1991. URL BibTeX

    @techreport{ sch:monitoring,
    	title = "Monitoring in verteilten {E}chtzeitsystemen",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-18",
    	month = "April",
    	year = 1991,
    	note = "{\em Proceedings Echtzeit'91\/}(Sindelfingen, BRD) (1991)",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0018.pdf"
    }
    
  12. Michael Drmota and Ulrich Schmid. Exponential Limiting Distributions in Queueing Systems with Deadlines. Number 183/1-17, tuauto, March 1991. URL BibTeX

    @techreport{ drm:lim_dead,
    	title = "Exponential Limiting Distributions in Queueing Systems with Deadlines",
    	author = "Michael Drmota and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-17",
    	month = "March",
    	year = 1991,
    	note = {{\em SIAM Journal on Applied Mathematics\/} 53(1), Februar 1993, p. 301-318, {\em Keywords: Scheduling, B\"aume, singularity analysis, asymptotics}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0017.pdf"
    }
    
  13. Johann Blieberger and Ulrich Schmid. Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A Novel Approach. Number 183/1-15, tuauto, January 1991. URL BibTeX

    @techreport{ bli:schedul,
    	title = "Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A Novel Approach",
    	author = "Johann Blieberger and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-15",
    	month = "January",
    	year = 1991,
    	pages = "8 pages",
    	notes = {{\em Keywords: Echtzeitverhalten, Scheduling, B\"aume, singularity analysis, asymptotics}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0015.pdf"
    }
    
  14. Atilla Bezirgan. Skripten zur {Ü}bung 'Einführung in die Informatik I' WS90/91. Number 183/1-16, tuauto, January 1991. BibTeX

    @techreport{ bez:info1_90,
    	title = {{S}kripten zur {{\"U}}bung '{E}inf\"uhrung in die {I}nformatik {I}' {WS}90/91},
    	author = "Atilla Bezirgan",
    	institution = "tuauto",
    	number = "183/1-16",
    	month = "January",
    	year = 1991
    }
    


1990
  1. Ulrich Schmid and Johann Blieberger. On non-preemptive LCFS Scheduling with Deadlines. Number 183/1-14, tuauto, December 1990. URL BibTeX

    @techreport{ sch:nplcfs,
    	title = "On non-preemptive {LCFS} Scheduling with Deadlines",
    	author = "Ulrich Schmid and Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-14",
    	month = "December",
    	year = 1990,
    	note = {{\em Journal of Algorithms}, {\em Keywords: Echtzeitverhalten, LCFS Scheduling, B\"aume, singularity analysis, asymptotics}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0014.pdf"
    }
    
  2. Stefan Stöckler. Real-Time Simulation (RTS) - Beschreibung. Number 183/1-13, tuauto, November 1990. URL BibTeX

    @techreport{ sto:rts,
    	title = "Real-{T}ime {S}imulation ({RTS}) - {B}eschreibung",
    	author = {Stefan St\"ockler},
    	institution = "tuauto",
    	number = "183/1-13",
    	month = "November",
    	year = 1990,
    	note = "{\em Keywords: Echtzeit, Simulation}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0013.pdf"
    }
    
  3. Johann Blieberger and Ulrich Schmid. FCFS Scheduling in a Hard Real-Time Environment under Rush-Hour Conditions. Number 183/1-12, tuauto, June 1990. URL BibTeX

    @techreport{ bli:fcfsr,
    	title = "{FCFS} Scheduling in a Hard Real-Time Environment under Rush-Hour Conditions",
    	author = "Johann Blieberger and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-12",
    	month = "June",
    	year = 1990,
    	note = {{\em BIT\/} 32 (1992), pp. 370-383, {\em Keywords: Echtzeitverhalten, FCFS Scheduling, B\"aume, singularity analysis, asymptotics}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0012.pdf"
    }
    
  4. Klaus Schossmaier. RT~-~Benutzerhandbuch. Number 183/1-10, tuauto, January 1990. URL BibTeX

    @techreport{ sch:rt,
    	title = "{RT~-~B}enutzerhandbuch",
    	author = "Klaus Schossmaier",
    	institution = "tuauto",
    	number = "183/1-10",
    	month = "January",
    	year = 1990,
    	note = "{\em Keywords: Regelungstechnik, Simulation}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0010.pdf"
    }
    
  5. Günther Glaser. PET~-~Benutzerhandbuch. Number 183/1-11, tuauto, January 1990. URL BibTeX

    @techreport{ gla:pet,
    	title = "{PET}~-~{B}enutzerhandbuch",
    	author = {G\"unther Glaser},
    	institution = "tuauto",
    	number = "183/1-11",
    	month = "January",
    	year = 1990,
    	note = "{\em Keywords: Petri-Netze, Simulation}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0011.pdf"
    }
    


1989
  1. Gerhard-Helge Schildt. On Diverse Programming for Vital Systems. Number 183/1-9, tuauto, December 1989. URL BibTeX

    @techreport{ sch:diverse,
    	title = "On Diverse Programming for Vital Systems",
    	author = "Gerhard-Helge Schildt",
    	institution = "tuauto",
    	number = "183/1-9",
    	month = "December",
    	year = 1989,
    	note = "{\em IFAC-Symposium}, December 1989, Vienna, {\em North-Holland}",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0009.pdf"
    }
    
  2. Johann Blieberger and Ulrich Schmid. Preemptive LCFS Scheduling in Hard Real-Time Applications. Number 183/1-7, tuauto, September 1989. URL BibTeX

    @techreport{ bli:plcfs,
    	title = "Preemptive {LCFS} Scheduling in Hard Real-Time Applications",
    	author = "Johann Blieberger and Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-7",
    	month = "September",
    	year = 1989,
    	note = {{\em Performance Evaluation\/} (1992), pp. 203-215, {\em Keywords: Echtzeitverhalten, LCFS Scheduling, B\"aume, singularity analysis, asymptotics}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0007.pdf"
    }
    
  3. Ulrich Schmid and Johann Blieberger. Some Investigations on FCFS Scheduling in Hard Real-Time Applications. Number 183/1-8, tuauto, September 1989. URL BibTeX

    @techreport{ bli:fcfs,
    	title = "Some Investigations on {FCFS} Scheduling in Hard Real-Time Applications",
    	author = "Ulrich Schmid and Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-8",
    	month = "September",
    	year = 1989,
    	note = {{\em Journal of Computer and System Sciences\/} 45 (1992), pp. 493-512, {\em Keywords: Echtzeitverhalten, FCFS Scheduling, B\"aume, singularity analysis, asymptotics}},
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0008.pdf"
    }
    
  4. Ulrich Schmid. The Average CRI-Length of a Controlled ALOHA Collision Resolution Algorithm. Number 183/1-6, tuauto, January 1989. URL BibTeX

    @techreport{ sch:avcrilenaloha,
    	title = "The Average {CRI}-Length of a Controlled {ALOHA} Collision Resolution Algorithm",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-6",
    	month = "January",
    	year = 1989,
    	note = "{\em Theoretical Computer Science\/} 108, 1993, p. 291-310",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0005.pdf"
    }
    


1988
  1. Gerhard-Helge Schildt. Industrielle Softwareentwicklung und Qualitätssicherung. Number 183/1-5, tuauto, October 1988. URL BibTeX

    @techreport{ sch:ind_qual,
    	title = {Industrielle {S}oftwareentwicklung und {Q}ualit\"atssicherung},
    	author = "Gerhard-Helge Schildt",
    	institution = "tuauto",
    	number = "183/1-5",
    	month = "October",
    	year = 1988,
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0004.pdf"
    }
    
  2. Ulrich Schmid. On the Asymptotics of the Average CRI-Length of the Slotted ALOHA Collision Resolution Algorithm. Number 183/1-4, tuauto, March 1988. URL BibTeX

    @techreport{ sch:avcrilen,
    	title = "On the Asymptotics of the Average {CRI}-Length of the Slotted {ALOHA} Collision Resolution Algorithm",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-4",
    	month = "March",
    	year = 1988,
    	note = "{\em Applied Mathematics and Computation\/} 48, 1992, p. 59-70",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0003.pdf"
    }
    
  3. Ulrich Schmid. On a Tree Collision Resolution Algorithm in Presence of Capture. Number 183/1-3, tuauto, January 1988. URL BibTeX

    @techreport{ sch:collision,
    	title = "On a Tree Collision Resolution Algorithm in Presence of Capture",
    	author = "Ulrich Schmid",
    	institution = "tuauto",
    	number = "183/1-3",
    	month = "January",
    	year = 1988,
    	note = "{\em Informatique theorique at Applications/Theoretical Informatics and Applications\/} 26(2), 1992, p. 163-197",
    	url = "http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0003.pdf"
    }
    


1986
  1. Johann Blieberger. Monotonically Labelled Motzkin Trees. Number 183/1-2, tuauto, March 1986. BibTeX

    @techreport{ bli:monomotzkin,
    	title = "Monotonically Labelled Motzkin Trees",
    	author = "Johann Blieberger",
    	institution = "tuauto",
    	number = "183/1-2",
    	month = "March",
    	year = 1986,
    	note = {{\em Discrete Applied Mathematics\/} 18 (1987), pp. 9-24, {\em Keywords: B\"aume, singularity analysis, asymptotics}}
    }
    


Joomla templates by a4joomla