BibTeX Entries

% BibTeX bibliography file

 

@Article{1,

author = {Ulrich Schmid},

title = {On a Tree Collision Resolution Algorithm in Presence of Capture},

journal = {RAIRO Informatique Theorique et Applications/Theoretical

Informatics and Applications},

year = {1992},

volume = {26},

number = {2},

pages = {163-197},

URL = {./Mypapers/1.pdf}

}

 

@Article{10,

author = {Michael Drmota and Ulrich Schmid},

title = {The Analysis of the Expected Successful Operation Time of Slotted

{ALOHA}},

journal = {IEEE Transactions on Information Theory},

year = {1993},

volume = {39},

number = {5},

pages = {1567-1577},

URL = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isNumber=6560}

}

 

@InProceedings{11,

author = {Ulrich Schmid},

title = {The average {CRI}-length of a Tree Collision Resolution Algorithm in

Presence of Multiplicity-Dependent Capture Effects},

booktitle = {Proceedings 19th International Colloquium on Automata,

Languages, and Programming (ICALP'92)},

year = {1992},

month = {July},

pages = {223-234},

address = {Vienna, Austria},

note = {(Appeared as Lecture Notes on Computer Science 623, Springer-Verlag,

1992)},

URL = {./Mypapers/11.pdf}

}

 

@InProceedings{12,

author = {Ulrich Schmid and Stefan St\"ockler},

title = {A Versatile Monitoring System for Distributed Real-Time Systems},

booktitle = {Proceedings 11th IFAC Symposium on Computer Systems in

Safety-Critical Applications (SAFECOMP'92)},

year = {1992},

month = {October},

pages = {203-208},

address = {Z\"urich, Switzerland}

}

 

@Article{13,

author = {Ulrich Schmid},

title = {Monitoring Distributed Real-Time Systems},

journal = {Real-Time Systems},

year = {1994},

volume = {7},

pages = {33-56}

}

 

@InProceedings{14,

author = {Ulrich Schmid and Wolfgang Kastner},

title = {Monitoring of Distributed Real-Time Systems: {T}he {V}ersatile

{T}iming {A}nalyzer ({VTA})},

booktitle = {Proceedings Workshop on Performance Measurement and

Visualization of Parallel Systems},

year = {1993},

pages = {277-302},

address = {Moravany/CSFR (October 1992)},

note = {(Preliminary version of \cite{13})}

}

 

@InProceedings{16,

author = {Ulrich Schmid and Harald Haberstroh and Stefan St\"ockler},

title = {Process Control Education for Computer Science: {F}acts and

Fiction},

booktitle = {Proceedings SEFI/TEMPUS JEP 2011 - IMPACT Workshop on Computer

Science Topics for Control Engineering Education},

year = {1993},

month = {September},

pages = {13-22},

address = {Vienna, Austria},

URL = {./Mypapers/16.pdf}

}

 

@InBook{17,

author = {Ulrich Schmid},

title = {Monitoring in verteilten {E}chtzeitsystemen},

booktitle = {Echtzeitsysteme und {F}uzzy {C}ontrol},

year = {1994},

pages = {265-276},

publisher = {Viehweg-Verlag},

note = {(Reprint of \cite{9})}

}

 

@Article{2,

author = {Ulrich Schmid},

title = {On the Asymptotics of the Average {CRI}-Length of the Slotted

{ALOHA} Collision Resolution Algorithm},

journal = {Applied Mathematics and Computation},

year = {1992},

volume = {48},

pages = {59-70}

}

 

@InProceedings{20,

author = {Ulrich Schmid and Wolfgang Kastner},

title = {{DOBOS}: {E}in {D}istributed {O}bject-{B}ased {O}perating {S}ystem

f\"ur {S}oft {R}eal-{T}ime {S}ystems},

booktitle = {Proceedings Echtzeit'94},

year = {1994},

pages = {130-136},

address = {Hamburg, Germany},

URL = {./Mypapers/20.pdf}

}

 

@Article{21,

author = {Ulrich Schmid and Alfred Pusterhofer},

title = {{SSCMP}: {T}he Sequenced Synchronized Clock Message Protocol},

journal = {Computer Networks and ISDN Systems},

year = {1995},

volume = {27},

pages = {1615-1632},

URL = {./Mypapers/21.pdf}

}

 

@Article{22,

author = {Ulrich Schmid},

title = {Static Priority Scheduling of Aperiodic Real-Time Tasks},

journal = {Random Structures and Algorithms},

year = {1997},

volume = {10},

number = {1-2},

pages = {257-303},

URL = {./Mypapers/22.pdf}

}

 

@Article{23,

author = {Ulrich Schmid},

title = {Random Trees in Queueing Systems with Deadlines},

journal = {Theoretical Computer Science},

year = {1995},

volume = {144},

number = {1-2},

pages = {277-314},

note = {(Habilitationsschrift)},

URL = {./Mypapers/23.pdf}

}

 

@InProceedings{24,

author = {Wolfgang A. Halang and F.-J. Koller and Ulrich Schmid and M.

Witte},

title = {Untersuchung des {Z}eitverhaltens {V}erteilter {E}chtzeitsysteme},

booktitle = {Proceedings Echtzeit'95},

year = {1995},

month = {June},

pages = {101-107},

URL = {./Mypapers/24.pdf}

}

 

@InProceedings{25,

author = {Ulrich Schmid and Wolfgang Kastner and Harald Haberstroh},

title = {Process Control Education for Computer Science: {F}rom Fiction Back

to Facts},

booktitle = {Proceedings TEMPUS JEP 07759 - MODIFY Workshop on Automation and

Control Engineering in Higher Education},

year = {1995},

month = {July},

pages = {135-147},

address = {Vienna, Austria},

URL = {./Mypapers/25.pdf}

}

 

@InBook{28,

author = {Ulrich Schmid and Wolfgang Kastner},

title = {{DOBOS}: {E}in Distributed Object-Based Operating System f\"ur Soft

Real-Time Systems},

booktitle = {Echtzeitsysteme und objektorientierter Entwurf},

year = {1996},

pages = {3-13},

publisher = {Viehweg-Verlag},

note = {(Reprint of \cite{20})},

URL = {./Mypapers/28.pdf}

}

 

@InProceedings{29,

author = {Wolfgang Kastner and Ulrich Schmid},

title = {Process Control Engineering for Computer Science Students},

booktitle = {Proceedings\ 4th IFAC Symposium on Advances in Control Education

(ACE'97)},

year = {1997},

month = {July},

pages = {289-295},

address = {Istambul, Turkey}

}

 

@Article{3,

author = {Ulrich Schmid},

title = {The Average {CRI}-Length of a Controlled {ALOHA} Collision

Resolution Algorithm},

journal = {Theoretical Computer Science},

year = {1993},

volume = {108},

pages = {291-310}

}

 

@Article{4,

author = {Johann Blieberger and Ulrich Schmid},

title = {Preemptive {LCFS} Scheduling in Hard Real Time Applications},

journal = {Performance Evaluation},

year = {1992},

volume = {15},

number = {3},

pages = {203-215}

}

 

@Article{5,

author = {Ulrich Schmid and Johann Blieberger},

title = {Some Investigations on {FCFS} Scheduling in Hard Real Time

Applications},

journal = {Journal of Computers and System Sciences},

year = {1992},

volume = {45},

pages = {493-512}

}

 

@Article{6,

author = {Ulrich Schmid and Johann Blieberger},

title = {On Nonpreemptive {LCFS} Scheduling with Deadlines},

journal = {Journal of Algorithms},

year = {1995},

volume = {18},

pages = {124-158}

}

 

@Article{7,

author = {Johann Blieberger and Ulrich Schmid},

title = {{FCFS} Scheduling in a Hard Real-Time Environment under Rush-Hour

Conditions},

journal = {BIT},

year = {1992},

volume = {32},

number = {3},

pages = {370-383}

}

 

@Article{8,

author = {Michael Drmota and Ulrich Schmid},

title = {Exponential Limiting Distributions in Queueing Systems with

Deadlines},

journal = {SIAM Journal on Applied Mathematics},

year = {1993},

volume = {53},

number = {1},

pages = {301-318}

}

 

@InProceedings{9,

author = {Ulrich Schmid},

title = {Monitoring in verteilten {E}chtzeitsystemen},

booktitle = {Proceedings Echtzeit'91},

year = {1991},

month = {June},

pages = {169-176},

address = {Sindelfingen, Germany}

}

 

@Book{B1,

author = {Johann Blieberger and Gerhard-Helge Schildt and Ulrich Schmid and

Stefan St\"ockler},

title = {Informatik},

edition = {1.(1990), 2.(1992)},

year = {1990},

pages = {400 pages},

publisher = {Springer-Verlag},

address = {Vienna, Austria}

}

 

@InProceedings{BLS05:isas,

author = {Martin Biely and G{\'e}rard Le Lann and Ulrich Schmid},

title = {Proof-Based Systems Engineering Using a Virtual System Model},

booktitle = {Proceedings 2nd International Service Availability Symposium

(ISAS'05)},

year = {2005},

month = {April},

series = {Lecture Notes in Computer Science},

number = {3694},

pages = {164--179},

publisher = {Springer},

address = {Berlin, Germany},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1670&viewmode=paper&year=2005}

}

 

@InProceedings{BRS09:DISC,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {Weak Synchrony Models and Failure Detectors for Message Passing

$k$-Set Agreement},

booktitle = {Proceedings of the 23rd International Symposium on Distributed

Computing (DISC'09)},

year = {2009},

pages = {260-261},

URL = {http://www.vmars.tuwien.ac.at/documents/intern/2688/paper.pdf}

}

 

@TechReport{BRS09:RR,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {Weak Synchrony Models and Failure Detectors for Message Passing

$k$-Set Agreement},

year = {2009},

number = {51/2009},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-2, 1040 Vienna, Austria}

}

 

@TechReport{BRS09:kset,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {Just Enough Synchrony for Message-Passing k-Set Agreement},

year = {2010},

number = {6/2010},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}

}

 

@InProceedings{BRS09:opodis,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {Weak Synchrony Models and Failure Detectors for Message Passing

$k$-Set Agreement},

booktitle = {Proceedings of the International Conference on Principles of

Distributed Systems (OPODIS'09)},

year = {2009},

month = {Dec},

series = {LNCS},

pages = {285-299},

publisher = {Springer Verlag},

address = {Nimes, France},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/2657/paper.pdf}

}

 

@TechReport{BRS10:Stable,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {Solving k-Set Agreement with Stable Skeleton Graphs.},

year = {2010},

number = {28/2010},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}

}

 

@InProceedings{BRS11:IPDPS,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {Solving k-Set Agreement with Stable Skeleton Graphs},

booktitle = {IPDPS Workshops},

year = {2011},

pages = {1488-1495},

note = {(also available in arxiv:1102.4423)},

URL = {http://arxiv.org/pdf/1102.4423}

}

 

@InProceedings{BRS11:OPODIS,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {Easy Impossibility Proofs for k-Set Agreement in Message Passing

Systems},

booktitle = {Proceedings 15th International Conference on Principles of

Distributed Systems (OPODIS'11), Springer LNCS 7109},

year = {2011},

pages = {299-312}

}

 

@InProceedings{BRS11:PODC,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {Easy impossibility proofs for k-set agreement in message passing

systems},

booktitle = {Proceedings of the 30th Annual ACM Symposium on Principles of

Distributed Computing (PODC'11)},

year = {2011},

pages = {227-228},

publisher = {ACM}

}

 

@InProceedings{BRS12:sirocco,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {Agreement in Directed Dynamic Networks},

booktitle = {Proceedings 19th International Colloquium on Structural

Information and Communication Complexity (SIROCCO'12)},

year = {2012},

series = {LNCS 7355},

pages = {73-84},

publisher = {Springer-Verlag}

}

 

@Article{BRS14:TPDS,

author = {Martin Biely and Peter Robinson and Ulrich Schmid},

title = {The Generalized Loneliness Detector and Weak System Models for

$k$-Set Agreement},

journal = {IEEE Transactions on Parallel and Distributed Systems},

year = {2014},

month = {April},

volume = {25},

number = {4},

pages = {1078-1088},

URL = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2013.77}

}

 

@Article{BRS2012:arxiv,

author = {Biely, Martin and Robinson, Peter and Schmid, Ulrich},

title = {Agreement in Directed Dynamic Networks},

journal = {{arXiv:1204.0641}},

year = {2012},

month = {April},

URL = {http://arxiv.org/abs/1204.0641}

}

 

@TechReport{BRSSW16:TR,

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

year = {2016},

number = {TUW-258404},

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\_258404.pdf (submitted to

TCS)}

}

 

@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{DFL+16:HEX,

author = {Danny Dolev and Matthias F{\"u}gger and Christoph Lenzen and Martin

Perner and Ulrich Schmid},

title = {{HEX}: Scaling Honeycombs is Easier than Scaling Clock Trees},

journal = {Journal of Computer and System Sciences},

year = {2016},

month = {aug},

volume = {82},

number = {5},

pages = {929--956},

publisher = {Elsevier {BV}},

URL = {http://dx.doi.org/10.1016/j.jcss.2016.03.001}

}

 

@InProceedings{DFLPS13:HEX,

author = {Danny Dolev and Matthias F{\"u}gger and Christoph Lenzen and Martin

Perner and Ulrich Schmid},

title = {{HEX: Scaling Honeycombs is Easier than Scaling Clock Trees}},

booktitle = {Proc.\ 25th ACM Symp.\ on Parallelism in Algorithms and

Architect ures (SPAA'13)},

year = {2013},

pages = {164-175}

}

 

@Misc{DFLPS13:subm,

author = {Danny Dolev and Matthias F\"ugger and Christoph Lenzen and Martin

Perner and Ulrich Schmid},

title = {HEX: Scaling Honeycombs is Easier than Scaling Clock Trees},

year = {2015},

note = {(submitted to JCSS)}

}

 

@InProceedings{DFLS11:SSS,

author = {Danny Dolev and Matthias F{\"u}gger and Christoph Lenzen and Ulrich

Schmid},

title = {Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic:

Robust Pulse Generation - [Extended Abstract]},

booktitle = {Proceedings 13th International Symposium on Stabilization,

Safety, and Security of Distributed Systems (SSS'11), Springer LNCS 6976},

year = {2011},

pages = {163-177}

}

 

@InProceedings{DFLS12:NITRD,

author = {Danny Dolev and Matthias Fuegger and Christoph Lenzen and Ulrich

Schmid},

title = {Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation

in Systems-on-Chip},

booktitle = {2012 NITRD National Workshop on the New Clockwork for

Time-Critical Systems, October 25-26, Baltimore (USA)},

year = {2012},

month = {Oct.}

}

 

@Article{DFLS14:JACM,

author = {Danny Dolev and Matthias F{\"u}gger and Ulrich Schmid and Christoph

Lenzen},

title = {Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic:

Robust Pulse Generation},

journal = {Journal of the ACM},

year = {2014},

month = {April},

volume = {61},

number = {5},

URL = {http://portal.acm.org/citation.cfm?id=2668245&picked=prox}

}

 

@Article{DFLS15:eatcs,

author = {Dolev, Danny and F{\"u}gger, Matthias and Lenzen, Christoph and

Schmid, Ulrich and Steininger, Andreas},

title = {Fault-tolerant Distributed Systems in Hardware},

journal = {Bulletin of EATCS},

year = {2015},

volume = {2},

number = {116},

pages = {112--153},

URL = {https://www.eatcs.org/images/bulletin/beatcs116.pdf}

}

 

@Article{DFPS14:JCSS,

author = {Danny Dolev and Matthias F\"ugger and Christoph Lenzen and Markus

Posch and Ulrich Schmid and Andreas Steininger},

title = {Rigorously Modeling Self-Stabilizing Fault-Tolerant Circuits: {A}n

Ultra-Robust Clocking Scheme for Systems-on-Chip},

journal = {Journal of Computer and System Sciences},

year = {2014},

volume = {80},

number = {4},

pages = {860--900},

URL = {http://www.sciencedirect.com/science/article/pii/S0022000014000026}

}

 

@InProceedings{DFS09:BA,

author = {Andreas Dielacher and Matthias Fuegger and Ulrich Schmid},

title = {Brief Announcement: {H}ow to Speed-up Fault-tolerant Clock

Generation in {VLSI} Systems-on-Chip via Pipelining},

booktitle = {Proceedings of the 28th ACM Symposium on Principles of

Distributed Computing (PODC'09)},

year = {2009},

month = {August},

pages = {423},

publisher = {ACM Press},

note = {An extended version is available as RR 15/2009, Institut f\"ur

Technische Informatik, TU-Wien,

http://www.vmars.tuwien.ac.at/documents/extern/2571/techreport.pdf}

}

 

@TechReport{DFS09:pDARTS,

author = {Andreas Dielacher and Matthias Fuegger and Ulrich Schmid},

title = {How to Speed-up Fault-tolerant Clock Generation in {VLSI}

Systems-on-Chip via Pipelining},

year = {2009},

number = {15/2009},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria},

note = {http://www.vmars.tuwien.ac.at/documents/extern/2571/techreport.pdf}

}

 

@InProceedings{FDS10:EDCC,

author = {Matthias F{\"u}gger and Andreas Dielacher and Ulrich Schmid},

title = {How to Speed-Up Fault-Tolerant Clock Generation in VLSI

Systems-on-Chip via Pipelining},

booktitle = {Proceedings Eighth European Dependable Computing Conference

(EDCC'10)},

year = {2010},

pages = {230-239}

}

 

@Article{FFSS09:WDSN,

author = {Matthias Fuegger and Gottfried Fuchs and Ulrich Schmid and Andreas

Steininger},

title = {On the Stability and Robustness of Non-Synchronous Circuits with

Timing Loops},

journal = {3rd Workshop on Dependable and Secure Nanocomputing},

year = {2009},

month = {Jun.},

address = {Estoril, Portugal}

}

 

@InProceedings{FFSS:DSD08,

author = {Gottfried Fuchs and Matthias Fuegger and Ulrich Schmid and Andreas

Steininger},

title = {Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip},

booktitle = {11th Euromicro conference on Digital System Design

Architectures, Methods and Tools (DSD'08)},

year = {2008},

month = {September},

pages = {242-249},

address = {Parma, Italy},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/2370/paper_hl.pdf}

}

 

@InProceedings{FGSSK06,

author = {Fuchs, Gottfried and Grahsl, Julian and Schmid, Ulrich and

Steininger, Andreas and Kempf, Gerald},

title = {{T}hreshold {M}odules -- {D}ie {S}chl{\"u}sselelemente zur

{V}erteilten {G}enerierung eines {F}ehlertoleranten {T}aktes},

booktitle = {Proceedings of the Austrian National Conference on the Design of

Integrated Circuits and Systems (Austrochip 2006)},

year = {2006},

month = {October},

pages = {149-156},

address = {Vienna},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1961\&viewmode=paper\&year=2006}

}

 

@InProceedings{FHLS13,

author = {Matthias F\"ugger and Markus Hofst\"atter and Christoph Lenzen and

Ulrich Schmid},

title = {Efficient Construction of Global Time in {SoC}s despite Arbitrary

Faults},

booktitle = {Proc.\ 16th Euromicro Conference on Digital System Design

(DSD'13)},

year = {2013},

pages = {142-151}

}

 

@Article{FKNS15,

author = {Matthias F{\"{u}}gger and Alexander K{\"{o}}{\ss}ler and Thomas

Nowak and Ulrich Schmid and Martin Zeiner},

title = {The effect of forgetting on the performance of a synchronizer},

journal = {Performance Evaluation},

year = {2015},

volume = {93},

pages = {1--16},

URL = {http://dx.doi.org/10.1016/j.peva.2015.08.002}

}

 

@InProceedings{FKNSZ13,

author = {Matthias F{\"u}gger and Alexander K{\"o}{\ss}ler and Thomas Nowak

and Ulrich Schmid and Martin Zeiner},

title = {The Effect of Forgetting on the Performance of a Synchronizer},

booktitle = {Proceedings ALGOSENSORS'13, Springer LNCS 8243},

year = {2013},

pages = {185-200},

publisher = {Springer}

}

 

@Misc{FMNNS16:subm,

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

year = {2016},

howpublished = {(submitted to ASYNC'17)}

}

 

@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 = {(to appear in Proc. DATE'15)},

URL = {http://arxiv.org/abs/1406.2544}

}

 

@InProceedings{FNNS15:DATE,

author = {F\"{u}gger, Matthias and Najvirt, Robert and Nowak, Thomas and

Schmid, Ulrich},

title = {Towards Binary Circuit Models That Faithfully Capture Physical

Solvability},

booktitle = {Proceedings of the 2015 Design, Automation \& Test in Europe

Conference \& Exhibition},

year = {2015},

series = {DATE '15},

pages = {1455--1460},

publisher = {EDA Consortium},

address = {San Jose, CA, USA},

URL = {http://dl.acm.org/citation.cfm?id=2757012.2757149}

}

 

@InProceedings{FNS13:ASYNC,

author = {Matthias F{\"u}gger and Thomas Nowak and Ulrich Schmid},

title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},

booktitle = {Proceedings 19th IEEE International Symposium on Asynchronous

Circuits and Systems (ASYNC'13)},

year = {2013},

pages = {191-199},

publisher = {IEEE Computer Society}

}

 

@Article{FNS16:ToC,

author = {Matthias F\"ugger and Thomas Nowak and Ulrich Schmid},

title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},

journal = {IEEE Transactions on Computers},

year = {2016},

month = {March},

volume = {65},

number = {3},

pages = {964-978},

URL = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=7110587}

}

 

@TechReport{FS04:FD,

author = {Christof Fetzer and Ulrich Schmid},

title = {On the Possibility of Consensus in Asynchronous Systems with Finite

Average Response Times},

year = {2004},

number = {14/2004},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},

note = {(Brief announcement appeared at PODC'04)},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1365\&viewmode=paper\&year=2004}

}

 

@InProceedings{FS04:FDPODC,

author = {Christof Fetzer and Ulrich Schmid},

title = {Brief Announcement: On the Possibility of Consensus in Asynchronous

Systems with Finite Average Response Times},

booktitle = {Proceedings of the 23th ACM Symposium on Principles of

Distributed Computing (PODC'04)},

year = {2004},

pages = {402},

address = {Boston, Massachusetts},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1365\&viewmode=published\&year=2004}

}

 

@TechReport{FS09,

author = {Matthias Fuegger and Ulrich Schmid},

title = {Fault-Tolerant Distributed Tick Generation in {VLSI}

Systems-on-Chip},

year = {2009},

number = {53/2009},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-2, 1040 Vienna, Austria}

}

 

@Article{FS12:DC,

author = {Matthias F{\"u}gger and Ulrich Schmid},

title = {Reconciling fault-tolerant distributed computing and

systems-on-chip},

journal = {Distributed Computing},

year = {2012},

volume = {24},

number = {6},

pages = {323-355},

URL = {http://link.springer.com/article/10.1007%2Fs00446-011-0151-7#page-2}

}

 

@TechReport{FS12:SIC,

author = {Matthias F{\"u}gger and Ulrich Schmid},

title = {{FWF}-Proposal {SIC}: {S}elf-stabilizing {B}yzantine Fault-Tolerant

Distributed Algorithms for Integrated Circuits},

year = {2012},

number = {60/2012},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}

}

 

@InBook{FS97,

author = {Michael Freund and Ulrich Schmid},

title = {In fehlertoleranten {C}omputernetzwerken},

booktitle = {{G}eistes{B}litze: {B}edeutende {\"O}sterreichische

Wissenschaftler im Portr\"at},

year = {1997},

pages = {57-59},

publisher = {Springer Verlag}

}

 

@InProceedings{FSFK06:EDCC,

author = {Matthias Fuegger and Ulrich Schmid and Gottfried Fuchs and Gerald

Kempf},

title = {{F}ault-{T}olerant {D}istributed {C}lock {G}eneration in {VLSI}

{S}ystems-on-{C}hip},

booktitle = {Proceedings of the Sixth European Dependable Computing

Conference (EDCC-6)},

year = {2006},

month = {October},

pages = {87--96},

publisher = {IEEE Computer Society Press}

}

 

@TechReport{FSFK06:darts,

author = {Matthias Fuegger and Ulrich Schmid and Gottfried Fuchs and Gerald

Kempf},

title = {{Fault-{T}olerant {D}istributed {C}lock {G}eneration in {VLSI}

{S}ystems-on-{C}hip}},

year = {2006},

number = {12/2006},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik}

}

 

@TechReport{FSS04:RR,

author = {Gottfried Fuchs and Ulrich Schmid and Andreas Steininger},

title = {Ein {V}erfahren f\"ur das verteilte {G}enerieren eines

fehlertoleranten adaptiven {T}aktes in {H}ardware},

year = {2004},

number = {18/2004},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1520\&viewmode=paper\&year=2004}

}

 

@InProceedings{FSS05:ICDCS,

author = {Christof Fetzer and Ulrich Schmid and Martin S{\"{u}\ss}kraut},

title = {On the Possibility of Consensus in Asynchronous Systems with Finite

Average Response Times},

booktitle = {Proceedings of the 25th International Conference on Distributed

Computing Systems (ICDCS'05)},

year = {2005},

month = {June},

pages = {271--280},

publisher = {IEEE Computer Society},

address = {Washington, DC, USA},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1365\&viewmode=published\&year=2004}

}

 

@TechReport{GHS02:w2fserv,

author = {G\"unther Gridling and Martin Hutle and Ulrich Schmid and Hannes

Stratil and Bernd Thallner and Bettina Weiss},

title = {Service Specification of {W2F}},

year = {2001},

number = {183/1-113},

institution = {Department of Automation, Technische Universit\"at Wien},

note = {(unfinished)},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/GHS02\_w2fserv.ps}

}

 

@InProceedings{GKFS10:control,

author = {Alois Goiser and Samar Khattab and Gerhard Fassl and Ulrich

Schmid},

title = {A New Robust Interference Reduction Scheme for Low Complexity

Direct-Sequence Spread-Spectrum Receivers: Optimization},

booktitle = {Proceedings 3rd International IEEE Conference on Communication

Theory, Reliability, and Quality of Service (CTRQ'10)},

year = {2010},

month = {June},

pages = {32-36},

address = {Athens, Greece}

}

 

@InProceedings{GKFS10:perf,

author = {Alois Goiser and Samar Khattab and Gerhard Fassl and Ulrich

Schmid},

title = {A New Robust Interference Reduction Scheme for Low Complexity

Direct-Sequence Spread-Spectrum Receivers: Performance},

booktitle = {Proceedings 3rd International IEEE Conference on Communication

Theory, Reliability, and Quality of Service (CTRQ'10)},

year = {2010},

month = {June},

pages = {15-21},

address = {Athens, Greece}

}

 

@InProceedings{GKSV14:SFM,

author = {Annu Gmeiner and Igor Konnov and Ulrich Schmid and Helmut Veith and

Josef Widder},

title = {Tutorial on Parameterized Model Checking of Fault-Tolerant

Distributed Algorithms},

booktitle = {Formal Methods for Executable Software Models - 14th

International School on Formal Methods for the Design of Computer,

Communication, and Software Systems ({SFM'14}), 2014, Bertinoro, Italy, June

16-20, 2014, Advanced Lectures},

year = {2014},

pages = {122--171},

URL = {http://dx.doi.org/10.1007/978-3-319-07317-0_4}

}

 

@InProceedings{HHGKSS02,

author = {Roland H\"oller and Martin Horauer and G\"unther Gridling and

Nikolaus Ker\"o and Ulrich Schmid and Klaus Schossmaier},

title = {{SynUTC} - High Precision Time Synchronization over {E}thernet

Networks},

booktitle = {Proceedings of the 8th Workshop on Electronics for LHC

Experiments ({LECC}'02)},

year = {2002},

month = {September 9--13,},

pages = {428--432},

address = {Colmar, France},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HHGKSS02.ps}

}

 

@InProceedings{HKS00,

author = {Martin Horauer and Nikolaus Ker\"o and Ulrich Schmid},

title = {A network interface for highly accurate clock synchronization},

booktitle = {Proceedings {AUSTROCHIP'00}},

editor = {W. Maierwieser and K.G. Posch},

year = {2000},

month = {October},

pages = {93--101},

address = {Graz, Austria},

note = {ISBN 3-9501349-0-5},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HKS00.pdf}

}

 

@TechReport{HLS96,

author = {Martin Horauer and Dietmar Loy and Ulrich Schmid},

title = {{NTI} Functional and Architectural Specification},

year = {1996},

month = {December},

number = {183/1-69},

pages = {54 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

note = {(revised 1998)},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HLS96.ps}

}

 

@InProceedings{HMSZ06:SSS,

author = {Martin Hutle and Dahlia Malkhi and Ulrich Schmid and Lidong Zhou},

title = {Brief Announcement: Chasing the Weakest System Model for

Implementing Omega and Consensus},

booktitle = {Proceedings Eighth International Symposium on Stabilization,

Safety, and Security of Distributed Systems (SSS 2006)},

year = {2006},

month = {Nov.},

series = {LNCS},

pages = {576--577},

publisher = {Springer Verlag},

address = {Dallas, USA},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1979\&viewmode=paper\&year=2006}

}

 

@Article{HMSZ08:TDSC,

author = {Martin Hutle and Dahlia Malkhi and Ulrich Schmid and Lidong Zhou},

title = {Chasing the Weakest System Model for Implementing Omega and

Consensus},

journal = {IEEE Transactions on Dependable and Secure Computing},

year = {2009},

volume = {6},

number = {4},

pages = {269--281},

publisher = {IEEE Computer Society},

address = {Los Alamitos, CA, USA},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/1803/paper.pdf}

}

 

@InProceedings{HS97,

author = {Dieter H{\"o}chtl and Ulrich Schmid},

title = {Long-Term Evaluation of {GPS} Timing Receiver Failures},

booktitle = {Proceedings\ of the 29th {IEEE} Precise Time and Time Interval

Systems and Application Meeting ({PTTI}'97)},

year = {1997},

month = {December},

pages = {165--180},

address = {Long Beach, California},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HS97.ps}

}

 

@InProceedings{HSDZ12:GSI,

author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich and Horst

Zimmermann and Ulrich Schmid and Bruno Merk},

title = {Single Event Effect Measurements in 90nm {CMOS} Circuits at the

Microbeam Facility for the Project {FATAL}},

booktitle = {GSI Scientific Report 2011},

year = {2012},

pages = {424},

address = {GSI Helmholtzzentrum f\"ur Schwerionenforschung GmbH, Darmstadt,

Germany}

}

 

@Misc{HSDZ12:NSREC,

author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich and Horst

Zimmermann and Kay-Obbe Voss and Bruno Merk and Ulrich Schmid and Andreas

Steininger},

title = {Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event

Transients Propagating through a 90 nm Bulk {CMOS} Inverter Chain},

year = {2012},

note = {Poster at IEEE Nuclear and Space Radiation Effects Conference

(NSREC'12), Miami (USA)}

}

 

@TechReport{HSDZ12:PTB,

author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich and Horst

Zimmermann and Ulrich Schmid and Ulrich Giesen},

title = {{Messung der Auswirkungen von ionisierender Strahlung auf 90 nm CMOS

Schaltungen}},

year = {2012},

institution = {Physikalisch Technische Bundesanstalt}

}

 

@Article{HSDZ12:ToNS,

author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich and Horst

Zimmermann and Kay-Obbe Voss and Bruno Merk and Ulrich Schmid and Andreas

Steininger},

title = {Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event

Transients Propagating through a 90 nm Bulk {CMOS} Inverter Chain},

journal = {IEEE Transactions on Nuclear Science},

year = {2012},

month = {December},

volume = {59},

number = {6},

pages = {2778-2784}

}

 

@Misc{HSGZ13:NSREC,

author = {Michael Hofbauer and Kurt Schweiger and Horst Dietrich Wolfgang

Gaberl and Horst Zimmermann and Ulrich Giesen and Frank Langer and Ulrich

Schmid and Andreas Steininger},

title = {Single Event Transient Pulse Shape Measurements by On-chip Sense

Amplifiers in a Single Inverter for Intermediate Input States under Alpha

Irradiation},

year = {2013},

note = {Poster at IEEE Nuclear and Space Radiation Effects Conference

(NSREC'13)}

}

 

@InProceedings{HSS98,

author = {Martin Horauer and Ulrich Schmid and Klaus Schossmaier},

title = {{NTI}: A {N}etwork {T}ime {I}nterface {M}-{M}odule for High-Accuracy

Clock Synchronization},

booktitle = {Proceedings 6th International Workshop on Parallel and

Distributed Real-Time Systems ({WPDRTS}'98)},

year = {1998},

month = {March 30 -- April 3},

pages = {1067--1076},

address = {Orlando, Florida},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HSS98.ps}

}

 

@InProceedings{HSSHK02,

author = {Martin Horauer and Ulrich Schmid and Klaus Schossmaier and Roland

H{\"o}ller and Nikolaus Ker{\"o}},

title = {{PSynUTC} --- Evaluation of a High Precision Time Synchronization

Prototype System for {E}thernet {LANs}},

booktitle = {Proceedings\ of the 34th {IEEE} Precise Time and Time Interval

Systems and Application Meeting ({PTTI}'02)},

year = {2002},

month = {December},

pages = {263-278},

address = {Reston, Virginia},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/HSSHK02.pdf}

}

 

@InProceedings{HSZG12:RADECS,

author = {Michael Hofbauer and Kurt Schweiger and Horst Zimmermann and Ulrich

Giesen and Frank Langner and Ulrich Schmid and Andreas Steininger},

title = {Supply Voltage Dependent On-chip Single Event Transient Pulse Shape

Measurements in 90 nm Bulk {CMOS} under Alpha Irradiation},

booktitle = {Proceedings 21st European Conference on Radiation and its

Effects on Components and Systems (RADECS'12)},

year = {2012},

month = {Sep.}

}

 

@Article{HSZG13:ToNS,

author = {Michael Hofbauer and Kurt Schweiger and Horst Zimmermann and Ulrich

Giesen and Frank Langner and Ulrich Schmid and Andreas Steininger},

title = {Supply Voltage Dependent On-chip Single Event Transient Pulse Shape

Measurements in 90 nm Bulk {CMOS} under Alpha Irradiation},

journal = {IEEE Transactions on Nuclear Science},

year = {2013},

month = {August},

volume = {60},

number = {4},

pages = {2640-2646}

}

 

@Misc{HSZS12:VSC,

author = {Michael Hofbauer and Kurt Schweiger and Horst Zimmermann and Ulrich

Schmid},

title = {Projekt {FATAL}},

year = {2012},

note = {Vienna Scientific Cluster Brochure 2012, p. 53}

}

 

@Article{Haw02:ocg,

author = {Wolfgang Hawlik},

title = {Aus {S}pa\ss\ an {N}euem},

journal = {Computer Kommunikativ},

year = {2002},

volume = {4},

note = {(Portrait anl\"a\ss lich Berufung U. Schmid)}

}

 

@InProceedings{JKSVW13:FMCAD,

author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and

Josef Widder},

title = {Parameterized model checking of fault-tolerant distributed

algorithms by abstraction},

booktitle = {Proceedings Formal Methods in Computer-Aided Design (FMCAD'13)},

year = {2013},

pages = {201-209},

publisher = {IEEE}

}

 

@InProceedings{JKSVW13:PODC,

author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and

Josef Widder},

title = {Brief announcement: {P}arameterized model checking of fault-tolerant

distributed algorithms by abstraction},

booktitle = {Proceedings ACM Symposium on Principles of Distributed Computing

(PODC'13)},

year = {2013},

pages = {119-121},

publisher = {ACM}

}

 

@InProceedings{JKSVW13:SPIN,

author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and

Josef Widder},

title = {Towards Modeling and Model Checking Fault-Tolerant Distributed

Algorithms},

booktitle = {Proceedings 20th International Symposium on Model Checking

Software (SPIN'13), Springer LNCS 7976},

year = {2013},

pages = {209-226},

publisher = {Springer}

}

 

@InProceedings{KMS10:RTSOPS,

author = {Alexander K{"o}{ss}ler and Heinrich Moser and Ulrich Schmid},

title = {Real-Time Analysis of Round-based Distributed Algorithms},

booktitle = {Proceedings of the 1st International Real-Time Scheduling Open

Problems Seminar (RTSOPS'10), in conjunction with 22nd Euromicro Conference

on Real-Time Systems (ECRTS'10)},

year = {2010},

month = {Jul.},

pages = {9-11},

note = {Published as as TR under

https://www.cs.york.ac.uk/ftpdir/reports/2010/YCS/455/YCS-2010-455.pdf}

}

 

@TechReport{KMSS98,

author = {Christian Kral and Thomas Mandl and Ulrich Schmid and Klaus

Schossmaier},

title = {{T}ips f\"ur die {M}esse-{P}r\"asentation von

{F}orschungsergebnissen},

year = {1998},

month = {April},

number = {183/1-83},

pages = {15 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

note = {(in {G}erman)},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/KMSS98.ps}

}

 

@Article{KOS04:eandi,

author = {Hermann Kopetz and Roman Obermaisser and Ulrich Schmid},

title = {Dependable Embedded Systems Research at {TU} {V}ienna},

journal = {e \& i},

year = {2005},

month = {January/February},

volume = {1/2},

pages = {33--37},

note = {(Invited paper)},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1490&viewmode=paper&year=2004}

}

 

@InProceedings{KS00,

author = {Wolfgang Kastner and Ulrich Schmid},

title = {How to Teach Matters of Modern Control Systems to Computer Science

Students?},

booktitle = {Proceedings\ 5th IFAC Symposium on Advances in Control Education

(ACE'00)},

year = {2000},

month = {December},

address = {Sea World Nara Resort, Australia}

}

 

@TechReport{KSH00,

author = {Nikolaus Ker\"o and Ulrich Schmid and Martin Horauer},

title = {{V}erfahren f\"ur die {S}ynchronisation von {C}omputeruhren in

{N}etzwerken},

year = {2000},

month = {March},

number = {183/1-105},

pages = {16 pages},

institution = {Department of Automation, TU Vienna},

note = {Austrian Gebrauchsmuster AT005327U1 (2002); Europe and Japan patents

pending}

}

 

@TechReport{LS03,

author = {Le Lann, G\'erard and Schmid, Ulrich},

title = {How to Implement a Timer-free Perfect Failure Detector in Partially

Synchronous Systems},

year = {2003},

month = {January},

number = {183/1-127},

pages = {10 pages},

institution = {Department of Automation, Technische Universit\"at Wien},

note = {(Replaced by Research Report 28/2005, Institut f\"ur Technische

Informatik, TU Wien, 2005.)},

URL = {http://ti.tuwien.ac.at/ecs/research/projects/theta/fulltext/LS03.ps}

}

 

@TechReport{LS03:cov,

author = {Le Lann, G\'erard and Schmid, Ulrich},

title = {How to Maximize Computing Systems Coverage},

year = {2003},

month = {April},

number = {183/1-128},

pages = {26 pages},

institution = {Department of Automation, Technische Universit\"at Wien},

URL =

{http://ti.tuwien.ac.at/ecs/research/projects/theta/fulltext/LS03\_cov.ps}

}

 

@InProceedings{LS05:dasia,

author = {G{\'e}rard Le Lann and Ulrich Schmid},

title = {Proof-Based Systems Engineering in ASSERT},

booktitle = {Proceedings Data Systems in Aerospace (DASIA'05)},

year = {2005},

month = {May--June},

address = {Edinburgh, Scotland}

}

 

@TechReport{MNS99,

author = {Thomas Mandl and Herbert Nachtnebel and Ulrich Schmid},

title = {{N}etwork {T}ime {I}nterface User Manual},

year = {1999},

month = {January},

number = {183/1-87},

pages = {150 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

note = {(in {G}erman)},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/MNS99.ps}

}

 

@InProceedings{MS06,

author = {Heinrich Moser and Ulrich Schmid},

title = {Optimal clock synchronization revisited: {U}pper and lower bounds in

real-time systems},

booktitle = {Proceedings of the International Conference on Principles of

Distributed Systems (OPODIS)},

year = {2006},

month = {Dec},

series = {LNCS 4305},

pages = {95--109},

publisher = {Springer Verlag},

address = {Bordeaux \& Saint-Emilion, France},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/2068/paper.pdf}

}

 

@TechReport{MS06:TR,

author = {Heinrich Moser and Ulrich Schmid},

title = {Optimal clock synchronization revisited: {U}pper and lower bounds in

real-time systems},

year = {2006},

number = {71/2006},

type = {Research Report},

institution = {Vienna University of Technology, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1973\&viewmode=paper\&year=2006}

}

 

@InProceedings{MS06:jun,

author = {Heinrich Moser and Ulrich Schmid},

title = {Construction of a Fault-Tolerant Wireless Communication Topology

Using Distributed Agreement},

booktitle = {Proceedings of the Junior Scientist Conference 2006},

year = {2006},

month = {Apr.},

pages = {47--48},

address = {Vienna, Austria}

}

 

@InProceedings{MS06:rtss,

author = {Heinrich Moser and Ulrich Schmid},

title = {Reconciling Distributed Computing Models and Real-Time Systems},

booktitle = {Proceedings Work in Progress Session of the 27th IEEE Real-Time

Systems Symposium (RTSS'06)},

year = {2006},

month = {Dec},

pages = {73--76},

address = {Rio de Janeiro, Brazil},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/2055/paper.pdf}

}

 

@InProceedings{MS08:OPODIS,

author = {Heinrich Moser and Ulrich Schmid},

title = {Optimal Deterministic Remote Clock Estimation in Real-Time Systems},

booktitle = {Proceedings of the International Conference on Principles of

Distributed Systems (OPODIS)},

year = {2008},

month = {December},

pages = {363--387},

address = {Luxor, Egypt}

}

 

@InProceedings{MS11:sirocco,

author = {Moser, Heinrich and Schmid, Ulrich},

title = {Reconciling Fault-Tolerant Distributed Algorithms and Real-Time

Computing},

booktitle = {18th International Colloquium on Structural Information and

Communication Complexity (SIROCCO)},

year = {2011},

series = {LNCS 6796},

pages = {42--53},

publisher = {Springer-Verlag},

address = {Berlin, Heidelberg}

}

 

@Article{MS14:DC,

author = {Moser, Heinrich and Schmid, Ulrich},

title = {Reconciling fault-tolerant distributed algorithms and real-time

computing},

journal = {Distributed Computing},

year = {2014},

volume = {27},

pages = {203-230},

publisher = {Springer Berlin Heidelberg},

URL = {http://dx.doi.org/10.1007/s00446-013-0204-1}

}

 

@TechReport{MSSSU98,

author = {Silvia Miksch and Ulrich Schmid and Martin Sch\"onhacker and Katrin

Seyr and Martina Umlauft},

title = {{E}valuierung der {I}nformatik},

year = {1998},

month = {November},

number = {183/1-84},

pages = {28 pages},

institution = {Vienna University of Technology, Department of Automation},

note = {(Also appeared as Institutsbericht Nr.~38, Institut f\"ur

Computergraphik, Abteilung f\"ur Algorithmen und Programmiermethodik,

Technische Universit\"at Wien, November~1998.)},

URL = {http://www.auto.tuwien.ac.at}

}

 

@InProceedings{NFNS15:GLSVLSI,

author = {Najvirt, Robert and Schmid, Ulrich and Hofbauer, Michael and

F\"{u}gger, Matthias and Nowak, Thomas and Schweiger, Kurt},

title = {Experimental Validation of a Faithful Binary Circuit Model},

booktitle = {Proceedings of the 25th Edition on Great Lakes Symposium on

VLSI},

year = {2015},

series = {GLSVLSI '15},

pages = {355--360},

publisher = {ACM},

address = {New York, NY, USA},

URL = {http://doi.acm.org/10.1145/2742060.2742081}

}

 

@InProceedings{NKCMS98,

author = {Herbert Nachtnebel and Nikolaus Ker\"o and Gerhard R. Cadek and

Thomas Mandl and Ulrich Schmid},

title = {{R}apid {P}rototyping mit programmierbarer {L}ogik: {E}in

{F}allbeispiel},

booktitle = {Proceedings {AUSTROCHIP}'98},

year = {1998},

month = {October},

pages = {99--104},

address = {Wiener Neustadt, Austria},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/NKCMS98.ps}

}

 

@TechReport{PS15:TR,

author = {Daniel Pfleger and Ulrich Schmid},

title = {A Framework for Connectivity Monitoring in Wireless Sensor

Networks},

year = {2015},

number = {TUW-241107},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},

note = {http://publik.tuwien.ac.at/files/PubDat\_241107.pdf (to appear in

Proc. IARIA SENSORCOMM'16, Nice, France, 2016)}

}

 

@InProceedings{PS16:SENSORCOMM,

author = {Daniel Pfleger and Ulrich Schmid},

title = {A Framework for Connectivity Monitoring in Wireless Sensor

Networks},

booktitle = {Proceedings 10th International Conference on Sensor Technlogies

and Applications (SENSORCOMM'16)},

year = {2016},

pages = {40--48},

publisher = {IARIA},

note =

{https://www.thinkmind.org/download.php?articleid=sensorcomm\_2016\_3\_10\_10013}

}

 

@InProceedings{PSSL13:HEX,

author = {Martin Perner and Martin Sigl and Ulrich Schmid and Christoph

Lenzen},

title = {Byzantine Self-Stabilizing Clock Distribution with {HEX}:

{I}mplementation, Simulation, Clock Multiplication},

booktitle = {Proc.\ Sixth IARIA International Conference on Dependability

(DEPEND'13)},

year = {2013},

pages = {6-15}

}

 

@InProceedings{RS08:PODC-BA,

author = {Peter Robinson and Ulrich Schmid},

title = {Brief Announcement: The Asynchronous Bounded-Cycle Model},

booktitle = {Proceedings of the 27th ACM Symposium on Principles of

Distributed Computing (PODC'08)},

year = {2008},

month = {August},

pages = {423},

publisher = {ACM Press},

note = {(extended version appeared at SSS'08)},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/2466/paper.pdf}

}

 

@InProceedings{RS08:SSS,

author = {Peter Robinson and Ulrich Schmid},

title = {The {A}synchronous {B}ounded-{C}ycle {M}odel},

booktitle = {Proceedings of the 10th International Symposium on

Stabilization, Safety, and Security of Distributed Systems (SSS'08)},

year = {2008},

month = {November},

series = {Lecture Notes in Computer Science},

volume = {5340},

pages = {246--262},

publisher = {Springer Verlag},

address = {Detroit, USA},

note = {(Best Paper Award)},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=2398\&viewmode=paper\&year=2008}

}

 

@Article{RS10:TCS,

author = {Peter Robinson and Ulrich Schmid},

title = {The {A}synchronous {B}ounded-{C}ycle {M}odel},

journal = {Theoretical Computer Science},

year = {2011},

volume = {412},

number = {40},

pages = {5580-5601},

note = {http://dx.doi.org/10.1016/j.tcs.2010.08.001},

URL = {http://www.sciencedirect.com/science/article/pii/S0304397510004184}

}

 

@TechReport{RSS99,

author = {Gerda Richter and Michael Schmidt and Ulrich Schmid},

title = {i82596 {NTI} {D}evice-{D}river Software Documentation},

year = {1999},

month = {February},

number = {183/1-90},

pages = {400 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/RSS99.ps}

}

 

@Article{S1,

author = {Franz Beranek and Ulrich Schmid},

title = {{A}ssembler mit {P}ascalelementen},

journal = {Elektronikschau},

year = {1983},

month = {February},

volume = {2},

pages = {32-34}

}

 

@InProceedings{S11,

author = {Ulrich Schmid},

title = {Monitoring of Distributed Real-Time Systems},

booktitle = {Proceedings NATO ASI on Real-Time Computing},

year = {1994},

month = {October},

pages = {582-583},

address = {Sint Maarten},

note = {(Appeared as Wolfgang A. Halang and Alexander D. Stoyenko (eds.):

Real time computing, NATO ASI Series F: Computer and Systems Sciences, Vol.

127, 1994.)},

URL = {./Mypapers/S11.pdf}

}

 

@InProceedings{S12,

author = {Ulrich Schmid},

title = {The Role of Standards in Real-Time Computing},

booktitle = {Proceedings NATO ASI on Real-Time Computing},

year = {1994},

month = {October},

pages = {638-639},

address = {Sint Maarten},

note = {(Appeared as Wolfgang A. Halang and Alexander D. Stoyenko (eds.):

Real time computing, NATO ASI Series F: Computer and Systems Sciences, Vol.

127, 1994.)},

URL = {./Mypapers/S12.pdf}

}

 

@InProceedings{S15,

author = {Ulrich Schmid},

title = {On Random-Trees Arising in the Analysis of Scheduling Algorithms for

Real-Time Systems},

booktitle = {Seminar-Report 68 of {D}agstuhl-Seminar 9328 on ``Average Case

Analysis of Algorithms''},

year = {1993},

month = {July},

pages = {15},

address = {Schlo\ss\ Dagstuhl, Germany}

}

 

@Article{S19,

author = {Harald Haberstroh and Wolfgang Kastner and Ulrich Schmid},

title = {{M-Module} im {D}idaktik-{E}insatz},

journal = {Elektronik Industrie},

year = {1994},

volume = {10},

pages = {90-92}

}

 

@MastersThesis{S2,

author = {Ulrich Schmid},

title = {Abz\"ahlmethoden der {T}heoretischen {I}nformatik},

year = {1985},

pages = {99 pages},

school = {Technische Universit\"at Wien, Department of Algebra und Discrete

Mathematics}

}

 

@Misc{S20,

author = {Ulrich Schmid},

title = {{ECCS}-Related Research Activities at the Department of Automation,

{T}echnische {U}niversit\"at {W}ien},

year = {1994},

note = {In {\em Newsletter IEEE Technical Segment Committee on Engineering of

Complex Computer Systems (ECCS)}, 1(2) Part A, 1994, pages 2--5.},

URL = {./Mypapers/S20.pdf}

}

 

@Article{S21,

author = {J\"urgen Meyer and Ulrich Schmid},

title = {{Z}eit im {B}ild},

journal = {Elektronikschau},

year = {1995},

month = {March},

volume = {3},

pages = {28-30}

}

 

@PhdThesis{S3,

author = {Ulrich Schmid},

title = {Analyse von {C}ollision {R}esolution {A}lgorithmen in

{R}andom-{A}ccess {S}ystemen mit dominanten {\"U}bertragungskan\"alen},

year = {1986},

pages = {132 pages},

school = {Technische Universit\"at Wien, Faculty of Technical and Natural

Sciences, Department of Algebra und Discrete Mathematics}

}

 

@InProceedings{S36,

author = {Ulrich Schmid},

title = {Internet-Based Real-Time Computing},

booktitle = {Proceedings 22nd Annual International Computer Software \&

Applications Conference (COMPSAC'98)},

year = {1998},

month = {August},

pages = {338-342},

address = {Vienna, Austria},

URL = {./Mypapers/S36.pdf}

}

 

@TechReport{SD07:MathDC,

author = {Ulrich Schmid and Michael Drmota},

title = {{WWTF} Project Proposal: Mathematics and Distributed Computing},

year = {2007},

number = {83/2007},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/docdetail.php?DID=2337&viewmode=paper&year=2007}

}

 

@InProceedings{SF02:byz,

author = {Ulrich Schmid and Christof Fetzer},

title = {Randomized Asynchronous Consensus with Imperfect Communications},

booktitle = {22nd Symposium on Reliable Distributed Systems (SRDS'03)},

year = {2003},

month = {October 6--8,},

pages = {361--370},

address = {Florence, Italy},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/SF02\_byz.ps}

}

 

@TechReport{SF02:byzTR,

author = {Ulrich Schmid and Christof Fetzer},

title = {Randomized Asynchronous Consensus with Imperfect Communications},

year = {2002},

month = {January},

number = {183/1-120},

pages = {17 pages},

institution = {Department of Automation, Technische Universit\"at Wien},

note = {(Extended version of \cite{SF02:byz})},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/SF02\_byzTR.ps}

}

 

@InProceedings{SFSF06:DSN,

author = {Andreas Steininger and Matthias Fuegger and Ulrich Schmid and

Gottfried Fuchs},

title = {Fault-{T}olerant {A}lgorithms on {S}o{C}s - {A} case study},

booktitle = {Supplemental Proceedings of the International Conference on

Dependable Systems and Networks (DSN'06)},

year = {2006},

month = {June},

pages = {190-191},

address = {Philadelphia, USA},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1913\&viewmode=paper\&year=2006}

}

 

@TechReport{SHK01:morris,

author = {Ulrich Schmid and Martin Horauer and Nikolaus Ker\"o},

title = {{H}ochgenaue {U}hrensynchronisation in verteilten {S}ystemen},

year = {2001},

month = {October},

number = {183/1-117},

pages = {14 pages},

institution = {Department of Automation, TU Vienna},

URL =

{http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SHK01\_morris.ps}

}

 

@InProceedings{SHK99,

author = {Ulrich Schmid and Martin Horauer and Nikolaus Ker{\"o}},

title = {How to Distribute {GPS}-Time over {COTS}-based {LAN}s},

booktitle = {Proceedings\ of the 31th {IEEE} Precise Time and Time Interval

Systems and Application Meeting ({PTTI}'99)},

year = {1999},

month = {December},

pages = {545--560},

address = {Dana Point, California},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SHK99.ps}

}

 

@TechReport{SKBK00a,

author = {Ulrich Schmid and Wolfgang Kastner and Bernd Burgstaller and

Christian Kral},

title = {{S}kriptum zur {L}abor\"ubung {P}roze\ss automatisierung},

year = {2000},

month = {June},

number = {183/1-106-a},

pages = {210 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@Article{SKMNCK99,

author = {U. Schmid and J. Klasek and T. Mandl and H. Nachtnebel and G. R.

Cadek and N. Ker\"o},

title = {A {N}etwork {T}ime {I}nterface {M}-{M}odule for Distributing

{GPS}-time over {LAN}s},

journal = {J. Real-Time Systems},

year = {2000},

month = {January},

volume = {18},

number = {1},

pages = {24--57}

}

 

@TechReport{SL93,

author = {Ulrich Schmid and Dietmar Loy},

title = {{FWF}-{P}rojektantrag {SynUTC} --- {S}ynchronized {UTC} for

Distributed Real-Time Systems},

year = {1993},

month = {December},

number = {183/1-39},

type = {Technical Report},

pages = {50 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SL93.ps}

}

 

@TechReport{SM99,

author = {Ulrich Schmid and Thomas Mandl},

title = {Implementation of the {NTI} {D}evice-{H}andler},

year = {1999},

month = {January},

number = {183/1-86},

pages = {40 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SM99.ps}

}

 

@InProceedings{SN99,

author = {Ulrich Schmid and Herbert Nachtnebel},

title = {Experimental Evaluation of High-Accuracy Time Distribution in a

{COTS}-based {E}thernet {LAN}},

booktitle = {Proceedings 24th {IFAC/IFIP} Workshop on Real-Time Programming

({WRTP}'99)},

year = {1999},

month = {May/June},

pages = {59-68},

address = {Schlo\ss\ Dagstuhl, Germany},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SN99.ps}

}

 

@TechReport{SP06:ProSCE,

author = {Ulrich Schmid and Markus Proske},

title = {{FIT-IT} Project Proposal {ProSCE}: {P}romoting Science in Computer

Engineering},

year = {2006},

number = {125/2006},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}

}

 

@TechReport{SP07:ESiA,

author = {Ulrich Schmid and Markus Proske},

title = {{FIT-IT} Project Proposal {ESiA}: {E}mbedded Systems in Action},

year = {2007},

number = {1/2007},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}

}

 

@TechReport{SS01:edvlabors,

author = {Ulrich Schmid and Robert Sablatnig},

title = {{EDV}-{P}flichtlaborkonzept {I}nformatik},

year = {2001},

month = {October},

number = {183/1-118},

pages = {21 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{SS04:patent,

author = {Ulrich Schmid and Andreas Steininger},

title = {Dezentrale {F}ehlertolerante {T}aktgenerierung in {VLSI} {C}hips},

year = {2004},

number = {69/2004},

type = {Research Report},

pages = {18 pages},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

note = {International patent PCT WO2006/007619: EP 1769356, US 2009/0102534,

ZL 200580024166.6, AT 501510},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1505\&viewmode=paper\&year=2004}

}

 

@TechReport{SS95,

author = {Klaus Schossmaier and Ulrich Schmid},

title = {{UTCSU} Functional Specification},

year = {1995},

month = {July},

number = {183/1-56},

type = {Technical Report},

pages = {26 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SS95.ps}

}

 

@Article{SS97:1,

author = {Ulrich Schmid and Klaus Schossmaier},

title = {Interval-based Clock Synchronization},

journal = {Real-Time Systems},

year = {1997},

month = {March},

volume = {12},

number = {2},

pages = {173--228},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SS97\_1.ps}

}

 

@TechReport{SS97:2,

author = {Ulrich Schmid and Klaus Schossmaier},

title = {Interval-based Clock Synchronization Revisited},

year = {1997},

month = {July},

number = {183/1-80},

type = {Technical Report},

pages = {24 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SS97\_2.ps}

}

 

@Article{SS99,

author = {Ulrich Schmid and Klaus Schossmaier},

title = {How to Reconcile Fault-Tolerant Interval Intersection with the

{L}ipschitz Condition},

journal = {Distributed Computing},

year = {2001},

month = {May},

volume = {14},

number = {2},

pages = {101 -- 111},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SS99.ps}

}

 

@TechReport{SSFF07:SELSE,

author = {Andreas Steininger and Ulrich Schmid and Matthias Fuegger and

Gottfried Fuchs},

title = {A Fault-Tolerant Distributed Algorithms Perspective of

Systems-on-Chip},

year = {2007},

number = {2/2007},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}

}

 

@Article{SSHL97,

author = {Klaus Schossmaier and Ulrich Schmid and Martin Horauer and Dietmar

Loy},

title = {Specification and Implementation of the {U}niversal {T}ime

{C}oordinated {S}ynchronization {U}nit ({UTCSU})},

journal = {Real-Time Systems},

year = {1997},

month = {May},

volume = {12},

number = {3},

pages = {295--327},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SSHL97.ps}

}

 

@Article{SSS07:eandi,

author = {Ulrich Schmid and Andreas Steininger and Manfred Sust},

title = {{FIT-IT}-{P}rojekt {DARTS}: {D}ezentrale fehlertolerante

{T}aktgenerierung},

journal = {Elektrotechnik {\&} Informationstechnik (e{\&}i) 1-2/07, 2007},

year = {2007},

month = {Jan.},

publisher = {Springer Verlag},

note = {(Invited paper)},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=2149\&viewmode=paper\&year=2007}

}

 

@TechReport{SSV06:FASYLOGIC,

author = {Ulrich Schmid and Andreas Steininger and Helmut Veith},

title = {Towards a Systematic Design of Fault-Tolerant Asynchronous

Circuits},

year = {2006},

number = {98/2006},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria},

note = {(A short version appeared at Zuverl\"assigkeit und Design (ZuD'07))}

}

 

@InProceedings{SSV07:DuZ,

author = {Ulrich Schmid and Andreas Steininger and Helmut Veith},

title = {Towards a Systematic Design of Fault-Tolerant Asynchronous

Circuits},

booktitle = {Proceedings GMM/GI/ITG-Fachtagung Zuverl\"assigkeit und

Entwurf},

year = {2007},

month = {March},

pages = {173-174},

publisher = {VDE-Verlag, Berlin, Offenbach},

address = {Munich, Germany}

}

 

@TechReport{SSZ08:FATAL,

author = {Ulrich Schmid and Andreas Steininger and Horst Zimmermann},

title = {{FWF}-Proposal {FATAL}: {A} Modeling Framework for Fault-Tolerant

Asynchronous Logic},

year = {2008},

number = {70/2008},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstrasse 1-3/182-1, 1040 Vienna, Austria}

}

 

@TechReport{SSZ12:EASET,

author = {Andreas Steininger and Ulrich Schmid and Horst Zimmermann},

title = {FWF-Proposal {EASET}: {A}ccelerator-based Experimental Analysis and

Simulation Modeling of Single-Event Transients in {VLSI} Circuits},

year = {2012},

number = {61/2012},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}

}

 

@TechReport{SV03:FIT-IT,

author = {Ulrich Schmid and Johann Vilanek},

title = {{FIT-IT} Project Proposal: {S}eamless Campus},

year = {2003},

month = {December},

number = {183/1-136},

pages = {31 pages},

institution = {Department of Automation, TU Vienna},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{SW01:hom,

author = {Ulrich Schmid and Bettina Weiss},

title = {Consensus with Oral/Written Messages: Link Faults Revisited},

year = {2001},

month = {February},

number = {183/1-110},

pages = {22 pages},

institution = {Department of Automation, Technische Universit\"at Wien},

note = {(obsolete, replaced by TR 183/1-124)}

}

 

@TechReport{SW02:hom,

author = {Ulrich Schmid and Bettina Weiss},

title = {Synchronous {B}yzantine Agreement under Hybrid Process and Link

Failures},

year = {2002},

month = {November},

number = {183/1-124},

pages = {67 pages},

institution = {Department of Automation, Technische Universit\"at Wien},

note = {(replaces TR 183/1-110)},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/SW02\_hom.ps}

}

 

@TechReport{SW04:algs,

author = {Ulrich Schmid and Bettina Weiss},

title = {Synchronous {B}yzantine Agreement under Hybrid Process and Link

Failures},

year = {2004},

number = {1/2004},

type = {Research Report},

pages = {45 pages},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},

note = {(submitted)},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1319\&viewmode=published\&year=2004}

}

 

@TechReport{SW04:spawn,

author = {Ulrich Schmid and Bettina Weiss},

title = {{FWF} Project Proposal: {F}ault-Tolerant Distributed Algorithms in

Sparse Ad Hoc Wireless Networks},

year = {2004},

number = {13/2004},

type = {Research Report},

pages = {20 pages},

institution = {Vienna University of Technology, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1509\&viewmode=paper\&year=2004}

}

 

@InProceedings{SWGS99,

author = {Ulrich Schmid and Bettina Weiss and G\"unther Gridling and Klaus

Schossmaier},

title = {A Unified Approach for Simulation and Experimental Evaluation of

Fault-Tolerant Distributed Systems},

booktitle = {Proceedings of the {IASTED} International Conference on Applied

Modelling and Simulation ({AMS}'99)},

year = {1999},

month = {September 1--3,},

pages = {43-48},

address = {Cairns, Queensland, Australia},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/SWGS99.ps}

}

 

@Article{SWK09,

author = {Ulrich Schmid and Bettina Weiss and Idit Keidar},

title = {Impossibility Results and Lower Bounds for Consensus under Link

Failures},

journal = {SIAM Journal on Computing},

year = {2009},

volume = {38},

number = {5},

pages = {1912-1951},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/2554/paper.pdf}

}

 

@InProceedings{SWR02:hom,

author = {Ulrich Schmid and Bettina Weiss and John Rushby},

title = {Formally Verified {B}yzantine Agreement in Presence of Link Faults},

booktitle = {22nd International Conference on Distributed Computing Systems

(ICDCS'02)},

year = {2002},

month = {July 2-5,},

pages = {608--616},

address = {Vienna, Austria},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/SWR02\_hom.ps}

}

 

@InProceedings{SWS16:ICDCN,

author = {Schwarz, Manfred and Winkler, Kyrill and Schmid, Ulrich},

title = {Fast Consensus Under Eventually Stabilizing Message Adversaries},

booktitle = {Proceedings of the 17th International Conference on Distributed

Computing and Networking},

year = {2016},

series = {ICDCN '16},

pages = {7:1--7:10},

publisher = {ACM},

address = {New York, NY, USA},

URL = {http://doi.acm.org/10.1145/2833312.2833323}

}

 

@TechReport{SWSBR13:TR,

author = {Manfred Schwarz and Kyrill Winkler and Ulrich Schmid and Martin

Biely and Peter Robinson},

title = {Gracefully Degrading Consensus and $k$-set Agreement under Dynamic

Link Failures},

year = {2013},

number = {TUW-220473},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},

note = {http://publik.tuwien.ac.at/files/PubDat\_220473.pdf}

}

 

@InProceedings{SWSBR14:PODC,

author = {Manfred Schwarz and Kyrill Winkler and Ulrich Schmid and Martin

Biely and Peter Robinson},

title = {Brief Announcement: {G}racefully Degrading Consensus and $k$-set

Agreement under Dynamic Link Failures},

booktitle = {Proceedings of the 33th ACM SIGACT-SIGOPS Symposium on

Principles of Distributed Computing},

year = {2014},

series = {PODC '14},

pages = {341--343},

publisher = {ACM},

address = {New York, NY, USA},

URL = {http://doi.acm.org/10.1145/2611462.2611506}

}

 

@InProceedings{SWSBR15:NETYS,

author = {Biely, Martin and Robinson, Peter and Schmid, Ulrich and Schwarz,

Manfred and Winkler, Kyrill},

title = {Gracefully Degrading Consensus and $k$-Set Agreement in Directed

Dynamic Networks},

booktitle = {Revised selected papers Third International Conference on

Networked Systems (NETYS'15)},

year = {2015},

series = {Springer LNCS 9466},

pages = {109--124},

publisher = {Springer International Publishing},

address = {Agadir, Morocco}

}

 

@Article{SZJH15,

author = {Andreas Steininger and Horst Zimmermann and Axel Jantsch and

Michael Hofbauer and Ulrich Schmid and Kurt Schweiger and Varadan Savulimedu

Veeravalli},

title = {Building reliable systems-on-chip in nanoscale technologies},

journal = {Elektrotechnik und Informationstechnik},

year = {2015},

volume = {132},

number = {6},

pages = {301--306},

URL = {http://dx.doi.org/10.1007/s00502-015-0319-0}

}

 

@InProceedings{Sch00,

author = {Ulrich Schmid},

title = {High-Accuracy Time Services and Fault-Tolerant Clock

Synchronization},

booktitle = {37th {IFIP WG10.4} Annual Meeting (Workshop on ``Time and

Dependability''},

year = {2000},

month = {January 21--25,},

pages = {39--57},

address = {Martinique, France},

note = {(Invited presentation)},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch00.ps}

}

 

@InProceedings{Sch00:dsn,

author = {Ulrich Schmid},

title = {How to Model Link Failures: A Perception-based Fault Model},

booktitle = {Proceedings of the International Conference on Dependable

Systems and Networks ({DSN'01})},

year = {2001},

month = {July 1--4,},

pages = {57--66},

address = {G\"oteborg, Sweden},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch00\_dsn.ps}

}

 

@TechReport{Sch00:ose,

author = {Ulrich Schmid},

title = {{V}erteilte {E}mbedded {S}ystems unter {OSE}},

year = {2000},

month = {June},

number = {183/1-107},

pages = {5},

institution = {Department of Automation, TU Vienna}

}

 

@TechReport{Sch00:st87,

author = {Ulrich Schmid},

title = {A Perception-based Fault Model for Single-Round Agreement

Algorithms},

year = {2000},

month = {October},

number = {183/1-108},

type = {Technical Report},

pages = {15 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch00\_st87.ps}

}

 

@TechReport{Sch00:start,

author = {Ulrich Schmid},

title = {Report on 3 Years of {START}-Project {Y41-MAT}},

year = {2000},

month = {February},

number = {183/1-100},

pages = {16 pages},

institution = {Department of Automation, Technische Universit\"at Wien},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch00\_start.ps}

}

 

@InProceedings{Sch00:wrtp,

author = {Ulrich Schmid},

title = {Applied Research: A Scientist's Perspective},

booktitle = {Proceedings joint 25th {IFAC/IFIP} Workshop on Real-Time

Programming ({WRTP}'00) and Workshop on Algorithms and Architectures for

Real-Time Control ({AARTC}'00)},

year = {2000},

month = {May},

pages = {5--12},

address = {Palma de Mallorca, Spain},

note = {(Invited plenary speech)},

URL =

{http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch00\_wrtp.ps}

}

 

@Book{Sch01,

title = {START und Wittgenstein 1996--2000},

editor = {Margit Schwarz},

year = {2001},

publisher = {Austrian Federal Ministry of Education, Science and Culture and

Austrian Science Fund},

note = {(START-Price U. Schmid, 1996)}

}

 

@TechReport{Sch01:TI,

author = {Ulrich Schmid},

title = {{B}akkalaureats- und {M}agisterstudium {T}echnische {I}nformatik},

year = {2001},

month = {October},

number = {183/1-119},

pages = {190 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@Article{Sch01:aric,

author = {Ulrich Schmid},

title = {Applied Research: A Scientist's Perspective},

journal = {Annual Reviews in Control},

year = {2001},

volume = {25},

pages = {183--190},

note = {(Reprinted from \cite{Sch00:wrtp})},

URL = {./Mypapers/Sch01_aric.pdf}

}

 

@TechReport{Sch03:Theta,

author = {Ulrich Schmid},

title = {{FWF} Project Proposal: {A}synchronous Distributed Algorithms in the

{T}heta-Model},

year = {2003},

month = {December},

number = {183/1-133},

pages = {16 pages},

institution = {Department of Automation, TU Vienna},

URL =

{http://ti.tuwien.ac.at/ecs/research/projects/theta/fulltext/Sch03\_Theta.ps}

}

 

@TechReport{Sch04:Y41,

author = {Ulrich Schmid},

title = {Final Report {START}-Project {Y41}},

year = {2004},

number = {19/2004},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch04\_Y41.ps}

}

 

@TechReport{Sch04:cov,

author = {Ulrich Schmid},

title = {Failure Model Coverage under Transient Link Failures},

year = {2004},

number = {2/2004},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},

note = {(submitted)},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1320\&viewmode=paper}

}

 

@TechReport{Sch07:PSRTS,

author = {Ulrich Schmid},

title = {{FWF} Project Proposal: {P}artially Synchronous Distributed

Real-Time Systems ({PSRTS})},

year = {2007},

number = {48/2007},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}

}

 

@TechReport{Sch07:RES,

author = {Ulrich Schmid},

title = {Proposal {U}ni-{I}nfrastruktur {IV}: {R}obust Embedded Systems},

year = {2007},

number = {84/2007},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/docdetail.php?DID=2338&viewmode=paper&year=2007}

}

 

@InProceedings{Sch07:keynote,

author = {Ulrich Schmid},

title = {Keynote: {A} Perspective of Fault-Tolerant Clock Synchronization},

booktitle = {Proceedings of the IEEE International Symposium on Precision

Clock Synchronization for Measurement, Control and Communication (ISPCS'07)},

year = {2007},

month = {October},

pages = {vii},

address = {Vienna, Austria},

note = {(http://www.vmars.tuwien.ac.at/documents/extern/2339/ispcs.pdf)},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/2339/ispcs.pdf}

}

 

@TechReport{Sch08:THETA,

author = {Ulrich Schmid},

title = {Final Report {FWF} {Theta}-Project {(P17757-N04})},

year = {2008},

number = {71/2008},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr. 1-3/182-1, 1040 Vienna, Austria}

}

 

@InProceedings{Sch08:keynote,

author = {Ulrich Schmid},

title = {Keynote: {D}istributed Algorithms and {VLSI}},

booktitle = {Proceedings of the 10th International Symposium on

Stabilization, Safety, and Security of Distributed Systems (SSS'08)},

year = {2008},

month = {November},

series = {Lecture Notes in Computer Science},

volume = {5340},

pages = {3},

publisher = {Springer Verlag},

address = {Detroit, USA},

note = {(http://www.vmars.tuwien.ac.at/documents/extern/2467/sss08.pdf)},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/2467/sss08.pdf}

}

 

@InProceedings{Sch10:FORMATS,

author = {Ulrich Schmid},

title = {Synchrony and Time in Fault-Tolerant Distributed Algorithms -

(Invited Tutorial)},

booktitle = {Proceedings Formal Modeling and Analysis of Timed Systems

Conference (FORMATS 2010)},

year = {2010},

series = {Lecture Notes in Computer Science},

volume = {6246},

pages = {46},

publisher = {Springer}

}

 

@TechReport{Sch13:PSRTS,

author = {Ulrich Schmid},

title = {Final Report {FWF} {PSRTS}-Project {(P20529)}},

year = {2013},

number = {TUW-235379},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},

note = {http://publik.tuwien.ac.at/files/PubDat\_235379.pdf}

}

 

@TechReport{Sch14:ADynNet,

author = {Ulrich Schmid},

title = {{FWF}-Proposal {ADynNet}: {G}racefully Degrading Agreement in

Directed Dynamic Networks},

year = {2014},

number = {TUW-235381},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},

note = {http://publik.tuwien.ac.at/files/PubDat\_235381.pdf}

}

 

@TechReport{Sch14:FATAL,

author = {Ulrich Schmid},

title = {Final Report {FWF} {FATAL}-Project {(P21694)}},

year = {2013},

number = {TUW-235380},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},

note = {http://publik.tuwien.ac.at/files/PubDat\_235380.pdf}

}

 

@InProceedings{Sch16:Dagstuhl,

author = {Ulrich Schmid},

title = {Easy Impossibility Proofs for k-Set Agreement},

booktitle = {Report Dagstuhl-Seminar 16282 {Topological Methods in

Distributed Computing}},

editor = {Dmitry Feichtner-Kozlov and Damien Imbs},

year = {2016},

volume = {6(7)},

pages = {39},

publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},

address = {Dagstuhl, Germany},

URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6761}

}

 

@InProceedings{Sch94,

author = {Ulrich Schmid},

title = {Synchronized {UTC} for Distributed Real-Time Systems},

booktitle = {Proceedings 19th {IFAC/IFIP} Workshop on Real-Time Programming

({WRTP}'94)},

year = {1994},

pages = {101--107},

address = {Lake Reichenau, Germany},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch94.ps}

}

 

@TechReport{Sch94b,

author = {Ulrich Schmid},

title = {An Annotated Bibliography on Clock Synchronization in Distributed

Systems},

year = {1994},

month = {December},

number = {183/1-45},

pages = {14 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

note = {(incomplete)},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch94b.ps}

}

 

@Article{Sch95,

author = {Ulrich Schmid},

title = {Synchronized {U}niversal {T}ime {C}oordinated for Distributed

Real-Time Systems},

journal = {Control Engineering Practice},

year = {1995},

volume = {3},

number = {6},

pages = {877-884},

note = {(Reprint from \cite{Sch94})},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch95.ps}

}

 

@InProceedings{Sch96,

author = {Ulrich Schmid},

title = {Interval-Based Clock Synchronization},

booktitle = {Seminar-Report 138 of {D}agstuhl-Seminar 9611 on ``Time

Services''},

year = {1996},

month = {March},

pages = {7},

address = {{S}chlo\ss\ {D}agstuhl, {G}ermany},

note = {(Reprinted in Real-Time Systems 12(3):334, 1997)}

}

 

@Proceedings{Sch97,

title = {Special Issue on The Challenge of Global Time in Large-Scale

Distributed Real-Time Systems},

editor = {Ulrich Schmid},

year = {1997},

series = {J. Real-Time Systems 12(1--3)},

pages = {360 p.}

}

 

@TechReport{Sch97:baur,

author = {Ulrich Schmid},

title = {{K}abel-{F}ehlerortung mit {S}yn{UTC}},

year = {1997},

month = {July},

number = {183/1-81},

type = {Technical Report},

pages = {20 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

note = {(Patent: {G}erman {G}ebrauchsmuster 296 23086.3)},

URL =

{http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch97\_baur.ps}

}

 

@Article{Sch97:es,

author = {Ulrich Schmid},

title = {{H}ochgenaue {U}hrensynchronisation \"uber {LAN}s},

journal = {Elektronikschau},

year = {1997},

month = {October},

volume = {10},

pages = {20--23},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch97\_es.ps}

}

 

@Article{Sch97:oa,

author = {Ulrich Schmid},

title = {Orthogonal Accuracy Clock Synchronization},

journal = {Chicago Journal of Theoretical Computer Science},

year = {2000},

volume = {2000},

number = {3},

pages = {3--77},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch97\_oa.ps}

}

 

@Article{Sch97:op,

author = {Ulrich Schmid and Klaus Schossmaier},

title = {Interval-based Clock Synchronization with Optimal Precision},

journal = {Information and Computation},

year = {2003},

month = {October},

volume = {186},

number = {1},

pages = {36-77},

URL = {http://authors.elsevier.com/sd/article/S0890540103001032}

}

 

@InProceedings{Sch98,

author = {Ulrich Schmid},

title = {Challenges in Interval-Based Clock Synchronization},

booktitle = {Seminar-Report 185 of {D}agstuhl-Seminar 9728 on ``Average Case

Analysis of Algorithms''},

year = {1997},

month = {July 7--11,},

pages = {19-20},

address = {Schlo\ss\ Dagstuhl, Germany},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/Sch98.ps}

}

 

@TechReport{Sch99:Lehrkap,

author = {Ulrich Schmid},

title = {{L}ehrbedarfs- und {L}ehrkapazit\"atserhebung f\"ur die

{T}echnisch-{N}aturwissenschaftlichen {F}akult\"at der {TU}-{W}ien},

year = {1999},

month = {October},

number = {183/1-98},

pages = {100 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{Sch99:w2f,

author = {Ulrich Schmid},

title = {Basic Features of the Wireline/Wireless Factory/Facility Fieldbus},

year = {1999},

month = {August},

number = {183/1-95},

pages = {5 pages},

institution = {Department of Automation, Technische Universit\"at Wien},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/Sch99\_w2f.ps}

}

 

@Article{TMS08,

author = {Bernd Thallner and Heinrich Moser and Ulrich Schmid},

title = {Topology Control for Fault-Tolerant Communication in Wireless Ad-Hoc

Networks},

journal = {Wireless Networks},

year = {2010},

volume = {16},

number = {2},

pages = {387-404},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/2522/journal.pdf}

}

 

@TechReport{TS03:FTCT,

author = {Bernd Thallner and Ulrich Schmid},

title = {Fault Tolerant Communication Topologies for Wireless Ad Hoc

Networks},

year = {2003},

month = {December},

number = {183/1-132},

pages = {13 pages},

institution = {Department of Automation, TU Vienna},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/TS03\_FTCT.ps}

}

 

@TechReport{TS04:ecftct,

author = {Bernd Thallner and Ulrich Schmid},

title = {Distributed Construction of Sparse Fault-Tolerant Overlay Networks},

year = {2004},

number = {35/2004},

type = {Research Report},

pages = {12 pages},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstra{\ss }e 3, A-1040 Vienna, Austria},

note = {(submitted)},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1412\&viewmode=paper\&year=2004}

}

 

@TechReport{US99:GPS-Driver,

author = {Martina Umlauft and Ulrich Schmid},

title = {{GPS} {D}evice-{D}river Software Documentation},

year = {1999},

month = {October},

number = {183/1-97},

pages = {110 pages},

institution = {Technische Universit\"at Wien, Department of Automation},

URL =

{http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/US99\_GPS-Driver.ps}

}

 

@InProceedings{VPSS12:DSD,

author = {Varadan Savulimedu Veeravalli and Thomas Polzer and Andreas

Steininger and Ulrich Schmid},

title = {Architecture and Design Analysis of a Digital Single-Event

Transient/Upset Measurement Chip},

booktitle = {Proceedings 15th Euromicro Symposium on Digital System Design:

Architectures, Methods and Tools (DSD'12)},

year = {2012},

month = {sep},

pages = {8-17},

note = {(best paper award)}

}

 

@Article{VPSS13:MICPRO,

author = {Varadan Savulimedu Veeravalli and Thomas Polzer and Andreas

Steininger and Ulrich Schmid and Michael Hofbauer and Kurt Schweiger and

Horst Dietrich and Kerstin Schneider-Hornstein and Horst Zimmermann and

Kay-Obbe Voss and Bruno Merk and Michael Hajek},

title = {An Infrastructure for Accurate Characterization of Single-Event

Transients in Digital Circuits},

journal = {Microprocessors and Microsystems},

year = {2013},

volume = {37},

number = {8-A},

pages = {772-791},

publisher = {Elsevier},

URL = {http://www.sciencedirect.com/science/article/pii/S0141933113000598}

}

 

@InProceedings{VSS14:ISQED,

author = {Varadan Savulimedu Veeravalli and Andreas Steininger and Ulrich

Schmid},

title = {Measuring {SET} Pulsewidths in Logic Gates using Digital

Infrastructure},

booktitle = {Proceedings Internationsal Symposium on Quality of Electronic

Design (ISQED'14)},

year = {2014},

pages = {236--242},

URL = {http://dx.doi.org/10.1109/ISQED.2014.6783331}

}

 

@Misc{VSS16:subm,

author = {Varadan Savulimedu Veeravalli and Andreas Steininger and Ulrich

Schmid},

title = {A Versatile Architecture for Long-Term Monitoring of Single-Event

Transient Durations},

year = {2016},

howpublished = {(submitted to MICPRO)}

}

 

@InProceedings{WGSS99,

author = {Bettina Weiss and G\"unther Gridling and Ulrich Schmid and Klaus

Schossmaier},

title = {The {SimUTC} Fault-Tolerant Distributed Systems Simulation Toolkit},

booktitle = {Proceedings 7th International Symposium on Modeling, Analysis

and Simulation of Computer and Telecommunication Systems ({MASCOTS}'99)},

year = {1999},

month = {October 24--28,},

pages = {68--75},

address = {College Park, MD, USA},

URL = {http://wwwold.ecs.tuwien.ac.at/Projects/SynUTC/documents/WGSS99.ps}

}

 

@TechReport{WLS03,

author = {Widder, Josef and Le Lann, G\'erard and Schmid, Ulrich},

title = {Perfect Failure Detection with Booting in Partially Synchronous

Systems},

year = {2003},

month = {April},

number = {183/1-131},

pages = {13 pages},

institution = {Department of Automation, Technische Universit\"at Wien},

note = {(preliminary version of \cite{WLS05:EDCC})},

URL = {http://ti.tuwien.ac.at/ecs/research/projects/theta/fulltext/WLS03.ps}

}

 

@InProceedings{WLS05:EDCC,

author = {Widder, Josef and Le Lann, G{\'e}rard and Schmid, Ulrich},

title = {Failure Detection with Booting in Partially Synchronous Systems},

booktitle = {Proceedings of the 5th European Dependable Computing Conference

(EDCC-5)},

year = {2005},

month = {April},

series = {LNCS},

volume = {3463},

pages = {20--37},

publisher = {Springer Verlag},

address = {Budapest, Hungary},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1612\&viewmode=published\&year=2005}

}

 

@InProceedings{WS01:srds,

author = {Bettina Weiss and Ulrich Schmid},

title = {Consensus with Written Messages under Link Faults},

booktitle = {20th Symposium on Reliable Distributed Systems (SRDS'01)},

year = {2001},

month = {October 28--31,},

pages = {194--197},

address = {New Orleans, LA, USA},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/WS01\_srds.ps}

}

 

@TechReport{WS01:wm,

author = {Bettina Weiss and Ulrich Schmid},

title = {Consensus with Written Messages under Link Faults},

year = {2001},

month = {March},

number = {183/1-114},

pages = {10 pages},

institution = {Department of Automation, Technische Universit\"at Wien},

note = {(extended version of \cite{WS01:srds})},

URL = {http://wwwold.ecs.tuwien.ac.at/W2F/papers/WS01\_wm.ps}

}

 

@TechReport{WS05:dynamic,

author = {Josef Widder and Ulrich Schmid},

title = {Achieving Synchrony without Clocks},

year = {2005},

number = {49/2005},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

note = {(to appear in Distributed Computing, 2009)},

URL =

{http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1724\&viewmode=paper\&year=2005}

}

 

@Article{WS07:DC,

author = {Josef Widder and Ulrich Schmid},

title = {Booting Clock Synchronization in Partially Synchronous Systems with

Hybrid Process and Link Failures},

journal = {Distributed Computing},

year = {2007},

month = {August},

volume = {20},

number = {2},

pages = {115--140},

publisher = {Springer Verlag}

}

 

@Article{WS09:DC,

author = {Josef Widder and Ulrich Schmid},

title = {The {T}heta-{M}odel: Achieving Synchrony without Clocks},

journal = {Distributed Computing},

year = {2009},

month = {April},

volume = {22},

number = {1},

pages = {29--47},

publisher = {Springer Verlag},

URL = {http://www.vmars.tuwien.ac.at/documents/extern/1724/paper.pdf}

}

 

@Article{WSS16:arxiv,

author = {Kyrill Winkler and Manfred Schwarz and Ulrich Schmid},

title = {Consensus in Directed Dynamic Networks with Short-Lived Stability},

journal = {CoRR},

year = {2016},

volume = {abs/1602.05852},

URL = {http://arxiv.org/abs/1602.05852}

}

 

@TechReport{ZSSB16:SPRG,

author = {Martin Zeiner and Ulrich Schmid and Udo Schilcher and Christian

Bettstetter},

title = {{FWF}-Proposal {SPRG}: {S}tructural Properties of Random Graphs},

year = {2016},

number = {TUW-544205},

type = {Research Report},

institution = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische

Informatik},

address = {Treitlstr.\ 1-3/182-2, 1040 Vienna, Austria},

note = {http://publik.tuwien.ac.at/files/PubDat\_544205.pdf}

}

 

@TechReport{bli:schedul,

author = {Johann Blieberger and Ulrich Schmid},

title = {Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A

Novel Approach},

year = {1991},

month = {January},

number = {183/1-15},

pages = {8 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{drm:aloha,

author = {Michael Drmota and Ulrich Schmid},

title = {The Analysis of the Expected Successful Operation Time of Slotted

{ALOHA}},

year = {1992},

month = {December},

number = {183/1-33},

pages = {29 pages},

institution = {Vienna University of Technology, Department of Automation},

note = {(Extension of \cite{10})},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{hon:instr,

author = {Thomas Hontsch and Ulrich Schmid},

title = {{I}nstrumentierung auf {S}ourcecode-{L}evel},

year = {1992},

month = {January},

number = {183/1-26},

pages = {45 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:EDVTNF,

author = {Ulrich Schmid and Winfried Auzinger and Robert Sablatnig and

Karlheinz Schwarz and Herbert St\"ori and Bruno W\"ohrer},

title = {{EDV}-{L}aborkonzept f\"ur die {F}akult\"at {TNF}},

year = {1998},

month = {December},

number = {183/1-85},

pages = {36 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:SSCMPb,

author = {Ulrich Schmid and Dietmar Loy and Wolfgang Kastner},

title = {Project Proposal {SSCMP}: {S}equenced {S}ynchronized {C}lock

{M}ulticast {P}rotocol},

year = {1995},

month = {August},

number = {183/1-58},

pages = {31 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:START,

author = {Ulrich Schmid},

title = {Application to {START}},

year = {1996},

month = {January},

number = {183/1-65},

pages = {50 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:avCRIlencap,

author = {Ulrich Schmid},

title = {The Average {CRI}-Length of a Tree Collision Resolution Algorithm in

Presence of Multiplicity-Dependent Capture Effects},

year = {1991},

month = {May},

number = {183/1-19},

pages = {17 pages},

institution = {Vienna University of Technology, Department of Automation},

note = {(Extension of \cite{11})},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:dobos,

author = {Ulrich Schmid and Wolfgang Kastner},

title = {{DOBOS} - {K}onzept eines Distributed Object-Based Operating

Systems},

year = {1993},

month = {December},

number = {183/1-40},

pages = {18 pages},

institution = {Vienna University of Technology, Department of Automation},

note = {(Extension of \cite{20})},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:labor,

author = {Ulrich Schmid and Werner Staringer},

title = {{G}eschichte des {I}nformatik-{L}abors {T}reitlstra\ss e 3, 1.

{S}tock},

year = {1995},

month = {July},

number = {183/1-57},

pages = {7 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:lan,

author = {Ulrich Schmid},

title = {{D}as {W}orkstation-{LAN} der {A}bteilung

{A}utomatisierungssysteme},

year = {1991},

month = {October},

number = {183/1-25},

pages = {30 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:lupa,

author = {Ulrich Schmid and Stefan St\"ockler},

title = {Konzept der {L}abor\"ubung {P}roze\ss automatisierung},

year = {1991},

month = {June},

number = {183/1-21},

pages = {300 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:size,

author = {Ulrich Schmid},

title = {Determining the Size of Dedicated Shared Memory Areas for

Client-Server Applications},

year = {1993},

month = {August},

number = {183/1-44},

pages = {17 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:static_prio,

author = {Ulrich Schmid},

title = {Static Priority Scheduling of Aperiodic Real-Time Tasks},

year = {1994},

month = {May},

number = {183/1-47},

pages = {70 pages},

institution = {Vienna University of Technology, Department of Automation},

note = {(Extension of \cite{22})},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:stellenbewirtschaftung,

author = {Ulrich~Schmid},

title = {Stellenbewirtschaftungsmodell f\"ur die {F}akult\"at {TNF} und die

{F}achgruppe {I}nformatik},

year = {1998},

month = {February},

number = {183/1-82},

pages = {65 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:vta,

author = {Ulrich Schmid},

title = {{FWF-P}rojektantrag {V}ersatile {T}iming {A}nalyzer ({VTA})},

year = {1991},

month = {June},

number = {183/1-22},

pages = {50 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}

 

@TechReport{sch:zusatz_fwf,

author = {Ulrich Schmid},

title = {{Z}usatzantrag zum {FWF-P}rojekt {VTA}},

year = {1993},

month = {April},

number = {183/1-36},

pages = {23 pages},

institution = {Vienna University of Technology, Department of Automation},

URL = {http://www.auto.tuwien.ac.at}

}