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 = {https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=259641}
}

@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}
}

@InProceedings{AKPR18:PODC,
author = {Yehuda Afek and Idit Keidar and Boaz Patt{-}Shamir and Sergio
Rajsbaum and Ulrich Schmid and Gadi Taubenfeld},
title = {2018 Edsger W. Dijkstra Prize in Distributed Computing},
booktitle = {Proceedings of the 2018 {ACM} Symposium on Principles of
Distributed Computing, {PODC} 2018, Egham, United Kingdom, July 23-27, 2018},
year = {2018},
pages = {1},
URL = {https://doi.org/10.1145/3212734.3232540}
}

@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},
volume = {726},
pages = {41--77},
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},
volume = {82},
number = {5},
pages = {929--956}
}

@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{\"u}gger and Markus Posch and Ulrich
Schmid and Andreas Steininger and Christoph Lenzen},
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}
}

@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 = {Chuchu Fan and Yu Meng and J{\"{u}}rgen Maier and Ezio Bartocci and
Sayan Mitra and Ulrich Schmid},
title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems,
{ADHS} 2018, Oxford, UK, July 11-13, 2018},
year = {2018},
pages = {241--246},
URL = {https://doi.org/10.1016/j.ifacol.2018.08.041}
}

@Article{FMMB18:arxiv,
author = {Chuchu Fan and Yu Meng and J{\"{u}}rgen Maier and Ezio Bartocci and
Sayan Mitra and Ulrich Schmid},
title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
journal = {CoRR},
year = {2018},
volume = {abs/1803.02975},
URL = {http://arxiv.org/abs/1803.02975}
}

@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},
note = {(best paper award nomination)}
}

@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}
}

@Article{FNNS19:TCAD,
author = {M. {Függer} and R. {Najvirt} and T. {Nowak} and U. {Schmid}},
title = {A Faithful Binary Circuit Model},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits
and Systems},
year = {2020},
month = {October},
volume = {39},
number = {10},
pages = {2784-2797}
}

@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}
}

@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{GWSR19:SSS,
author = {Hugo Rincon Galeana and Kyrill Winkler and Ulrich Schmid and Sergio
Rajsbaum},
title = {A Topological View of Partitioning Arguments: Reducing k-Set
Agreement to Consensus},
booktitle = {Stabilization, Safety, and Security of Distributed Systems -
21st International Symposium, {SSS} 2019, Pisa, Italy, October 22-25, 2019,
Proceedings},
year = {2019},
series = {Lecture Notes in Computer Science},
volume = {11914},
pages = {307--322},
publisher = {Springer},
URL = {https://doi.org/10.1007/978-3-030-34992-9\_25}
}

@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{JLPS19:PODCDDA,
author = {Prasad Jayanti and Nancy A. Lynch and Boaz Patt{-}Shamir and Ulrich
Schmid},
title = {2019 Principles of Distributed Computing Doctoral Dissertation
Award},
booktitle = {Proceedings of the 2019 {ACM} Symposium on Principles of
Distributed Computing, {PODC} 2019, Toronto, ON, Canada, July 29 - August 2,
2019.},
year = {2019},
pages = {2},
URL = {https://doi.org/10.1145/3293611.3341565}
}

@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}
}

@InCollection{KPSF19:FroCos,
author = {Kuznets, Roman and Prosperi, Laurent and Schmid, Ulrich and Fruzsa,
Krisztina},
title = {Epistemic Reasoning with Byzantine-Faulty Agents},
booktitle = {FroCoS 2019: Frontiers of Combining Systems},
year = {2019},
pages = {259--276},
publisher = {Springer}
}

@InProceedings{KPSF19:TARK,
author = {Kuznets, Roman and Prosperi, Laurent and Schmid, Ulrich and Fruzsa,
Krisztina},
title = {Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems},
booktitle = {TARK 2019: Theoretical Aspects of Rationality and Knowledge},
year = {2019},
pages = {293--312},
publisher = {Open Publishing Association}
}

@TechReport{KPSFG19:TR,
author = {Kuznets, Roman and Prosperi, Laurent and Schmid, Ulrich and Fruzsa,
Krisztina and Gr{\'e}aux, Lucas},
title = {Knowlege in Byzantine Message-Passing Systems I: Framework and the
Causal Cone},
year = {2019},
number = {TUW-260549},
institution = {E191 - Institut f{\"u}r Computer Engineering; Technische
Universit{\"a}t Wien},
URL = {https://publik.tuwien.ac.at/files/publik_260549.pdf}
}

@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}
}

@InProceedings{MFNS19:ASYNC,
author = {J{\"{u}}rgen Maier and Matthias F{\"{u}}gger and Thomas Nowak and
Ulrich Schmid},
title = {Transistor-Level Analysis of Dynamic Delay Models},
booktitle = {25th {IEEE} International Symposium on Asynchronous Circuits and
Systems, {ASYNC} 2019, Hirosaki, Japan, May 12-15, 2019},
year = {2019},
pages = {76--85},
publisher = {{IEEE}},
URL = {https://doi.org/10.1109/ASYNC.2019.00019}
}

@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}
}

@InProceedings{NSW19:PODC,
author = {Thomas Nowak and Ulrich Schmid and Kyrill Winkler},
title = {Topological Characterization of Consensus under General Message
Adversaries},
booktitle = {Proceedings of the 2019 {ACM} Symposium on Principles of
Distributed Computing, {PODC} 2019, Toronto, ON, Canada, July 29 - August 2,
2019.},
year = {2019},
pages = {218--227},
note = {(full version: http://arxiv.org/abs/1905.09590)},
URL = {https://doi.org/10.1145/3293611.3331624}
}

@InProceedings{OMFS19:patmos,
author = {Daniel {\"{O}}hlinger and J{\"{u}}rgen Maier and Matthias
F{\"{u}}gger and Ulrich Schmid},
title = {The Involution Tool for Accurate Digital Timing and Power Analysis},
booktitle = {29th International Symposium on Power and Timing Modeling,
Optimization and Simulation, {PATMOS} 2019, Rhodes, Greece, July 1-3, 2019},
year = {2019},
pages = {1--8},
publisher = {{IEEE}},
URL = {https://doi.org/10.1109/PATMOS.2019.8862165}
}

@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/publik\_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},
URL =
{https://www.thinkmind.org/download.php?articleid=sensorcomm\_2016\_3\_10\_10013}
}

@InProceedings{PS18:IOLTS,
author = {Martin Perner and Ulrich Schmid},
title = {Self-Stabilizing High-Speed Communication in Multi-Synchronous
{GALS} Architectures},
booktitle = {24th {IEEE} International Symposium on On-Line Testing And
Robust System Design, {IOLTS} 2018, Platja D'Aro, Spain, July 2-4, 2018},
year = {2018},
pages = {157--164},
URL = {https://doi.org/10.1109/IOLTS.2018.8474221}
}

@InProceedings{PS18:SIROCCO,
author = {Daniel Pfleger and Ulrich Schmid},
title = {On Knowledge and Communication Complexity in Distributed Systems},
booktitle = {Structural Information and Communication Complexity - 25th
International Colloquium, {SIROCCO} 2018, Ma'ale HaHamisha, Israel, June
18-21, 2018, Revised Selected Papers},
year = {2018},
pages = {312--330},
URL = {https://doi.org/10.1007/978-3-030-01325-7\_27}
}

@TechReport{PS18:TR2,
author = {Daniel Pfleger and Ulrich Schmid},
title = {On Knowledge and Communication Complexity in Distributed Systems},
year = {2018},
number = {TUW-269752},
institution = {Technische Universit{\"a}t Wien, Institute of Computer
Engineering},
note = {(appeared in Proc. SIROCCO'18)},
URL = {http://publik.tuwien.ac.at/files/publik\_269752.pdf}
}

@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},
URL =
{https://www.thinkmind.org/index.php?view=article&articleid=depend_2013_1_20_60013}
}

@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}
}

@InProceedings{SSW18:SIROCCO,
author = {Ulrich Schmid and Manfred Schwarz and Kyrill Winkler},
title = {On the Strongest Message Adversary for Consensus in Directed Dynamic
Networks},
booktitle = {Structural Information and Communication Complexity - 25th
International Colloquium, {SIROCCO} 2018, Ma'ale HaHamisha, Israel, June
18-21, 2018, Revised Selected Papers},
year = {2018},
pages = {102--120},
URL = {https://doi.org/10.1007/978-3-030-01325-7\_13}
}

@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}
}

@Proceedings{SW18:DISC,
title = {32nd International Symposium on Distributed Computing, {DISC} 2018,
New Orleans, LA, USA, October 15-19, 2018},
editor = {Ulrich Schmid and Josef Widder},
year = {2018},
series = {LIPIcs},
volume = {121},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
URL = {http://www.dagstuhl.de/dagpub/978-3-95977-092-7}
}

@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 = {https://epubs.siam.org/doi/pdf/10.1137/S009753970443999X}
}

@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/publik\_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/publik\_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/publik\_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/publik\_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}
}

@TechReport{Sch18:DMAC,
author = {Ulrich Schmid},
title = {{FWF}-Proposal {DMAC}: {D}igital {M}odeling of {A}synchronous
{I}ntegrated {C}ircuits},
year = {2018},
number = {TUW-278607},
type = {Research Report},
institution = {TU Wien, Institute for Computer Engineering (E191-02)},
address = {Treitlstr.\ 1-3/191-02, 1040 Vienna, Austria},
note = {http://publik.tuwien.ac.at/files/publik\_278607.pdf}
}

@Article{Sch19:BHons,
author = {Schmid, Ulrich},
title = {Design and Implementation of the Bachelor with Honors Program at TU
Wien},
journal = {Journal of the European Honors Council},
year = {2019},
volume = {3},
number = {2},
URL = {https://www.jehc.eu/index.php/jehc/article/view/113/87}
}

@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{WS19:EATCS,
author = {Kyrill Winkler and Ulrich Schmid},
title = {An Overview of Recent Results for Consensus in Directed Dynamic
Networks},
journal = {Bulletin of the {EATCS}},
year = {2019},
volume = {128},
URL = {http://bulletin.eatcs.org/index.php/beatcs/article/view/581}
}

@InProceedings{WSM19:OPODIS,
author = {Kyrill Winkler and Ulrich Schmid and Yoram Moses},
title = {A Characterization of Consensus Solvability for Closed Message
Adversaries},
booktitle = {23rd International Conference on Principles of Distributed
Systems, {OPODIS} 2019, December 17-19, 2019, Neuch{\^{a}}tel, Switzerland},
year = {2019},
series = {LIPIcs},
volume = {153},
pages = {17:1--17:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
URL = {https://doi.org/10.4230/LIPIcs.OPODIS.2019.17}
}

@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}
}

@Article{WSS19:DC,
author = {Kyrill Winkler and Manfred Schwarz and Ulrich Schmid},
title = {Consensus in Directed Dynamic Networks with Short-Lived Stability},
journal = {Distributed Computing},
year = {2019},
volume = {32},
number = {5},
pages = {443-458},
URL = {https://doi.org/10.1007/s00446-019-00348-0}
}

@Article{ZSS18:DAM,
author = {Martin Zeiner and Manfred Schwarz and Ulrich Schmid},
title = {On linear-time data dissemination in dynamic rooted trees},
journal = {Discrete Applied Mathematics},
year = {2019},
volume = {255},
pages = {307 - 319},
URL = {http://www.sciencedirect.com/science/article/pii/S0166218X18304542}
}

@Article{ZSS19:DAM,
author = {Zeiner, Martin and Schwarz, Manfred and Schmid, Ulrich},
title = {On Linear-Time Data Dissemination in Dynamic Rooted Trees},
journal = {Discrete Applied Mathematics},
year = {2019},
volume = {255},
pages = {307--319},
URL = {https://www.sciencedirect.com/science/article/pii/S0166218X18304542}
}

@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/publik\_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}
}