Publikationsliste für
Ulrich Schmid
als Autorin / Autor bzw. wesentlich beteiligte Person
285 Datensätze (1983 - 2021)
Die Publikationen der TU Wien sind erst ab dem Jahr 2002 vollzählig in der Publikationsdatenbank enthalten. Publikationen aus den Jahren vor 2002 können, müssen aber nicht in der Datenbank vorhanden sein.
Bücher und Buch-Herausgaben
J. Blieberger, G. Schildt, U. Schmid, S. Stöckler:
"Informatik";
Springer,
Vienna,
1990,
ISBN: 3-211-82232-1;
390 S.
J. Blieberger, G. Schildt, U. Schmid, S. Stöckler:
"Informatik, second edition";
Springer,
Vienna,
1992,
ISBN: 3-211-82389-1;
390 S.
B. Charron-Bost, S. Dolev, J. Ebergen, U. Schmid:
"Fault-Tolerant Distributed Algorithms on VLSI Chips";
in Buchreihe "Dagstuhl Seminar Proceedings",
Buchreihen-Herausgeber: B. Charron-Bost, S. Dolev, U. Schmid;
herausgegeben von: Leibniz Zentrum Informatik;
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2009,
ISSN: 1862-4405.
Zusätzliche Informationen
U. Schmid, J. Widder (Hrg.):
"Proceedings 32nd International Symposium on Distributed Computing";
Dagstuhl Publishing LIPICS,
2018,
ISBN: 978-3-95977-092-7;
736 S.
Zusätzliche Informationen
Zeitschriftenartikel
F. Beranek, U. Schmid:
"Assembler mit Pascalelementen";
Elektronikschau,
2
(1983),
S. 32
- 34.
M. Biely, P. Robinson, U. Schmid:
"The Generalized Loneliness Detector and Weak System Models for k-Set Agreement";
IEEE Transactions on Parallel and Distributed Systems,
25
(2014),
4;
S. 1078
- 1088.
Zusätzliche Informationen
M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler:
"Gracefully degrading consensus and k-set agreement in directed dynamic networks";
Theoretical Computer Science,
726
(2018),
S. 41
- 77.
M. Biely, U. Schmid, B. Weiss:
"Synchronous consensus under hybrid process and link failures";
Theoretical Computer Science,
412
(2011),
40;
S. 5602
- 5630.
Zusätzliche Informationen
J. Blieberger, U. Schmid:
"FCFS Scheduling in a Hard Real-Time Environment under Rush-Hour Conditions";
BIT Numerical Mathematics,
32
(1992),
3;
S. 370
- 383.
Zusätzliche Informationen
J. Blieberger, U. Schmid:
"Preemptive LCFS Scheduling in Hard Real-Time Applications";
Performance Evaluation,
15
(1992),
3;
S. 203
- 215.
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid:
"Automated Competitive Analysis of Real-time Scheduling with Graph Games";
Real-Time Systems,
54
(2018),
1;
S. 166
- 207.
D. Dolev, M Függer, C. Lenzen, M. Perner, U. Schmid:
"HEX: Scaling Honeycombs is Easier than Scaling Clock Trees";
Journal of Computer and System Sciences,
82
(2016),
5;
S. 929
- 956.
Zusätzliche Informationen
D. Dolev, M Függer, C. Lenzen, U. Schmid, A. Steininger:
"Fault-tolerant Distributed Systems in Hardware";
Bulletin of the EATCS,
2
(2015),
116;
43 S.
D. Dolev, M Függer, M. Posch, U. Schmid, A. Steininger, C. Lenzen:
"Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip";
Journal of Computer and System Sciences,
80
(2014),
4;
S. 860
- 900.
Zusätzliche Informationen
D. Dolev, M Függer, U. Schmid, C. Lenzen:
"Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation";
Journal of the ACM,
61
(2014),
5;
S. 1
- 74.
M. Drmota, U. Schmid:
"Exponential Limiting Distributions in Queueing Systems with Deadlines";
SIAM Journal on Applied Mathematics,
53
(1993),
1;
S. 301
- 318.
M. Drmota, U. Schmid:
"The Analysis of the Expected Successful Operation Time of Slotted ALOHA";
IEEE Transactions on Information Theory,
39
(1993),
5;
S. 1567
- 1577.
M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner:
"The effect of forgetting on the performance of a synchronizer";
Performance Evaluation,
93
(2015),
S. 1
- 16.
Zusätzliche Informationen
M Függer, R. Najvirt, T. Nowak, U. Schmid:
"A Faithful Binary Circuit Model";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
39
(2020),
10;
S. 2784
- 2797.
Zusätzliche Informationen
M Függer, T. Nowak, U. Schmid:
"Unfaithful Glitch Propagation in Existing Binary Circuit Models";
IEEE Transactions on Computers,
65
(2016),
3;
S. 964
- 978.
Zusätzliche Informationen
M Függer, U. Schmid:
"Reconciling fault-tolerant distributed computing and systems-on-chip";
Distributed Computing,
24
(2012),
6;
S. 323
- 355.
Zusätzliche Informationen
H. Haberstroh, W. Kastner, U. Schmid:
"M-Module im Didaktik Einsatz";
Elektronik Industrie - Fachzeitschrift für Elektronik Entwicklung,
10
(1994),
S. 90
- 92.
M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger:
"Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating Through a 90 nm Bulk CMOS Inverter Chain";
IEEE Transactions on Nuclear Science,
vol 59
(2012),
S. 2778
- 2784.
M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger:
"Supply Voltage Dependent On-Chip Single-Event Transient Pulse Shape Measurements in 90-nm Bulk CMOS Under Alpha Irradiation";
IEEE Transactions on Nuclear Science,
60
(2013),
4;
S. 2640
- 2646.
Zusätzliche Informationen
M. Hutle, D. Malkhi, U. Schmid, L. Zhou:
"Chasing the Weakest System Model for Implementing Omega and Consensus";
IEEE Transactions on Dependable and Secure Computing,
6
(2009),
4;
S. 269
- 279.
Zusätzliche Informationen
H. Kopetz, R. Obermaisser, U. Schmid:
"Dependable Embedded Systems Research at TU Vienna";
Elektrotechnik und Informationstechnik (e&i) (eingeladen),
1
(2005),
1;
S. 33
- 37.
Zusätzliche Informationen
J. Meyer, U. Schmid:
"Zeit im Bild";
Elektronikschau,
3
(1995),
S. 28
- 30.
H. Moser, U. Schmid:
"Reconciling fault-tolerant distributed algorithms and real-time computing";
Distributed Computing,
27
(2014),
3;
S. 203
- 230.
Zusätzliche Informationen
D. Öhlinger, J. Maier, M Függer, U. Schmid:
"The Involution Tool for Accurate Digital Timing and Power Analysis";
Integration the VLSI journal,
76
(2021),
S. 87
- 98.
Zusätzliche Informationen
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee:
"Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
39
(2020),
11;
S. 3981
- 3992.
Zusätzliche Informationen
P. Robinson, U. Schmid:
"The Asynchronous Bounded-Cycle Model";
Theoretical Computer Science,
412
(2011),
40;
S. 5580
- 5601.
Zusätzliche Informationen
U. Schmid:
"Applied Research: A Scientist's Perspective";
Annual Reviews in Control,
25
(2001),
S. 183
- 190.
U. Schmid:
"Design and Implementation of the Bachelor with Honors Program at TU Wien";
Journal of the European Honors Council,
3
(2019),
2;
9 S.
Zusätzliche Informationen
U. Schmid:
"ECCS-Related Research Activities in the Department of Automation, Technical University of Vienna";
IEEE Technical Segment Committee on Engineering of Complex Computer Systems (ECCS) Newsletter,
1
(1994),
2;
S. 2
- 5.
U. Schmid:
"Hochgenaue Uhrensynchronisation über LANs";
Elektronikschau,
10
(1997),
S. 20
- 23.
U. Schmid:
"Monitoring Distributed Real-Time Systems";
Real-Time Systems,
7
(1994),
S. 33
- 56.
U. Schmid:
"On a Tree Collision Resolution Algorithm in Presence of Capture";
RAIRO Informatique theorique et Applications / Theoretical Informatics and Applications,
26
(1992),
2;
S. 163
- 197.
U. Schmid:
"On the Asymptotics of the Average CRI-Length of the Slotted ALOHA Collision Resolution Algorithm";
Applied Mathematics and Computation,
48
(1992),
S. 59
- 70.
U. Schmid:
"Orthogonal accuracy clock synchronization";
Chicago Journal of Theoretical Computer Science,
3
(2000),
S. 3
- 77.
U. Schmid:
"Random Trees in Queueing Systems with Deadlines";
Theoretical Computer Science,
144
(1995),
1-2;
S. 277
- 314.
U. Schmid:
"Static Priority Scheduling of Aperiodic Real-Time Tasks";
Random Structures and Algorithms,
10
(1997),
1-2;
S. 257
- 303.
U. Schmid:
"Synchronized Universal Time Coordinated for Distributed Real-Time Systems";
Control Engineering Practice,
3
(1995),
6;
S. 877
- 884.
U. Schmid:
"The Average CRI-Length of a Controlled ALOHA Collision Resolution Algorithm";
Theoretical Computer Science,
108
(1993),
S. 291
- 310.
U. Schmid, J. Blieberger:
"On non-preemptive LCFS Scheduling with Deadlines";
Journal of Algorithms,
18
(1995),
S. 124
- 158.
U. Schmid, J. Blieberger:
"Some Investigations on FCFS Scheduling in Hard Real-Time Applications";
Journal of Computer and System Sciences,
45
(1992),
3;
S. 493
- 512.
U. Schmid, J. Klasek, T. Mandl, H. Nachtnebel, G. Cadek, N. Kerö:
"A Network Time Interface M-Module for Distributing GPS-time over LANs";
Real-Time Systems,
18
(2000),
1;
S. 25
- 57.
U. Schmid, A. Pusterhofer:
"SSCMP: The Sequenced Synchronized Clock Message Protocol";
Computer Networks and ISDN Systems,
27
(1995),
S. 1615
- 1632.
U. Schmid, K. Schossmaier:
"How to reconcile fault-tolerant interval intersection with the Lipschitz condition";
Distributed Computing,
14
(2001),
2;
S. 101
- 111.
U. Schmid, K. Schossmaier:
"Interval-Based Clock Synchronization";
Real-Time Systems,
12
(1997),
2;
S. 173
- 228.
U. Schmid, K. Schossmaier:
"Interval-based clock synchronization with optimal precision.";
Information and Computation,
186
(2003),
1;
S. 36
- 77.
U. Schmid, A. Steininger, M. Sust:
"FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung";
Elektrotechnik und Informationstechnik (e&i),
Heft 1-2
(2007),
S. 3
- 8.
Zusätzliche Informationen
U. Schmid, B. Weiss, I. Keidar:
"Impossibility Results and Lower Bounds For Consensus Under Link Failures";
SIAM JOURNAL ON COMPUTING,
38
(2009),
5;
S. 1912
- 1951.
Zusätzliche Informationen
K. Schossmaier, U. Schmid, M. Horauer, D. Loy:
"Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU)";
Real-Time Systems,
12
(1997),
S. 295
- 327.
K. Schossmaier, U. Schmid, D. Loy, M. Horauer:
"Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU)";
Special Issue Journal of Real-Time Systems,
?
(1997),
S. 51
- 84.
A. Steininger, H. Zimmermann, A. Jantsch, M. Hofbauer, U. Schmid, K. Schweiger, V. S. Veeravalli:
"Building reliable systems-on-chip in nanoscale technologies";
E&I Elektrotechnik und Informationstechnik,
132
(2015),
6;
S. 301
- 306.
Zusätzliche Informationen
B. Thallner, H. Moser, U. Schmid:
"Topology Control for Fault-Tolerant Communication in Wireless Ad Hoc Networks";
Wireless Networks,
16
(2010),
21;
S. 388
- 404.
Zusätzliche Informationen
V. S. Veeravalli, T. Polzer, U. Schmid, A. Steininger, M. Hofbauer, K. Schweiger, H. Dietrich, K. Schneider-Hornstein, H. Zimmermann, K. Voss, B. Merk, M. Hajek:
"An infrastructure for accurate characterization of single-event transients in digital circuits";
Microprocessors and Microsystems,
37
(2013),
S. 772
- 791.
Zusätzliche Informationen
V. S. Veeravalli, A. Steininger, U. Schmid:
"A versatile architecture for long-term monitoring of single-event transient durations";
Microprocessors and Microsystems,
53
(2017),
C;
S. 130
- 144.
Zusätzliche Informationen
J. Widder, U. Schmid:
"The Theta-Model: achieving synchrony without clocks";
Distributed Computing,
22
(2009),
1;
S. 29
- 47.
Zusätzliche Informationen
K. Winkler, U. Schmid:
"An Overview of Recent Results for Consensus in Directed Dynamic Networks";
Bulletin of the EATCS,
128
(2019),
30 S.
K. Winkler, M. Schwarz, U. Schmid:
"Consensus in rooted dynamic networks with short-lived stability";
Distributed Computing,
32
(2019),
5;
S. 443
- 458.
Zusätzliche Informationen
M. Zeiner, U. Schmid:
"Upper and Lower Bounds for the Synchronizer Performance in Systems with Probabilistic Message Loss";
Methodology and Computing in Applied Probability,
23
(2020),
3;
S. 1023
- 1056.
Zusätzliche Informationen
M. Zeiner, U. Schmid, K. Chatterjee:
"Optimal strategies for selecting coordinators";
Discrete Applied Mathematics,
289
(2021),
S. 392
- 415.
Zusätzliche Informationen
M. Zeiner, M. Schwarz, U. Schmid:
"On Linear-Time Data Dissemination in Dynamic Rooted Trees";
Discrete Applied Mathematics,
255
(2019),
S. 307
- 319.
Zusätzliche Informationen
Buchbeiträge
A. Gmeiner, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms";
in: "Formal Methods for Executable Software Models",
Springer,
2014, (eingeladen),
ISBN: 978-3-319-07316-3,
S. 122
- 171.
U. Schmid:
"An optimally distributed global clock";
in: "START und Wittgenstein 1996-2000",
herausgegeben von: Margit Schwarz;
Forschungsförderungsfonds (FWF),
Wien,
2001, (eingeladen),
ISBN: 3-85224-089-1.
U. Schmid:
"Betriebssysteme";
in: "Informatik",
Springer,
Wien,
1990,
ISBN: 3-211-82232-1,
S. 222
- 350.
U. Schmid:
"Monitoring in verteilten Echtzeitsystemen";
in: "Echtzeitsysteme und Fuzzy Control",
Vieweg-Verlag,
1994,
S. 265
- 276.
U. Schmid, W. Kastner:
"DOBOS: A Distributed Object-Based Operating System for Soft Real-Time Systems";
in: "Echtzeitsysteme und objektorientierter Entwurf",
Vieweg-Verlag,
Braunschweig,
1996,
ISBN: 3-528-05542-1,
S. 3
- 13.
J. Widder, U. Schmid:
"Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures";
in: "Distributed Computing",
Springer-Verlag,
2007,
S. 115
- 140.
Zusätzliche Informationen
Beiträge in Tagungsbänden
Y. Afek, I. Keidar, B. Patt-Shamir, S. Rajsbaum, U. Schmid, G. Taubenfeld:
"2018 Edsger W. Dijkstra Prize in Distributed Computing";
in: "Proceedings 2018 ACM Symposium on Principles of Distributed Computing (PODC'18)",
ACM Press,
2018,
ISBN: 978-1-4503-5795-1,
S. 1.
C. Fetzer, M. Süßkraut, U. Schmid:
"On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times";
in: "On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times",
IEEE Computer Society,
2005,
S. 271
- 280.
Zusätzliche Informationen
A. Goiser, S. Khattab, G. Fassl, U. Schmid:
"A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Optimization";
in: "CTRQ-2010",
herausgegeben von: IEEE-Explore;
IEEE Computer Society,
2010,
ISBN: 978-0-7695-4070-2,
5 S.
Zusätzliche Informationen
A. Goiser, S. Khattab, G. Fassl, U. Schmid:
"A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Performance";
in: "CTRQ-2010",
herausgegeben von: IEEE-Explore;
IEEE Conference Proceedings,
2010,
ISBN: 978-0-7695-4070-2,
7 S.
Zusätzliche Informationen
M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, B Merk:
"Single Event Effect Measurements in 90nm CMOS Circuits at the Microbeam Facility for the Project FATAL";
in: "GSI Scientific Report 2011",
GSI Helmholtzzentrum für Schwerionenforschung GmbH,
Darmstadt,
2012,
ISSN: 0174-0814,
S. 424.
Editorials in Tagungsbänden
P. Jayanti, N. Lynch, B. Patt-Shamir, U. Schmid:
"2019 Principles of Distributed Computing Doctoral Dissertation Award";
in: "Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC'19)",
ACM,
2019,
S. 2.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
M. Biely, G. Le Lann, U. Schmid:
"Proof-Based System Engineering Using a Virtual System Model";
Vortrag: International Service Availability Symposium,
Berlin, Deutschland;
25.04.2005
- 26.04.2005; in: "Service Availability",
(2005),
S. 164
- 179.
Zusätzliche Informationen
M. Biely, P. Robinson, U. Schmid:
"Agreement in Directed Dynamic Networks";
Vortrag: 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12),
Reykjavik, Iceland;
30.06.2012
- 02.07.2012; in: "Proceedings 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12)",
(2012),
S. 73
- 84.
Zusätzliche Informationen
M. Biely, P. Robinson, U. Schmid:
"Brief Announcement: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems";
Vortrag: Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC'11),
San Jose;
06.06.2011
- 08.06.2011; in: "PODC'11",
ACM,
(2011),
S. 227
- 228.
M. Biely, P. Robinson, U. Schmid:
"Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems";
Vortrag: International Conference On Principles Of Distributed Systems (OPODIS),
Toulouse;
12.12.2011
- 16.12.2011; in: "OPODIS'11",
Springer Berlin / Heidelberg,
(2011),
S. 299
- 312.
Zusätzliche Informationen
M. Biely, P. Robinson, U. Schmid:
"Solving k-Set Agreement with Stable Skeleton Graphs";
Vortrag: International Parallel and Distributed Processing Symposium (IPDPS),
Anachorage, Alaska;
16.05.2011
- 20.05.2011; in: "IPDPS Workshops",
(2011),
ISBN: 978-1-61284-425-1;
S. 1488
- 1495.
Zusätzliche Informationen
M. Biely, P. Robinson, U. Schmid:
"Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement";
Vortrag: OPODIS 2009 (International Conference On Principles Of Distributed Systems),
Nimes, France;
15.12.2009
- 18.12.2009; in: "LNCS Proceedings",
Springer,
5923/2009
(2009),
ISBN: 9783642108761;
S. 285
- 299.
Zusätzliche Informationen
M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler:
"Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks";
Vortrag: The international Conference on NETworked sYStems,
Agadir, Marokko;
13.05.2015
- 15.05.2015; in: "NETYS2015",
Springer LNCS,
9466
(2015),
ISBN: 978-3-319-26849-1.
Zusätzliche Informationen
B. Charron-Bost, S. Dolev, J. Ebergen, U. Schmid:
"Fault Tolerant Distribiuted Algorithms and VLSI - An Appetizer";
Vortrag: Dagstuhl Seminar 08371 : Fault-Tolerant Distributed Algorithms on VLSI Chips,
Dagstuhl, Germany (eingeladen);
07.09.2009
- 10.09.2009; in: "Fault-Tolerant Distributed Algorithms on VLSI Chips",
Leibniz Zentrum Informatik,
08371
(2009),
ISSN: 1862-4405;
S. ?.
Zusätzliche Informationen
K. Chatterjee, A. Kößler, U. Schmid:
"Automated Analysis of Real-Time Scheduling using Graph Games";
Vortrag: ACM International Conference on Hybrid Systems: Computation and Control,
Philadelphia, USA;
08.04.2013
- 11.04.2013; in: "Proceedings 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'13)",
ACM,
(2013),
S. 163
- 172.
D. Dolev, M Függer, C. Lenzen, U. Schmid:
"Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract]";
Vortrag: Stabilization, Safety, and Security of Distributed Systems,
Grenoble, France;
10.10.2011
- 12.10.2011; in: "Stabilization, Safety, and Security of Distributed Systems",
Springer Berlin / Heidelberg,
(2011),
ISBN: 978-3642051173;
S. 163
- 177.
Zusätzliche Informationen
D. Dolev, C. Lenzen, M Függer, U. Schmid, M. Perner:
"HEX: Scaling Honeycombs is Easier than Scaling Clock Trees";
Vortrag: SPAA '13,
Montreal, Canada;
23.07.2013
- 25.07.2013; in: "Proceedings of the 25th ACM symposium on Parallelism in Algorithms and Architectures",
ACM,
(2013),
ISBN: 978-1-4503-1572-2;
S. 164
- 175.
Zusätzliche Informationen
C. Fan, Y. Meng, J. Maier, E. Bartocci, S. Mitra, U. Schmid:
"Verifying nonlinear analog and mixed-signal circuits with inputs";
Vortrag: Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems,
Oxford, UK;
11.07.2018
- 13.07.2018; in: "Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems",
IFAC-PapersOnLine,
51 / 16
(2018),
S. 241
- 246.
Zusätzliche Informationen
C. Fetzer, U. Schmid:
"Brief Announcement: On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times";
Vortrag: 23th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC),
St. John´s , Newfoundland, Canada;
25.07.2004
- 28.07.2004; in: "23th ACM SIGACT-SIGOPS Symposium on PRINCIPLES of DISTRIBUTED commuting (PODC)",
(2004),
S. 402.
Zusätzliche Informationen
K. Fruzsa, R. Kuznets, U. Schmid:
"Fire!";
Vortrag: TARK 2021: Theoretical Aspects of Rationality and Knowledge,
online, China;
25.06.2021
- 28.06.2021; in: "Proceedings of the Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge",
Electronic Proceedings in Theoretical Computer Science,
335
(2021),
ISSN: 2075-2180;
S. 139
- 153.
Zusätzliche Informationen
G. Fuchs, M Függer, U. Schmid, A. Steininger:
"Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip";
Vortrag: 11th EUROMICRO Conference on Digital System Design (DSD 2008),
Parma, Italien;
03.09.2008
- 05.09.2008; in: "11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, DSD 2008.",
IEEE,
(2008),
ISBN: 978-0-7695-3277-6;
S. 242
- 249.
Zusätzliche Informationen
G. Fuchs, J. Grahsl, U. Schmid, A. Steininger, G. Kempf:
"Threshold Modules -- Die Schlüsselelemente zur Verteilten Generierung eines Fehlertoleranten Taktes";
Vortrag: Austrochip,
Wien;
11.10.2006; in: "Austrochip Mikroelektroniktagung",
(2006),
S. 149
- 156.
Zusätzliche Informationen
M Függer, A. Dielacher, U. Schmid:
"How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining";
Vortrag: EDCC - 8 (European Dependable Computing Conference),
Valencia, Spain;
28.04.2010
- 30.04.2010; in: "Proceedings of the Eight European Dependable Computing Conference",
IEEE Computer Society,
(2010),
ISBN: 9780769540078;
S. 230
- 239.
Zusätzliche Informationen
M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner:
"The Effect of Forgetting on the Performance of a Synchronizer";
Vortrag: ALGOSENSORS 2013 (9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics),
Sophia Antipolis, France;
05.09.2013
- 06.09.2013; in: "Algorithms for Sensor Systems",
(2013),
S. 185
- 200.
M Függer, J. Maier, R. Najvirt, T. Nowak, U. Schmid:
"A Faithful Binary Circuit Model with Adversarial Noise";
Vortrag: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18),
Dresden, Deutschland;
19.03.2018
- 23.03.2018; in: "Proceedings of the 2018 Design, Automation & Test in Europe (DATE)",
(2018),
ISBN: 978-3-9819263-1-6;
S. 1327
- 1332.
Zusätzliche Informationen
M Függer, R. Najvirt, T. Nowak, U. Schmid:
"Towards binary circuit models that faithfully capture physical solvability";
Vortrag: Design, Automation & Test in Europe Conference & Exhibition (DATE'15),
Grenoble, France;
09.03.2015
- 13.03.2015; in: "Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE'15)",
(2015),
ISBN: 978-3-9815370-4-8;
S. 1455
- 1460.
M Függer, T. Nowak, U. Schmid:
"Unfaithful Glitch Propagation in existing Binary Circuit Models";
Vortrag: 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013),
Santa Monica, CA;
19.05.2013
- 22.05.2013; in: "Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on",
(2013),
ISSN: 1522-8681;
S. 191
- 199.
M Függer, U. Schmid, G. Fuchs, G. Kempf:
"Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip";
Vortrag: European Dependable Computing Conference,
Coimbra;
18.10.2006
- 20.10.2006; in: "EDCC-6",
(2006),
S. 87
- 96.
Zusätzliche Informationen
W. Halang, F.-J. Koller, U. Schmid, M. Witte:
"Untersuchung des Zeitverhaltens Verteilter Echtzeitsysteme";
Vortrag: Echtzeit,
Germany;
1995; in: "Proc. Echtzeit'95",
(1995),
S. 101
- 107.
D. Höchtl, U. Schmid:
"Long-Term Evaluation of GPS Timing Receiver Failures";
Vortrag: IEEE PTTI Systems and Application Meeting,
Long Beach, CA, USA;
1997; in: "Proc. of the 29th IEEE PTTI Systems and Application Meeting (PTTI'97)",
(1997),
S. 165
- 180.
R. Höller, M. Horauer, G. Gridling, N. Kerö, U. Schmid, K. Schossmaier:
"SynUTC - high precision time synchronization over Ethernet networks";
Vortrag: 8th Workshop on Electronics for LHC Experiments,
Colmar; France;
09.09.2002
- 13.09.2002; in: "Proceedings 8th Workshop on Electronics for LHC Experimets (LECC'02)",
(2002),
ISBN: 92-9083-202-9;
S. 428
- 432.
M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger:
"Supply Voltage Dependent On-chip Single Event Transient Pulse Shape Measurements in 90 nm Bulk CMOS under Alpha Irradiation";
Poster: 21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12),
Biarritz, FRANCE;
24.09.2012
- 28.09.2012; in: "Proceedings 21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12)",
(2012).
Zusätzliche Informationen
M. Horauer, N. Kerö, U. Schmid:
"A network interface for highly accurate clock synchronization";
Vortrag: Austrochip,
Graz, Austria;
2000; in: "Proc. AUSTROCHIP'00",
(2000),
ISBN: 3-9501349-0-5;
S. 93
- 101.
M. Horauer, U. Schmid, K. Schossmaier:
"NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization";
Vortrag: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS),
Orlando, Florida, USA;
30.03.1998
- 03.04.1998; in: "Proc. 6th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'98)",
(1998),
S. 1067
- 1076.
M. Horauer, U. Schmid, K. Schossmaier, R. Höller, N. Kerö:
"PSynUTC --- evaluation of a high precision time synchronization prototype system for Ethernet LANs.";
Vortrag: IEEE Precise Time and Time Interval Systems and Application Meeting,
Reston, Virginia, USA;
03.12.2002
- 05.12.2002; in: "Proceedings of the 34th IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI'02)",
(2003),
S. 263
- 278.
M. Hutle, D. Malkhi, U. Schmid, L. Zhou:
"Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus";
Vortrag: 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems,
Dallas;
17.11.2006
- 19.11.2006; in: "Stabilization, Safety, and Security of Distributed Systems",
(2006).
Zusätzliche Informationen
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction";
Vortrag: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC),
Montreal, Kanada;
22.07.2013
- 24.07.2013; in: "PODC",
ACM,
(2013),
ISBN: 978-1-4503-2065-8;
S. 119
- 121.
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Parameterized model checking of fault-tolerant distributed algorithms by abstraction";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Portland, OR, USA;
20.10.2013
- 23.10.2013; in: "FMCAD",
(2013),
ISBN: 978-0-9835678-3-7;
S. 201
- 209.
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms";
Vortrag: International SPIN Symposium on Model Checking of Software (SPIN),
Stony Brook, NY, USA;
08.07.2013
- 09.07.2013; in: "SPIN",
LNCS, Springer,
7976
(2013),
ISBN: 978-3-642-39175-0;
S. 209
- 226.
Zusätzliche Informationen
W. Kastner, U. Schmid:
"How to Teach Matters of Modern Control Systems to Computer Science Students?";
Vortrag: ACE,
Sea World Nara Resort, Australia;
17.12.2000
- 19.12.2000; in: "Proceedings 5th IFAC Symposium on Advances in Control Education (ACE'00)",
(2000).
W. Kastner, U. Schmid:
"Process Control Engineering for Computer Science Students";
Vortrag: ACE,
Istanbul, Turkey;
14.07.1997
- 17.07.1997; in: "Proceedings 4th IFAC Symposium on Advances in Control Education (ACE'97)",
(1997),
S. 289
- 295.
A. Kößler, H. Moser, U. Schmid:
"Real-Time Analysis of Round-based Distributed Algorithms";
Vortrag: RTSOPS 2010 (1st International Real-Time Scheduling Open Problems Seminar),
Brussels, Belgium;
06.07.2010
- 09.07.2010; in: "Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar",
(2010),
S. 9
- 11.
Zusätzliche Informationen
R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa:
"Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems";
Poster: TARK 2019: Theoretical Aspects of Rationality and Knowledge,
Toulouse, France;
17.07.2019
- 19.07.2019; in: "Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019)",
L. Moss (Hrg.);
Electronic Proceedings in Theoretical Computer Science,
297
(2019),
ISSN: 2075-2180;
S. 293
- 312.
Zusätzliche Informationen
R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa:
"Epistemic Reasoning with Byzantine-Faulty Agents";
Vortrag: FroCoS 2019: Frontiers of Combining Systems,
London, UK;
04.09.2019
- 06.09.2019; in: "Frontiers of Combining Systems, 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings",
A. Herzig, A. Popescu (Hrg.);
Springer,
(2019),
ISBN: 978-3-030-29006-1;
S. 259
- 276.
Zusätzliche Informationen
G. Le Lann, U. Schmid:
"Proof-Based Systems Engineering in ASSERT";
Vortrag: Data Systems in Aerospace,
Edinburgh;
30.05.2005
- 02.06.2005; in: "Proof-Based Systems Engineering in ASSERT",
(2005).
C. Lenzen, M Függer, M. Hofstätter, U. Schmid:
"Efficient Construction of Global Time in SoCs despite Arbitrary Faults";
Vortrag: 16th Euromicro Conference on Digital System Design (DSD 2013),
Santander, Spain;
04.09.2013
- 06.09.2013; in: "Dependable",
Digital System Design (DSD), 2013 Euromicro Conference on,
(2013),
S. 142
- 151.
J. Maier, M Függer, T. Nowak, U. Schmid:
"Transistor-Level Analysis of Dynamic Delay Models";
Vortrag: 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019),
Hirosaki, Japan;
12.05.2019
- 15.05.2019; in: "2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)",
(2019),
ISBN: 978-1-5386-4747-9;
S. 76
- 85.
Zusätzliche Informationen
J. Maier, D. Öhlinger, U. Schmid, M Függer, T. Nowak:
"A Composable Glitch-Aware Delay Model";
Vortrag: Great Lakes Symposium on VLSI GLSVLSI'21,
virtuell;
22.06.2021
- 25.06.2021; in: "Proceedings of the 2021 Great Lakes Symposium on VLSI",
ACM (Hrg.);
(2021),
ISBN: 978-1-4503-8393-6;
S. 147
- 154.
Zusätzliche Informationen
H. Moser, U. Schmid:
"Construction of a Fault-Tolerant Wireless Communication Topology Using Distributed Agreement";
Vortrag: Junior Scientist Conference,
Wien;
19.04.2006
- 21.04.2006; in: "Junior Scientiest Conferenve 2006",
(2006),
S. 47
- 48.
Zusätzliche Informationen
H. Moser, U. Schmid:
"Optimal clock synchronization revisited: Upper and lower bounds in real-time systems";
Vortrag: International Conference On Principles Of Distributed Systems (OPODIS),
Bordeaux;
12.12.2006
- 14.12.2006; in: "Principles of Distributed Systems",
(2006),
S. 94
- 109.
Zusätzliche Informationen
H. Moser, U. Schmid:
"Optimal Deterministic Remote Clock Estimation in Real-Time Systems";
Vortrag: 12th International Conference On Principles of Distributed Systems,
Luxor, Ägypten;
15.12.2008
- 18.12.2008; in: "Principles of Distributed Systems",
Lecture Notes in Computer Science / Springer Verlag,
Volume 5401
(2008),
ISBN: 978-3-540-92220-9;
S. 363
- 387.
Zusätzliche Informationen
H. Moser, U. Schmid:
"Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing";
Vortrag: Structural Information and Communication Complexity,
Gdansk;
26.06.2011
- 29.06.2011; in: "Proceedings 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11)",
Springer Berlin / Heidelberg,
(2011),
ISBN: 978-3-642-22211-5;
S. 42
- 53.
Zusätzliche Informationen
H. Nachtnebel, N. Kerö, G. Cadek, T. Mandl, U. Schmid:
"Rapid Prototyping mit programmierbarer Logik anhand eines Fallbeispiels";
Vortrag: Austrochip ´98,
Wr. Neustadt;
01.10.1998; in: "Tagungsband der TMÖ-Fachtagung Austrochip´98",
(1998),
ISBN: 3-901578-03-x;
S. 99
- 104.
R. Najvirt, M Függer, T. Nowak, U. Schmid, M. Hofbauer, K. Schweiger:
"Experimental Validation of a Faithful Binary Circuit Model";
Vortrag: Great Lakes Symposium on VLSI (GLSVLSI'15),
Pittsburgh, Pennsylvania, USA;
2015; in: "Proceedings of the 25th Edition on Great Lakes Symposium on VLSI (GLSVLSI'15)",
(2015),
ISBN: 978-1-4503-3474-7;
S. 355
- 360.
T. Nowak, U. Schmid, K. Winkler:
"Topological Characterization of Consensus under General Message Adversaries";
Vortrag: 38th ACM Symposium on Principles of Distributed Computing (PODC'19),
Toronto, Canada;
27.07.2019
- 02.08.2019; in: "PODC'19 Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing",
ACM,
New York, NY, USA
(2019),
ISBN: 978-1-4503-6217-7;
S. 218
- 227.
Zusätzliche Informationen
D. Öhlinger, J. Maier, M Függer, U. Schmid:
"The Involution Tool for Accurate Digital Timing and Power Analysis";
Vortrag: 2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019),
Rhodos;
01.07.2019
- 03.07.2019; in: "2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019)",
(2019),
ISBN: 978-1-7281-2103-1;
S. 1
- 8.
Zusätzliche Informationen
A. Pavlogiannis, K. Chatterjee, U. Schmid, A. Kößler:
"A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks";
Vortrag: 35th IEEE Real-Time Systems Symposium,
Rome;
02.12.2014
- 05.12.2014; in: "Proccedings IEEE Real-Time Systems Symposium (RTSS'14)",
(2014),
ISSN: 1052-8725;
S. 118
- 127.
M. Perner, U. Schmid:
"Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures";
Vortrag: 24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS'18),
Platja D'Aro, Spain;
02.07.2018
- 04.07.2018; in: "Proceedings 24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS'18)",
(2018),
S. 157
- 164.
M. Perner, U. Schmid, C. Lenzen, M. Sigl:
"Byzantine Self-Stabilizing Clock Distribution with HEX: Implementation, Simulation, Clock Multiplication";
Vortrag: DEPEND 2013, The Sixth International Conference on Dependability,
Barcelona, Spain;
25.08.2013
- 31.08.2013; in: "Proceedings of the 6th IARA International Conference on Dependability (DEPEND'13)",
IARA,
(2013),
ISBN: 978-1-61208-301-8;
S. 6
- 15.
Zusätzliche Informationen
D. Pfleger, U. Schmid:
"A Framework for Connectivity Monitoring in Wireless Sensor Networks";
Vortrag: 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16),
Nice, France;
24.07.2016
- 28.07.2016; in: "Proceedings 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16)",
IARIA XPS Press,
(2016),
ISBN: 978-1-61208-490-9;
S. 40
- 48.
Zusätzliche Informationen
D. Pfleger, U. Schmid:
"On Knowledge and Communication Complexity in Distributed Systems";
Vortrag: 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018),
Ma'ale HaHamisha, Israel;
18.06.2018
- 21.06.2018; in: "Proceedings 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018)",
Springer International Publishing,
(2018),
ISSN: 0302-9743;
S. 312
- 330.
H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum:
"A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus";
Vortrag: 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019),
Pisa, Italy;
22.10.2019
- 25.10.2019; in: "Stabilization, Safety, and Security of Distributed Systems",
Lecture Notes in Computer Science / Springer,
vol 11914 / Cham
(2019),
ISSN: 0302-9743;
S. 307
- 322.
P. Robinson, M. Biely, U. Schmid:
"Brief Announcment: Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement*";
Vortrag: DISC 2009 (International Symposium on Distributed Computing),
Elche, Spain;
23.09.2009
- 25.09.2009; in: "Distribiuted Computing",
Springer,
5805/2009
(2009),
ISBN: 978-3-642-04354-3;
S. 360
- 361.
Zusätzliche Informationen
P. Robinson, U. Schmid:
"The Asynchronous Bounded Cycle Model";
Vortrag: 10 International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2008),
Detroit, USA;
21.11.2008
- 23.11.2008; in: "Stabilization, Safety, and Security of Distributed Systems",
Lecture Notes in Conputer Science / Springer Verlag,
5340
(2008),
ISSN: 0302-9743;
S. 246
- 262.
Zusätzliche Informationen
T. Schlögl, U. Schmid, R. Kuznets:
"The Persistence of False Memory: Brain in a Vat despite Perfect Clocks";
Vortrag: PRIMA 2020,
Japan;
18.11.2020
- 20.11.2020; in: "PRIMA 2020: Principles and Practice of Multi-Agent Systems",
Springer Nature Switzerland AG,
(2020),
ISBN: 978-3-030-69322-0;
S. 403
- 411.
Zusätzliche Informationen
U. Schmid:
"A Perspective of Fault-Tolerant Clock Synchronization";
Hauptvortrag: 2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication,
Wien (eingeladen);
01.10.2007
- 03.10.2007; in: "IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication",
(2007).
Zusätzliche Informationen
U. Schmid:
"Applied Research: A Scientist's Perspective";
Vortrag: IFAC/IFIP Workshop on Real-Time Programming and Workshop on Algorithms and Architectures for Real-Time Control,
Mallorca, Spain (eingeladen);
2000; in: "Proc. of the joint 25th IFAC/IFIP Workshop on Real-Time Programming (WRTP'00) and Workshop on Algorithms and Architectures for Real-Time Control (AARTC'00)",
(2000),
S. 5
- 12.
U. Schmid:
"Distributed Algorithms and VLSI";
Hauptvortrag: 10 International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2008),
Detroit, USA (eingeladen);
21.11.2008
- 23.11.2008; in: "Stabilization, Safety, and Security of Distributed Systems",
Lecture Notes in Conputer Science / Springer Verlag,
5340
(2008),
ISSN: 0302-9743;
S. 3.
Zusätzliche Informationen
U. Schmid:
"High-Accuracy Time Services and Fault-Tolerant Clock Synchronization";
Vortrag: IFIP WG10.4 Annual Meeting,
Martinique, France (eingeladen);
21.01.2000
- 25.01.2000; in: "Workshop on "Time and Dependability"",
(2000),
S. 39
- 57.
U. Schmid:
"How to model link failures: A perception-based fault model";
Vortrag: IEEE International Conference on Dependable Systems and Networks,
Göteborg, Sweden;
01.07.2001
- 04.07.2001; in: "Proceedings of the Int. Conf. on Dependable Systems and Networks (DSN'01)",
(2001),
S. 57
- 66.
U. Schmid:
"Internet-Based Real-Time Computing";
Vortrag: International Computer Software and Applications Conference (COMPSAC),
Vienna, Austria (eingeladen);
1998; in: "Proc. 22nd Annual International Computer Software & Applications Conference (COMPSAC'98)",
(1998),
S. 338
- 342.
U. Schmid:
"Monitoring in verteilten Echtzeitsystemen";
Vortrag: Echtzeit,
Sindelfingen, Germany;
1991; in: "Proc. Echtzeit'91",
(1991),
S. 169
- 176.
U. Schmid:
"Monitoring of Distributed Real-Time Systems";
Vortrag: Real time computing, NATO ASI Series F: Computer and Systems Sciences,
Sint Maarten;
1994; in: "Proc. NATO ASI on Real-Time Computing",
127
(1994),
S. 582
- 583.
U. Schmid:
"Synchronized UTC for Distributed Real-Time Systems";
Vortrag: IFAC/IFIP Workshop on Real-Time Programming,
Lake Reichenau, Germany;
1994; in: "Proc. IFAC Workshop on Real-Time Programming (WRTP'94)",
(1994),
S. 101
- 107.
U. Schmid:
"Synchrony and Time in Fault-Tolerant Distribiuted Algorithms";
Vortrag: FORMATS 2010 (Formal Modeling and Analysis of Times Systems),
Klosterneuburg, Austria (eingeladen);
08.09.2010
- 10.09.2010; in: "Formal Modeling and Analysis of Timed Systems",
Springer,
6246
(2010),
ISBN: 9783642152962.
Zusätzliche Informationen
U. Schmid:
"The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects";
Vortrag: ICALP,
Vienna;
1992; in: "Proceedings 19th International Colloquium on Automata, Languages, and Programming (ICALP'92)",
Springer-Verlag, LNCS,
623
(1992),
S. 223
- 234.
U. Schmid:
"The Role of Standards in Real-Time Computing";
Vortrag: Real time computing, NATO ASI Series F: Computer and Systems Sciences,
Sint Maarten;
1994; in: "Proc. NATO ASI on Real-Time Computing",
127
(1994),
S. 638
- 639.
U. Schmid, C. Fetzer:
"Randomized asynchronous consensus with imperfect communications.";
Vortrag: IEEE Symposium on Reliable Distributed Systems,
Florence, Italy;
06.10.2003
- 08.10.2003; in: "Proc. 22nd Symposium on Reliable Distributed Systems ",
(2003),
S. 361
- 370.
U. Schmid, H. Haberstroh, S. Stöckler:
"Process Control Education for Computer Science: Facts and Fiction";
Vortrag: SEFI/TEMPUS JEP 2011 - IMPACT Workshop on Computer Science Topics for Control Engineering Education,
Vienna, Austria;
21.02.1993; in: "Proceedings SEFI/TEMPUS JEP 2011 - IMPACT Workshop on Computer Science Topics for Control Engineering Education",
(1993),
S. 13
- 22.
U. Schmid, M. Horauer, N. Kerö:
"How to distribute GPS-time over COTS-based LANs";
Vortrag: IEEE Precise Time and Time Interval Systems and Application Meeting,
Dana Point, CA, USA;
1999; in: "Proc. of the 31st IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI'99)",
(2000),
S. 545
- 560.
U. Schmid, W. Kastner:
"DOBOS: Ein Distributed Object-based Operating System für Soft Real-Time Systems";
Vortrag: Echtzeit,
Hamburg, Germany;
14.06.1994
- 16.06.1994; in: "Proceedings Echtzeit'94",
(1994),
S. 130
- 137.
U. Schmid, W. Kastner:
"Monitoring of Distributed Real-Time Systems: The Versatile Timing Analyzer (VTA)";
Vortrag: Workshop on Performance and Visualization of Parallel Systems,
Moravany, Czecho-Slovakia;
23.10.1992
- 24.10.1992; in: "Proceedings Workshop on Performance Measurement and Visualization of Parallel Systems",
Elsevier Science,
7
(1993),
S. 277
- 302.
U. Schmid, W. Kastner, H. Haberstroh:
"Process Control Education for Computer Science: From Fiction Back to Facts";
Vortrag: TEMPUS JEP-07759,
Vienna, Austria;
05.07.1995
- 07.07.1995; in: "Proceedings TEMPUS JEP 07759 MODIFY Workshop on Automation and Control Engineering in Higher Education",
(1995),
S. 135
- 147.
U. Schmid, H. Nachtnebel:
"Experimental evaluation of high-accuracy time distribution in a COTS-based Ethernet LAN";
Vortrag: IFAC/IFIP Workshop on Real-Time Programming,
Schloß Dagstuhl, Germany;
1999; in: "Proc. 24th IFAC/IFIP Workshop on Real-Time Programming (WRTP'99)",
(1999),
S. 59
- 68.
U. Schmid, P. Robinson:
"Brief Announcement: The Asynchronous Bounded Cycle Model";
Vortrag: ACM Symposium on Principles of Distributed Computing,
Toronto, Canada;
18.08.2008
- 21.08.2008; in: "PODC'08 Proceedings of the 27th Annual ACM Symposium on Principles of Distributed Computing",
Association for Computing Machinery (ACM),
(2008),
ISBN: 978-1-59593-989-0;
S. 423.
Zusätzliche Informationen
U. Schmid, M. Schwarz, K. Winkler:
"On the Strongest Message Adversary for Consensus in Directed Dynamic Networks";
Vortrag: 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018),
Ma'ale HaHamisha, Israel;
18.06.2018
- 21.06.2018; in: "Structural Information and Communication Complexity",
Springer International Publishing,
(2018),
ISSN: 0302-9743;
S. 102
- 120.
U. Schmid, A. Steininger, H. Veith:
"Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits";
Poster: GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf,
München;
26.03.2007
- 28.03.2007; in: "Fachtagung Zuverlässigkeit und Entwurf",
VDE Verlag,
(2007),
ISBN: 978-3-8007-3023-0;
S. 173
- 174.
U. Schmid, S. Stöckler:
"A Versatile Monitoring System for Distributed Real-Time Systems";
Vortrag: SAFECOMP,
Zürich, Switzerland;
1992; in: "Proceedings 11th IFAC Symposium on Computer Systems in Safety-Critical Applications (SAFECOMP'92)",
(1992),
S. 203
- 208.
U. Schmid, B. Weiss, G. Gridling, K. Schossmaier:
"A unified approach for simulation and experimental evaluation of fault-tolerant distributed systems";
Vortrag: IASTED international Conf. on Applied Modelling and Simulation (AMS),
Cairns, Australia;
1999; in: "Proc. of the IASTED International Conference on Applied Modelling and Simulation (AMS'99)",
(1999),
S. 43
- 48.
U. Schmid, B. Weiss, J. Rushby:
"Formally Verified Byzantine Agreement in Presence of Link Faults";
Vortrag: 22nd Conference on Distributed Computer Systems (ISDCS),
Vienna, Austria;
02.07.2002
- 05.07.2002; in: "Proceedings of the 22nd Conference on Distributed Computer Systems (ICDCS'02)",
(2002),
ISBN: 0-7695-1585-1;
S. 608
- 616.
K. Schossmaier, U. Schmid, M. Horauer, R. Höller, N. Kerö:
"PSynUTC - Evaluation of a High Precision time Synchronization Prototype System for Ethernet LANs";
Vortrag: 34th Annual Precise Time and Time Interval (PTTI) Systems and Applications Meeting,
Reston, Virginia;
03.12.2002
- 05.12.2002; in: "Proceedings of the 34th Annual Precise Time and Time Interval (PTTI) Systems and Applications Meeting",
(2002),
S. 1.
M. Schwarz, U. Schmid:
"Round-Oblivious Stabilizing Consensus in Dynamic Networks";
Vortrag: 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021),
virtuell (eingeladen);
17.11.2021
- 20.11.2021; in: "Proceedings 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023)",
Springer,
LNCS 13046
(2021),
ISBN: 978-3-030-91080-8;
S. 154
- 172.
Zusätzliche Informationen
M. Schwarz, K. Winkler, U. Schmid:
"Fast Consensus Under Eventually Stabilizing Message Adversaries";
Vortrag: 17th International Conference on Distributed Computing and Networking,
Singapore;
04.01.2016
- 07.01.2016; in: "Proceedings of the 17th International Conference on Distributed Computing and Networking",
ACM,
(2016),
ISBN: 978-1-4503-4032-8;
S. 1
- 10.
Zusätzliche Informationen
M. Schwarz, K. Winkler, U. Schmid, M. Biely, P. Robinson:
"Brief Announcement: Gracefully Degrading Consensus and k-Set Agreement under Dynamic Link Failures";
Vortrag: 33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing (PODC),
Paris, France;
15.07.2014
- 18.07.2014; in: "Proceedings of the 33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing",
ACM,
(2014),
S. 341
- 343.
Zusätzliche Informationen
A. Steininger, M Függer, U. Schmid, G. Fuchs:
"Fault-Tolerant Algorithms on SoCs - A case study";
Vortrag: IEEE International Conference on Dependable Systems and Networks,
Philadelphia;
25.06.2006
- 28.06.2006; in: "Supplement Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN)",
(2006),
S. 190
- 191.
Zusätzliche Informationen
H. Stratil, U. Schmid:
"Efficient Position-based Communication in Wireless Ad-hoc Networks";
Poster: Junior Scientist Conference,
Wien;
19.04.2006
- 21.04.2006; in: "Junior Scientist Conference 2006",
(2006),
S. 75
- 76.
Zusätzliche Informationen
V. S. Veeravalli, A. Steininger, U. Schmid:
"Measuring SET Pulsewidths in Logic Gates using Digital Infrastructure";
Vortrag: 15th International Symposium & Exhibit on Quality Electronic Design,
Santa Clara, USA;
10.03.2014
- 12.03.2014; in: "Proceedings 15th International Symposium & Exhibit on Quality Electronic Design",
(2014),
ISBN: 978-1-4799-3946-6;
7 S.
Zusätzliche Informationen
V. S. Veeravalli, A. Steininger, U. Schmid, T. Polzer:
"Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip";
Vortrag: 15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD 2012),
Izmir, Turkey;
05.09.2012
- 08.09.2012; in: "Proceedings 15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD'12)",
(2012),
S. 8
- 17.
Zusätzliche Informationen
B. Weiss, G. Gridling, U. Schmid, K. Schossmaier:
"The SimUTC fault-tolerant distributed systems simulation toolkit";
Vortrag: International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOT),
Maryland, USA;
1999; in: "Proc. 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOT'99)",
(1999),
S. 68
- 75.
B. Weiss, U. Schmid:
"Consensus with written messages under link faults";
Vortrag: IEEE Symposium on Reliable Distributed Systems,
New Orleans, LA, USA;
28.10.2001
- 31.10.2001; in: "Proc. 20th Symposium on Reliable Distributed Systems (SRDS'01)",
(2001),
S. 194
- 197.
J. Widder, G. Le Lann, U. Schmid:
"Failure Detection with Booting in Partially Synchronous Systems";
Vortrag: European Dependable Computing Conference,
Budapest, Ungarn;
20.04.2005
- 22.04.2005; in: "Dependable Computing Conference - EDCC5",
(2005),
S. 20
- 37.
Zusätzliche Informationen
K. Winkler, U. Schmid, Y. Moses:
"A Characterization of Consensus Solvability for Closed Message Adversaries";
Vortrag: 23rd International Conference on Principles of Distributed Systems (OPODIS 2019),
Neuchâtel, Switzerland;
17.12.2019
- 19.12.2019; in: "23rd International Conference on Principles of Distributed Systems",
(2019),
S. 17:1
- 17:16.
K. Winkler, U. Schmid, T. Nowak:
"Valency-based Consensus under Message Adversaries without Limit-Closure";
Vortrag: Fundamentals of Computation Theory,
Athens, Greece;
12.09.2021
- 15.09.2021; in: "Proceedings 23rd International Symposium on Fundamentals of Computation Theory (FCT'21)",
Springer,
Lecture Notes in Computer Science LNCS 12867
(2021),
ISBN: 978-3-030-86592-4;
S. 457
- 474.
Zusätzliche Informationen
M. Zeiner, U. Schmid, M. Schwarz:
"On Linear-Time Data Dissemination in Dynamic Rooted Trees";
Vortrag: 19th ÖMG Congress and Annual DMV Meeting,
Salzburg;
11.09.2017
- 15.09.2017; in: "19th ÖMG Congress and Annual DMV Meetig Program and Books of Abstracts",
(2017),
S. 87.
M. Zeiner, M. Schwarz, U. Schmid:
"On linear-time data dissemination in dynamic trees";
Vortrag: CSASC 2018,
Bratislava;
11.09.2018
- 14.09.2018; in: "CSASC 2018 - Book of Abstracts",
(2018),
S. 113.
Zusätzliche Informationen
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
D. Dolev, M Függer, M. Hofstätter, C. Lenzen, M. Perner, M. Posch, U. Schmid, M. Sigl, A. Steininger:
"FATAL+HEX: Fault-Tolerant Self-Stabilizing Clock Generation+Distribution";
Poster: Poster Session at the CSAIL Industry Affiliates Program (CSAIL-IAP) Annual Meeting,
Cambridge, MA, USA;
29.05.2013
- 30.05.2013.
D. Dolev, M Függer, C. Lenzen, U. Schmid:
"Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation in Systems-on-Chip";
Vortrag: NITRD Workshop,
Baltimore, USA (eingeladen);
15.10.2012
- 16.10.2012.
L. Gréaux, R. Kuznets, L. Prosperi, U. Schmid:
"What do Byzantine agents know?";
Vortrag: First joint workshop by the Mathematics and the Philosophy Research Institutes of UNAM,
Mexiko-Stadt, Mexiko (eingeladen);
06.08.2018
- 09.08.2018.
Zusätzliche Informationen
M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger:
"Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating through a 90 nm Bulk CMOS Inverter Chain";
Poster: Nuclear and Space Radiation Effects Conference (NSREC),
Miami, FL, USA;
16.07.2012
- 20.07.2012.
M. Hofbauer, K. Schweiger, W. Gaberl, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger:
"Single Event Transient Pulse Shape Measurements by On-chip Sense Amplifiers in a Single Inverter for Intermediate Input States under Alpha Particle Irradiation";
Poster: IEEE Nuclear and Space Radiation Effects Conference (NSREC),
San Francisco, California (USA);
08.07.2013
- 12.07.2013.
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Counter Attack against Byzantine Generals";
Vortrag: Alpine Verification Meeting,
Passau, Bayern, Deutschland;
21.05.2012
- 22.05.2012.
Zusätzliche Informationen
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Parameterized Model Checking of Fault-tolerant Distributed Algorithms";
Vortrag: Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering,
Dagstuhl, Deutschland (eingeladen);
11.11.2012
- 16.11.2012.
A. John, I. Konnov, U. Schmid, H. Veith, J. Widder:
"Who is afraid of Model Checking Distributed Algorithms?";
Vortrag: PUMA/RISE Seminar,
Goldegg;
24.09.2012
- 28.09.2012.
R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa:
"Byzantine Causal Cone";
Vortrag: Workshop on Formal Reasoning in Distributed Algorithms (FRiDA),
Budapest, Hungary (eingeladen);
18.10.2019.
Zusätzliche Informationen
U. Schmid:
""Echtzeit"-Systeme";
Vortrag: Habilitationskolloquium,
Vienna, Austria;
1995.
U. Schmid:
"Challenges in Interval-based Clock Synchronization";
Vortrag: Dagstuhl-Seminar 9728 on "Average Case Analysis of Algorithms",
Schloß Dagstuhl, Germany (eingeladen);
07.07.1997
- 11.07.1997.
U. Schmid:
"Digital Modeling of Asynchronous Integrated Circuits";
Vortrag: 2nd Workshop on Hardware Design and Theory (https://sites.google.com/view/motimedina/hdt-2019, colocated with DISC 2019),
Budapest;
18.10.2019.
Zusätzliche Informationen
U. Schmid:
"Easy Impossibility Proofs for k-Set Agreement";
Vortrag: Dagstuhl Seminar #16282 Topological Methods in Distributed Computing,
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (eingeladen);
10.07.2016
- 15.07.2016.
Zusätzliche Informationen
U. Schmid:
"Honors at TU Wien";
Vortrag: International Conference on Talent Development and Honors Education (World of Talent 2021),
Groningen, The Netherlands (eingeladen);
16.06.2021
- 18.06.2021.
Zusätzliche Informationen
U. Schmid:
"On Random-Trees Arising in the Analysis of Scheduling Algorithms for Real-Time Systems";
Vortrag: Dagstuhl-Seminar 9328 on "Average Case Analysis of Algorithms",
Schloß Dagstuhl, Germany (eingeladen);
1993.
U. Schmid:
"Reconciling Fault-Tolerance and Robustness ?";
Hauptvortrag: Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016,
Hofburg Vienna, Austria (eingeladen);
11.04.2016.
Zusätzliche Informationen
U. Schmid:
"The Theta-Model";
Vortrag: Diskussionskreis Fehlertoleranz,
Berlin;
12.11.2004.
U. Schmid:
"Versuch über die wahre Art, das Clavier zu spielen";
Vortrag: Berufungsvortrag,
Vienna, Austria;
18.12.2001.
U. Schmid:
"Wissenschaftliche Forschung - Quo vadis?";
Vortrag: IKT in Österreich 2006,
Wien (eingeladen);
05.12.2006
- 06.12.2006.
M. Zeiner, M Függer, T. Nowak, U. Schmid:
"Optimal Strategies for Repeated Leader Election";
Vortrag: Joint Austrian-Hungarian Mathematical Conference 2015,
Györ;
25.08.2015
- 27.08.2015.
M. Zeiner, M Függer, U. Schmid, A. Kößler, T. Nowak:
"The Effect of Forgetting on the Performance of a Synchronizer";
Vortrag: 18th ÖMG Congress and Annual DMV Meeting,
Innsbruck;
23.09.2013
- 27.09.2013.
M. Zeiner, M. Schwarz, K. Winkler, U. Schmid:
"Broadcasting in Random Trees";
Vortrag: ALEA in Europe - Young Researchers Workshop,
TU Wien;
06.09.2016
- 09.09.2016.
Patente
N. Kerö, U. Schmid:
"Verfahren für die Synchronisation von Computeruhren in Netzwerken";
Patent: Österreich,
eingereicht: 06.03.2001.
N. Kerö, U. Schmid, M. Horauer:
"Verfahren für die Synchronisation von Computeruhren in Netzwerken";
Patent: Österreich,
Nr. TR 183/1-105;
eingereicht: 01.03.2000.
U. Schmid, M. Horauer, N. Kerö:
"Verfahren für die Sysnchronisation von Computeruhren in Netzwerken";
Patent: Austria,
Nr. AT005327U1;
eingereicht: 06.03.2000,
erteilt: 27.05.2002.
U. Schmid, A. Steininger:
"Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips";
Patent: Österreich,
eingereicht: 2004.
Habilitationsschriften
U. Schmid:
"Random trees in queueing systems with deadlines ";
TU Wien, Technisch-Naturwissenschaftliche Fakultät,
1995.
Dissertationen (eigene und begutachtete)
M. Biely:
"Dynamic Aspects of Modelling Distributed Computations";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, B. Charron-Bost;
Institut für Technische Informatik,
2009;
Rigorosum: 30.11.2009.
Zusätzliche Informationen
M Függer:
"Analysis of On-Chip Fault-Tolerant Distributed Algorithms";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, L. Welch;
Institut für Technische Informatik - 182/2,
2010.
Zusätzliche Informationen
M. Horauer:
"Clock Synchronization in Distributed Systems";
Betreuer/in(nen), Begutachter/in(nen): R. Eier, U. Schmid;
Institut für Computertechnik,
2004.
M. Hutle:
"Failure Detection in Sparse Networks";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid;
Technische Informatik, E182/2,
2005;
Rigorosum: 2005.
Zusätzliche Informationen
S. Khattab:
"Efficient Interference Reduction in Low Complex Digital Direct Sequence Spread Spectrum Systems";
Betreuer/in(nen), Begutachter/in(nen): A. Goiser, U. Schmid;
E389,
2010;
Rigorosum: 02.06.2010.
A. Kößler:
"Real-Time Performance Analysis of Synchronous Distributed Systems";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, K. Chatterjee;
Institut für Technische Informatik (E182/2),
2014;
Rigorosum: 27.11.2014.
H. Moser:
"A Model for Distributed Computing in Real-Time Systems";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, L. Welch;
Institut für Technische Informatik,
2009;
Rigorosum: 20.05.2009.
Zusätzliche Informationen
M. Perner:
"Fault-Tolerant Clock Distribution in Grid-Like Networks";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, A. Jantsch, M. Krstic;
Institut für Computer Engineering (E191-02),
2019;
Rigorosum: 16.10.2019.
Zusätzliche Informationen
P. Robinson:
"Weak System Models for Fault-Tolerant Distributed Agreement Problems";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, M. Raynal;
Institut für Technische Informatik (E182/2),
2011;
Rigorosum: 31.01.2011.
K. Schossmaier:
"Interval-based Clock State and Rate Synchronization";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid;
Institut für Automation,
1998.
M. Schwarz:
"Agreement Algorithms in Directed Dynamic Networks";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, E. Godard;
Institut für Computer Engineering,
2018;
Rigorosum: 15.06.2018.
S. Stöckler:
"Event-Based Monitoring of Distributed Real-Time Systems";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, G. Schildt;
Institut für Automation,
1994.
H. Stratil:
"Advantages and Limitations of Position-based Communication in Wireless Ad-hoc Networks";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid;
Technische Informatik, E182/2,
2005;
Rigorosum: 2005.
Zusätzliche Informationen
B. Weiss:
"Authenticated Consensus";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid;
Institut für Rechnergestützte Automation,
2002.
J. Widder:
"Distributed Computing in the Presence of Bounded Asynchrony";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, M. Jazayeri;
Institut für Technische Informatik / Embedded Computing Systems,
2004.
K. Winkler:
"Characterization of Consensus Solvability under Message Adversaries";
Betreuer/in(nen), Begutachter/in(nen): U. Schmid, S. Rajsbaum, S. Schmid;
Institut für Computer Engineering,
2019;
Rigorosum: 23.10.2019.
Diplom- und Master-Arbeiten (eigene und betreute)
D. Albeseder:
"Experimentelle Verifikation von Synchronitätsannahmen für Computernetzwerke";
Betreuer/in(nen): U. Schmid;
Institut für Technische Informatik / Embedded Computing Systems,
2004.
M. Biely:
"Byzantine agreement under the perception-based fault model";
Betreuer/in(nen): U. Schmid;
183,
2002.
A. Dielacher:
"A Pipelined Distributed Fault-Tolerant Clock Generation Algorithm in VLSI - Proofs and Implementation";
Betreuer/in(nen): U. Schmid, M Függer;
Institut für Technische Informatik - 182/2,
2010.
Zusätzliche Informationen
J. Divisch:
"Monitoring in verteilten Echtzeitsystemen";
Betreuer/in(nen): U. Schmid, S. Stöckler, G. Schildt;
Institut für Automation,
1994.
F. Fajtak:
"Objektorientierte Spezifikation graphischer Benutzerschnittstellen";
Betreuer/in(nen): H. Haberstroh, U. Schmid;
Institut für Automation,
1996.
P. Fimml:
"Temporal-Epistemic Logic in Byzantine Message-Passing Contexts";
Betreuer/in(nen): U. Schmid;
Institut für Computer Engineering,
2018;
Abschlussprüfung: 08.01.2018.
M Függer:
"Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip";
Betreuer/in(nen): U. Schmid;
Technische Informatik, E182/2,
2006;
Abschlussprüfung: 2006.
Zusätzliche Informationen
M. Hofstätter:
"Solving the Labeling Problem - A Byzantine Fault-Tolerant Self-Stabilizing FPGA Prototype based on the FATAL+ Protocol";
Betreuer/in(nen): U. Schmid, M Függer;
Institut für technische Informatik,
2013;
Abschlussprüfung: 08.10.2013.
T. Hontsch:
"Sourcecode-Level Monitoring verteilter Echtzeitsysteme";
Betreuer/in(nen): U. Schmid, G. Schildt;
Institut für Automation,
1991.
W. Kastanek:
"Externe Prozessynchronisation im Echtzeitbetriebssystem REMUX";
Betreuer/in(nen): G. Schildt, U. Schmid;
Institut für Automation,
1992.
J. Klasek:
"Dynamische Software- und Hardware-Instrumentierung";
Betreuer/in(nen): U. Schmid, G. Schildt;
Institut für Automation,
1994.
R. Labner:
"Untersuchung über die Einsetzbarkeit graphischer Programmiermethoden für die On-Line Data Acquisition";
Betreuer/in(nen): U. Schmid, G. Schildt;
Institut für Automation,
1994.
M. Laubach:
"Konzepte der Systemadministration in heterogenen Workstation-Netzen";
Betreuer/in(nen): G. Schildt, U. Schmid;
Institut für Automation,
1997.
H. Moser:
"Distributed Construction of a Fault-Tolerant Wireless Communication Topology for Networked Embedded Systems";
Betreuer/in(nen): U. Schmid;
Institut für Technische Informatik / Embedded Computing Systems,
2005.
Zusätzliche Informationen
S. Movaghar:
"Vergleich von Protocol frameworks";
Betreuer/in(nen): U. Schmid;
183,
2002.
T. Nowak:
"Topology in Distributed Computing";
Betreuer/in(nen): U. Schmid;
Institut für Technische Informatik - 182/2,
2010.
Zusätzliche Informationen
M. Perner:
"Self-Stabilizing Byzantine Fault-Tolerant Clock Distribution in Grids";
Betreuer/in(nen): U. Schmid;
Institut für technische Informatik,
2013;
Abschlussprüfung: 08.10.2013.
D. Pfleger:
"Knowledge and Communication Complexity in Distributed Systems";
Betreuer/in(nen): U. Schmid;
Institut für Computer Engineering,
2018;
Abschlussprüfung: 11.04.2018.
A. Pusterhofer:
"NTSU - Network Timestamp Unit";
Betreuer/in(nen): U. Schmid, G. Schildt;
Institut für Automation,
1995.
S. Rahimi Movaghar:
"Vergleich von Protocol Frameworks";
Betreuer/in(nen): U. Schmid;
Institut für Rechnergestützte Automation,
2002.
G. Richter:
"Device Driver for Real-Time Communication Coprocessor";
Betreuer/in(nen): U. Schmid;
Institut für Automation,
1997.
M. Schwarz:
"Solving k-Set Agreement in Dynamic Networks";
Betreuer/in(nen): U. Schmid;
Institut für technische Informatik,
2013;
Abschlussprüfung: 08.10.2013.
H. Stratil:
"Topology Management and Routing in Wireless Networks - An Overview";
Betreuer/in(nen): U. Schmid;
183,
2002.
B. Weiss:
"Simulation Environment for Clock Synchronization";
Betreuer/in(nen): U. Schmid, K. Schoßmaier;
Institut für Automation,
1997.
J. Widder:
"Switching On - How Processes Initialize for Consistent Broadcast.";
Betreuer/in(nen): U. Schmid;
183,
2002.
K. Winkler:
"Easy Impossibility Proofs for k-Set Agreement";
Betreuer/in(nen): U. Schmid;
Institut für technische Informatik,
2013;
Abschlussprüfung: 22.11.2013.
Wissenschaftliche Berichte
M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler:
"Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks";
Berichts-Nr. TUW-258404,
2016.
Zusätzliche Informationen
M. Biely, U. Schmid:
"Message-efficient consensus in presence of hybrid node and link faults";
Bericht für Technical Report 183/1-116, Department of Automation, Technische Universität Wien;
2001.
J. Blieberger, U. Schmid:
"Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A Novel Approach";
Bericht für Technical Report 183/1-15, Vienna University of Technology, Department of Automation;
1991.
C. Fetzer, U. Schmid:
"On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times";
Bericht für Research Report 14/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
G. Fuchs, U. Schmid, A. Steininger:
"DARTS - Distributed Algorithms for Robust Tick Synchronization";
Bericht für Research Report 72/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
Zusätzliche Informationen
G. Fuchs, U. Schmid, A. Steininger:
"Ein Verfahren für das verteilte Generieren eines fehlertoleranten adaptiven Taktes in Hardware";
Bericht für Research Report 18/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
Zusätzliche Informationen
M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, U. Giesen:
"Messung der Auswirkungen von ionisierender Strahlung auf 90 nm CMOS Schaltungen";
Bericht für Physikalisch Technische Bundesanstalt;
2012.
M. Horauer, D. Loy, U. Schmid:
"NTI Functional and Architectural Specification";
1996.
M. Horauer, U. Schmid, K. Schossmaier:
"NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization";
1997.
W. Kastner, B. Weiss, U. Schmid:
"Beispielsammlung zur Laborübung Prozeßautomatisierung (TR 183/1-106-b)";
2000.
G. Le Lann, U. Schmid:
"How to implement a timer-free perfect failure detector in partially synchronous systems.";
Bericht für Technical Report 183/1-127, Department of Automation, Technische Universität Wien;
2003.
G. Le Lann, U. Schmid:
"How to maximize computing systems coverage";
Bericht für Technical Report 183/1-134, Department of Automation, Technische Universität Wien;
2003.
M. Perner, U. Schmid:
"Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures";
Bericht für Institut für Technische Informatik;
Berichts-Nr. TUW-268547,
2018.
Zusätzliche Informationen
D. Pfleger, U. Schmid:
"A Framework for Connectivity Monitoring in Wireless Sensor Networks";
Berichts-Nr. TUW-241107,
2015.
Zusätzliche Informationen
D. Pfleger, U. Schmid:
"On Knowledge and Communication Complexity in Distributed Systems";
Bericht für Institute of Computer Engineering;
Berichts-Nr. TUW-269752,
2018.
Zusätzliche Informationen
L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux:
"Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone";
Bericht für Institut für Technische Informatik;
Berichts-Nr. TUW-260549,
2019.
Zusätzliche Informationen
H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum:
"A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus";
Bericht für Institut für Computer Engineering E191-02;
Berichts-Nr. TUW-281149,
2019.
Zusätzliche Informationen
U. Schmid:
"Failure Model Coverage under Transient Link Failures";
Bericht für Research Report 2/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
Zusätzliche Informationen
U. Schmid:
"Final Report FWF FATAL-Project (P21694)";
Berichts-Nr. TUW-235380,
2014.
U. Schmid:
"Final Report FWF PSRTS-Project (P20529)";
Berichts-Nr. TUW-235379,
2013.
U. Schmid:
"Final Report START-Project Y41";
Bericht für Research Report 19/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
Zusätzliche Informationen
U. Schmid:
"FWF-Proposal ADynNet: Gracefully Degrading Agreement in Directed Dynamic Networks";
Berichts-Nr. TUW-235381,
2014.
U. Schmid:
"FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits";
Berichts-Nr. TUW-278607,
2018.
Zusätzliche Informationen
U. Schmid, C. Fetzer:
"Randomized asynchronous consensus with imperfect communications";
Bericht für Technical Report 183/1-120, Department of Automation, Technische Universität Wien;
2002.
U. Schmid, W. Kastner:
"DOBOS - Konzept eines distributed object-based operating systems";
Bericht für Technical Report 183/1-40, Vienna University of Technology, Department of Automation;
1993.
U. Schmid, W. Kastner, B. Burgstaller, C. Kral:
"Skriptum zur Laborübung "Prozeßautomatisierung"";
Bericht für Technical Report 183/1-106-a, Vienna University of Technology, Department of Automation;
2000.
U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall:
"Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster";
2005.
U. Schmid, D. Loy, W. Kastner:
"Project proposal SSCMP: Sequenced Synchronized Clock Multicast Protocol";
Bericht für Technical Report 183/1-58, Vienna University of Technology, Department of Automation;
1995.
U. Schmid, A. Steininger:
"Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips";
Bericht für Research Report 69/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
Zusätzliche Informationen
U. Schmid, B. Weiss:
"Fault-Tolerant Distributed Algorithms in Sparse Ad Hoc Wireless Networks";
Bericht für Research Report 13/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
Zusätzliche Informationen
U. Schmid, B. Weiss:
"Impossibility results and lower bounds for consensus under link failures.";
Bericht für Technical Report 183/1-127, Department of Automation, Technische Universität Wien;
2003.
U. Schmid, B. Weiss:
"Synchronous Byzantine Agreement under Hybrid Process and Link Failures";
Bericht für Research Report 1/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
Zusätzliche Informationen
M. Schwarz, U. Schmid:
"On the Strongest Message Adversary for Consensus in Directed Dynamic Networks";
Berichts-Nr. TUW-269285,
2018.
Zusätzliche Informationen
M. Schwarz, K. Winkler, U. Schmid:
"Fast Consensus under Eventually Stabilizing Message Adversaries";
Berichts-Nr. TUW-240061,
2015;
13 S.
Zusätzliche Informationen
M. Schwarz, K. Winkler, U. Schmid, M. Biely, P. Robinson:
"Gracefully Degrading Consensus and k-set Agreement under Dynamic Link Failures";
Berichts-Nr. TUW-220473,
2013.
B. Thallner, U. Schmid:
"Distributed Construction of Sparse Fault-Tolerant Overlay Networks";
Bericht für Research Report 35/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria;
2004.
B. Thallner, U. Schmid:
"Fault tolerant communication topologies for wireless ad hoc networks";
Bericht für Technical Report 183/1-132, Department of Automation, Technische Universität Wien;
2003.
J. Vilanek, U. Schmid, W. Kastner, B. Weiss, P. Puschner, W. Elmenreich, H. Deinhart, W. Meyer:
"Projektbericht Technische Informatik: Seamless Campus";
Bericht für Technical Report 183/1-135, Department of Automation, Technische Universität Wien;
2003.
J. Widder, G. Le Lann, U. Schmid:
"Perfect failure detection with booting in partially synchronous systems";
Bericht für Technical Report 183/1-131, Department of Automation, Technische Universität Wien;
2003.
J. Widder, U. Schmid:
"Booting clock synchronization in partially synchronous systems with hybrid node and link failures.";
Bericht für Technical Report 183/1-126, Department of Automation, Technische Universität Wien;
2003.
M. Zeiner, U. Schmid, U. Schilcher, C. Bettstetter:
"FWF-Proposal SPRG: Structural Properties of Random Graphs";
Bericht für Institut für Technische Informatik, TU Wien;
2016.
Zusätzliche Informationen
