BibTeX Entries

% BibTeX bibliography file

@Article{1,
  author = {Ulrich Schmid},
  title = {On a Tree Collision Resolution Algorithm in Presence of Capture},
  journal = {RAIRO Informatique Theorique et Applications/Theoretical
  Informatics and Applications},
  year = {1992},
  volume = {26},
  number = {2},
  pages = {163-197},
  URL = {./Mypapers/1.pdf}
}

@Article{10,
  author = {Michael Drmota and Ulrich Schmid},
  title = {The Analysis of the Expected Successful Operation Time of Slotted
  {ALOHA}},
  journal = {IEEE Transactions on Information Theory},
  year = {1993},
  volume = {39},
  number = {5},
  pages = {1567-1577},
  URL = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isNumber=6560}
}

@InProceedings{11,
  author = {Ulrich Schmid},
  title = {The average {CRI}-length of a Tree Collision Resolution Algorithm in
  Presence of Multiplicity-Dependent Capture Effects},
  booktitle = {Proceedings 19th International Colloquium on Automata,
  Languages, and Programming (ICALP'92)},
  year = {1992},
  month = {July},
  pages = {223-234},
  address = {Vienna, Austria},
  note = {(Appeared as Lecture Notes on Computer Science 623, Springer-Verlag,
  1992)},
  URL = {./Mypapers/11.pdf}
}

@InProceedings{12,
  author = {Ulrich Schmid and Stefan St\"ockler},
  title = {A Versatile Monitoring System for Distributed Real-Time Systems},
  booktitle = {Proceedings 11th IFAC Symposium on Computer Systems in
  Safety-Critical Applications (SAFECOMP'92)},
  year = {1992},
  month = {October},
  pages = {203-208},
  address = {Z\"urich, Switzerland}
}

@Article{13,
  author = {Ulrich Schmid},
  title = {Monitoring Distributed Real-Time Systems},
  journal = {Real-Time Systems},
  year = {1994},
  volume = {7},
  pages = {33-56}
}

@InProceedings{14,
  author = {Ulrich Schmid and Wolfgang Kastner},
  title = {Monitoring of Distributed Real-Time Systems: {T}he {V}ersatile
  {T}iming {A}nalyzer ({VTA})},
  booktitle = {Proceedings Workshop on Performance Measurement and
  Visualization of Parallel Systems},
  year = {1993},
  pages = {277-302},
  address = {Moravany/CSFR (October 1992)},
  note = {(Preliminary version of \cite{13})}
}

@InProceedings{16,
  author = {Ulrich Schmid and Harald Haberstroh and Stefan St\"ockler},
  title = {Process Control Education for Computer Science: {F}acts and
  Fiction},
  booktitle = {Proceedings SEFI/TEMPUS JEP 2011 - IMPACT Workshop on Computer
  Science Topics for Control Engineering Education},
  year = {1993},
  month = {September},
  pages = {13-22},
  address = {Vienna, Austria},
  URL = {./Mypapers/16.pdf}
}

@InBook{17,
  author = {Ulrich Schmid},
  title = {Monitoring in verteilten {E}chtzeitsystemen},
  booktitle = {Echtzeitsysteme und {F}uzzy {C}ontrol},
  year = {1994},
  pages = {265-276},
  publisher = {Viehweg-Verlag},
  note = {(Reprint of \cite{9})}
}

@Article{2,
  author = {Ulrich Schmid},
  title = {On the Asymptotics of the Average {CRI}-Length of the Slotted
  {ALOHA} Collision Resolution Algorithm},
  journal = {Applied Mathematics and Computation},
  year = {1992},
  volume = {48},
  pages = {59-70}
}

@InProceedings{20,
  author = {Ulrich Schmid and Wolfgang Kastner},
  title = {{DOBOS}: {E}in {D}istributed {O}bject-{B}ased {O}perating {S}ystem
  f\"ur {S}oft {R}eal-{T}ime {S}ystems},
  booktitle = {Proceedings Echtzeit'94},
  year = {1994},
  pages = {130-136},
  address = {Hamburg, Germany},
  URL = {./Mypapers/20.pdf}
}

@Article{21,
  author = {Ulrich Schmid and Alfred Pusterhofer},
  title = {{SSCMP}: {T}he Sequenced Synchronized Clock Message Protocol},
  journal = {Computer Networks and ISDN Systems},
  year = {1995},
  volume = {27},
  pages = {1615-1632},
  URL = {./Mypapers/21.pdf}
}

@Article{22,
  author = {Ulrich Schmid},
  title = {Static Priority Scheduling of Aperiodic Real-Time Tasks},
  journal = {Random Structures and Algorithms},
  year = {1997},
  volume = {10},
  number = {1-2},
  pages = {257-303},
  URL = {./Mypapers/22.pdf}
}

@Article{23,
  author = {Ulrich Schmid},
  title = {Random Trees in Queueing Systems with Deadlines},
  journal = {Theoretical Computer Science},
  year = {1995},
  volume = {144},
  number = {1-2},
  pages = {277-314},
  note = {(Habilitationsschrift)},
  URL = {./Mypapers/23.pdf}
}

@InProceedings{24,
  author = {Wolfgang A. Halang and F.-J. Koller and Ulrich Schmid and M.
  Witte},
  title = {Untersuchung des {Z}eitverhaltens {V}erteilter {E}chtzeitsysteme},
  booktitle = {Proceedings Echtzeit'95},
  year = {1995},
  month = {June},
  pages = {101-107},
  URL = {./Mypapers/24.pdf}
}

@InProceedings{25,
  author = {Ulrich Schmid and Wolfgang Kastner and Harald Haberstroh},
  title = {Process Control Education for Computer Science: {F}rom Fiction Back
  to Facts},
  booktitle = {Proceedings TEMPUS JEP 07759 - MODIFY Workshop on Automation and
  Control Engineering in Higher Education},
  year = {1995},
  month = {July},
  pages = {135-147},
  address = {Vienna, Austria},
  URL = {./Mypapers/25.pdf}
}

@InBook{28,
  author = {Ulrich Schmid and Wolfgang Kastner},
  title = {{DOBOS}: {E}in Distributed Object-Based Operating System f\"ur Soft
  Real-Time Systems},
  booktitle = {Echtzeitsysteme und objektorientierter Entwurf},
  year = {1996},
  pages = {3-13},
  publisher = {Viehweg-Verlag},
  note = {(Reprint of \cite{20})},
  URL = {./Mypapers/28.pdf}
}

@InProceedings{29,
  author = {Wolfgang Kastner and Ulrich Schmid},
  title = {Process Control Engineering for Computer Science Students},
  booktitle = {Proceedings\ 4th IFAC Symposium on Advances in Control Education
  (ACE'97)},
  year = {1997},
  month = {July},
  pages = {289-295},
  address = {Istambul, Turkey}
}

@Article{3,
  author = {Ulrich Schmid},
  title = {The Average {CRI}-Length of a Controlled {ALOHA} Collision
  Resolution Algorithm},
  journal = {Theoretical Computer Science},
  year = {1993},
  volume = {108},
  pages = {291-310}
}

@Article{4,
  author = {Johann Blieberger and Ulrich Schmid},
  title = {Preemptive {LCFS} Scheduling in Hard Real Time Applications},
  journal = {Performance Evaluation},
  year = {1992},
  volume = {15},
  number = {3},
  pages = {203-215}
}

@Article{5,
  author = {Ulrich Schmid and Johann Blieberger},
  title = {Some Investigations on {FCFS} Scheduling in Hard Real Time
  Applications},
  journal = {Journal of Computers and System Sciences},
  year = {1992},
  volume = {45},
  pages = {493-512}
}

@Article{6,
  author = {Ulrich Schmid and Johann Blieberger},
  title = {On Nonpreemptive {LCFS} Scheduling with Deadlines},
  journal = {Journal of Algorithms},
  year = {1995},
  volume = {18},
  pages = {124-158}
}

@Article{7,
  author = {Johann Blieberger and Ulrich Schmid},
  title = {{FCFS} Scheduling in a Hard Real-Time Environment under Rush-Hour
  Conditions},
  journal = {BIT},
  year = {1992},
  volume = {32},
  number = {3},
  pages = {370-383}
}

@Article{8,
  author = {Michael Drmota and Ulrich Schmid},
  title = {Exponential Limiting Distributions in Queueing Systems with
  Deadlines},
  journal = {SIAM Journal on Applied Mathematics},
  year = {1993},
  volume = {53},
  number = {1},
  pages = {301-318}
}

@InProceedings{9,
  author = {Ulrich Schmid},
  title = {Monitoring in verteilten {E}chtzeitsystemen},
  booktitle = {Proceedings Echtzeit'91},
  year = {1991},
  month = {June},
  pages = {169-176},
  address = {Sindelfingen, Germany}
}

@Book{B1,
  author = {Johann Blieberger and Gerhard-Helge Schildt and Ulrich Schmid and
  Stefan St\"ockler},
  title = {Informatik},
  edition = {1.(1990), 2.(1992)},
  year = {1990},
  pages = {400 pages},
  publisher = {Springer-Verlag},
  address = {Vienna, Austria}
}

@InProceedings{BLS05:isas,
  author = {Martin Biely and G{\'e}rard Le Lann and Ulrich Schmid},
  title = {Proof-Based Systems Engineering Using a Virtual System Model},
  booktitle = {Proceedings 2nd International Service Availability Symposium
  (ISAS'05)},
  year = {2005},
  month = {April},
  series = {Lecture Notes in Computer Science},
  number = {3694},
  pages = {164--179},
  publisher = {Springer},
  address = {Berlin, Germany},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1670&viewmode=paper&year=2005}
}

@InProceedings{BRS09:DISC,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {Weak Synchrony Models and Failure Detectors for Message Passing
  $k$-Set Agreement},
  booktitle = {Proceedings of the 23rd International Symposium on Distributed
  Computing (DISC'09)},
  year = {2009},
  pages = {260-261},
  URL = {http://www.vmars.tuwien.ac.at/documents/intern/2688/paper.pdf}
}

@TechReport{BRS09:RR,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {Weak Synchrony Models and Failure Detectors for Message Passing
  $k$-Set Agreement},
  year = {2009},
  number = {51/2009},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-2, 1040 Vienna, Austria}
}

@TechReport{BRS09:kset,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {Just Enough Synchrony for Message-Passing k-Set Agreement},
  year = {2010},
  number = {6/2010},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}
}

@InProceedings{BRS09:opodis,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {Weak Synchrony Models and Failure Detectors for Message Passing
  $k$-Set Agreement},
  booktitle = {Proceedings of the International Conference on Principles of
  Distributed Systems (OPODIS'09)},
  year = {2009},
  month = {Dec},
  series = {LNCS},
  pages = {285-299},
  publisher = {Springer Verlag},
  address = {Nimes, France},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/2657/paper.pdf}
}

@TechReport{BRS10:Stable,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {Solving k-Set Agreement with Stable Skeleton Graphs.},
  year = {2010},
  number = {28/2010},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}
}

@InProceedings{BRS11:IPDPS,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {Solving k-Set Agreement with Stable Skeleton Graphs},
  booktitle = {IPDPS Workshops},
  year = {2011},
  pages = {1488-1495},
  note = {(also available in arxiv:1102.4423)},
  URL = {http://arxiv.org/pdf/1102.4423}
}

@InProceedings{BRS11:OPODIS,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {Easy Impossibility Proofs for k-Set Agreement in Message Passing
  Systems},
  booktitle = {Proceedings 15th International Conference on Principles of
  Distributed Systems (OPODIS'11), Springer LNCS 7109},
  year = {2011},
  pages = {299-312}
}

@InProceedings{BRS11:PODC,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {Easy impossibility proofs for k-set agreement in message passing
  systems},
  booktitle = {Proceedings of the 30th Annual ACM Symposium on Principles of
  Distributed Computing (PODC'11)},
  year = {2011},
  pages = {227-228},
  publisher = {ACM}
}

@InProceedings{BRS12:sirocco,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {Agreement in Directed Dynamic Networks},
  booktitle = {Proceedings 19th International Colloquium on Structural
  Information and Communication Complexity (SIROCCO'12)},
  year = {2012},
  series = {LNCS 7355},
  pages = {73-84},
  publisher = {Springer-Verlag}
}

@Article{BRS14:TPDS,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid},
  title = {The Generalized Loneliness Detector and Weak System Models for
  $k$-Set Agreement},
  journal = {IEEE Transactions on Parallel and Distributed Systems},
  year = {2014},
  month = {April},
  volume = {25},
  number = {4},
  pages = {1078-1088},
  URL = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2013.77}
}

@Article{BRS2012:arxiv,
  author = {Biely, Martin and Robinson, Peter and Schmid, Ulrich},
  title = {Agreement in Directed Dynamic Networks},
  journal = {{arXiv:1204.0641}},
  year = {2012},
  month = {April},
  URL = {http://arxiv.org/abs/1204.0641}
}

@Article{BRSSW18:TCS,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid and Manfred
  Schwarz and Kyrill Winkler},
  title = {Gracefully degrading consensus and k-set agreement in directed
  dynamic networks},
  journal = {Theoretical Computer Science},
  year = {2018},
  note = {(in press)},
  URL = {http://www.sciencedirect.com/science/article/pii/S0304397518301166}
}

@Misc{BRSW14:subm,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid and Kyrill
  Winkler},
  title = {Impossibility Results for $k$-Set Agreement in Message-Passing
  Systems},
  year = {2014},
  note = {(submitted to Information \& Computation)}
}

@TechReport{BS01,
  author = {Martin Biely and Ulrich Schmid},
  title = {Message-Efficient Consensus in Presence of Hybrid Node and Link
  Faults},
  year = {2001},
  month = {August},
  number = {183/1-116},
  pages = {25 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/BS01.ps}
}

@Article{BSW11:hyb,
  author = {Martin Biely and Ulrich Schmid and Bettina Weiss},
  title = {Synchronous consensus under hybrid process and link failures},
  journal = {Theoretical Computer Science},
  year = {2011},
  volume = {412},
  number = {40},
  pages = {5602 - 5630},
  note = {http://dx.doi.org/10.1016/j.tcs.2010.09.032},
  URL = {http://www.sciencedirect.com/science/article/pii/S0304397510005359}
}

@InProceedings{CDES09,
  author = {Bernadette Charron-Bost and Shlomi Dolev and Jo Ebergen and Ulrich
  Schmid},
  title = {08371 Summary -- Fault-Tolerant Distributed Algorithms on VLSI
  Chips},
  booktitle = {Fault-Tolerant Distributed Algorithms on VLSI Chips},
  editor = {Bernadette Charron-Bost and Shlomi Dolev and Jo Ebergen and Ulrich
  Schmid},
  year = {2009},
  series = {Dagstuhl Seminar Proceedings},
  number = {08371},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address = {Dagstuhl, Germany},
  note = {http://drops.dagstuhl.de/opus/frontdoor.php?source\_opus=1927},
  URL = {http://drops.dagstuhl.de/opus/volltexte/2009/1927}
}

@InProceedings{CKS13:HSCC,
  author = {Krishnendu Chatterjee and Alexander {K\"o\ss ler} and Ulrich
  Schmid},
  title = {Automated Analysis of Real-Time Scheduling using Graph Games},
  booktitle = {Proceedings of the 16th ACM international conference on Hybrid
  Systems: Computation and Control},
  year = {2013},
  series = {HSCC '13},
  pages = {163-172},
  publisher = {ACM},
  address = {New York, NY, USA}
}

@InProceedings{CPKS14,
  author = {Krishnendu Chatterjee and Andreas Pavlogiannis and Alexander
  K{\"{o}}{\ss}ler and Ulrich Schmid},
  title = {A Framework for Automated Competitive Analysis of On-line Scheduling
  of Firm-Deadline Tasks},
  booktitle = {Proceedings of the {IEEE} 35th {IEEE} Real-Time Systems
  Symposium, {RTSS} 2014, Rome, Italy, December 2-5, 2014},
  year = {2014},
  pages = {118--127},
  URL = {http://dx.doi.org/10.1109/RTSS.2014.9}
}

@Article{CPKS18:JRTS,
  author = {Krishnendu Chatterjee and Andreas Pavlogiannis and Alexander
  K{\"{o}}{\ss}ler and Ulrich Schmid},
  title = {Automated Competitive Analysis of Real-time Scheduling with Graph
  Games},
  journal = {Real-Time Systems},
  year = {2018},
  month = {Jan},
  volume = {54},
  number = {1},
  pages = {166--207},
  URL = {https://doi.org/10.1007/s11241-017-9293-4}
}

@Article{DFL+16:HEX,
  author = {Danny Dolev and Matthias F{\"u}gger and Christoph Lenzen and Martin
  Perner and Ulrich Schmid},
  title = {{HEX}: Scaling Honeycombs is Easier than Scaling Clock Trees},
  journal = {Journal of Computer and System Sciences},
  year = {2016},
  month = {aug},
  volume = {82},
  number = {5},
  pages = {929--956},
  publisher = {Elsevier {BV}},
  URL = {http://dx.doi.org/10.1016/j.jcss.2016.03.001}
}

@InProceedings{DFLPS13:HEX,
  author = {Danny Dolev and Matthias F{\"u}gger and Christoph Lenzen and Martin
  Perner and Ulrich Schmid},
  title = {{HEX: Scaling Honeycombs is Easier than Scaling Clock Trees}},
  booktitle = {Proc.\ 25th ACM Symp.\ on Parallelism in Algorithms and
  Architect ures (SPAA'13)},
  year = {2013},
  pages = {164-175}
}

@Misc{DFLPS13:subm,
  author = {Danny Dolev and Matthias F\"ugger and Christoph Lenzen and Martin
  Perner and Ulrich Schmid},
  title = {HEX: Scaling Honeycombs is Easier than Scaling Clock Trees},
  year = {2015},
  note = {(submitted to JCSS)}
}

@InProceedings{DFLS11:SSS,
  author = {Danny Dolev and Matthias F{\"u}gger and Christoph Lenzen and Ulrich
  Schmid},
  title = {Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic:
  Robust Pulse Generation - [Extended Abstract]},
  booktitle = {Proceedings 13th International Symposium on Stabilization,
  Safety, and Security of Distributed Systems (SSS'11), Springer LNCS 6976},
  year = {2011},
  pages = {163-177}
}

@InProceedings{DFLS12:NITRD,
  author = {Danny Dolev and Matthias Fuegger and Christoph Lenzen and Ulrich
  Schmid},
  title = {Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation
  in Systems-on-Chip},
  booktitle = {2012 NITRD National Workshop on the New Clockwork for
  Time-Critical Systems, October 25-26, Baltimore (USA)},
  year = {2012},
  month = {Oct.}
}

@Article{DFLS14:JACM,
  author = {Danny Dolev and Matthias F{\"u}gger and Ulrich Schmid and Christoph
  Lenzen},
  title = {Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic:
  Robust Pulse Generation},
  journal = {Journal of the ACM},
  year = {2014},
  month = {April},
  volume = {61},
  number = {5},
  URL = {http://portal.acm.org/citation.cfm?id=2668245&picked=prox}
}

@Article{DFLS15:eatcs,
  author = {Dolev, Danny and F{\"u}gger, Matthias and Lenzen, Christoph and
  Schmid, Ulrich and Steininger, Andreas},
  title = {Fault-tolerant Distributed Systems in Hardware},
  journal = {Bulletin of EATCS},
  year = {2015},
  volume = {2},
  number = {116},
  pages = {112--153},
  URL = {https://www.eatcs.org/images/bulletin/beatcs116.pdf}
}

@Article{DFPS14:JCSS,
  author = {Danny Dolev and Matthias F\"ugger and Christoph Lenzen and Markus
  Posch and Ulrich Schmid and Andreas Steininger},
  title = {Rigorously Modeling Self-Stabilizing Fault-Tolerant Circuits: {A}n
  Ultra-Robust Clocking Scheme for Systems-on-Chip},
  journal = {Journal of Computer and System Sciences},
  year = {2014},
  volume = {80},
  number = {4},
  pages = {860--900},
  URL = {http://www.sciencedirect.com/science/article/pii/S0022000014000026}
}

@InProceedings{DFS09:BA,
  author = {Andreas Dielacher and Matthias Fuegger and Ulrich Schmid},
  title = {Brief Announcement: {H}ow to Speed-up Fault-tolerant Clock
  Generation in {VLSI} Systems-on-Chip via Pipelining},
  booktitle = {Proceedings of the 28th ACM Symposium on Principles of
  Distributed Computing (PODC'09)},
  year = {2009},
  month = {August},
  pages = {423},
  publisher = {ACM Press},
  note = {An extended version is available as RR 15/2009, Institut f\"ur
  Technische Informatik, TU-Wien,
  http://www.vmars.tuwien.ac.at/documents/extern/2571/techreport.pdf}
}

@TechReport{DFS09:pDARTS,
  author = {Andreas Dielacher and Matthias Fuegger and Ulrich Schmid},
  title = {How to Speed-up Fault-tolerant Clock Generation in {VLSI}
  Systems-on-Chip via Pipelining},
  year = {2009},
  number = {15/2009},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria},
  note = {http://www.vmars.tuwien.ac.at/documents/extern/2571/techreport.pdf}
}

@InProceedings{FDS10:EDCC,
  author = {Matthias F{\"u}gger and Andreas Dielacher and Ulrich Schmid},
  title = {How to Speed-Up Fault-Tolerant Clock Generation in VLSI
  Systems-on-Chip via Pipelining},
  booktitle = {Proceedings Eighth European Dependable Computing Conference
  (EDCC'10)},
  year = {2010},
  pages = {230-239}
}

@Article{FFSS09:WDSN,
  author = {Matthias Fuegger and Gottfried Fuchs and Ulrich Schmid and Andreas
  Steininger},
  title = {On the Stability and Robustness of Non-Synchronous Circuits with
  Timing Loops},
  journal = {3rd Workshop on Dependable and Secure Nanocomputing},
  year = {2009},
  month = {Jun.},
  address = {Estoril, Portugal}
}

@InProceedings{FFSS:DSD08,
  author = {Gottfried Fuchs and Matthias Fuegger and Ulrich Schmid and Andreas
  Steininger},
  title = {Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip},
  booktitle = {11th Euromicro conference on Digital System Design
  Architectures, Methods and Tools (DSD'08)},
  year = {2008},
  month = {September},
  pages = {242-249},
  address = {Parma, Italy},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/2370/paper_hl.pdf}
}

@InProceedings{FGSSK06,
  author = {Fuchs, Gottfried and Grahsl, Julian and Schmid, Ulrich and
  Steininger, Andreas and Kempf, Gerald},
  title = {{T}hreshold {M}odules -- {D}ie {S}chl{\"u}sselelemente zur
  {V}erteilten {G}enerierung eines {F}ehlertoleranten {T}aktes},
  booktitle = {Proceedings of the Austrian National Conference on the Design of
  Integrated Circuits and Systems (Austrochip 2006)},
  year = {2006},
  month = {October},
  pages = {149-156},
  address = {Vienna},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1961\&viewmode=paper\&year=2006}
}

@InProceedings{FHLS13,
  author = {Matthias F\"ugger and Markus Hofst\"atter and Christoph Lenzen and
  Ulrich Schmid},
  title = {Efficient Construction of Global Time in {SoC}s despite Arbitrary
  Faults},
  booktitle = {Proc.\ 16th Euromicro Conference on Digital System Design
  (DSD'13)},
  year = {2013},
  pages = {142-151}
}

@Article{FKNS15,
  author = {Matthias F{\"{u}}gger and Alexander K{\"{o}}{\ss}ler and Thomas
  Nowak and Ulrich Schmid and Martin Zeiner},
  title = {The effect of forgetting on the performance of a synchronizer},
  journal = {Performance Evaluation},
  year = {2015},
  volume = {93},
  pages = {1--16},
  URL = {http://dx.doi.org/10.1016/j.peva.2015.08.002}
}

@InProceedings{FKNSZ13,
  author = {Matthias F{\"u}gger and Alexander K{\"o}{\ss}ler and Thomas Nowak
  and Ulrich Schmid and Martin Zeiner},
  title = {The Effect of Forgetting on the Performance of a Synchronizer},
  booktitle = {Proceedings ALGOSENSORS'13, Springer LNCS 8243},
  year = {2013},
  pages = {185-200},
  publisher = {Springer}
}

@InProceedings{FMMB18:ADHS,
  author = {C. Fan and Y. Meng and J. Maier and E. Bartocci and S. Mitra and U.
  Schmid},
  title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
  booktitle = {Proceedings of the IFAC Conference on Analysis and Design of
  Hybrid Systems (ADHS'18)},
  year = {2018},
  note = {(to appear)}
}

@InProceedings{FMNNS18:DATE,
  author = {Matthias F\"ugger and J\"urgen Maier and Robert Najvirt and Thomas
  Nowak and Ulrich Schmid},
  title = {A Faithful Binary Circuit Model with Adversarial Noise},
  booktitle = {Proceeding of the 2018 Design, Automation \& Test in Europe
  (DATE)},
  year = {2018},
  series = {DATE'18},
  pages = {1333--1338}
}

@Article{FNNS14:arxiv,
  author = {Matthias F{\"u}gger and Robert Najvirt and Thomas Nowak and Ulrich
  Schmid},
  title = {Faithful Glitch Propagation in Binary Circuit Models},
  journal = {{arXiv:1406.2544}},
  year = {2014},
  note = {(an extended abstract appeared in Proc. DATE'15)},
  URL = {http://arxiv.org/abs/1406.2544}
}

@InProceedings{FNNS15:DATE,
  author = {F\"{u}gger, Matthias and Najvirt, Robert and Nowak, Thomas and
  Schmid, Ulrich},
  title = {Towards Binary Circuit Models That Faithfully Capture Physical
  Solvability},
  booktitle = {Proceedings of the 2015 Design, Automation \& Test in Europe
  Conference \& Exhibition},
  year = {2015},
  series = {DATE '15},
  pages = {1455--1460},
  publisher = {EDA Consortium},
  address = {San Jose, CA, USA},
  URL = {http://dl.acm.org/citation.cfm?id=2757012.2757149}
}

@InProceedings{FNS13:ASYNC,
  author = {Matthias F{\"u}gger and Thomas Nowak and Ulrich Schmid},
  title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},
  booktitle = {Proceedings 19th IEEE International Symposium on Asynchronous
  Circuits and Systems (ASYNC'13)},
  year = {2013},
  pages = {191-199},
  publisher = {IEEE Computer Society}
}

@Article{FNS16:ToC,
  author = {Matthias F\"ugger and Thomas Nowak and Ulrich Schmid},
  title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},
  journal = {IEEE Transactions on Computers},
  year = {2016},
  month = {March},
  volume = {65},
  number = {3},
  pages = {964-978},
  URL = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=7110587}
}

@TechReport{FS04:FD,
  author = {Christof Fetzer and Ulrich Schmid},
  title = {On the Possibility of Consensus in Asynchronous Systems with Finite
  Average Response Times},
  year = {2004},
  number = {14/2004},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},
  note = {(Brief announcement appeared at PODC'04)},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1365\&viewmode=paper\&year=2004}
}

@InProceedings{FS04:FDPODC,
  author = {Christof Fetzer and Ulrich Schmid},
  title = {Brief Announcement: On the Possibility of Consensus in Asynchronous
  Systems with Finite Average Response Times},
  booktitle = {Proceedings of the 23th ACM Symposium on Principles of
  Distributed Computing (PODC'04)},
  year = {2004},
  pages = {402},
  address = {Boston, Massachusetts},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1365\&viewmode=published\&year=2004}
}

@TechReport{FS09,
  author = {Matthias Fuegger and Ulrich Schmid},
  title = {Fault-Tolerant Distributed Tick Generation in {VLSI}
  Systems-on-Chip},
  year = {2009},
  number = {53/2009},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-2, 1040 Vienna, Austria}
}

@Article{FS12:DC,
  author = {Matthias F{\"u}gger and Ulrich Schmid},
  title = {Reconciling fault-tolerant distributed computing and
  systems-on-chip},
  journal = {Distributed Computing},
  year = {2012},
  volume = {24},
  number = {6},
  pages = {323-355},
  URL = {http://link.springer.com/article/10.1007%2Fs00446-011-0151-7#page-2}
}

@TechReport{FS12:SIC,
  author = {Matthias F{\"u}gger and Ulrich Schmid},
  title = {{FWF}-Proposal {SIC}: {S}elf-stabilizing {B}yzantine Fault-Tolerant
  Distributed Algorithms for Integrated Circuits},
  year = {2012},
  number = {60/2012},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}
}

@InBook{FS97,
  author = {Michael Freund and Ulrich Schmid},
  title = {In fehlertoleranten {C}omputernetzwerken},
  booktitle = {{G}eistes{B}litze: {B}edeutende {\"O}sterreichische
  Wissenschaftler im Portr\"at},
  year = {1997},
  pages = {57-59},
  publisher = {Springer Verlag}
}

@InProceedings{FSFK06:EDCC,
  author = {Matthias Fuegger and Ulrich Schmid and Gottfried Fuchs and Gerald
  Kempf},
  title = {{F}ault-{T}olerant {D}istributed {C}lock {G}eneration in {VLSI}
  {S}ystems-on-{C}hip},
  booktitle = {Proceedings of the Sixth European Dependable Computing
  Conference (EDCC-6)},
  year = {2006},
  month = {October},
  pages = {87--96},
  publisher = {IEEE Computer Society Press}
}

@TechReport{FSFK06:darts,
  author = {Matthias Fuegger and Ulrich Schmid and Gottfried Fuchs and Gerald
  Kempf},
  title = {{Fault-{T}olerant {D}istributed {C}lock {G}eneration in {VLSI}
  {S}ystems-on-{C}hip}},
  year = {2006},
  number = {12/2006},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik}
}

@TechReport{FSS04:RR,
  author = {Gottfried Fuchs and Ulrich Schmid and Andreas Steininger},
  title = {Ein {V}erfahren f\"ur das verteilte {G}enerieren eines
  fehlertoleranten adaptiven {T}aktes in {H}ardware},
  year = {2004},
  number = {18/2004},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1520\&viewmode=paper\&year=2004}
}

@InProceedings{FSS05:ICDCS,
  author = {Christof Fetzer and Ulrich Schmid and Martin S{\"{u}\ss}kraut},
  title = {On the Possibility of Consensus in Asynchronous Systems with Finite
  Average Response Times},
  booktitle = {Proceedings of the 25th International Conference on Distributed
  Computing Systems (ICDCS'05)},
  year = {2005},
  month = {June},
  pages = {271--280},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1365\&viewmode=published\&year=2004}
}

@TechReport{GHS02:w2fserv,
  author = {G\"unther Gridling and Martin Hutle and Ulrich Schmid and Hannes
  Stratil and Bernd Thallner and Bettina Weiss},
  title = {Service Specification of {W2F}},
  year = {2001},
  number = {183/1-113},
  institution = {Department of Automation, Technische Universit\"at Wien},
  note = {(unfinished)},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/GHS02\_w2fserv.ps}
}

@InProceedings{GKFS10:control,
  author = {Alois Goiser and Samar Khattab and Gerhard Fassl and Ulrich
  Schmid},
  title = {A New Robust Interference Reduction Scheme for Low Complexity
  Direct-Sequence Spread-Spectrum Receivers: Optimization},
  booktitle = {Proceedings 3rd International IEEE Conference on Communication
  Theory, Reliability, and Quality of Service (CTRQ'10)},
  year = {2010},
  month = {June},
  pages = {32-36},
  address = {Athens, Greece}
}

@InProceedings{GKFS10:perf,
  author = {Alois Goiser and Samar Khattab and Gerhard Fassl and Ulrich
  Schmid},
  title = {A New Robust Interference Reduction Scheme for Low Complexity
  Direct-Sequence Spread-Spectrum Receivers: Performance},
  booktitle = {Proceedings 3rd International IEEE Conference on Communication
  Theory, Reliability, and Quality of Service (CTRQ'10)},
  year = {2010},
  month = {June},
  pages = {15-21},
  address = {Athens, Greece}
}

@InProceedings{GKSV14:SFM,
  author = {Annu Gmeiner and Igor Konnov and Ulrich Schmid and Helmut Veith and
  Josef Widder},
  title = {Tutorial on Parameterized Model Checking of Fault-Tolerant
  Distributed Algorithms},
  booktitle = {Formal Methods for Executable Software Models - 14th
  International School on Formal Methods for the Design of Computer,
  Communication, and Software Systems ({SFM'14}), 2014, Bertinoro, Italy, June
  16-20, 2014, Advanced Lectures},
  year = {2014},
  pages = {122--171},
  URL = {http://dx.doi.org/10.1007/978-3-319-07317-0_4}
}

@InProceedings{HHGKSS02,
  author = {Roland H\"oller and Martin Horauer and G\"unther Gridling and
  Nikolaus Ker\"o and Ulrich Schmid and Klaus Schossmaier},
  title = {{SynUTC} - High Precision Time Synchronization over {E}thernet
  Networks},
  booktitle = {Proceedings of the 8th Workshop on Electronics for LHC
  Experiments ({LECC}'02)},
  year = {2002},
  month = {September 9--13,},
  pages = {428--432},
  address = {Colmar, France},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HHGKSS02.ps}
}

@InProceedings{HKS00,
  author = {Martin Horauer and Nikolaus Ker\"o and Ulrich Schmid},
  title = {A network interface for highly accurate clock synchronization},
  booktitle = {Proceedings {AUSTROCHIP'00}},
  editor = {W. Maierwieser and K.G. Posch},
  year = {2000},
  month = {October},
  pages = {93--101},
  address = {Graz, Austria},
  note = {ISBN 3-9501349-0-5},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HKS00.pdf}
}

@TechReport{HLS96,
  author = {Martin Horauer and Dietmar Loy and Ulrich Schmid},
  title = {{NTI} Functional and Architectural Specification},
  year = {1996},
  month = {December},
  number = {183/1-69},
  pages = {54 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  note = {(revised 1998)},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HLS96.ps}
}

@InProceedings{HMSZ06:SSS,
  author = {Martin Hutle and Dahlia Malkhi and Ulrich Schmid and Lidong Zhou},
  title = {Brief Announcement: Chasing the Weakest System Model for
  Implementing Omega and Consensus},
  booktitle = {Proceedings Eighth International Symposium on Stabilization,
  Safety, and Security of Distributed Systems (SSS 2006)},
  year = {2006},
  month = {Nov.},
  series = {LNCS},
  pages = {576--577},
  publisher = {Springer Verlag},
  address = {Dallas, USA},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1979\&viewmode=paper\&year=2006}
}

@Article{HMSZ08:TDSC,
  author = {Martin Hutle and Dahlia Malkhi and Ulrich Schmid and Lidong Zhou},
  title = {Chasing the Weakest System Model for Implementing Omega and
  Consensus},
  journal = {IEEE Transactions on Dependable and Secure Computing},
  year = {2009},
  volume = {6},
  number = {4},
  pages = {269--281},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/1803/paper.pdf}
}

@InProceedings{HS97,
  author = {Dieter H{\"o}chtl and Ulrich Schmid},
  title = {Long-Term Evaluation of {GPS} Timing Receiver Failures},
  booktitle = {Proceedings\ of the 29th {IEEE} Precise Time and Time Interval
  Systems and Application Meeting ({PTTI}'97)},
  year = {1997},
  month = {December},
  pages = {165--180},
  address = {Long Beach, California},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HS97.ps}
}

@InProceedings{HSDZ12:GSI,
  author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich and Horst
  Zimmermann and Ulrich Schmid and Bruno Merk},
  title = {Single Event Effect Measurements in 90nm {CMOS} Circuits at the
  Microbeam Facility for the Project {FATAL}},
  booktitle = {GSI Scientific Report 2011},
  year = {2012},
  pages = {424},
  address = {GSI Helmholtzzentrum f\"ur Schwerionenforschung GmbH, Darmstadt,
  Germany}
}

@Misc{HSDZ12:NSREC,
  author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich and Horst
  Zimmermann and Kay-Obbe Voss and Bruno Merk and Ulrich Schmid and Andreas
  Steininger},
  title = {Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event
  Transients Propagating through a 90 nm Bulk {CMOS} Inverter Chain},
  year = {2012},
  note = {Poster at IEEE Nuclear and Space Radiation Effects Conference
  (NSREC'12), Miami (USA)}
}

@TechReport{HSDZ12:PTB,
  author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich and Horst
  Zimmermann and Ulrich Schmid and Ulrich Giesen},
  title = {{Messung der Auswirkungen von ionisierender Strahlung auf 90 nm CMOS
  Schaltungen}},
  year = {2012},
  institution = {Physikalisch Technische Bundesanstalt}
}

@Article{HSDZ12:ToNS,
  author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich and Horst
  Zimmermann and Kay-Obbe Voss and Bruno Merk and Ulrich Schmid and Andreas
  Steininger},
  title = {Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event
  Transients Propagating through a 90 nm Bulk {CMOS} Inverter Chain},
  journal = {IEEE Transactions on Nuclear Science},
  year = {2012},
  month = {December},
  volume = {59},
  number = {6},
  pages = {2778-2784}
}

@Misc{HSGZ13:NSREC,
  author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich Wolfgang
  Gaberl and Horst Zimmermann and Ulrich Giesen and Frank Langer and Ulrich
  Schmid and Andreas Steininger},
  title = {Single Event Transient Pulse Shape Measurements by On-chip Sense
  Amplifiers in a Single Inverter for Intermediate Input States under Alpha
  Irradiation},
  year = {2013},
  note = {Poster at IEEE Nuclear and Space Radiation Effects Conference
  (NSREC'13)}
}

@InProceedings{HSS98,
  author = {Martin Horauer and Ulrich Schmid and Klaus Schossmaier},
  title = {{NTI}: A {N}etwork {T}ime {I}nterface {M}-{M}odule for High-Accuracy
  Clock Synchronization},
  booktitle = {Proceedings 6th International Workshop on Parallel and
  Distributed Real-Time Systems ({WPDRTS}'98)},
  year = {1998},
  month = {March 30 -- April 3},
  pages = {1067--1076},
  address = {Orlando, Florida},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HSS98.ps}
}

@InProceedings{HSSHK02,
  author = {Martin Horauer and Ulrich Schmid and Klaus Schossmaier and Roland
  H{\"o}ller and Nikolaus Ker{\"o}},
  title = {{PSynUTC} --- Evaluation of a High Precision Time Synchronization
  Prototype System for {E}thernet {LANs}},
  booktitle = {Proceedings\ of the 34th {IEEE} Precise Time and Time Interval
  Systems and Application Meeting ({PTTI}'02)},
  year = {2002},
  month = {December},
  pages = {263-278},
  address = {Reston, Virginia},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HSSHK02.pdf}
}

@InProceedings{HSZG12:RADECS,
  author = {Michael Hofbauer and Kurt Schweiger and Horst Zimmermann and Ulrich
  Giesen and Frank Langner and Ulrich Schmid and Andreas Steininger},
  title = {Supply Voltage Dependent On-chip Single Event Transient Pulse Shape
  Measurements in 90 nm Bulk {CMOS} under Alpha Irradiation},
  booktitle = {Proceedings 21st European Conference on Radiation and its
  Effects on Components and Systems (RADECS'12)},
  year = {2012},
  month = {Sep.}
}

@Article{HSZG13:ToNS,
  author = {Michael Hofbauer and Kurt Schweiger and Horst Zimmermann and Ulrich
  Giesen and Frank Langner and Ulrich Schmid and Andreas Steininger},
  title = {Supply Voltage Dependent On-chip Single Event Transient Pulse Shape
  Measurements in 90 nm Bulk {CMOS} under Alpha Irradiation},
  journal = {IEEE Transactions on Nuclear Science},
  year = {2013},
  month = {August},
  volume = {60},
  number = {4},
  pages = {2640-2646}
}

@Misc{HSZS12:VSC,
  author = {Michael Hofbauer and Kurt Schweiger and Horst Zimmermann and Ulrich
  Schmid},
  title = {Projekt {FATAL}},
  year = {2012},
  note = {Vienna Scientific Cluster Brochure 2012, p. 53}
}

@Article{Haw02:ocg,
  author = {Wolfgang Hawlik},
  title = {Aus {S}pa\ss\ an {N}euem},
  journal = {Computer Kommunikativ},
  year = {2002},
  volume = {4},
  note = {(Portrait anl\"a\ss lich Berufung U. Schmid)}
}

@InProceedings{JKSVW13:FMCAD,
  author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and
  Josef Widder},
  title = {Parameterized model checking of fault-tolerant distributed
  algorithms by abstraction},
  booktitle = {Proceedings Formal Methods in Computer-Aided Design (FMCAD'13)},
  year = {2013},
  pages = {201-209},
  publisher = {IEEE}
}

@InProceedings{JKSVW13:PODC,
  author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and
  Josef Widder},
  title = {Brief announcement: {P}arameterized model checking of fault-tolerant
  distributed algorithms by abstraction},
  booktitle = {Proceedings ACM Symposium on Principles of Distributed Computing
  (PODC'13)},
  year = {2013},
  pages = {119-121},
  publisher = {ACM}
}

@InProceedings{JKSVW13:SPIN,
  author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and
  Josef Widder},
  title = {Towards Modeling and Model Checking Fault-Tolerant Distributed
  Algorithms},
  booktitle = {Proceedings 20th International Symposium on Model Checking
  Software (SPIN'13), Springer LNCS 7976},
  year = {2013},
  pages = {209-226},
  publisher = {Springer}
}

@InProceedings{KMS10:RTSOPS,
  author = {Alexander K{"o}{ss}ler and Heinrich Moser and Ulrich Schmid},
  title = {Real-Time Analysis of Round-based Distributed Algorithms},
  booktitle = {Proceedings of the 1st International Real-Time Scheduling Open
  Problems Seminar (RTSOPS'10), in conjunction with 22nd Euromicro Conference
  on Real-Time Systems (ECRTS'10)},
  year = {2010},
  month = {Jul.},
  pages = {9-11},
  note = {Published as as TR under
  https://www.cs.york.ac.uk/ftpdir/reports/2010/YCS/455/YCS-2010-455.pdf}
}

@TechReport{KMSS98,
  author = {Christian Kral and Thomas Mandl and Ulrich Schmid and Klaus
  Schossmaier},
  title = {{T}ips f\"ur die {M}esse-{P}r\"asentation von
  {F}orschungsergebnissen},
  year = {1998},
  month = {April},
  number = {183/1-83},
  pages = {15 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  note = {(in {G}erman)},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/KMSS98.ps}
}

@Article{KOS04:eandi,
  author = {Hermann Kopetz and Roman Obermaisser and Ulrich Schmid},
  title = {Dependable Embedded Systems Research at {TU} {V}ienna},
  journal = {e \& i},
  year = {2005},
  month = {January/February},
  volume = {1/2},
  pages = {33--37},
  note = {(Invited paper)},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1490&viewmode=paper&year=2004}
}

@InProceedings{KS00,
  author = {Wolfgang Kastner and Ulrich Schmid},
  title = {How to Teach Matters of Modern Control Systems to Computer Science
  Students?},
  booktitle = {Proceedings\ 5th IFAC Symposium on Advances in Control Education
  (ACE'00)},
  year = {2000},
  month = {December},
  address = {Sea World Nara Resort, Australia}
}

@TechReport{KSH00,
  author = {Nikolaus Ker\"o and Ulrich Schmid and Martin Horauer},
  title = {{V}erfahren f\"ur die {S}ynchronisation von {C}omputeruhren in
  {N}etzwerken},
  year = {2000},
  month = {March},
  number = {183/1-105},
  pages = {16 pages},
  institution = {Department of Automation, TU Vienna},
  note = {Austrian Gebrauchsmuster AT005327U1 (2002); Europe and Japan patents
  pending}
}

@TechReport{LS03,
  author = {Le Lann, G\'erard and Schmid, Ulrich},
  title = {How to Implement a Timer-free Perfect Failure Detector in Partially
  Synchronous Systems},
  year = {2003},
  month = {January},
  number = {183/1-127},
  pages = {10 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  note = {(Replaced by Research Report 28/2005, Institut f\"ur Technische
  Informatik, TU Wien, 2005.)},
  URL = {http://ti.tuwien.ac.at/ecs/research/projects/theta/fulltext/LS03.ps}
}

@TechReport{LS03:cov,
  author = {Le Lann, G\'erard and Schmid, Ulrich},
  title = {How to Maximize Computing Systems Coverage},
  year = {2003},
  month = {April},
  number = {183/1-128},
  pages = {26 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  URL =
  {http://ti.tuwien.ac.at/ecs/research/projects/theta/fulltext/LS03\_cov.ps}
}

@InProceedings{LS05:dasia,
  author = {G{\'e}rard Le Lann and Ulrich Schmid},
  title = {Proof-Based Systems Engineering in ASSERT},
  booktitle = {Proceedings Data Systems in Aerospace (DASIA'05)},
  year = {2005},
  month = {May--June},
  address = {Edinburgh, Scotland}
}

@TechReport{MNS99,
  author = {Thomas Mandl and Herbert Nachtnebel and Ulrich Schmid},
  title = {{N}etwork {T}ime {I}nterface User Manual},
  year = {1999},
  month = {January},
  number = {183/1-87},
  pages = {150 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  note = {(in {G}erman)},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/MNS99.ps}
}

@InProceedings{MS06,
  author = {Heinrich Moser and Ulrich Schmid},
  title = {Optimal clock synchronization revisited: {U}pper and lower bounds in
  real-time systems},
  booktitle = {Proceedings of the International Conference on Principles of
  Distributed Systems (OPODIS)},
  year = {2006},
  month = {Dec},
  series = {LNCS 4305},
  pages = {95--109},
  publisher = {Springer Verlag},
  address = {Bordeaux \& Saint-Emilion, France},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/2068/paper.pdf}
}

@TechReport{MS06:TR,
  author = {Heinrich Moser and Ulrich Schmid},
  title = {Optimal clock synchronization revisited: {U}pper and lower bounds in
  real-time systems},
  year = {2006},
  number = {71/2006},
  type = {Research Report},
  institution = {Vienna University of Technology, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1973\&viewmode=paper\&year=2006}
}

@InProceedings{MS06:jun,
  author = {Heinrich Moser and Ulrich Schmid},
  title = {Construction of a Fault-Tolerant Wireless Communication Topology
  Using Distributed Agreement},
  booktitle = {Proceedings of the Junior Scientist Conference 2006},
  year = {2006},
  month = {Apr.},
  pages = {47--48},
  address = {Vienna, Austria}
}

@InProceedings{MS06:rtss,
  author = {Heinrich Moser and Ulrich Schmid},
  title = {Reconciling Distributed Computing Models and Real-Time Systems},
  booktitle = {Proceedings Work in Progress Session of the 27th IEEE Real-Time
  Systems Symposium (RTSS'06)},
  year = {2006},
  month = {Dec},
  pages = {73--76},
  address = {Rio de Janeiro, Brazil},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/2055/paper.pdf}
}

@InProceedings{MS08:OPODIS,
  author = {Heinrich Moser and Ulrich Schmid},
  title = {Optimal Deterministic Remote Clock Estimation in Real-Time Systems},
  booktitle = {Proceedings of the International Conference on Principles of
  Distributed Systems (OPODIS)},
  year = {2008},
  month = {December},
  pages = {363--387},
  address = {Luxor, Egypt}
}

@InProceedings{MS11:sirocco,
  author = {Moser, Heinrich and Schmid, Ulrich},
  title = {Reconciling Fault-Tolerant Distributed Algorithms and Real-Time
  Computing},
  booktitle = {18th International Colloquium on Structural Information and
  Communication Complexity (SIROCCO)},
  year = {2011},
  series = {LNCS 6796},
  pages = {42--53},
  publisher = {Springer-Verlag},
  address = {Berlin, Heidelberg}
}

@Article{MS14:DC,
  author = {Moser, Heinrich and Schmid, Ulrich},
  title = {Reconciling fault-tolerant distributed algorithms and real-time
  computing},
  journal = {Distributed Computing},
  year = {2014},
  volume = {27},
  pages = {203-230},
  publisher = {Springer Berlin Heidelberg},
  URL = {http://dx.doi.org/10.1007/s00446-013-0204-1}
}

@TechReport{MSSSU98,
  author = {Silvia Miksch and Ulrich Schmid and Martin Sch\"onhacker and Katrin
  Seyr and Martina Umlauft},
  title = {{E}valuierung der {I}nformatik},
  year = {1998},
  month = {November},
  number = {183/1-84},
  pages = {28 pages},
  institution = {Vienna University of Technology, Department of Automation},
  note = {(Also appeared as Institutsbericht Nr.~38, Institut f\"ur
  Computergraphik, Abteilung f\"ur Algorithmen und Programmiermethodik,
  Technische Universit\"at Wien, November~1998.)},
  URL = {http://www.auto.tuwien.ac.at}
}

@InProceedings{NFNS15:GLSVLSI,
  author = {Najvirt, Robert and Schmid, Ulrich and Hofbauer, Michael and
  F\"{u}gger, Matthias and Nowak, Thomas and Schweiger, Kurt},
  title = {Experimental Validation of a Faithful Binary Circuit Model},
  booktitle = {Proceedings of the 25th Edition on Great Lakes Symposium on
  VLSI},
  year = {2015},
  series = {GLSVLSI '15},
  pages = {355--360},
  publisher = {ACM},
  address = {New York, NY, USA},
  URL = {http://doi.acm.org/10.1145/2742060.2742081}
}

@InProceedings{NKCMS98,
  author = {Herbert Nachtnebel and Nikolaus Ker\"o and Gerhard R. Cadek and
  Thomas Mandl and Ulrich Schmid},
  title = {{R}apid {P}rototyping mit programmierbarer {L}ogik: {E}in
  {F}allbeispiel},
  booktitle = {Proceedings {AUSTROCHIP}'98},
  year = {1998},
  month = {October},
  pages = {99--104},
  address = {Wiener Neustadt, Austria},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/NKCMS98.ps}
}

@TechReport{PKS17:TR,
  author = {Prosperi, Laurent and Kuznets, Roman and Schmid, Ulrich},
  title = {Knowlege in Byzantine Message-Passing Systems},
  year = {2017},
  number = {TUW-260549},
  institution = {E185 - Institut f{\"u}r Computersprachen, E182 - Institut
  f{\"u}r Technische Informatik; Technische Universit{\"a}t Wien},
  note = {http://publik.tuwien.ac.at/files/PubDat\_260549.pdf}
}

@TechReport{PS15:TR,
  author = {Daniel Pfleger and Ulrich Schmid},
  title = {A Framework for Connectivity Monitoring in Wireless Sensor
  Networks},
  year = {2015},
  number = {TUW-241107},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},
  note = {http://publik.tuwien.ac.at/files/PubDat\_241107.pdf (appeared in
  Proc. IARIA SENSORCOMM'16, Nice, France, 2016)}
}

@InProceedings{PS16:SENSORCOMM,
  author = {Daniel Pfleger and Ulrich Schmid},
  title = {A Framework for Connectivity Monitoring in Wireless Sensor
  Networks},
  booktitle = {Proceedings 10th International Conference on Sensor Technlogies
  and Applications (SENSORCOMM'16)},
  year = {2016},
  pages = {40--48},
  publisher = {IARIA},
  note =
  {https://www.thinkmind.org/download.php?articleid=sensorcomm\_2016\_3\_10\_10013}
}

@InProceedings{PSSL13:HEX,
  author = {Martin Perner and Martin Sigl and Ulrich Schmid and Christoph
  Lenzen},
  title = {Byzantine Self-Stabilizing Clock Distribution with {HEX}:
  {I}mplementation, Simulation, Clock Multiplication},
  booktitle = {Proc.\ Sixth IARIA International Conference on Dependability
  (DEPEND'13)},
  year = {2013},
  pages = {6-15}
}

@InProceedings{RS08:PODC-BA,
  author = {Peter Robinson and Ulrich Schmid},
  title = {Brief Announcement: The Asynchronous Bounded-Cycle Model},
  booktitle = {Proceedings of the 27th ACM Symposium on Principles of
  Distributed Computing (PODC'08)},
  year = {2008},
  month = {August},
  pages = {423},
  publisher = {ACM Press},
  note = {(extended version appeared at SSS'08)},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/2466/paper.pdf}
}

@InProceedings{RS08:SSS,
  author = {Peter Robinson and Ulrich Schmid},
  title = {The {A}synchronous {B}ounded-{C}ycle {M}odel},
  booktitle = {Proceedings of the 10th International Symposium on
  Stabilization, Safety, and Security of Distributed Systems (SSS'08)},
  year = {2008},
  month = {November},
  series = {Lecture Notes in Computer Science},
  volume = {5340},
  pages = {246--262},
  publisher = {Springer Verlag},
  address = {Detroit, USA},
  note = {(Best Paper Award)},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=2398\&viewmode=paper\&year=2008}
}

@Article{RS10:TCS,
  author = {Peter Robinson and Ulrich Schmid},
  title = {The {A}synchronous {B}ounded-{C}ycle {M}odel},
  journal = {Theoretical Computer Science},
  year = {2011},
  volume = {412},
  number = {40},
  pages = {5580-5601},
  note = {http://dx.doi.org/10.1016/j.tcs.2010.08.001},
  URL = {http://www.sciencedirect.com/science/article/pii/S0304397510004184}
}

@TechReport{RSS99,
  author = {Gerda Richter and Michael Schmidt and Ulrich Schmid},
  title = {i82596 {NTI} {D}evice-{D}river Software Documentation},
  year = {1999},
  month = {February},
  number = {183/1-90},
  pages = {400 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/RSS99.ps}
}

@Article{S1,
  author = {Franz Beranek and Ulrich Schmid},
  title = {{A}ssembler mit {P}ascalelementen},
  journal = {Elektronikschau},
  year = {1983},
  month = {February},
  volume = {2},
  pages = {32-34}
}

@InProceedings{S11,
  author = {Ulrich Schmid},
  title = {Monitoring of Distributed Real-Time Systems},
  booktitle = {Proceedings NATO ASI on Real-Time Computing},
  year = {1994},
  month = {October},
  pages = {582-583},
  address = {Sint Maarten},
  note = {(Appeared as Wolfgang A. Halang and Alexander D. Stoyenko (eds.):
  Real time computing, NATO ASI Series F: Computer and Systems Sciences, Vol.
  127, 1994.)},
  URL = {./Mypapers/S11.pdf}
}

@InProceedings{S12,
  author = {Ulrich Schmid},
  title = {The Role of Standards in Real-Time Computing},
  booktitle = {Proceedings NATO ASI on Real-Time Computing},
  year = {1994},
  month = {October},
  pages = {638-639},
  address = {Sint Maarten},
  note = {(Appeared as Wolfgang A. Halang and Alexander D. Stoyenko (eds.):
  Real time computing, NATO ASI Series F: Computer and Systems Sciences, Vol.
  127, 1994.)},
  URL = {./Mypapers/S12.pdf}
}

@InProceedings{S15,
  author = {Ulrich Schmid},
  title = {On Random-Trees Arising in the Analysis of Scheduling Algorithms for
  Real-Time Systems},
  booktitle = {Seminar-Report 68 of {D}agstuhl-Seminar 9328 on ``Average Case
  Analysis of Algorithms''},
  year = {1993},
  month = {July},
  pages = {15},
  address = {Schlo\ss\ Dagstuhl, Germany}
}

@Article{S19,
  author = {Harald Haberstroh and Wolfgang Kastner and Ulrich Schmid},
  title = {{M-Module} im {D}idaktik-{E}insatz},
  journal = {Elektronik Industrie},
  year = {1994},
  volume = {10},
  pages = {90-92}
}

@MastersThesis{S2,
  author = {Ulrich Schmid},
  title = {Abz\"ahlmethoden der {T}heoretischen {I}nformatik},
  year = {1985},
  pages = {99 pages},
  school = {Technische Universit\"at Wien, Department of Algebra und Discrete
  Mathematics}
}

@Misc{S20,
  author = {Ulrich Schmid},
  title = {{ECCS}-Related Research Activities at the Department of Automation,
  {T}echnische {U}niversit\"at {W}ien},
  year = {1994},
  note = {In {\em Newsletter IEEE Technical Segment Committee on Engineering of
  Complex Computer Systems (ECCS)}, 1(2) Part A, 1994, pages 2--5.},
  URL = {./Mypapers/S20.pdf}
}

@Article{S21,
  author = {J\"urgen Meyer and Ulrich Schmid},
  title = {{Z}eit im {B}ild},
  journal = {Elektronikschau},
  year = {1995},
  month = {March},
  volume = {3},
  pages = {28-30}
}

@PhdThesis{S3,
  author = {Ulrich Schmid},
  title = {Analyse von {C}ollision {R}esolution {A}lgorithmen in
  {R}andom-{A}ccess {S}ystemen mit dominanten {\"U}bertragungskan\"alen},
  year = {1986},
  pages = {132 pages},
  school = {Technische Universit\"at Wien, Faculty of Technical and Natural
  Sciences, Department of Algebra und Discrete Mathematics}
}

@InProceedings{S36,
  author = {Ulrich Schmid},
  title = {Internet-Based Real-Time Computing},
  booktitle = {Proceedings 22nd Annual International Computer Software \&
  Applications Conference (COMPSAC'98)},
  year = {1998},
  month = {August},
  pages = {338-342},
  address = {Vienna, Austria},
  URL = {./Mypapers/S36.pdf}
}

@TechReport{SD07:MathDC,
  author = {Ulrich Schmid and Michael Drmota},
  title = {{WWTF} Project Proposal: Mathematics and Distributed Computing},
  year = {2007},
  number = {83/2007},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/docdetail.php?DID=2337&viewmode=paper&year=2007}
}

@InProceedings{SF02:byz,
  author = {Ulrich Schmid and Christof Fetzer},
  title = {Randomized Asynchronous Consensus with Imperfect Communications},
  booktitle = {22nd Symposium on Reliable Distributed Systems (SRDS'03)},
  year = {2003},
  month = {October 6--8,},
  pages = {361--370},
  address = {Florence, Italy},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/SF02\_byz.ps}
}

@TechReport{SF02:byzTR,
  author = {Ulrich Schmid and Christof Fetzer},
  title = {Randomized Asynchronous Consensus with Imperfect Communications},
  year = {2002},
  month = {January},
  number = {183/1-120},
  pages = {17 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  note = {(Extended version of \cite{SF02:byz})},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/SF02\_byzTR.ps}
}

@InProceedings{SFSF06:DSN,
  author = {Andreas Steininger and Matthias Fuegger and Ulrich Schmid and
  Gottfried Fuchs},
  title = {Fault-{T}olerant {A}lgorithms on {S}o{C}s - {A} case study},
  booktitle = {Supplemental Proceedings of the International Conference on
  Dependable Systems and Networks (DSN'06)},
  year = {2006},
  month = {June},
  pages = {190-191},
  address = {Philadelphia, USA},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1913\&viewmode=paper\&year=2006}
}

@TechReport{SHK01:morris,
  author = {Ulrich Schmid and Martin Horauer and Nikolaus Ker\"o},
  title = {{H}ochgenaue {U}hrensynchronisation in verteilten {S}ystemen},
  year = {2001},
  month = {October},
  number = {183/1-117},
  pages = {14 pages},
  institution = {Department of Automation, TU Vienna},
  URL =
  {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SHK01\_morris.ps}
}

@InProceedings{SHK99,
  author = {Ulrich Schmid and Martin Horauer and Nikolaus Ker{\"o}},
  title = {How to Distribute {GPS}-Time over {COTS}-based {LAN}s},
  booktitle = {Proceedings\ of the 31th {IEEE} Precise Time and Time Interval
  Systems and Application Meeting ({PTTI}'99)},
  year = {1999},
  month = {December},
  pages = {545--560},
  address = {Dana Point, California},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SHK99.ps}
}

@TechReport{SKBK00a,
  author = {Ulrich Schmid and Wolfgang Kastner and Bernd Burgstaller and
  Christian Kral},
  title = {{S}kriptum zur {L}abor\"ubung {P}roze\ss automatisierung},
  year = {2000},
  month = {June},
  number = {183/1-106-a},
  pages = {210 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@Article{SKMNCK99,
  author = {U. Schmid and J. Klasek and T. Mandl and H. Nachtnebel and G. R.
  Cadek and N. Ker\"o},
  title = {A {N}etwork {T}ime {I}nterface {M}-{M}odule for Distributing
  {GPS}-time over {LAN}s},
  journal = {J. Real-Time Systems},
  year = {2000},
  month = {January},
  volume = {18},
  number = {1},
  pages = {24--57}
}

@TechReport{SL93,
  author = {Ulrich Schmid and Dietmar Loy},
  title = {{FWF}-{P}rojektantrag {SynUTC} --- {S}ynchronized {UTC} for
  Distributed Real-Time Systems},
  year = {1993},
  month = {December},
  number = {183/1-39},
  type = {Technical Report},
  pages = {50 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SL93.ps}
}

@TechReport{SM99,
  author = {Ulrich Schmid and Thomas Mandl},
  title = {Implementation of the {NTI} {D}evice-{H}andler},
  year = {1999},
  month = {January},
  number = {183/1-86},
  pages = {40 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SM99.ps}
}

@InProceedings{SN99,
  author = {Ulrich Schmid and Herbert Nachtnebel},
  title = {Experimental Evaluation of High-Accuracy Time Distribution in a
  {COTS}-based {E}thernet {LAN}},
  booktitle = {Proceedings 24th {IFAC/IFIP} Workshop on Real-Time Programming
  ({WRTP}'99)},
  year = {1999},
  month = {May/June},
  pages = {59-68},
  address = {Schlo\ss\ Dagstuhl, Germany},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SN99.ps}
}

@TechReport{SP06:ProSCE,
  author = {Ulrich Schmid and Markus Proske},
  title = {{FIT-IT} Project Proposal {ProSCE}: {P}romoting Science in Computer
  Engineering},
  year = {2006},
  number = {125/2006},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}
}

@TechReport{SP07:ESiA,
  author = {Ulrich Schmid and Markus Proske},
  title = {{FIT-IT} Project Proposal {ESiA}: {E}mbedded Systems in Action},
  year = {2007},
  number = {1/2007},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}
}

@TechReport{SS01:edvlabors,
  author = {Ulrich Schmid and Robert Sablatnig},
  title = {{EDV}-{P}flichtlaborkonzept {I}nformatik},
  year = {2001},
  month = {October},
  number = {183/1-118},
  pages = {21 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{SS04:patent,
  author = {Ulrich Schmid and Andreas Steininger},
  title = {Dezentrale {F}ehlertolerante {T}aktgenerierung in {VLSI} {C}hips},
  year = {2004},
  number = {69/2004},
  type = {Research Report},
  pages = {18 pages},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  note = {International patent PCT WO2006/007619: EP 1769356, US 2009/0102534,
  ZL 200580024166.6, AT 501510},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1505\&viewmode=paper\&year=2004}
}

@TechReport{SS95,
  author = {Klaus Schossmaier and Ulrich Schmid},
  title = {{UTCSU} Functional Specification},
  year = {1995},
  month = {July},
  number = {183/1-56},
  type = {Technical Report},
  pages = {26 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SS95.ps}
}

@Article{SS97:1,
  author = {Ulrich Schmid and Klaus Schossmaier},
  title = {Interval-based Clock Synchronization},
  journal = {Real-Time Systems},
  year = {1997},
  month = {March},
  volume = {12},
  number = {2},
  pages = {173--228},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SS97\_1.ps}
}

@TechReport{SS97:2,
  author = {Ulrich Schmid and Klaus Schossmaier},
  title = {Interval-based Clock Synchronization Revisited},
  year = {1997},
  month = {July},
  number = {183/1-80},
  type = {Technical Report},
  pages = {24 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SS97\_2.ps}
}

@Article{SS99,
  author = {Ulrich Schmid and Klaus Schossmaier},
  title = {How to Reconcile Fault-Tolerant Interval Intersection with the
  {L}ipschitz Condition},
  journal = {Distributed Computing},
  year = {2001},
  month = {May},
  volume = {14},
  number = {2},
  pages = {101 -- 111},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SS99.ps}
}

@TechReport{SSFF07:SELSE,
  author = {Andreas Steininger and Ulrich Schmid and Matthias Fuegger and
  Gottfried Fuchs},
  title = {A Fault-Tolerant Distributed Algorithms Perspective of
  Systems-on-Chip},
  year = {2007},
  number = {2/2007},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}
}

@Article{SSHL97,
  author = {Klaus Schossmaier and Ulrich Schmid and Martin Horauer and Dietmar
  Loy},
  title = {Specification and Implementation of the {U}niversal {T}ime
  {C}oordinated {S}ynchronization {U}nit ({UTCSU})},
  journal = {Real-Time Systems},
  year = {1997},
  month = {May},
  volume = {12},
  number = {3},
  pages = {295--327},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SSHL97.ps}
}

@Article{SSS07:eandi,
  author = {Ulrich Schmid and Andreas Steininger and Manfred Sust},
  title = {{FIT-IT}-{P}rojekt {DARTS}: {D}ezentrale fehlertolerante
  {T}aktgenerierung},
  journal = {Elektrotechnik {\&} Informationstechnik (e{\&}i) 1-2/07, 2007},
  year = {2007},
  month = {Jan.},
  publisher = {Springer Verlag},
  note = {(Invited paper)},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=2149\&viewmode=paper\&year=2007}
}

@TechReport{SSV06:FASYLOGIC,
  author = {Ulrich Schmid and Andreas Steininger and Helmut Veith},
  title = {Towards a Systematic Design of Fault-Tolerant Asynchronous
  Circuits},
  year = {2006},
  number = {98/2006},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria},
  note = {(A short version appeared at Zuverl\"assigkeit und Design (ZuD'07))}
}

@InProceedings{SSV07:DuZ,
  author = {Ulrich Schmid and Andreas Steininger and Helmut Veith},
  title = {Towards a Systematic Design of Fault-Tolerant Asynchronous
  Circuits},
  booktitle = {Proceedings GMM/GI/ITG-Fachtagung Zuverl\"assigkeit und
  Entwurf},
  year = {2007},
  month = {March},
  pages = {173-174},
  publisher = {VDE-Verlag, Berlin, Offenbach},
  address = {Munich, Germany}
}

@TechReport{SSZ08:FATAL,
  author = {Ulrich Schmid and Andreas Steininger and Horst Zimmermann},
  title = {{FWF}-Proposal {FATAL}: {A} Modeling Framework for Fault-Tolerant
  Asynchronous Logic},
  year = {2008},
  number = {70/2008},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstrasse 1-3/182-1, 1040 Vienna, Austria}
}

@TechReport{SSZ12:EASET,
  author = {Andreas Steininger and Ulrich Schmid and Horst Zimmermann},
  title = {FWF-Proposal {EASET}: {A}ccelerator-based Experimental Analysis and
  Simulation Modeling of Single-Event Transients in {VLSI} Circuits},
  year = {2012},
  number = {61/2012},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}
}

@TechReport{SV03:FIT-IT,
  author = {Ulrich Schmid and Johann Vilanek},
  title = {{FIT-IT} Project Proposal: {S}eamless Campus},
  year = {2003},
  month = {December},
  number = {183/1-136},
  pages = {31 pages},
  institution = {Department of Automation, TU Vienna},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{SW01:hom,
  author = {Ulrich Schmid and Bettina Weiss},
  title = {Consensus with Oral/Written Messages: Link Faults Revisited},
  year = {2001},
  month = {February},
  number = {183/1-110},
  pages = {22 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  note = {(obsolete, replaced by TR 183/1-124)}
}

@TechReport{SW02:hom,
  author = {Ulrich Schmid and Bettina Weiss},
  title = {Synchronous {B}yzantine Agreement under Hybrid Process and Link
  Failures},
  year = {2002},
  month = {November},
  number = {183/1-124},
  pages = {67 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  note = {(replaces TR 183/1-110)},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/SW02\_hom.ps}
}

@TechReport{SW04:algs,
  author = {Ulrich Schmid and Bettina Weiss},
  title = {Synchronous {B}yzantine Agreement under Hybrid Process and Link
  Failures},
  year = {2004},
  number = {1/2004},
  type = {Research Report},
  pages = {45 pages},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},
  note = {(submitted)},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1319\&viewmode=published\&year=2004}
}

@TechReport{SW04:spawn,
  author = {Ulrich Schmid and Bettina Weiss},
  title = {{FWF} Project Proposal: {F}ault-Tolerant Distributed Algorithms in
  Sparse Ad Hoc Wireless Networks},
  year = {2004},
  number = {13/2004},
  type = {Research Report},
  pages = {20 pages},
  institution = {Vienna University of Technology, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1509\&viewmode=paper\&year=2004}
}

@InProceedings{SWGS99,
  author = {Ulrich Schmid and Bettina Weiss and G\"unther Gridling and Klaus
  Schossmaier},
  title = {A Unified Approach for Simulation and Experimental Evaluation of
  Fault-Tolerant Distributed Systems},
  booktitle = {Proceedings of the {IASTED} International Conference on Applied
  Modelling and Simulation ({AMS}'99)},
  year = {1999},
  month = {September 1--3,},
  pages = {43-48},
  address = {Cairns, Queensland, Australia},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SWGS99.ps}
}

@Article{SWK09,
  author = {Ulrich Schmid and Bettina Weiss and Idit Keidar},
  title = {Impossibility Results and Lower Bounds for Consensus under Link
  Failures},
  journal = {SIAM Journal on Computing},
  year = {2009},
  volume = {38},
  number = {5},
  pages = {1912-1951},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/2554/paper.pdf}
}

@InProceedings{SWR02:hom,
  author = {Ulrich Schmid and Bettina Weiss and John Rushby},
  title = {Formally Verified {B}yzantine Agreement in Presence of Link Faults},
  booktitle = {22nd International Conference on Distributed Computing Systems
  (ICDCS'02)},
  year = {2002},
  month = {July 2-5,},
  pages = {608--616},
  address = {Vienna, Austria},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/SWR02\_hom.ps}
}

@InProceedings{SWS16:ICDCN,
  author = {Schwarz, Manfred and Winkler, Kyrill and Schmid, Ulrich},
  title = {Fast Consensus Under Eventually Stabilizing Message Adversaries},
  booktitle = {Proceedings of the 17th International Conference on Distributed
  Computing and Networking},
  year = {2016},
  series = {ICDCN '16},
  pages = {7:1--7:10},
  publisher = {ACM},
  address = {New York, NY, USA},
  URL = {http://doi.acm.org/10.1145/2833312.2833323}
}

@TechReport{SWSBR13:TR,
  author = {Manfred Schwarz and Kyrill Winkler and Ulrich Schmid and Martin
  Biely and Peter Robinson},
  title = {Gracefully Degrading Consensus and $k$-set Agreement under Dynamic
  Link Failures},
  year = {2013},
  number = {TUW-220473},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},
  note = {http://publik.tuwien.ac.at/files/PubDat\_220473.pdf}
}

@InProceedings{SWSBR14:PODC,
  author = {Manfred Schwarz and Kyrill Winkler and Ulrich Schmid and Martin
  Biely and Peter Robinson},
  title = {Brief Announcement: {G}racefully Degrading Consensus and $k$-set
  Agreement under Dynamic Link Failures},
  booktitle = {Proceedings of the 33th ACM SIGACT-SIGOPS Symposium on
  Principles of Distributed Computing},
  year = {2014},
  series = {PODC '14},
  pages = {341--343},
  publisher = {ACM},
  address = {New York, NY, USA},
  URL = {http://doi.acm.org/10.1145/2611462.2611506}
}

@InProceedings{SWSBR15:NETYS,
  author = {Biely, Martin and Robinson, Peter and Schmid, Ulrich and Schwarz,
  Manfred and Winkler, Kyrill},
  title = {Gracefully Degrading Consensus and $k$-Set Agreement in Directed
  Dynamic Networks},
  booktitle = {Revised selected papers Third International Conference on
  Networked Systems (NETYS'15)},
  year = {2015},
  series = {Springer LNCS 9466},
  pages = {109--124},
  publisher = {Springer International Publishing},
  address = {Agadir, Morocco}
}

@Article{SZJH15,
  author = {Andreas Steininger and Horst Zimmermann and Axel Jantsch and
  Michael Hofbauer and Ulrich Schmid and Kurt Schweiger and Varadan Savulimedu
  Veeravalli},
  title = {Building reliable systems-on-chip in nanoscale technologies},
  journal = {Elektrotechnik und Informationstechnik},
  year = {2015},
  volume = {132},
  number = {6},
  pages = {301--306},
  URL = {http://dx.doi.org/10.1007/s00502-015-0319-0}
}

@Unpublished{SZS17,
  author = {{Schwarz}, M. and {Zeiner}, M. and {Schmid}, U.},
  title = {{Linear-Time Data Dissemination in Dynamic Networks}},
  journal = {ArXiv e-prints},
  year = {2017},
  month = {January},
  note = {ArXiv e-prints: https://arxiv.org/abs/1701.06800}
}

@InProceedings{Sch00,
  author = {Ulrich Schmid},
  title = {High-Accuracy Time Services and Fault-Tolerant Clock
  Synchronization},
  booktitle = {37th {IFIP WG10.4} Annual Meeting (Workshop on ``Time and
  Dependability''},
  year = {2000},
  month = {January 21--25,},
  pages = {39--57},
  address = {Martinique, France},
  note = {(Invited presentation)},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch00.ps}
}

@InProceedings{Sch00:dsn,
  author = {Ulrich Schmid},
  title = {How to Model Link Failures: A Perception-based Fault Model},
  booktitle = {Proceedings of the International Conference on Dependable
  Systems and Networks ({DSN'01})},
  year = {2001},
  month = {July 1--4,},
  pages = {57--66},
  address = {G\"oteborg, Sweden},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch00\_dsn.ps}
}

@TechReport{Sch00:ose,
  author = {Ulrich Schmid},
  title = {{V}erteilte {E}mbedded {S}ystems unter {OSE}},
  year = {2000},
  month = {June},
  number = {183/1-107},
  pages = {5},
  institution = {Department of Automation, TU Vienna}
}

@TechReport{Sch00:st87,
  author = {Ulrich Schmid},
  title = {A Perception-based Fault Model for Single-Round Agreement
  Algorithms},
  year = {2000},
  month = {October},
  number = {183/1-108},
  type = {Technical Report},
  pages = {15 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch00\_st87.ps}
}

@TechReport{Sch00:start,
  author = {Ulrich Schmid},
  title = {Report on 3 Years of {START}-Project {Y41-MAT}},
  year = {2000},
  month = {February},
  number = {183/1-100},
  pages = {16 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch00\_start.ps}
}

@InProceedings{Sch00:wrtp,
  author = {Ulrich Schmid},
  title = {Applied Research: A Scientist's Perspective},
  booktitle = {Proceedings joint 25th {IFAC/IFIP} Workshop on Real-Time
  Programming ({WRTP}'00) and Workshop on Algorithms and Architectures for
  Real-Time Control ({AARTC}'00)},
  year = {2000},
  month = {May},
  pages = {5--12},
  address = {Palma de Mallorca, Spain},
  note = {(Invited plenary speech)},
  URL =
  {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch00\_wrtp.ps}
}

@Book{Sch01,
  title = {START und Wittgenstein 1996--2000},
  editor = {Margit Schwarz},
  year = {2001},
  publisher = {Austrian Federal Ministry of Education, Science and Culture and
  Austrian Science Fund},
  note = {(START-Price U. Schmid, 1996)}
}

@TechReport{Sch01:TI,
  author = {Ulrich Schmid},
  title = {{B}akkalaureats- und {M}agisterstudium {T}echnische {I}nformatik},
  year = {2001},
  month = {October},
  number = {183/1-119},
  pages = {190 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@Article{Sch01:aric,
  author = {Ulrich Schmid},
  title = {Applied Research: A Scientist's Perspective},
  journal = {Annual Reviews in Control},
  year = {2001},
  volume = {25},
  pages = {183--190},
  note = {(Reprinted from \cite{Sch00:wrtp})},
  URL = {./Mypapers/Sch01_aric.pdf}
}

@TechReport{Sch03:Theta,
  author = {Ulrich Schmid},
  title = {{FWF} Project Proposal: {A}synchronous Distributed Algorithms in the
  {T}heta-Model},
  year = {2003},
  month = {December},
  number = {183/1-133},
  pages = {16 pages},
  institution = {Department of Automation, TU Vienna},
  URL =
  {http://ti.tuwien.ac.at/ecs/research/projects/theta/fulltext/Sch03\_Theta.ps}
}

@TechReport{Sch04:Y41,
  author = {Ulrich Schmid},
  title = {Final Report {START}-Project {Y41}},
  year = {2004},
  number = {19/2004},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch04\_Y41.ps}
}

@TechReport{Sch04:cov,
  author = {Ulrich Schmid},
  title = {Failure Model Coverage under Transient Link Failures},
  year = {2004},
  number = {2/2004},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},
  note = {(submitted)},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1320\&viewmode=paper}
}

@TechReport{Sch07:PSRTS,
  author = {Ulrich Schmid},
  title = {{FWF} Project Proposal: {P}artially Synchronous Distributed
  Real-Time Systems ({PSRTS})},
  year = {2007},
  number = {48/2007},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}
}

@TechReport{Sch07:RES,
  author = {Ulrich Schmid},
  title = {Proposal {U}ni-{I}nfrastruktur {IV}: {R}obust Embedded Systems},
  year = {2007},
  number = {84/2007},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/docdetail.php?DID=2338&viewmode=paper&year=2007}
}

@InProceedings{Sch07:keynote,
  author = {Ulrich Schmid},
  title = {Keynote: {A} Perspective of Fault-Tolerant Clock Synchronization},
  booktitle = {Proceedings of the IEEE International Symposium on Precision
  Clock Synchronization for Measurement, Control and Communication (ISPCS'07)},
  year = {2007},
  month = {October},
  pages = {vii},
  address = {Vienna, Austria},
  note = {(http://www.vmars.tuwien.ac.at/documents/extern/2339/ispcs.pdf)},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/2339/ispcs.pdf}
}

@TechReport{Sch08:THETA,
  author = {Ulrich Schmid},
  title = {Final Report {FWF} {Theta}-Project {(P17757-N04})},
  year = {2008},
  number = {71/2008},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}
}

@InProceedings{Sch08:keynote,
  author = {Ulrich Schmid},
  title = {Keynote: {D}istributed Algorithms and {VLSI}},
  booktitle = {Proceedings of the 10th International Symposium on
  Stabilization, Safety, and Security of Distributed Systems (SSS'08)},
  year = {2008},
  month = {November},
  series = {Lecture Notes in Computer Science},
  volume = {5340},
  pages = {3},
  publisher = {Springer Verlag},
  address = {Detroit, USA},
  note = {(http://www.vmars.tuwien.ac.at/documents/extern/2467/sss08.pdf)},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/2467/sss08.pdf}
}

@InProceedings{Sch10:FORMATS,
  author = {Ulrich Schmid},
  title = {Synchrony and Time in Fault-Tolerant Distributed Algorithms -
  (Invited Tutorial)},
  booktitle = {Proceedings Formal Modeling and Analysis of Timed Systems
  Conference (FORMATS 2010)},
  year = {2010},
  series = {Lecture Notes in Computer Science},
  volume = {6246},
  pages = {46},
  publisher = {Springer}
}

@TechReport{Sch13:PSRTS,
  author = {Ulrich Schmid},
  title = {Final Report {FWF} {PSRTS}-Project {(P20529)}},
  year = {2013},
  number = {TUW-235379},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},
  note = {http://publik.tuwien.ac.at/files/PubDat\_235379.pdf}
}

@TechReport{Sch14:ADynNet,
  author = {Ulrich Schmid},
  title = {{FWF}-Proposal {ADynNet}: {G}racefully Degrading Agreement in
  Directed Dynamic Networks},
  year = {2014},
  number = {TUW-235381},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},
  note = {http://publik.tuwien.ac.at/files/PubDat\_235381.pdf}
}

@TechReport{Sch14:FATAL,
  author = {Ulrich Schmid},
  title = {Final Report {FWF} {FATAL}-Project {(P21694)}},
  year = {2013},
  number = {TUW-235380},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},
  note = {http://publik.tuwien.ac.at/files/PubDat\_235380.pdf}
}

@InProceedings{Sch16:Dagstuhl,
  author = {Ulrich Schmid},
  title = {Easy Impossibility Proofs for k-Set Agreement},
  booktitle = {Report Dagstuhl-Seminar 16282 {Topological Methods in
  Distributed Computing}},
  editor = {Dmitry Feichtner-Kozlov and Damien Imbs},
  year = {2016},
  volume = {6(7)},
  pages = {39},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6761}
}

@InProceedings{Sch94,
  author = {Ulrich Schmid},
  title = {Synchronized {UTC} for Distributed Real-Time Systems},
  booktitle = {Proceedings 19th {IFAC/IFIP} Workshop on Real-Time Programming
  ({WRTP}'94)},
  year = {1994},
  pages = {101--107},
  address = {Lake Reichenau, Germany},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch94.ps}
}

@TechReport{Sch94b,
  author = {Ulrich Schmid},
  title = {An Annotated Bibliography on Clock Synchronization in Distributed
  Systems},
  year = {1994},
  month = {December},
  number = {183/1-45},
  pages = {14 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  note = {(incomplete)},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch94b.ps}
}

@Article{Sch95,
  author = {Ulrich Schmid},
  title = {Synchronized {U}niversal {T}ime {C}oordinated for Distributed
  Real-Time Systems},
  journal = {Control Engineering Practice},
  year = {1995},
  volume = {3},
  number = {6},
  pages = {877-884},
  note = {(Reprint from \cite{Sch94})},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch95.ps}
}

@InProceedings{Sch96,
  author = {Ulrich Schmid},
  title = {Interval-Based Clock Synchronization},
  booktitle = {Seminar-Report 138 of {D}agstuhl-Seminar 9611 on ``Time
  Services''},
  year = {1996},
  month = {March},
  pages = {7},
  address = {{S}chlo\ss\ {D}agstuhl, {G}ermany},
  note = {(Reprinted in Real-Time Systems 12(3):334, 1997)}
}

@Proceedings{Sch97,
  title = {Special Issue on The Challenge of Global Time in Large-Scale
  Distributed Real-Time Systems},
  editor = {Ulrich Schmid},
  year = {1997},
  series = {J. Real-Time Systems 12(1--3)},
  pages = {360 p.}
}

@TechReport{Sch97:baur,
  author = {Ulrich Schmid},
  title = {{K}abel-{F}ehlerortung mit {S}yn{UTC}},
  year = {1997},
  month = {July},
  number = {183/1-81},
  type = {Technical Report},
  pages = {20 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  note = {(Patent: {G}erman {G}ebrauchsmuster 296 23086.3)},
  URL =
  {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch97\_baur.ps}
}

@Article{Sch97:es,
  author = {Ulrich Schmid},
  title = {{H}ochgenaue {U}hrensynchronisation \"uber {LAN}s},
  journal = {Elektronikschau},
  year = {1997},
  month = {October},
  volume = {10},
  pages = {20--23},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch97\_es.ps}
}

@Article{Sch97:oa,
  author = {Ulrich Schmid},
  title = {Orthogonal Accuracy Clock Synchronization},
  journal = {Chicago Journal of Theoretical Computer Science},
  year = {2000},
  volume = {2000},
  number = {3},
  pages = {3--77},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch97\_oa.ps}
}

@Article{Sch97:op,
  author = {Ulrich Schmid and Klaus Schossmaier},
  title = {Interval-based Clock Synchronization with Optimal Precision},
  journal = {Information and Computation},
  year = {2003},
  month = {October},
  volume = {186},
  number = {1},
  pages = {36-77},
  URL = {http://authors.elsevier.com/sd/article/S0890540103001032}
}

@InProceedings{Sch98,
  author = {Ulrich Schmid},
  title = {Challenges in Interval-Based Clock Synchronization},
  booktitle = {Seminar-Report 185 of {D}agstuhl-Seminar 9728 on ``Average Case
  Analysis of Algorithms''},
  year = {1997},
  month = {July 7--11,},
  pages = {19-20},
  address = {Schlo\ss\ Dagstuhl, Germany},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch98.ps}
}

@TechReport{Sch99:Lehrkap,
  author = {Ulrich Schmid},
  title = {{L}ehrbedarfs- und {L}ehrkapazit\"atserhebung f\"ur die
  {T}echnisch-{N}aturwissenschaftlichen {F}akult\"at der {TU}-{W}ien},
  year = {1999},
  month = {October},
  number = {183/1-98},
  pages = {100 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{Sch99:w2f,
  author = {Ulrich Schmid},
  title = {Basic Features of the Wireline/Wireless Factory/Facility Fieldbus},
  year = {1999},
  month = {August},
  number = {183/1-95},
  pages = {5 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch99\_w2f.ps}
}

@Article{TMS08,
  author = {Bernd Thallner and Heinrich Moser and Ulrich Schmid},
  title = {Topology Control for Fault-Tolerant Communication in Wireless Ad-Hoc
  Networks},
  journal = {Wireless Networks},
  year = {2010},
  volume = {16},
  number = {2},
  pages = {387-404},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/2522/journal.pdf}
}

@TechReport{TS03:FTCT,
  author = {Bernd Thallner and Ulrich Schmid},
  title = {Fault Tolerant Communication Topologies for Wireless Ad Hoc
  Networks},
  year = {2003},
  month = {December},
  number = {183/1-132},
  pages = {13 pages},
  institution = {Department of Automation, TU Vienna},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/TS03\_FTCT.ps}
}

@TechReport{TS04:ecftct,
  author = {Bernd Thallner and Ulrich Schmid},
  title = {Distributed Construction of Sparse Fault-Tolerant Overlay Networks},
  year = {2004},
  number = {35/2004},
  type = {Research Report},
  pages = {12 pages},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},
  note = {(submitted)},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1412\&viewmode=paper\&year=2004}
}

@TechReport{US99:GPS-Driver,
  author = {Martina Umlauft and Ulrich Schmid},
  title = {{GPS} {D}evice-{D}river Software Documentation},
  year = {1999},
  month = {October},
  number = {183/1-97},
  pages = {110 pages},
  institution = {Technische Universit\"at Wien, Department of Automation},
  URL =
  {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/US99\_GPS-Driver.ps}
}

@InProceedings{VPSS12:DSD,
  author = {Varadan Savulimedu Veeravalli and Thomas Polzer and Andreas
  Steininger and Ulrich Schmid},
  title = {Architecture and Design Analysis of a Digital Single-Event
  Transient/Upset Measurement Chip},
  booktitle = {Proceedings 15th Euromicro Symposium on Digital System Design:
  Architectures, Methods and Tools (DSD'12)},
  year = {2012},
  month = {sep},
  pages = {8-17},
  note = {(best paper award)}
}

@Article{VPSS13:MICPRO,
  author = {Varadan Savulimedu Veeravalli and Thomas Polzer and Andreas
  Steininger and Ulrich Schmid and Michael Hofbauer and Kurt Schweiger and
  Horst Dietrich and Kerstin Schneider-Hornstein and Horst Zimmermann and
  Kay-Obbe Voss and Bruno Merk and Michael Hajek},
  title = {An Infrastructure for Accurate Characterization of Single-Event
  Transients in Digital Circuits},
  journal = {Microprocessors and Microsystems},
  year = {2013},
  volume = {37},
  number = {8-A},
  pages = {772-791},
  publisher = {Elsevier},
  URL = {http://www.sciencedirect.com/science/article/pii/S0141933113000598}
}

@InProceedings{VSS14:ISQED,
  author = {Varadan Savulimedu Veeravalli and Andreas Steininger and Ulrich
  Schmid},
  title = {Measuring {SET} Pulsewidths in Logic Gates using Digital
  Infrastructure},
  booktitle = {Proceedings Internationsal Symposium on Quality of Electronic
  Design (ISQED'14)},
  year = {2014},
  pages = {236--242},
  URL = {http://dx.doi.org/10.1109/ISQED.2014.6783331}
}

@Article{VSS17:MICPRO,
  author = {Varadan Savulimedu Veeravalli and Andreas Steininger and Ulrich
  Schmid},
  title = {A versatile architecture for long-term monitoring of single-event
  transient durations},
  journal = {Microprocessors and Microsystems},
  year = {2017},
  volume = {53},
  number = {Supplement C},
  pages = {130 - 144},
  URL = {http://www.sciencedirect.com/science/article/pii/S0141933117303708}
}

@InProceedings{WGSS99,
  author = {Bettina Weiss and G\"unther Gridling and Ulrich Schmid and Klaus
  Schossmaier},
  title = {The {SimUTC} Fault-Tolerant Distributed Systems Simulation Toolkit},
  booktitle = {Proceedings 7th International Symposium on Modeling, Analysis
  and Simulation of Computer and Telecommunication Systems ({MASCOTS}'99)},
  year = {1999},
  month = {October 24--28,},
  pages = {68--75},
  address = {College Park, MD, USA},
  URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/WGSS99.ps}
}

@TechReport{WLS03,
  author = {Widder, Josef and Le Lann, G\'erard and Schmid, Ulrich},
  title = {Perfect Failure Detection with Booting in Partially Synchronous
  Systems},
  year = {2003},
  month = {April},
  number = {183/1-131},
  pages = {13 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  note = {(preliminary version of \cite{WLS05:EDCC})},
  URL = {http://ti.tuwien.ac.at/ecs/research/projects/theta/fulltext/WLS03.ps}
}

@InProceedings{WLS05:EDCC,
  author = {Widder, Josef and Le Lann, G{\'e}rard and Schmid, Ulrich},
  title = {Failure Detection with Booting in Partially Synchronous Systems},
  booktitle = {Proceedings of the 5th European Dependable Computing Conference
  (EDCC-5)},
  year = {2005},
  month = {April},
  series = {LNCS},
  volume = {3463},
  pages = {20--37},
  publisher = {Springer Verlag},
  address = {Budapest, Hungary},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1612\&viewmode=published\&year=2005}
}

@InProceedings{WS01:srds,
  author = {Bettina Weiss and Ulrich Schmid},
  title = {Consensus with Written Messages under Link Faults},
  booktitle = {20th Symposium on Reliable Distributed Systems (SRDS'01)},
  year = {2001},
  month = {October 28--31,},
  pages = {194--197},
  address = {New Orleans, LA, USA},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/WS01\_srds.ps}
}

@TechReport{WS01:wm,
  author = {Bettina Weiss and Ulrich Schmid},
  title = {Consensus with Written Messages under Link Faults},
  year = {2001},
  month = {March},
  number = {183/1-114},
  pages = {10 pages},
  institution = {Department of Automation, Technische Universit\"at Wien},
  note = {(extended version of \cite{WS01:srds})},
  URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/WS01\_wm.ps}
}

@TechReport{WS05:dynamic,
  author = {Josef Widder and Ulrich Schmid},
  title = {Achieving Synchrony without Clocks},
  year = {2005},
  number = {49/2005},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  note = {(to appear in Distributed Computing, 2009)},
  URL =
  {http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1724\&viewmode=paper\&year=2005}
}

@Article{WS07:DC,
  author = {Josef Widder and Ulrich Schmid},
  title = {Booting Clock Synchronization in Partially Synchronous Systems with
  Hybrid Process and Link Failures},
  journal = {Distributed Computing},
  year = {2007},
  month = {August},
  volume = {20},
  number = {2},
  pages = {115--140},
  publisher = {Springer Verlag}
}

@Article{WS09:DC,
  author = {Josef Widder and Ulrich Schmid},
  title = {The {T}heta-{M}odel: Achieving Synchrony without Clocks},
  journal = {Distributed Computing},
  year = {2009},
  month = {April},
  volume = {22},
  number = {1},
  pages = {29--47},
  publisher = {Springer Verlag},
  URL = {http://www.vmars.tuwien.ac.at/documents/extern/1724/paper.pdf}
}

@Article{WSS16:arxiv,
  author = {Kyrill Winkler and Manfred Schwarz and Ulrich Schmid},
  title = {Consensus in Directed Dynamic Networks with Short-Lived Stability},
  journal = {CoRR},
  year = {2016},
  volume = {abs/1602.05852},
  note = {(submitted)},
  URL = {http://arxiv.org/abs/1602.05852}
}

@TechReport{ZSSB16:SPRG,
  author = {Martin Zeiner and Ulrich Schmid and Udo Schilcher and Christian
  Bettstetter},
  title = {{FWF}-Proposal {SPRG}: {S}tructural Properties of Random Graphs},
  year = {2016},
  number = {TUW-544205},
  type = {Research Report},
  institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische
  Informatik},
  address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},
  note = {http://publik.tuwien.ac.at/files/PubDat\_544205.pdf}
}

@TechReport{bli:schedul,
  author = {Johann Blieberger and Ulrich Schmid},
  title = {Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A
  Novel Approach},
  year = {1991},
  month = {January},
  number = {183/1-15},
  pages = {8 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{drm:aloha,
  author = {Michael Drmota and Ulrich Schmid},
  title = {The Analysis of the Expected Successful Operation Time of Slotted
  {ALOHA}},
  year = {1992},
  month = {December},
  number = {183/1-33},
  pages = {29 pages},
  institution = {Vienna University of Technology, Department of Automation},
  note = {(Extension of \cite{10})},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{hon:instr,
  author = {Thomas Hontsch and Ulrich Schmid},
  title = {{I}nstrumentierung auf {S}ourcecode-{L}evel},
  year = {1992},
  month = {January},
  number = {183/1-26},
  pages = {45 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:EDVTNF,
  author = {Ulrich Schmid and Winfried Auzinger and Robert Sablatnig and
  Karlheinz Schwarz and Herbert St\"ori and Bruno W\"ohrer},
  title = {{EDV}-{L}aborkonzept f\"ur die {F}akult\"at {TNF}},
  year = {1998},
  month = {December},
  number = {183/1-85},
  pages = {36 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:SSCMPb,
  author = {Ulrich Schmid and Dietmar Loy and Wolfgang Kastner},
  title = {Project Proposal {SSCMP}: {S}equenced {S}ynchronized {C}lock
  {M}ulticast {P}rotocol},
  year = {1995},
  month = {August},
  number = {183/1-58},
  pages = {31 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:START,
  author = {Ulrich Schmid},
  title = {Application to {START}},
  year = {1996},
  month = {January},
  number = {183/1-65},
  pages = {50 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:avCRIlencap,
  author = {Ulrich Schmid},
  title = {The Average {CRI}-Length of a Tree Collision Resolution Algorithm in
  Presence of Multiplicity-Dependent Capture Effects},
  year = {1991},
  month = {May},
  number = {183/1-19},
  pages = {17 pages},
  institution = {Vienna University of Technology, Department of Automation},
  note = {(Extension of \cite{11})},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:dobos,
  author = {Ulrich Schmid and Wolfgang Kastner},
  title = {{DOBOS} - {K}onzept eines Distributed Object-Based Operating
  Systems},
  year = {1993},
  month = {December},
  number = {183/1-40},
  pages = {18 pages},
  institution = {Vienna University of Technology, Department of Automation},
  note = {(Extension of \cite{20})},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:labor,
  author = {Ulrich Schmid and Werner Staringer},
  title = {{G}eschichte des {I}nformatik-{L}abors {T}reitlstra\ss e 3, 1.
  {S}tock},
  year = {1995},
  month = {July},
  number = {183/1-57},
  pages = {7 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:lan,
  author = {Ulrich Schmid},
  title = {{D}as {W}orkstation-{LAN} der {A}bteilung
  {A}utomatisierungssysteme},
  year = {1991},
  month = {October},
  number = {183/1-25},
  pages = {30 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:lupa,
  author = {Ulrich Schmid and Stefan St\"ockler},
  title = {Konzept der {L}abor\"ubung {P}roze\ss automatisierung},
  year = {1991},
  month = {June},
  number = {183/1-21},
  pages = {300 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:size,
  author = {Ulrich Schmid},
  title = {Determining the Size of Dedicated Shared Memory Areas for
  Client-Server Applications},
  year = {1993},
  month = {August},
  number = {183/1-44},
  pages = {17 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:static_prio,
  author = {Ulrich Schmid},
  title = {Static Priority Scheduling of Aperiodic Real-Time Tasks},
  year = {1994},
  month = {May},
  number = {183/1-47},
  pages = {70 pages},
  institution = {Vienna University of Technology, Department of Automation},
  note = {(Extension of \cite{22})},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:stellenbewirtschaftung,
  author = {Ulrich~Schmid},
  title = {Stellenbewirtschaftungsmodell f\"ur die {F}akult\"at {TNF} und die
  {F}achgruppe {I}nformatik},
  year = {1998},
  month = {February},
  number = {183/1-82},
  pages = {65 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:vta,
  author = {Ulrich Schmid},
  title = {{FWF-P}rojektantrag {V}ersatile {T}iming {A}nalyzer ({VTA})},
  year = {1991},
  month = {June},
  number = {183/1-22},
  pages = {50 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}

@TechReport{sch:zusatz_fwf,
  author = {Ulrich Schmid},
  title = {{Z}usatzantrag zum {FWF-P}rojekt {VTA}},
  year = {1993},
  month = {April},
  number = {183/1-36},
  pages = {23 pages},
  institution = {Vienna University of Technology, Department of Automation},
  URL = {http://www.auto.tuwien.ac.at}
}