@techreport{bli:TR,
title = {Anleitung zur {G}estaltung von {P}rojektberichten},
author = {Johann Blieberger and Stefan St\"ockler},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:monomotzkin,
title = {Monotonically Labelled Motzkin Trees},
author = {Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
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}}
}
@techreport{sch:collision,
title = {On a Tree Collision Resolution Algorithm in Presence of Capture},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:avCRIlen,
title = {On the Asymptotics of the Average {CRI}-Length of the Slotted {ALOHA} Collision Resolution Algorithm},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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/TR0004.pdf}
}
@techreport{sch:ind_qual,
title = {Industrielle {S}oftwareentwicklung und {Q}ualit\"atssicherung},
author = {Gerhard-Helge Schildt},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-5},
month = {October},
year = 1988,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0004.pdf}
}
@techreport{sch:avCRIlenALOHA,
title = {The Average {CRI}-Length of a Controlled {ALOHA} Collision Resolution Algorithm},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:pLCFS,
title = {Preemptive {LCFS} Scheduling in Hard Real-Time Applications},
author = {Johann Blieberger and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:FCFS,
title = {Some Investigations on {FCFS} Scheduling in Hard Real-Time Applications},
author = {Ulrich Schmid and Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:diverse,
title = {On Diverse Programming for Vital Systems},
author = {Gerhard-Helge Schildt},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:rt,
title = {{RT~-~B}enutzerhandbuch},
author = {Klaus Schossmaier},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{gla:pet,
title = {{PET}~-~{B}enutzerhandbuch},
author = {G\"unther Glaser},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:FCFSr,
title = {{FCFS} Scheduling in a Hard Real-Time Environment under Rush-Hour Conditions},
author = {Johann Blieberger and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sto:rts,
title = {Real-{T}ime {S}imulation ({RTS}) - {B}eschreibung},
author = {Stefan St\"ockler},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:npLCFS,
title = {On non-preemptive {LCFS} Scheduling with Deadlines},
author = {Ulrich Schmid and Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:schedul,
title = {Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A Novel Approach},
author = {Johann Blieberger and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-16},
month = {January},
year = 1991
}
@techreport{drm:lim_dead,
title = {Exponential Limiting Distributions in Queueing Systems with Deadlines},
author = {Michael Drmota and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:monitoring,
title = {Monitoring in verteilten {E}chtzeitsystemen},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@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 = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{kat:expert,
title = {A Proposal of Vital Process Control Using an Expert System},
author = {M. Kathofer and Gerhard-Helge Schildt},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:lupa,
title = {Konzept der {L}abor\"ubung {P}roze\ss automatisierung},
author = {Ulrich Schmid and Stefan St\"ockler},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-21},
month = {June},
year = 1991,
pages = {300 pages}
}
@techreport{sch:vta,
title = {{FWF-P}rojektantrag {V}ersatile {T}iming {A}nalyzer ({VTA})},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-22},
month = {June},
year = 1991,
pages = {50 pages},
notes = {{\em Keywords: VTA, Monitoring, Distributed Real-Time Systems}}
}
@techreport{bli:compval,
title = {{V}ersuche der {C}ompiler-{V}alidierung},
author = {Johann Blieberger and Gerhard-Helge Schildt},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:ada91,
title = {{E}ntwurf von {A}utomatisierungssystemen mit {A}da
({S}kriptum zur gleichnamigen {V}orlesung)},
author = {Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-24},
month = {October},
year = 1991,
note = {{\em Keywords: Ada, Software-Entwurf, Automatisierungssysteme, Echtzeitsysteme}}
}
@techreport{sch:lan,
title = {{D}as {W}orkstation-{LAN} der {A}bteilung {A}utomatisierungssysteme},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{hon:instr,
title = {{I}nstrumentierung auf {S}ourcecode-{L}evel},
author = {Thomas Hontsch and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-27},
month = {April},
year = 1992,
notes = {{\em Keywords: VTA, Monitoring, Event-Defninition-Language, Real-Time Systems}}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-28},
month = {November},
year = 1991
}
@techreport{bez:eldorado,
title = {{ELDORADO} - {E}in graphischer {V}erkehrsnetzeditor},
author = {Atilla Bezirgan and Andreas Dluhy and Gerhard-Helge Schildt and R. Wirth},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bez:rooms,
title = {{ROOMS} - {A} Case-Based System for Scheduling Study-Courses},
author = {Atilla Bezirgan and J\"urgen Dorn},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bez:case,
title = {A Case-Based Reasoning Approach to Dynamic Job-Shop Scheduling},
author = {Atilla Bezirgan},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:ada92,
title = {{E}ntwurf von {A}utomatisierungssystemen mit {A}da
({S}kriptum zur gleichnamigen {V}orlesung)},
author = {Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-32},
month = {October},
year = 1992,
note = {{\em Keywords: Ada, Software-Entwurf, Automatisierungssysteme, Echtzeitsysteme}}
}
@techreport{drm:aloha,
title = {The Analysis of the Expected Successful Operation Time of Slotted {ALOHA}},
author = {Michael Drmota and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-34},
month = {January},
year = 1993,
note = {{\em Keywords: LaTeX, Diplomarbeit}}
}
@techreport{sto:timed_events,
title = {Timed Attributed Event Traces},
author = {Stefan St\"ockler},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-35},
month = {April},
year = 1993,
notes = {{\em Keywords: event traces, VTA, real-time systems, analysis of distributed systems}}
}
@techreport{sch:zusatz_fwf,
title = {{Z}usatzantrag zum {FWF-P}rojekt {VTA}},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-36},
month = {April},
year = 1993,
pages = {23 pages},
notes = {{\em Keywords: VTA, Monitoring, Distributed Real-Time Systems}}
}
@techreport{sch:education,
title = {Process Control Education for Computer Science: Facts and Fiction},
author = {Ulrich Schmid and Harald Haberstroh and Stefan St\"ockler},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:safe_plc,
title = {Safe Programmable Logic Controller ({SAFE\_PLC})},
author = {Johann Blieberger and Gerhard-Helge Schildt},
institution = {Vienna University of Technology, Department of Automation},
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}}
}
@techreport{sch:synutc,
title = {{FWF-P}rojekantrag {S}ynchronized {UTC} for Distributed Real-Time Systems ({SynUTC})},
author = {Ulrich Schmid and Dietmar Loy},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-39},
month = {December},
year = 1993,
note = {{\em Keywords: Distributed Real-Time Systems, Fault-Tolerance, Clock-Synchronization, GPS}}
}
@techreport{sch:dobos,
title = {{DOBOS} - {K}onzept eines Distributed Object-Based Operating Systems},
author = {Ulrich Schmid and Wolfgang Kastner},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sto:tat,
title = {Analyzing Distributed Real-Time Systems using {TAT}s and the Specification Language {GOLD MINE}},
author = {Stefan St\"ockler},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-41},
month = {May},
year = 1994,
notes = {{\em Keywords: VTA}},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0041.pdf}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-42},
month = {November},
year = 1993,
note = {{\em Keywords: WOOP, Worst Case Performance}}
}
@techreport{bli:discloop,
title = {Discrete Loops and Worst Case Performance},
author = {Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:size,
title = {Determining the Size of Dedicated Shared Memory Areas for Client-Server Applications},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:bibl,
title = {An Annotated Bibliography on Clock Synchronization in Distributed Systems},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-45},
month = {December},
year = 1993,
note = {{\em Keywords: clock synchronization, distributed systems, annotated bibliography}}
}
@techreport{sch:sscmp,
title = {{SSCMP: T}he Sequenced Synchronized Clock Message Protocol},
author = {Ulrich Schmid and Alfred Pusterhofer},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:static_prio,
title = {Static Priority Scheduling of Aperiodic Real-Time Tasks},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{lie:ackermann,
title = {The {A}ckermann-Function Effort in Space and Time},
author = {Roland Lieger and Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-49},
month = {September},
year = 1994,
note = {{\em Keywords: EPOS, Sicherheit, Lagerbewirtschaftung}}
}
@techreport{bli:eumirtrc,
title = {Real-Time Recursive Procedures},
author = {Johann Blieberger and Roland Lieger},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:safeloop,
title = {Loops for Safety Critical Applications},
author = {Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-51},
month = {June},
year = 1995,
note = {{\em Safecomp 95}},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0051.pdf}
}
@techreport{bli:rtrecurr,
title = {Worst-Case Space and Time Complexity of Recursive Procedures},
author = {Johann Blieberger and Roland Lieger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-52},
month = {December},
year = 1994,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0052.pdf}
}
@techreport{lie:msdl,
title = {Multi-Staged Discrete Loops for Real-Time Systems},
author = {Roland Lieger and Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-53},
month = {February},
year = 1995
}
@techreport{bli:msdl,
title = {Multi-Staged Discrete Loops and Worst-Case Performance of Real-Time Applications},
author = {Johann Blieberger and Roland Lieger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-54},
month = {March},
year = 1995
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-55},
month = {April},
year = 1995
}
@techreport{scho:UTCSU,
title = {{UTCSU} Functional Specification},
author = {Klaus Schossmaier and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-56},
month = {July},
year = 1995,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0056.pdf}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-57},
month = {July},
year = 1995,
pages = {7 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0057.pdf}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-58},
month = {August},
year = 1995,
pages = {31 pages}
}
@techreport{bli:GNAT_WOOP,
title = {The role of {GNAT} within project {WOOP}},
author = {Johann Blieberger and Bernd Burgstaller},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-59},
month = {October},
year = 1995,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0059.pdf}
}
@techreport{sch:habil,
title = {Random Trees in Queueing Systems with Deadlines ({H}abilitationsschrift)},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:SynUTC_CEP,
title = {Synchronized {U}niversal {T}ime {C}oordinated for Distributed Real-Time Systems},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{HKSW:echtzeit95,
title = {Untersuchung des {Z}eitverhaltens verteilter {E}chtzeitsysteme},
author = {W.A. Halang, F.-J. Koller, U. Schmid and M. Witte},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{SKH:prozaut,
title = {Process Control Education for Computer Science: From Fiction Back to Facts},
author = {U. Schmid, W. Kastner, H. Haberstroh},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{SS:icvprec,
title = {Interval-Based Clock Synchronization},
author = {U. Schmid, K. Schossmaier},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{sch:START,
title = {Application to {START}},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-65},
month = {January},
year = 1996,
pages = {50 pages}
}
@techreport{SL:utcsu,
title = {An {ASIC} Supporting External Clock Synchronization for Distributed Real-Time Systems},
author = {Klaus~Schossmaier and Dietmar~Loy},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-66},
month = {January},
year = 1996,
note = {{\em Euromicro '96}},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0066.pdf}
}
@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 = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{Hor:vhdl,
title = {A Primer to Digital Design with {S}ynopsys and {C}adence},
author = {Martin Horauer},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-68},
month = {October},
year = 1996,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0068.pdf}
}
@techreport{HLS:nti,
title = {{NTI} Functional and Architectural Specification},
author = {Martin Horauer and Dietmar Loy and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-69},
month = {December},
year = {1996},
note = {(major revision 1998)},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0069.pdf}
}
@techreport{Schoss:rate,
title = {Understanding Interval-based Clock Rate Synchronization Algorithms},
author = {Klaus~Schossmaier},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{bli:ada95,
title = {Entwurf von {A}utomatisierungssystemen mit {A}da},
author = {Johann~Blieberger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-71},
month = {September},
year = 1995
}
@techreport{bli:woop_zus,
title = {{Z}usatzantrag zum {FWF-P}rojekt {WOOP}},
author = {Johann~Blieberger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-72},
month = {Jaenner},
year = 1996
}
@techreport{bli:rtdb,
title = {An Annotated Bibliography on Real-Time Databases},
author = {Johann~Blieberger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-73},
month = {Jaenner},
year = 1996
}
@techreport{bli:wpp,
title = {{WPP - P}rogrammer's and {U}ser's {G}uide},
author = {Johann Blieberger and Bernd Burgstaller},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-74},
month = {Jaenner},
year = 1997
}
@techreport{bli:pathenum,
title = {Automatic Symbolic Verification of Real-Time Programs},
author = {Johann Blieberger and Bernhard Scholz},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-75},
month = {Mai},
year = 1997
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-76},
month = {January},
year = 1997
}
@techreport{sch:oa,
title = {Orthogonal Accuracy Clock Synchronization},
author = {Ulrich~Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-77},
month = {March},
year = {1997},
note = {Chicago Journal of Theoretical Computer Science, Vol. 2000(3), 2000}
}
@techreport{sch:op,
title = {Interval-based Clock Synchronization with Optimal Precision},
author = {Ulrich~Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-78},
month = {July},
year = 1997
}
@techreport{HS:gps,
title = {Long-Term Evaluation of {GPS} Timing Receiver Failures},
author = {Dieter~Hoechtl and Ulrich~Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-79},
month = {July},
year = 1997,
note = {Proc.\ of the 29th IEEE PTTI Systems and Application Meeting, Long Beach, California, December 1997}
}
@techreport{SS97:2,
author = {Ulrich Schmid and Klaus Schossmaier},
title = {Interval-based Clock Synchronization Revisited},
number = {183/1-80},
institution = {Vienna University of Technology, Department of Automation},
month = jul,
year = {1997},
note = {(Appeared in \cite{Sch97:oa})}
}
@techreport{sch:cablefault,
title = {{K}abel-{F}ehlerortung mit {SynUTC}},
author = {Ulrich~Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-81},
month = {July},
year = 1997,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0081.pdf}
}
@techreport{sch:stellenbewirtschaftung,
title = {Stellenbewirtschaftungsmodell f\"ur die {F}akult\"at
und die {F}achgruppe {I}nformatik},
author = {Ulrich~Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-82},
month = {February},
year = 1998,
pages = {65 pages}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-83},
month = {April},
year = 1998
}
@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 = {Vienna University of Technology, Department of Automation},
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.)}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-85},
month = {December},
year = 1998,
pages = {36 pages}
}
@techreport{SM99,
title = {Implementation of the {NTI} Device-Handler},
author = {Ulrich~Schmid and Thomas Mandl},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-86},
month = {January},
year = 1999
}
@techreport{MNS99,
title = {{N}etwork {T}ime {I}nterface User Manual},
author = {Thomas Mandl and Herbert Nachtnebel and Ulrich~Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-87},
month = {January},
year = 1999
}
@techreport{Wei99,
title = {Simulation Environment for Clock Synchronization},
author = {Bettina Weiss},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-88},
month = {February},
year = 1999
}
@techreport{Gri99,
title = {Evaluation System for Clock Synchronization Algorithms},
author = {G\"unther Gridling},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-89},
month = {February},
year = 1999
}
@techreport{RSS99:ntidriver,
title = {i82596 {NTI} Device-Driver Software Documentation},
author = {Gerda Richter and Michael Schmidt and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-90},
month = {February},
year = 1999
}
@techreport{SK99,
title = {Implementing the Optimal Precision Algorithm for Clock
State \& Rate Synchronization},
author = {Klaus Schossmaier and Johann Klasek},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-91},
month = {February},
year = 1999,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0091.pdf}
}
@techreport{HW99,
title = {Random Generators},
author = {Gerald Hummel and Bettina Weiss},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-92},
month = {February},
year = 1999,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0092.pdf}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-93},
month = {April},
year = 1999,
note = {J. Real-Time Systems, 1999}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-94},
month = {April},
year = 1999,
note = {Proc. MASCOTS'99}
}
@techreport{Sch99:aimsW2F,
title = {Basic Features of the {W2F} Fieldbus},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-95},
month = {August},
year = 1999,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0095.pdf}
}
@techreport{SS99:FTI,
title = {How to Reconcile Fault-Tolerant Interval Intersection
with the {L}ipschitz Condition},
author = {Ulrich Schmid and Klaus Schossmaier},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-96},
month = {September},
year = 1999,
note = {(Distributed Computing)},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0096.pdf}
}
@techreport{US99:GPS-Driver,
title = {{GPS} {D}evice-{D}river Software Documentation},
author = {Martina Umlauft and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-97},
month = {October},
year = 1999
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-98},
month = {October},
year = 1999,
pages = {100 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0098.pdf}
}
@techreport{Wei00:bib,
title = {Security in Distributed Systems - A Survey},
author = {Bettina Weiss},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-99},
month = {February},
year = 2000,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0099.pdf}
}
@techreport{Sch00:start,
title = {Report on 3 Years of {START}-Project {Y41-MAT}},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-100},
month = {February},
year = 2000,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0100.pdf}
}
@techreport{FS00:arch,
title = {Architecture and Services of the {W2F} Fieldbus},
author = {Christof Fetzer and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-101},
month = {(forthcoming)},
year = 2000,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0100.pdf}
}
@techreport{BR97:rush,
title = {Scheduling in a Real-Time Environment under Rush-Hour Conditions},
author = {Johann Blieberger and Helmut Reinwein},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-102},
month = {May},
year = 1997
}
@techreport{bli:pLCFStrans,
title = {Preemptive LCFS Scheduling of Transactions with Deadlines},
author = {Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-103},
month = {January},
year = 1998
}
@techreport{bli:BPDtrans,
title = {Busy Period Duration for Static Priority Scheduling of Database Transactions},
author = {Johann Blieberger},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-104},
month = {January},
year = 1998
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-105},
month = {March},
year = 2000,
note = {German Gebrauchsmuster GM 153/2000}
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-106-a},
month = {June},
year = 2000
}
@techreport{SKBK00b,
title = {{B}eispielsammlung zur {L}abor\"ubung {P}roze\ss automatisierung},
author = {Wolfgang Kastner and Bettina Weiss and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-106-b},
month = {June},
year = 2000
}
@techreport{SKBK00c,
title = {{Tutoren-Schulungsunterlagen} zur {L}abor\"ubung {P}roze\ss automatisierung},
author = {Wolfgang Kastner},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-106-c},
month = {June},
year = 2000
}
@techreport{SKBK00d,
title = {{S}oftware-{U}mgebung zur {L}abor\"ubung {P}roze\ss automatisierung},
author = {Wolfgang Kastner},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-106-d},
month = {June},
year = 2000
}
@techreport{Sch00:ose,
title = {{V}erteilte {E}mbedded {S}ystems unter {OSE}},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-107},
month = {June},
year = 2000,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0107.pdf}
}
@techreport{Sch00:st87,
title = {A Perception-based Fault Model for Single-Round Agreement Algorithms},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-108},
month = {October},
year = {2000},
pages = {15 dpages}
}
@techreport{BK00:vocos,
title = {Mapping of a Real-time Operating System to Unix},
author = {Bernd Burgstaller and Wolfgang Kastner},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-109},
month = {October},
year = 2000,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0109.pdf}
}
@techreport{SW01:hom,
title = {Consensus with Oral/Written Messages: Link Faults Revisited},
author = {Ulrich Schmid and Bettina Weiss},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{Wei00:w2fsec,
title = {Security Issues in {W2F}},
author = {Bettina Weiss},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-111},
month = {July},
year = 2000,
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0111.pdf}
}
@techreport{Wei00:secform,
title = {Formal Methods in Security},
author = {Bettina Weiss},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-112},
month = {November},
year = 2000
}
@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 = {Vienna University of Technology, Department of Automation},
number = {183/1-113},
month = {February},
year = 2001,
pages = {36 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0113.pdf}
}
@techreport{WS01:wm,
title = {Consensus with Written Messages under Link Faults},
author = {Bettina Weiss and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{Gri01:initsync,
title = {Initial Clock Synchronization},
author = {G{\"u}nther Gridling},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-115},
month = {July},
year = 2001
}
@techreport{BS01,
title = {Message-Efficient Consensus in Presence of Hybrid Node and Link Faults},
author = {Martin Biely and Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-116},
month = {August},
year = 2001,
note = {(submitted)},
pages = {25 pages}
}
@techreport{SHK01:morris,
title = {{H}ochgenaue {U}hrensynchronisation in {V}erteilten {S}ystemen},
author = {Ulrich Schmid and Martin Horauer and Nikolaus Ker\"o},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@techreport{SS01:edvlabors,
title = {{EDV}-{P}flichtlaborkonzept {I}nformatik},
author = {Ulrich Schmid and Robert Sablatnig},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-118},
month = {October},
year = 2001,
pages = {21 pages}
}
@techreport{Sch01:TI,
title = {{B}akkalaureats- und {M}agisterstudium {T}echnische {I}nformatik},
author = {Ulrich Schmid},
institution = {Vienna University of Technology, Department of Automation},
number = {183/1-119},
month = {October},
year = 2001,
pages = {190 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0119.pdf}
}
@techreport{SF02:byzTR,
title = {Randomized Asynchronous Consensus with Imperfect
Communications},
author = {Ulrich Schmid and Christof Fetzer},
institution = {Vienna University of Technology, Department of Automation},
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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@techreport{Wid02,
title = {{Switching} {On}: {How} to boot clock synchronization in partially synchronous systems},
author = {Josef Widder},
institution = {Department of Automation, Vienna University of Technology},
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}
}
@techreport{WS03,
title = {Booting Clock Synchronization in Partially Synchronous Systems
with Hybrid Node and Link Failures},
author = {Josef Widder and Ulrich Schmid},
institution = {Department of Automation, Vienna University of Technology},
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}
}
@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 = {Department of Automation, Vienna University of Technology},
number = {183/1-127},
month = {January},
year = 2003,
pages = {10 pages}
}
@techreport{LS03:cov,
title = {How to Maximize Computing Systems Coverage},
author = {G\'erard Le Lann and Ulrich Schmid},
institution = {Department of Automation, Vienna University of Technology},
number = {183/1-128},
month = {April},
year = 2003,
pages = {26 pages}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@techreport{WS17:Daktylidis,
title = {{Brute-force Attacks on DVB-CSA1 using a low-cost FPGA-Cluster}},
author = {Ioannis Daktylidis},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-188},
month = {October},
year = 2017,
pages = {51 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0188.pdf}
}
@techreport{WS17:Cakar,
title = {{Optimal BLDC Motor Control for Autonomous Driving of RC Cars}},
author = {Firat Berk Cakar},
institution = {RobLab @ Automation Systems Group, TU Vienna},
number = {183/1-189},
month = {November},
year = 2017,
pages = {60 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0189.pdf}
}
@techreport{SS18:Ullmann,
title = {{Sichere Architektur für Smart Hubstworks}},
author = {Viktor Ullmann},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-190},
month = {June},
year = 2018,
pages = {51 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0190.pdf}
}
@techreport{WS18:Kirchberger,
title = {{OPC UA over Low Power Wireless Networks}},
author = {Andreas Kirchberger},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-191},
month = {October},
year = 2018,
pages = {39 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0191.pdf}
}
@techreport{WS18:Wiedemann,
title = {{model-UA: An open source tool for UML to OPC UA model transformations}},
author = {Sebastian Wiedemann},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-192},
month = {November},
year = 2018,
pages = {49 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0192.pdf}
}
@techreport{WS18:Grzymek,
title = {{Bond Graph Model Library for PowerRPDEVS}},
author = {Aleksander Grzymek},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-193},
month = {November},
year = 2018,
pages = {82 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0193.pdf}
}
@techreport{WS18:Walcher,
title = {{KNX to MQTT/AMQP}},
author = {Felix Walcher},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-194},
month = {February},
year = 2019,
pages = {55 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0194.pdf}
}
@techreport{WS18:Fiedler,
title = {{PowerRPDEVS Model Library for 9-Value Logic Circuits according to IEEE Std. 1164-1993}},
author = {Christian Fiedler},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-195},
month = {March},
year = 2019,
pages = {81 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0195.pdf}
}
@techreport{SS19:Mittermair,
title = {{Evaluation of Operating Systems for Embedded Low-Power Wireless Systems Contiki, Riot OS, Zephyr}},
author = {Theodor Mittermair},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-196},
month = {March},
year = 2019,
pages = {58 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0196.pdf}
}
@techreport{SS19:Felber,
title = {{Porting OpenThread to Resource Constrained Devices}},
author = {Stephan Felber},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-197},
month = {June},
year = 2019,
pages = {46 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0197.pdf}
}
@techreport{SS19:Adelmann,
title = {{Hardware-in-the-Loop Simulation in the Domain of Building Automation using BACnet and PowerRPDEVS}},
author = {Stefan Adelmann},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-198},
month = {August},
year = 2019,
pages = {178 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0198.pdf}
}
@techreport{SS19:Brantner,
title = {{Implementation of an OPC UA Server for a Robot Controller}},
author = {Hannes Brantner},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-199},
month = {September},
year = 2019,
pages = {80 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0199.pdf}
}
@techreport{WS19:Baranyai,
title = {{Sensoric clamping pallet for chatter detection}},
author = {Alexander Baranyai},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-200},
month = {October},
year = 2019,
pages = {53 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0200.pdf}
}
@techreport{WS19:Sadany,
title = {{Enterprise Architect Based Tool for Security Threats Identification}},
author = {Magdy El Sadany},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-201},
month = {November},
year = 2019,
pages = {52 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0201.pdf}
}
@techreport{WS19:Lehr,
title = {{TSN Demonstrator}},
author = {Christoph Lehr},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-202},
month = {January},
year = 2020,
pages = {52 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0202.pdf}
}
@techreport{SS20:Reitgruber,
title = {{Functional Safety Communication based on OPC UA}},
author = {David Reitgruber},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-203},
month = {February},
year = 2020,
pages = {54 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0203.pdf}
}
@techreport{SS20:Scheuchenstuhl,
title = {{AADL Modeling for OPC UA/DDS Gateway}},
author = {Daniel Scheuchenstuhl},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-204},
month = {September},
year = 2020,
pages = {93 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0204.pdf}
}
@techreport{WS20:Bigl,
title = {{Functional Safety Concept for an Industrial Robot Station}},
author = {Daniel Bigl},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-205},
month = {November},
year = 2020,
pages = {61 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0205.pdf}
}
@techreport{SS21:Mahmody,
title = {{Multi Agent Systems in Discrete Manufacturing - Use Case: Optimising the Tool Life Cycle}},
author = {Shahin Mahmody},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-206},
month = {March},
year = 2021,
pages = {68 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0206.pdf}
}
@techreport{SS21:Harringer,
title = {{Visualization and efficient data mapping of wireless sensor networks }},
author = {Daniel Harringer},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-207},
month = {July},
year = 2021,
pages = {84 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0207.pdf}
}
@techreport{SS21:Szentkuti,
title = {{4th Generation District Heating: IoT Solutions for Smart Heat Networks}},
author = {Peter Szentkuti},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-208},
month = {September},
year = 2021,
pages = {66 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0208.pdf}
}
@techreport{SS22:Herczeg,
title = {{Safety Connection Manager UI: A State-of-the-Art Approach}},
author = {Daniel Herczeg},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-209},
month = {January},
year = 2022,
pages = {80 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0209.pdf}
}
@techreport{SS22:Marangoni,
title = {{Device and Link Discovery in Industrial Ethernet Networks}},
author = {Thomas Marangoni},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-210},
month = {February},
year = 2022,
pages = {62 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0210.pdf}
}
@techreport{SS22:Gschnitzer,
title = {{Differences in fault-tolerant methods in stateful container-based fog applications}},
author = {Alexander Gschnitzer},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-211},
month = {July},
year = 2022,
pages = {70 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0211.pdf}
}
@techreport{SS22:Chabrova,
title = {{Combined Modeling Techniques for Safety and Security in Industrial Automation: A Case study for STRIDE-LM and FACT Graph}},
author = {Marta Chabrova},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-212},
month = {September},
year = 2022,
pages = {99 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0212.pdf}
}
@techreport{WS22:Hofmann,
title = {{BACnet Multiprotocol-Gateway for Fire Alarm Systems}},
author = {Jannic Hofmann},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-213},
month = {October},
year = 2022,
pages = {65 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0213.pdf}
}
@techreport{WS22:Schmalzer,
title = {{Comparing machine learning models for predicting the future power output of photovoltaic systems in Austria}},
author = {David Schmalzer},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-214},
month = {October},
year = 2022,
pages = {55 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0214.pdf}
}
@techreport{WS23:Thoma,
title = {{Fiware-based Architecture for Smart Local Energy Communities}},
author = {Max Albin Thoma},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-215},
month = {February},
year = 2023,
pages = {69 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0215.pdf}
}
@techreport{SS23:Schenk,
title = {{Matter and the Web of Thing}},
author = {Maximilian Schenk},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-216},
month = {July},
year = 2023,
pages = {79 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0216.pdf}
}
@techreport{SS23:Kilian,
title = {{Implementing an Asset Administration Shell based on Open-Source Frameworks}},
author = {Lukas Kilian},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-217},
month = {August},
year = 2023,
pages = {80 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0217.pdf}
}
@techreport{SS23:Seitner,
title = {{TSN Scheduling with Re-Configuration for Dynamic Industrial Networks}},
author = {Sebastian Seitner},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-218},
month = {September},
year = 2023,
pages = {47 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0218.pdf}
}
@techreport{WS23:Buechi,
title = {{System visualization and interaction using P&ID based UI}},
author = {Luis Büchi},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-219},
month = {February},
year = 2024,
pages = {67 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0219.pdf}
}
@techreport{SS24:Hartner,
title = {{NETCONF for TSN End Stations}},
author = {Nora Hartner},
institution = {A-Lab @ Automation Systems Group, TU Vienna},
number = {183/1-220},
month = {March},
year = 2024,
pages = {48 pages},
url = {http://www.auto.tuwien.ac.at/bib/pdf_TR/TR0220.pdf}
}
This file was generated by bibtex2html 1.98.