Ulrich Schmid
Univ.Prof. Dipl.-Ing. Dr.techn.
Research Focus
- Computer Engineering: 100%
Research Areas
- Topology, Digital integrated circuits, Epistemic logic, Real-time systems, Fault-tolerant distributed algorithms
About
I am interested in finding sound solutions to relevant and difficult scientific problems in all areas of computer engineering ("Technische Informatik"). My current major research interests are
- Fault-tolerant distributed algorithms
- Digital integrated circuits
- Topology
- Epistemic logic
- Real-time systems
Roles
-
Head of Research Unit
Embedded Computing Systems, E191-02 -
Full Professor
Embedded Computing Systems, E191-02 -
Research Focus Coordinator
Computer Engineering -
Curriculum Coordinator
Bachelor Computer Engineering -
Curriculum Coordinator
Excellence Program Bachelor with Honors -
Curriculum Coordinator
Master Computer Engineering -
Faculty Council
Principal Member -
Curriculum Commission for Informatics
Vice Chair
Courses
2021W
- Bachelor Thesis for Computer Science and Business Informatics / 182.698 / PR
- Computer Engineering Practical / 182.699 / PR
- Computer Engineering Project / 182.758 / PR
- Computer Networks / 182.752 / VU
- Doctorand's seminar / 182.070 / SE
- Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
- Problems in Distributed Computing / 182.703 / VU
- Research Seminar LogiCS / 184.767 / SE
- Scientific Project Computer Engineering / 182.759 / PR
- Scientific Research and Writing / 193.052 / SE
- Seminar Computer Engineering / 182.757 / SE
- Seminar for Master Students in Computer Engineering / 180.778 / SE
2022S
- Bachelor Thesis for Computer Science and Business Informatics / 182.698 / PR
- Computer Engineering Practical / 182.699 / PR
- Computer Engineering Project / 182.758 / PR
- Distributed Algorithms / 182.702 / VU
- Doctorand's seminar / 182.070 / SE
- Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
- Real-Time Scheduling / 182.086 / VU
- Research Seminar LogiCS / 184.767 / SE
- Scientific Project Computer Engineering / 182.759 / PR
- Seminar Computer Engineering / 182.757 / SE
- Seminar for Master Students in Computer Engineering / 180.778 / SE
Projects
-
Digital Modeling of Asynchronous Integrated Circuits
2019 – 2023 / Austrian Science Fund (FWF) -
Trustworthy IoT for CPS
2017 – 2020 / Austrian Research Promotion Agency (FFG) -
Gracefully Degrading Agreement in Directed Dynamic Networks
2016 – 2020 / Austrian Science Fund (FWF) -
Self-stabilizing Byzantine Fault-Tolerant Distributed Algorithms for Integrated Circiuts
2013 – 2018 / Austrian Science Fund (FWF) -
Partially Synchronous Distributed Real-Time Systems
2008 – 2012 / Austrian Science Fund (FWF) -
Fault Models for Engineering
2008 – 2010 / Austrian Research Promotion Agency (FFG) -
Transient Fault Tolerance
2006 – 2010 / Austrian Research Promotion Agency (FFG) -
Fault-tolerant Distributed Algorithms in Sparse Ad Hoc Wireless Networks
2005 – 2009 / Austrian Science Fund (FWF) -
Asynchronous Distributed Algorithms in the Theta-Model
2004 – 2008 / Austrian Science Fund (FWF) -
Automated proof based System and Software Engineering for Real-Time Applications
2004 – 2008 / European Commission -
Seamless Campus - Distance Labs
2004 – 2007 / Austrian Research Promotion Agency (FFG) -
Distributed Computing in the Presence of Bounded Asynchrony
2004 – 2007 / Austrian Research Promotion Agency (FFG)
Publications
2021
- Fire! / K. Fruzsa, R. Kuznets, U. Schmid / Talk: TARK 2021: Theoretical Aspects of Rationality and Knowledge, online, China; 2021-06-25 - 2021-06-28; in: "Proceedings of the Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge", Electronic Proceedings in Theoretical Computer Science, 335 (2021), ISSN: 2075-2180; 139 - 153
- A Composable Glitch-Aware Delay Model / J. Maier, D. Öhlinger, U. Schmid, M Függer, T. Nowak / Talk: Great Lakes Symposium on VLSI GLSVLSI'21, virtuell; 2021-06-22 - 2021-06-25; in: "Proceedings of the 2021 Great Lakes Symposium on VLSI", ACM (ed.); (2021), ISBN: 978-1-4503-8393-6; 147 - 154
- The Involution Tool for Accurate Digital Timing and Power Analysis / D. Öhlinger, J. Maier, M Függer, U. Schmid / Integration the VLSI journal, 76 (2021), 87 - 98
- Optimal strategies for selecting coordinators / M. Zeiner, U. Schmid, K. Chatterjee / Discrete Applied Mathematics, 289 (2021), 392 - 415
2020
- The Persistence of False Memory: Brain in a Vat despite Perfect Clocks / T. Schlögl, U. Schmid, R. Kuznets / Talk: PRIMA 2020, Japan; 2020-11-18 - 2020-11-20; in: "PRIMA 2020: Principles and Practice of Multi-Agent Systems", Springer Nature Switzerland AG, (2020), ISBN: 978-3-030-69322-0; 403 - 411
- Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling / A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 11; 3981 - 3992
- A Faithful Binary Circuit Model / M Függer, R. Najvirt, T. Nowak, U. Schmid / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 10; 2784 - 2797
2019
- A Characterization of Consensus Solvability for Closed Message Adversaries / K. Winkler, U. Schmid, Y. Moses / Talk: 23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Neuchâtel, Switzerland; 2019-12-17 - 2019-12-19; in: "23rd International Conference on Principles of Distributed Systems", (2019), 17:1 - 17:16
- A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus / H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum / Talk: 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Pisa, Italy; 2019-10-22 - 2019-10-25; in: "Stabilization, Safety, and Security of Distributed Systems", Lecture Notes in Computer Science / Springer, vol 11914 / Cham (2019), ISSN: 0302-9743; 307 - 322
- Digital Modeling of Asynchronous Integrated Circuits / U. Schmid / Talk: 2nd Workshop on Hardware Design and Theory (https://sites.google.com/view/motimedina/hdt-2019, colocated with DISC 2019), Budapest; 2019-10-18
- Byzantine Causal Cone / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Talk: Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Budapest, Hungary (invited); 2019-10-18
- Epistemic Reasoning with Byzantine-Faulty Agents / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Talk: FroCoS 2019: Frontiers of Combining Systems, London, UK; 2019-09-04 - 2019-09-06; in: "Frontiers of Combining Systems, 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings", A. Herzig, A. Popescu (ed.); Springer, (2019), ISBN: 978-3-030-29006-1; 259 - 276
- Topological Characterization of Consensus under General Message Adversaries / T. Nowak, U. Schmid, K. Winkler / Talk: 38th ACM Symposium on Principles of Distributed Computing (PODC'19), Toronto, Canada; 2019-07-27 - 2019-08-02; 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; 218 - 227
- Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Poster: TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; 2019-07-17 - 2019-07-19; in: "Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019)", L. Moss (ed.); Electronic Proceedings in Theoretical Computer Science, 297 (2019), ISSN: 2075-2180; 293 - 312
- The Involution Tool for Accurate Digital Timing and Power Analysis / D. Öhlinger, J. Maier, M Függer, U. Schmid / Talk: 2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019), Rhodos; 2019-07-01 - 2019-07-03; in: "2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019)", (2019), ISBN: 978-1-7281-2103-1; 1 - 8
- Transistor-Level Analysis of Dynamic Delay Models / J. Maier, M Függer, T. Nowak, U. Schmid / Talk: 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; 2019-05-12 - 2019-05-15; in: "2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", (2019), ISBN: 978-1-5386-4747-9; 76 - 85
- On Linear-Time Data Dissemination in Dynamic Rooted Trees / M. Zeiner, M. Schwarz, U. Schmid / Discrete Applied Mathematics, 255 (2019), 307 - 319
- Consensus in rooted dynamic networks with short-lived stability / K. Winkler, M. Schwarz, U. Schmid / Distributed Computing, 32 (2019), 5; 443 - 458
- Design and Implementation of the Bachelor with Honors Program at TU Wien / U. Schmid / Journal of the European Honors Council, 3 (2019), 2; 9 pages
- An Overview of Recent Results for Consensus in Directed Dynamic Networks / K. Winkler, U. Schmid / Bulletin of the EATCS, 128 (2019), 30 pages
- 2019 Principles of Distributed Computing Doctoral Dissertation Award / P. Jayanti, N. Lynch, B. Patt-Shamir, U. Schmid / in: "Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC'19)", ACM, 2019, 2
- A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus / H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum / Report for Institut für Computer Engineering E191-02; Report No. TUW-281149, 2019
- Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone / L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux / Report for Institut für Technische Informatik; Report No. TUW-260549, 2019
2018
- On linear-time data dissemination in dynamic trees / M. Zeiner, M. Schwarz, U. Schmid / Talk: CSASC 2018, Bratislava; 2018-09-11 - 2018-09-14; in: "CSASC 2018 - Book of Abstracts", (2018), 113
- What do Byzantine agents know? / L. Gréaux, R. Kuznets, L. Prosperi, U. Schmid / Talk: First joint workshop by the Mathematics and the Philosophy Research Institutes of UNAM, Mexiko-Stadt, Mexiko (invited); 2018-08-06 - 2018-08-09
- Verifying nonlinear analog and mixed-signal circuits with inputs / C. Fan, Y. Meng, J. Maier, E. Bartocci, S. Mitra, U. Schmid / Talk: Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK; 2018-07-11 - 2018-07-13; in: "Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems", IFAC-PapersOnLine, 51 / 16 (2018), 241 - 246
- Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures / M. Perner, U. Schmid / Talk: 24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS'18), Platja D'Aro, Spain; 2018-07-02 - 2018-07-04; in: "Proceedings 24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS'18)", (2018), 157 - 164
- On Knowledge and Communication Complexity in Distributed Systems / D. Pfleger, U. Schmid / Talk: 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018), Ma'ale HaHamisha, Israel; 2018-06-18 - 2018-06-21; in: "Proceedings 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018)", Springer International Publishing, (2018), ISSN: 0302-9743; 312 - 330
- On the Strongest Message Adversary for Consensus in Directed Dynamic Networks / U. Schmid, M. Schwarz, K. Winkler / Talk: 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018), Ma'ale HaHamisha, Israel; 2018-06-18 - 2018-06-21; in: "Structural Information and Communication Complexity", Springer International Publishing, (2018), ISSN: 0302-9743; 102 - 120
- A Faithful Binary Circuit Model with Adversarial Noise / M Függer, J. Maier, R. Najvirt, T. Nowak, U. Schmid / Talk: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "Proceedings of the 2018 Design, Automation & Test in Europe (DATE)", (2018), ISBN: 978-3-9819263-1-6; 1327 - 1332
- Proceedings 32nd International Symposium on Distributed Computing / U. Schmid, J. Widder / Dagstuhl Publishing LIPICS, 2018, ISBN: 978-3-95977-092-7; 736 pages
- Automated Competitive Analysis of Real-time Scheduling with Graph Games / K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid / Real-Time Systems, 54 (2018), 1; 166 - 207
- Gracefully degrading consensus and k-set agreement in directed dynamic networks / M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler / Theoretical Computer Science, 726 (2018), 41 - 77
- 2018 Edsger W. Dijkstra Prize in Distributed Computing / Y. Afek, I. Keidar, B. Patt-Shamir, S. Rajsbaum, U. Schmid, G. Taubenfeld / in: "Proceedings 2018 ACM Symposium on Principles of Distributed Computing (PODC'18)", ACM Press, 2018, ISBN: 978-1-4503-5795-1, 1
- Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures / M. Perner, U. Schmid / Report for Institut für Technische Informatik; Report No. TUW-268547, 2018
- FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits / U. Schmid / Report No. TUW-278607, 2018
- On Knowledge and Communication Complexity in Distributed Systems / D. Pfleger, U. Schmid / Report for Institute of Computer Engineering; Report No. TUW-269752, 2018
- On the Strongest Message Adversary for Consensus in Directed Dynamic Networks / M. Schwarz, U. Schmid / Report No. TUW-269285, 2018
2017
- On Linear-Time Data Dissemination in Dynamic Rooted Trees / M. Zeiner, U. Schmid, M. Schwarz / Talk: 19th ÖMG Congress and Annual DMV Meeting, Salzburg; 2017-09-11 - 2017-09-15; in: "19th ÖMG Congress and Annual DMV Meetig Program and Books of Abstracts", (2017), 87
- A versatile architecture for long-term monitoring of single-event transient durations / V. S. Veeravalli, A. Steininger, U. Schmid / Microprocessors and Microsystems, 53 (2017), C; 130 - 144
2016
- Broadcasting in Random Trees / M. Zeiner, M. Schwarz, K. Winkler, U. Schmid / Talk: ALEA in Europe - Young Researchers Workshop, TU Wien; 2016-09-06 - 2016-09-09
- A Framework for Connectivity Monitoring in Wireless Sensor Networks / D. Pfleger, U. Schmid / Talk: 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16), Nice, France; 2016-07-24 - 2016-07-28; in: "Proceedings 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16)", IARIA XPS Press, (2016), ISBN: 978-1-61208-490-9; 40 - 48
- Easy Impossibility Proofs for k-Set Agreement / U. Schmid / Talk: Dagstuhl Seminar #16282 Topological Methods in Distributed Computing, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (invited); 2016-07-10 - 2016-07-15
- Reconciling Fault-Tolerance and Robustness ? / U. Schmid / Keynote Lecture: Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016, Hofburg Vienna, Austria (invited); 2016-04-11
- Fast Consensus Under Eventually Stabilizing Message Adversaries / M. Schwarz, K. Winkler, U. Schmid / Talk: 17th International Conference on Distributed Computing and Networking, Singapore; 2016-01-04 - 2016-01-07; in: "Proceedings of the 17th International Conference on Distributed Computing and Networking", ACM, (2016), ISBN: 978-1-4503-4032-8; 1 - 10
- Unfaithful Glitch Propagation in Existing Binary Circuit Models / M Függer, T. Nowak, U. Schmid / IEEE Transactions on Computers, 65 (2016), 3; 964 - 978
- HEX: Scaling Honeycombs is Easier than Scaling Clock Trees / D. Dolev, M Függer, C. Lenzen, M. Perner, U. Schmid / Journal of Computer and System Sciences, 82 (2016), 5; 929 - 956
- Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks / M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler / Report No. TUW-258404, 2016
- FWF-Proposal SPRG: Structural Properties of Random Graphs / M. Zeiner, U. Schmid, U. Schilcher, C. Bettstetter / Report for Institut für Technische Informatik, TU Wien; 2016
2015
- Optimal Strategies for Repeated Leader Election / M. Zeiner, M Függer, T. Nowak, U. Schmid / Talk: Joint Austrian-Hungarian Mathematical Conference 2015, Györ; 2015-08-25 - 2015-08-27
- Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks / M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler / Talk: The international Conference on NETworked sYStems, Agadir, Marokko; 2015-05-13 - 2015-05-15; in: "NETYS2015", Springer LNCS, 9466 (2015), ISBN: 978-3-319-26849-1
- Towards binary circuit models that faithfully capture physical solvability / M Függer, R. Najvirt, T. Nowak, U. Schmid / Talk: Design, Automation & Test in Europe Conference & Exhibition (DATE'15), Grenoble, France; 2015-03-09 - 2015-03-13; in: "Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE'15)", (2015), ISBN: 978-3-9815370-4-8; 1455 - 1460
- Building reliable systems-on-chip in nanoscale technologies / A. Steininger, H. Zimmermann, A. Jantsch, M. Hofbauer, U. Schmid, K. Schweiger, V. S. Veeravalli / E&I Elektrotechnik und Informationstechnik, 132 (2015), 6; 301 - 306
- The effect of forgetting on the performance of a synchronizer / M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner / Performance Evaluation, 93 (2015), 1 - 16
- Fault-tolerant Distributed Systems in Hardware / D. Dolev, M Függer, C. Lenzen, U. Schmid, A. Steininger / Bulletin of the EATCS, 2 (2015), 116; 43 pages
- Experimental Validation of a Faithful Binary Circuit Model / R. Najvirt, M Függer, T. Nowak, U. Schmid, M. Hofbauer, K. Schweiger / Talk: 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; 355 - 360
- A Framework for Connectivity Monitoring in Wireless Sensor Networks / D. Pfleger, U. Schmid / Report No. TUW-241107, 2015
- Fast Consensus under Eventually Stabilizing Message Adversaries / M. Schwarz, K. Winkler, U. Schmid / Report No. TUW-240061, 2015; 13 pages
2014
- A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks / A. Pavlogiannis, K. Chatterjee, U. Schmid, A. Kößler / Talk: 35th IEEE Real-Time Systems Symposium, Rome; 2014-12-02 - 2014-12-05; in: "Proccedings IEEE Real-Time Systems Symposium (RTSS'14)", (2014), ISSN: 1052-8725; 118 - 127
- Brief Announcement: Gracefully Degrading Consensus and k-Set Agreement under Dynamic Link Failures / M. Schwarz, K. Winkler, U. Schmid, M. Biely, P. Robinson / Talk: 33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing (PODC), Paris, France; 2014-07-15 - 2014-07-18; in: "Proceedings of the 33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing", ACM, (2014), 341 - 343
- Measuring SET Pulsewidths in Logic Gates using Digital Infrastructure / V. S. Veeravalli, A. Steininger, U. Schmid / Talk: 15th International Symposium & Exhibit on Quality Electronic Design, Santa Clara, USA; 2014-03-10 - 2014-03-12; in: "Proceedings 15th International Symposium & Exhibit on Quality Electronic Design", (2014), ISBN: 978-1-4799-3946-6; 7 pages
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms / A. Gmeiner, I. Konnov, U. Schmid, H. Veith, J. Widder / in: "Formal Methods for Executable Software Models", Springer, 2014, (invited), ISBN: 978-3-319-07316-3, 122 - 171
- The Generalized Loneliness Detector and Weak System Models for k-Set Agreement / M. Biely, P. Robinson, U. Schmid / IEEE Transactions on Parallel and Distributed Systems, 25 (2014), 4; 1078 - 1088
- Reconciling fault-tolerant distributed algorithms and real-time computing / H. Moser, U. Schmid / Distributed Computing, 27 (2014), 3; 203 - 230
- Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation / D. Dolev, M Függer, U. Schmid, C. Lenzen / Journal of the ACM, 61 (2014), 5; 1 - 74
- Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip / D. Dolev, M Függer, M. Posch, U. Schmid, A. Steininger, C. Lenzen / Journal of Computer and System Sciences, 80 (2014), 4; 860 - 900
- FWF-Proposal ADynNet: Gracefully Degrading Agreement in Directed Dynamic Networks / U. Schmid / Report No. TUW-235381, 2014
- Final Report FWF FATAL-Project (P21694) / U. Schmid / Report No. TUW-235380, 2014
2013
- Parameterized model checking of fault-tolerant distributed algorithms by abstraction / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Portland, OR, USA; 2013-10-20 - 2013-10-23; in: "FMCAD", (2013), ISBN: 978-0-9835678-3-7; 201 - 209
- The Effect of Forgetting on the Performance of a Synchronizer / M. Zeiner, M Függer, U. Schmid, A. Kößler, T. Nowak / Talk: 18th ÖMG Congress and Annual DMV Meeting, Innsbruck; 2013-09-23 - 2013-09-27
- The Effect of Forgetting on the Performance of a Synchronizer / M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner / Talk: ALGOSENSORS 2013 (9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics), Sophia Antipolis, France; 2013-09-05 - 2013-09-06; in: "Algorithms for Sensor Systems", (2013), 185 - 200
- Efficient Construction of Global Time in SoCs despite Arbitrary Faults / C. Lenzen, M Függer, M. Hofstätter, U. Schmid / Talk: 16th Euromicro Conference on Digital System Design (DSD 2013), Santander, Spain; 2013-09-04 - 2013-09-06; in: "Dependable", Digital System Design (DSD), 2013 Euromicro Conference on, (2013), 142 - 151
- Byzantine Self-Stabilizing Clock Distribution with HEX: Implementation, Simulation, Clock Multiplication / M. Perner, U. Schmid, C. Lenzen, M. Sigl / Talk: DEPEND 2013, The Sixth International Conference on Dependability, Barcelona, Spain; 2013-08-25 - 2013-08-31; in: "Proceedings of the 6th IARA International Conference on Dependability (DEPEND'13)", IARA, (2013), ISBN: 978-1-61208-301-8; 6 - 15
- HEX: Scaling Honeycombs is Easier than Scaling Clock Trees / D. Dolev, C. Lenzen, M Függer, U. Schmid, M. Perner / Talk: SPAA '13, Montreal, Canada; 2013-07-23 - 2013-07-25; in: "Proceedings of the 25th ACM symposium on Parallelism in Algorithms and Architectures", ACM, (2013), ISBN: 978-1-4503-1572-2; 164 - 175
- Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Montreal, Kanada; 2013-07-22 - 2013-07-24; in: "PODC", ACM, (2013), ISBN: 978-1-4503-2065-8; 119 - 121
- Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; 2013-07-08 - 2013-07-09; in: "SPIN", LNCS, Springer, 7976 (2013), ISBN: 978-3-642-39175-0; 209 - 226
- Single Event Transient Pulse Shape Measurements by On-chip Sense Amplifiers in a Single Inverter for Intermediate Input States under Alpha Particle Irradiation / M. Hofbauer, K. Schweiger, W. Gaberl, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger / Poster: IEEE Nuclear and Space Radiation Effects Conference (NSREC), San Francisco, California (USA); 2013-07-08 - 2013-07-12
- FATAL+HEX: Fault-Tolerant Self-Stabilizing Clock Generation+Distribution / D. Dolev, M Függer, M. Hofstätter, C. Lenzen, M. Perner, M. Posch, U. Schmid, M. Sigl, A. Steininger / Poster: Poster Session at the CSAIL Industry Affiliates Program (CSAIL-IAP) Annual Meeting, Cambridge, MA, USA; 2013-05-29 - 2013-05-30
- Unfaithful Glitch Propagation in existing Binary Circuit Models / M Függer, T. Nowak, U. Schmid / Talk: 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; 2013-05-19 - 2013-05-22; in: "Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on", (2013), ISSN: 1522-8681; 191 - 199
- Automated Analysis of Real-Time Scheduling using Graph Games / K. Chatterjee, A. Kößler, U. Schmid / Talk: ACM International Conference on Hybrid Systems: Computation and Control, Philadelphia, USA; 2013-04-08 - 2013-04-11; in: "Proceedings 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'13)", ACM, (2013), 163 - 172
- Supply Voltage Dependent On-Chip Single-Event Transient Pulse Shape Measurements in 90-nm Bulk CMOS Under Alpha Irradiation / M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger / IEEE Transactions on Nuclear Science, 60 (2013), 4; 2640 - 2646
- An infrastructure for accurate characterization of single-event transients in digital circuits / 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 / Microprocessors and Microsystems, 37 (2013), 772 - 791
- Final Report FWF PSRTS-Project (P20529) / U. Schmid / Report No. TUW-235379, 2013
- Gracefully Degrading Consensus and k-set Agreement under Dynamic Link Failures / M. Schwarz, K. Winkler, U. Schmid, M. Biely, P. Robinson / Report No. TUW-220473, 2013
2012
- Parameterized Model Checking of Fault-tolerant Distributed Algorithms / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering, Dagstuhl, Deutschland (invited); 2012-11-11 - 2012-11-16
- Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation in Systems-on-Chip / D. Dolev, M Függer, C. Lenzen, U. Schmid / Talk: NITRD Workshop, Baltimore, USA (invited); 2012-10-15 - 2012-10-16
- Supply Voltage Dependent On-chip Single Event Transient Pulse Shape Measurements in 90 nm Bulk CMOS under Alpha Irradiation / M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger / Poster: 21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12), Biarritz, FRANCE; 2012-09-24 - 2012-09-28; in: "Proceedings 21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12)", (2012)
- Who is afraid of Model Checking Distributed Algorithms? / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: PUMA/RISE Seminar, Goldegg; 2012-09-24 - 2012-09-28
- Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip / V. S. Veeravalli, A. Steininger, U. Schmid, T. Polzer / Talk: 15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD 2012), Izmir, Turkey; 2012-09-05 - 2012-09-08; in: "Proceedings 15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD'12)", (2012), 8 - 17
- Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating through a 90 nm Bulk CMOS Inverter Chain / M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger / Poster: Nuclear and Space Radiation Effects Conference (NSREC), Miami, FL, USA; 2012-07-16 - 2012-07-20
- Agreement in Directed Dynamic Networks / M. Biely, P. Robinson, U. Schmid / Talk: 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12), Reykjavik, Iceland; 2012-06-30 - 2012-07-02; in: "Proceedings 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12)", (2012), 73 - 84
- Counter Attack against Byzantine Generals / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: Alpine Verification Meeting, Passau, Bayern, Deutschland; 2012-05-21 - 2012-05-22
- Reconciling fault-tolerant distributed computing and systems-on-chip / M Függer, U. Schmid / Distributed Computing, 24 (2012), 6; 323 - 355
- Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating Through a 90 nm Bulk CMOS Inverter Chain / M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger / IEEE Transactions on Nuclear Science, vol 59 (2012), 2778 - 2784
- Single Event Effect Measurements in 90nm CMOS Circuits at the Microbeam Facility for the Project FATAL / M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, B Merk / in: "GSI Scientific Report 2011", GSI Helmholtzzentrum für Schwerionenforschung GmbH, Darmstadt, 2012, ISSN: 0174-0814, 424
- Messung der Auswirkungen von ionisierender Strahlung auf 90 nm CMOS Schaltungen / M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, U. Giesen / Report for Physikalisch Technische Bundesanstalt; 2012
2011
- Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems / M. Biely, P. Robinson, U. Schmid / Talk: International Conference On Principles Of Distributed Systems (OPODIS), Toulouse; 2011-12-12 - 2011-12-16; in: "OPODIS'11", Springer Berlin / Heidelberg, (2011), 299 - 312
- Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract] / D. Dolev, M Függer, C. Lenzen, U. Schmid / Talk: Stabilization, Safety, and Security of Distributed Systems, Grenoble, France; 2011-10-10 - 2011-10-12; in: "Stabilization, Safety, and Security of Distributed Systems", Springer Berlin / Heidelberg, (2011), ISBN: 978-3642051173; 163 - 177
- Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing / H. Moser, U. Schmid / Talk: Structural Information and Communication Complexity, Gdansk; 2011-06-26 - 2011-06-29; in: "Proceedings 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11)", Springer Berlin / Heidelberg, (2011), ISBN: 978-3-642-22211-5; 42 - 53
- Brief Announcement: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems / M. Biely, P. Robinson, U. Schmid / Talk: Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC'11), San Jose; 2011-06-06 - 2011-06-08; in: "PODC'11", ACM, (2011), 227 - 228
- Solving k-Set Agreement with Stable Skeleton Graphs / M. Biely, P. Robinson, U. Schmid / Talk: International Parallel and Distributed Processing Symposium (IPDPS), Anachorage, Alaska; 2011-05-16 - 2011-05-20; in: "IPDPS Workshops", (2011), ISBN: 978-1-61284-425-1; 1488 - 1495
- Synchronous consensus under hybrid process and link failures / M. Biely, U. Schmid, B. Weiss / Theoretical Computer Science, 412 (2011), 40; 5602 - 5630
- The Asynchronous Bounded-Cycle Model / P. Robinson, U. Schmid / Theoretical Computer Science, 412 (2011), 40; 5580 - 5601
2010
- Synchrony and Time in Fault-Tolerant Distribiuted Algorithms / U. Schmid / Talk: FORMATS 2010 (Formal Modeling and Analysis of Times Systems), Klosterneuburg, Austria (invited); 2010-09-08 - 2010-09-10; in: "Formal Modeling and Analysis of Timed Systems", Springer, 6246 (2010), ISBN: 9783642152962
- Real-Time Analysis of Round-based Distributed Algorithms / A. Kößler, H. Moser, U. Schmid / Talk: RTSOPS 2010 (1st International Real-Time Scheduling Open Problems Seminar), Brussels, Belgium; 2010-07-06 - 2010-07-09; in: "Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar", (2010), 9 - 11
- How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining / M Függer, A. Dielacher, U. Schmid / Talk: EDCC - 8 (European Dependable Computing Conference), Valencia, Spain; 2010-04-28 - 2010-04-30; in: "Proceedings of the Eight European Dependable Computing Conference", IEEE Computer Society, (2010), ISBN: 9780769540078; 230 - 239
- Topology Control for Fault-Tolerant Communication in Wireless Ad Hoc Networks / B. Thallner, H. Moser, U. Schmid / Wireless Networks, 16 (2010), 21; 388 - 404
- A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Optimization / A. Goiser, S. Khattab, G. Fassl, U. Schmid / in: "CTRQ-2010", issued by: IEEE-Explore; IEEE Computer Society, 2010, ISBN: 978-0-7695-4070-2, 5 pages
- A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Performance / A. Goiser, S. Khattab, G. Fassl, U. Schmid / in: "CTRQ-2010", issued by: IEEE-Explore; IEEE Conference Proceedings, 2010, ISBN: 978-0-7695-4070-2, 7 pages
2009
- Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement / M. Biely, P. Robinson, U. Schmid / Talk: OPODIS 2009 (International Conference On Principles Of Distributed Systems), Nimes, France; 2009-12-15 - 2009-12-18; in: "LNCS Proceedings", Springer, 5923/2009 (2009), ISBN: 9783642108761; 285 - 299
- Brief Announcment: Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement* / P. Robinson, M. Biely, U. Schmid / Talk: DISC 2009 (International Symposium on Distributed Computing), Elche, Spain; 2009-09-23 - 2009-09-25; in: "Distribiuted Computing", Springer, 5805/2009 (2009), ISBN: 978-3-642-04354-3; 360 - 361
- Fault Tolerant Distribiuted Algorithms and VLSI - An Appetizer / B. Charron-Bost, S. Dolev, J. Ebergen, U. Schmid / Talk: Dagstuhl Seminar 08371 : Fault-Tolerant Distributed Algorithms on VLSI Chips, Dagstuhl, Germany (invited); 2009-09-07 - 2009-09-10; in: "Fault-Tolerant Distributed Algorithms on VLSI Chips", Leibniz Zentrum Informatik, 08371 (2009), ISSN: 1862-4405; ?
- Fault-Tolerant Distributed Algorithms on VLSI Chips / B. Charron-Bost, S. Dolev, J. Ebergen, U. Schmid / in series "Dagstuhl Seminar Proceedings", series editor: B. Charron-Bost, S. Dolev, U. Schmid; issued by: Leibniz Zentrum Informatik; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009, ISSN: 1862-4405
- Impossibility Results and Lower Bounds For Consensus Under Link Failures / U. Schmid, B. Weiss, I. Keidar / SIAM JOURNAL ON COMPUTING, 38 (2009), 5; 1912 - 1951
- Chasing the Weakest System Model for Implementing Omega and Consensus / M. Hutle, D. Malkhi, U. Schmid, L. Zhou / IEEE Transactions on Dependable and Secure Computing, 6 (2009), 4; 269 - 279
- The Theta-Model: achieving synchrony without clocks / J. Widder, U. Schmid / Distributed Computing, 22 (2009), 1; 29 - 47
2008
- Optimal Deterministic Remote Clock Estimation in Real-Time Systems / H. Moser, U. Schmid / Talk: 12th International Conference On Principles of Distributed Systems, Luxor, Ägypten; 2008-12-15 - 2008-12-18; in: "Principles of Distributed Systems", Lecture Notes in Computer Science / Springer Verlag, Volume 5401 (2008), ISBN: 978-3-540-92220-9; 363 - 387
- Distributed Algorithms and VLSI / U. Schmid / Keynote Lecture: 10 International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2008), Detroit, USA (invited); 2008-11-21 - 2008-11-23; in: "Stabilization, Safety, and Security of Distributed Systems", Lecture Notes in Conputer Science / Springer Verlag, 5340 (2008), ISSN: 0302-9743; 3
- The Asynchronous Bounded Cycle Model / P. Robinson, U. Schmid / Talk: 10 International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2008), Detroit, USA; 2008-11-21 - 2008-11-23; in: "Stabilization, Safety, and Security of Distributed Systems", Lecture Notes in Conputer Science / Springer Verlag, 5340 (2008), ISSN: 0302-9743; 246 - 262
- Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip / G. Fuchs, M Függer, U. Schmid, A. Steininger / Talk: 11th EUROMICRO Conference on Digital System Design (DSD 2008), Parma, Italien; 2008-09-03 - 2008-09-05; in: "11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, DSD 2008.", IEEE, (2008), ISBN: 978-0-7695-3277-6; 242 - 249
- Brief Announcement: The Asynchronous Bounded Cycle Model / U. Schmid, P. Robinson / Talk: ACM Symposium on Principles of Distributed Computing, Toronto, Canada; 2008-08-18 - 2008-08-21; 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; 423
2007
- A Perspective of Fault-Tolerant Clock Synchronization / U. Schmid / Keynote Lecture: 2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, Wien (invited); 2007-10-01 - 2007-10-03; in: "IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication", (2007)
- Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits / U. Schmid, A. Steininger, H. Veith / Poster: GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf, München; 2007-03-26 - 2007-03-28; in: "Fachtagung Zuverlässigkeit und Entwurf", VDE Verlag, (2007), ISBN: 978-3-8007-3023-0; 173 - 174
- Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures / J. Widder, U. Schmid / in: "Distributed Computing", Springer-Verlag, 2007, 115 - 140
- FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung / U. Schmid, A. Steininger, M. Sust / Elektrotechnik und Informationstechnik (e&i), Heft 1-2 (2007), 3 - 8
2006
- Optimal clock synchronization revisited: Upper and lower bounds in real-time systems / H. Moser, U. Schmid / Talk: International Conference On Principles Of Distributed Systems (OPODIS), Bordeaux; 2006-12-12 - 2006-12-14; in: "Principles of Distributed Systems", (2006), 94 - 109
- Wissenschaftliche Forschung - Quo vadis? / U. Schmid / Talk: IKT in Österreich 2006, Wien (invited); 2006-12-05 - 2006-12-06
- Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus / M. Hutle, D. Malkhi, U. Schmid, L. Zhou / Talk: 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Dallas; 2006-11-17 - 2006-11-19; in: "Stabilization, Safety, and Security of Distributed Systems", (2006)
- Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip / M Függer, U. Schmid, G. Fuchs, G. Kempf / Talk: European Dependable Computing Conference, Coimbra; 2006-10-18 - 2006-10-20; in: "EDCC-6", (2006), 87 - 96
- Threshold Modules -- Die Schlüsselelemente zur Verteilten Generierung eines Fehlertoleranten Taktes / G. Fuchs, J. Grahsl, U. Schmid, A. Steininger, G. Kempf / Talk: Austrochip, Wien; 2006-10-11; in: "Austrochip Mikroelektroniktagung", (2006), 149 - 156
- Fault-Tolerant Algorithms on SoCs - A case study / A. Steininger, M Függer, U. Schmid, G. Fuchs / Talk: IEEE International Conference on Dependable Systems and Networks, Philadelphia; 2006-06-25 - 2006-06-28; in: "Supplement Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN)", (2006), 190 - 191
- Efficient Position-based Communication in Wireless Ad-hoc Networks / H. Stratil, U. Schmid / Poster: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Junior Scientist Conference 2006", (2006), 75 - 76
- Construction of a Fault-Tolerant Wireless Communication Topology Using Distributed Agreement / H. Moser, U. Schmid / Talk: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Junior Scientiest Conferenve 2006", (2006), 47 - 48
2005
- Proof-Based Systems Engineering in ASSERT / G. Le Lann, U. Schmid / Talk: Data Systems in Aerospace, Edinburgh; 2005-05-30 - 2005-06-02; in: "Proof-Based Systems Engineering in ASSERT", (2005)
- Proof-Based System Engineering Using a Virtual System Model / M. Biely, G. Le Lann, U. Schmid / Talk: International Service Availability Symposium, Berlin, Deutschland; 2005-04-25 - 2005-04-26; in: "Service Availability", (2005), 164 - 179
- Failure Detection with Booting in Partially Synchronous Systems / J. Widder, G. Le Lann, U. Schmid / Talk: European Dependable Computing Conference, Budapest, Ungarn; 2005-04-20 - 2005-04-22; in: "Dependable Computing Conference - EDCC5", (2005), 20 - 37
- Dependable Embedded Systems Research at TU Vienna / H. Kopetz, R. Obermaisser, U. Schmid / Elektrotechnik und Informationstechnik (e&i) (invited), 1 (2005), 1; 33 - 37
- On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times / C. Fetzer, M. Süßkraut, U. Schmid / in: "On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times", IEEE Computer Society, 2005, 271 - 280
- Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster / U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall / 2005
2004
- The Theta-Model / U. Schmid / Talk: Diskussionskreis Fehlertoleranz, Berlin; 2004-11-12
- Brief Announcement: On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times / C. Fetzer, U. Schmid / Talk: 23th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), St. John´s , Newfoundland, Canada; 2004-07-25 - 2004-07-28; in: "23th ACM SIGACT-SIGOPS Symposium on PRINCIPLES of DISTRIBUTED commuting (PODC)", (2004), 402
- Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips / U. Schmid, A. Steininger / Patent: Österreich, submitted: 2004
- Distributed Construction of Sparse Fault-Tolerant Overlay Networks / B. Thallner, U. Schmid / Report for Research Report 35/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
- On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times / C. Fetzer, U. Schmid / Report for Research Report 14/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
- DARTS - Distributed Algorithms for Robust Tick Synchronization / G. Fuchs, U. Schmid, A. Steininger / Report for Research Report 72/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
- Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips / U. Schmid, A. Steininger / Report for Research Report 69/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
- Final Report START-Project Y41 / U. Schmid / Report for Research Report 19/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
- Ein Verfahren für das verteilte Generieren eines fehlertoleranten adaptiven Taktes in Hardware / G. Fuchs, U. Schmid, A. Steininger / Report for Research Report 18/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
- Fault-Tolerant Distributed Algorithms in Sparse Ad Hoc Wireless Networks / U. Schmid, B. Weiss / Report for Research Report 13/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
- Failure Model Coverage under Transient Link Failures / U. Schmid / Report for Research Report 2/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
- Synchronous Byzantine Agreement under Hybrid Process and Link Failures / U. Schmid, B. Weiss / Report for Research Report 1/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
2003
- Randomized asynchronous consensus with imperfect communications. / U. Schmid, C. Fetzer / Talk: IEEE Symposium on Reliable Distributed Systems, Florence, Italy; 2003-10-06 - 2003-10-08; in: "Proc. 22nd Symposium on Reliable Distributed Systems ", (2003), 361 - 370
- Interval-based clock synchronization with optimal precision. / U. Schmid, K. Schossmaier / Information and Computation, 186 (2003), 1; 36 - 77
- Perfect failure detection with booting in partially synchronous systems / J. Widder, G. Le Lann, U. Schmid / Report for Technical Report 183/1-131, Department of Automation, Technische Universität Wien; 2003
- Projektbericht Technische Informatik: Seamless Campus / J. Vilanek, U. Schmid, W. Kastner, B. Weiss, P. Puschner, W. Elmenreich, H. Deinhart, W. Meyer / Report for Technical Report 183/1-135, Department of Automation, Technische Universität Wien; 2003
- Fault tolerant communication topologies for wireless ad hoc networks / B. Thallner, U. Schmid / Report for Technical Report 183/1-132, Department of Automation, Technische Universität Wien; 2003
- How to maximize computing systems coverage / G. Le Lann, U. Schmid / Report for Technical Report 183/1-134, Department of Automation, Technische Universität Wien; 2003
- How to implement a timer-free perfect failure detector in partially synchronous systems. / G. Le Lann, U. Schmid / Report for Technical Report 183/1-127, Department of Automation, Technische Universität Wien; 2003
- Booting clock synchronization in partially synchronous systems with hybrid node and link failures. / J. Widder, U. Schmid / Report for Technical Report 183/1-126, Department of Automation, Technische Universität Wien; 2003
- Impossibility results and lower bounds for consensus under link failures. / U. Schmid, B. Weiss / Report for Technical Report 183/1-127, Department of Automation, Technische Universität Wien; 2003
2002
- PSynUTC - Evaluation of a High Precision time Synchronization Prototype System for Ethernet LANs / K. Schossmaier, U. Schmid, M. Horauer, R. Höller, N. Kerö / Talk: 34th Annual Precise Time and Time Interval (PTTI) Systems and Applications Meeting, Reston, Virginia; 2002-12-03 - 2002-12-05; in: "Proceedings of the 34th Annual Precise Time and Time Interval (PTTI) Systems and Applications Meeting", (2002), 1
- PSynUTC --- evaluation of a high precision time synchronization prototype system for Ethernet LANs. / M. Horauer, U. Schmid, K. Schossmaier, R. Höller, N. Kerö / Talk: IEEE Precise Time and Time Interval Systems and Application Meeting, Reston, Virginia, USA; 2002-12-03 - 2002-12-05; in: "Proceedings of the 34th IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI'02)", (2003), 263 - 278
- SynUTC - high precision time synchronization over Ethernet networks / R. Höller, M. Horauer, G. Gridling, N. Kerö, U. Schmid, K. Schossmaier / Talk: 8th Workshop on Electronics for LHC Experiments, Colmar; France; 2002-09-09 - 2002-09-13; in: "Proceedings 8th Workshop on Electronics for LHC Experimets (LECC'02)", (2002), ISBN: 92-9083-202-9; 428 - 432
- Formally Verified Byzantine Agreement in Presence of Link Faults / U. Schmid, B. Weiss, J. Rushby / Talk: 22nd Conference on Distributed Computer Systems (ISDCS), Vienna, Austria; 2002-07-02 - 2002-07-05; in: "Proceedings of the 22nd Conference on Distributed Computer Systems (ICDCS'02)", (2002), ISBN: 0-7695-1585-1; 608 - 616
- Randomized asynchronous consensus with imperfect communications / U. Schmid, C. Fetzer / Report for Technical Report 183/1-120, Department of Automation, Technische Universität Wien; 2002
2001
- Versuch über die wahre Art, das Clavier zu spielen / U. Schmid / Talk: Berufungsvortrag, Vienna, Austria; 2001-12-18
- Consensus with written messages under link faults / B. Weiss, U. Schmid / Talk: IEEE Symposium on Reliable Distributed Systems, New Orleans, LA, USA; 2001-10-28 - 2001-10-31; in: "Proc. 20th Symposium on Reliable Distributed Systems (SRDS'01)", (2001), 194 - 197
- How to model link failures: A perception-based fault model / U. Schmid / Talk: IEEE International Conference on Dependable Systems and Networks, Göteborg, Sweden; 2001-07-01 - 2001-07-04; in: "Proceedings of the Int. Conf. on Dependable Systems and Networks (DSN'01)", (2001), 57 - 66
- Verfahren für die Synchronisation von Computeruhren in Netzwerken / N. Kerö, U. Schmid / Patent: Österreich, submitted: 2001-03-06
- An optimally distributed global clock / U. Schmid / in: "START und Wittgenstein 1996-2000", issued by: Margit Schwarz; Forschungsförderungsfonds (FWF), Wien, 2001, (invited), ISBN: 3-85224-089-1
- How to reconcile fault-tolerant interval intersection with the Lipschitz condition / U. Schmid, K. Schossmaier / Distributed Computing, 14 (2001), 2; 101 - 111
- Applied Research: A Scientist's Perspective / U. Schmid / Annual Reviews in Control, 25 (2001), 183 - 190
- Message-efficient consensus in presence of hybrid node and link faults / M. Biely, U. Schmid / Report for Technical Report 183/1-116, Department of Automation, Technische Universität Wien; 2001
2000
- How to Teach Matters of Modern Control Systems to Computer Science Students? / W. Kastner, U. Schmid / Talk: ACE, Sea World Nara Resort, Australia; 2000-12-17 - 2000-12-19; in: "Proceedings 5th IFAC Symposium on Advances in Control Education (ACE'00)", (2000)
- Verfahren für die Sysnchronisation von Computeruhren in Netzwerken / U. Schmid, M. Horauer, N. Kerö / Patent: Austria, No. AT005327U1; submitted: 2000-03-06, granted: 2002-05-27
- Verfahren für die Synchronisation von Computeruhren in Netzwerken / N. Kerö, U. Schmid, M. Horauer / Patent: Österreich, No. TR 183/1-105; submitted: 2000-03-01
- High-Accuracy Time Services and Fault-Tolerant Clock Synchronization / U. Schmid / Talk: IFIP WG10.4 Annual Meeting, Martinique, France (invited); 2000-01-21 - 2000-01-25; in: "Workshop on "Time and Dependability"", (2000), 39 - 57
- Orthogonal accuracy clock synchronization / U. Schmid / Chicago Journal of Theoretical Computer Science, 3 (2000), 3 - 77
- A Network Time Interface M-Module for Distributing GPS-time over LANs / U. Schmid, J. Klasek, T. Mandl, H. Nachtnebel, G. Cadek, N. Kerö / Real-Time Systems, 18 (2000), 1; 25 - 57
- A network interface for highly accurate clock synchronization / M. Horauer, N. Kerö, U. Schmid / Talk: Austrochip, Graz, Austria; 2000; in: "Proc. AUSTROCHIP'00", (2000), ISBN: 3-9501349-0-5; 93 - 101
- Applied Research: A Scientist's Perspective / U. Schmid / Talk: IFAC/IFIP Workshop on Real-Time Programming and Workshop on Algorithms and Architectures for Real-Time Control, Mallorca, Spain (invited); 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), 5 - 12
- Skriptum zur Laborübung "Prozeßautomatisierung" / U. Schmid, W. Kastner, B. Burgstaller, C. Kral / Report for Technical Report 183/1-106-a, Vienna University of Technology, Department of Automation; 2000
- Beispielsammlung zur Laborübung Prozeßautomatisierung (TR 183/1-106-b) / W. Kastner, B. Weiss, U. Schmid / 2000
1999
- How to distribute GPS-time over COTS-based LANs / U. Schmid, M. Horauer, N. Kerö / Talk: 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), 545 - 560
- Experimental evaluation of high-accuracy time distribution in a COTS-based Ethernet LAN / U. Schmid, H. Nachtnebel / Talk: IFAC/IFIP Workshop on Real-Time Programming, Schloß Dagstuhl, Germany; 1999; in: "Proc. 24th IFAC/IFIP Workshop on Real-Time Programming (WRTP'99)", (1999), 59 - 68
- A unified approach for simulation and experimental evaluation of fault-tolerant distributed systems / U. Schmid, B. Weiss, G. Gridling, K. Schossmaier / Talk: 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), 43 - 48
- The SimUTC fault-tolerant distributed systems simulation toolkit / B. Weiss, G. Gridling, U. Schmid, K. Schossmaier / Talk: 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), 68 - 75
1998
- Rapid Prototyping mit programmierbarer Logik anhand eines Fallbeispiels / H. Nachtnebel, N. Kerö, G. Cadek, T. Mandl, U. Schmid / Talk: Austrochip ´98, Wr. Neustadt; 1998-10-01; in: "Tagungsband der TMÖ-Fachtagung Austrochip´98", (1998), ISBN: 3-901578-03-x; 99 - 104
- NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization / M. Horauer, U. Schmid, K. Schossmaier / Talk: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), Orlando, Florida, USA; 1998-03-30 - 1998-04-03; in: "Proc. 6th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'98)", (1998), 1067 - 1076
- Internet-Based Real-Time Computing / U. Schmid / Talk: International Computer Software and Applications Conference (COMPSAC), Vienna, Austria (invited); 1998; in: "Proc. 22nd Annual International Computer Software & Applications Conference (COMPSAC'98)", (1998), 338 - 342
1997
- Process Control Engineering for Computer Science Students / W. Kastner, U. Schmid / Talk: ACE, Istanbul, Turkey; 1997-07-14 - 1997-07-17; in: "Proceedings 4th IFAC Symposium on Advances in Control Education (ACE'97)", (1997), 289 - 295
- Challenges in Interval-based Clock Synchronization / U. Schmid / Talk: Dagstuhl-Seminar 9728 on "Average Case Analysis of Algorithms", Schloß Dagstuhl, Germany (invited); 1997-07-07 - 1997-07-11
- Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU) / K. Schossmaier, U. Schmid, M. Horauer, D. Loy / Real-Time Systems, 12 (1997), 295 - 327
- Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU) / K. Schossmaier, U. Schmid, D. Loy, M. Horauer / Special Issue Journal of Real-Time Systems, ? (1997), 51 - 84
- Interval-Based Clock Synchronization / U. Schmid, K. Schossmaier / Real-Time Systems, 12 (1997), 2; 173 - 228
- Static Priority Scheduling of Aperiodic Real-Time Tasks / U. Schmid / Random Structures and Algorithms, 10 (1997), 1-2; 257 - 303
- Hochgenaue Uhrensynchronisation über LANs / U. Schmid / Elektronikschau, 10 (1997), 20 - 23
- Long-Term Evaluation of GPS Timing Receiver Failures / D. Höchtl, U. Schmid / Talk: 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), 165 - 180
- NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization / M. Horauer, U. Schmid, K. Schossmaier / 1997
1996
- DOBOS: A Distributed Object-Based Operating System for Soft Real-Time Systems / U. Schmid, W. Kastner / in: "Echtzeitsysteme und objektorientierter Entwurf", Vieweg-Verlag, Braunschweig, 1996, ISBN: 3-528-05542-1, 3 - 13
- NTI Functional and Architectural Specification / M. Horauer, D. Loy, U. Schmid / 1996
1995
- Process Control Education for Computer Science: From Fiction Back to Facts / U. Schmid, W. Kastner, H. Haberstroh / Talk: TEMPUS JEP-07759, Vienna, Austria; 1995-07-05 - 1995-07-07; in: "Proceedings TEMPUS JEP 07759 MODIFY Workshop on Automation and Control Engineering in Higher Education", (1995), 135 - 147
- SSCMP: The Sequenced Synchronized Clock Message Protocol / U. Schmid, A. Pusterhofer / Computer Networks and ISDN Systems, 27 (1995), 1615 - 1632
- On non-preemptive LCFS Scheduling with Deadlines / U. Schmid, J. Blieberger / Journal of Algorithms, 18 (1995), 124 - 158
- Synchronized Universal Time Coordinated for Distributed Real-Time Systems / U. Schmid / Control Engineering Practice, 3 (1995), 6; 877 - 884
- Random Trees in Queueing Systems with Deadlines / U. Schmid / Theoretical Computer Science, 144 (1995), 1-2; 277 - 314
- Zeit im Bild / J. Meyer, U. Schmid / Elektronikschau, 3 (1995), 28 - 30
- Random trees in queueing systems with deadlines / Habilitation Thesis by U. Schmid / TU Wien, Technisch-Naturwissenschaftliche Fakultät, 1995
- Untersuchung des Zeitverhaltens Verteilter Echtzeitsysteme / W. Halang, F.-J. Koller, U. Schmid, M. Witte / Talk: Echtzeit, Germany; 1995; in: "Proc. Echtzeit'95", (1995), 101 - 107
- "Echtzeit"-Systeme / U. Schmid / Talk: Habilitationskolloquium, Vienna, Austria; 1995
- Project proposal SSCMP: Sequenced Synchronized Clock Multicast Protocol / U. Schmid, D. Loy, W. Kastner / Report for Technical Report 183/1-58, Vienna University of Technology, Department of Automation; 1995
1994
- DOBOS: Ein Distributed Object-based Operating System für Soft Real-Time Systems / U. Schmid, W. Kastner / Talk: Echtzeit, Hamburg, Germany; 1994-06-14 - 1994-06-16; in: "Proceedings Echtzeit'94", (1994), 130 - 137
- Monitoring in verteilten Echtzeitsystemen / U. Schmid / in: "Echtzeitsysteme und Fuzzy Control", Vieweg-Verlag, 1994, 265 - 276
- Monitoring Distributed Real-Time Systems / U. Schmid / Real-Time Systems, 7 (1994), 33 - 56
- ECCS-Related Research Activities in the Department of Automation, Technical University of Vienna / U. Schmid / IEEE Technical Segment Committee on Engineering of Complex Computer Systems (ECCS) Newsletter, 1 (1994), 2; 2 - 5
- M-Module im Didaktik Einsatz / H. Haberstroh, W. Kastner, U. Schmid / Elektronik Industrie - Fachzeitschrift für Elektronik Entwicklung, 10 (1994), 90 - 92
- The Role of Standards in Real-Time Computing / U. Schmid / Talk: Real time computing, NATO ASI Series F: Computer and Systems Sciences, Sint Maarten; 1994; in: "Proc. NATO ASI on Real-Time Computing", 127 (1994), 638 - 639
- Synchronized UTC for Distributed Real-Time Systems / U. Schmid / Talk: IFAC/IFIP Workshop on Real-Time Programming, Lake Reichenau, Germany; 1994; in: "Proc. IFAC Workshop on Real-Time Programming (WRTP'94)", (1994), 101 - 107
- Monitoring of Distributed Real-Time Systems / U. Schmid / Talk: Real time computing, NATO ASI Series F: Computer and Systems Sciences, Sint Maarten; 1994; in: "Proc. NATO ASI on Real-Time Computing", 127 (1994), 582 - 583
1993
- Process Control Education for Computer Science: Facts and Fiction / U. Schmid, H. Haberstroh, S. Stöckler / Talk: SEFI/TEMPUS JEP 2011 - IMPACT Workshop on Computer Science Topics for Control Engineering Education, Vienna, Austria; 1993-02-21; in: "Proceedings SEFI/TEMPUS JEP 2011 - IMPACT Workshop on Computer Science Topics for Control Engineering Education", (1993), 13 - 22
- The Analysis of the Expected Successful Operation Time of Slotted ALOHA / M. Drmota, U. Schmid / IEEE Transactions on Information Theory, 39 (1993), 5; 1567 - 1577
- Exponential Limiting Distributions in Queueing Systems with Deadlines / M. Drmota, U. Schmid / SIAM Journal on Applied Mathematics, 53 (1993), 1; 301 - 318
- The Average CRI-Length of a Controlled ALOHA Collision Resolution Algorithm / U. Schmid / Theoretical Computer Science, 108 (1993), 291 - 310
- On Random-Trees Arising in the Analysis of Scheduling Algorithms for Real-Time Systems / U. Schmid / Talk: Dagstuhl-Seminar 9328 on "Average Case Analysis of Algorithms", Schloß Dagstuhl, Germany (invited); 1993
- DOBOS - Konzept eines distributed object-based operating systems / U. Schmid, W. Kastner / Report for Technical Report 183/1-40, Vienna University of Technology, Department of Automation; 1993
1992
- Monitoring of Distributed Real-Time Systems: The Versatile Timing Analyzer (VTA) / U. Schmid, W. Kastner / Talk: Workshop on Performance and Visualization of Parallel Systems, Moravany, Czecho-Slovakia; 1992-10-23 - 1992-10-24; in: "Proceedings Workshop on Performance Measurement and Visualization of Parallel Systems", Elsevier Science, 7 (1993), 277 - 302
- Informatik, second edition / J. Blieberger, G. Schildt, U. Schmid, S. Stöckler / Springer, Vienna, 1992, ISBN: 3-211-82389-1; 390 pages
- Some Investigations on FCFS Scheduling in Hard Real-Time Applications / U. Schmid, J. Blieberger / Journal of Computer and System Sciences, 45 (1992), 3; 493 - 512
- Preemptive LCFS Scheduling in Hard Real-Time Applications / J. Blieberger, U. Schmid / Performance Evaluation, 15 (1992), 3; 203 - 215
- FCFS Scheduling in a Hard Real-Time Environment under Rush-Hour Conditions / J. Blieberger, U. Schmid / BIT Numerical Mathematics, 32 (1992), 3; 370 - 383
- On a Tree Collision Resolution Algorithm in Presence of Capture / U. Schmid / RAIRO Informatique theorique et Applications / Theoretical Informatics and Applications, 26 (1992), 2; 163 - 197
- On the Asymptotics of the Average CRI-Length of the Slotted ALOHA Collision Resolution Algorithm / U. Schmid / Applied Mathematics and Computation, 48 (1992), 59 - 70
- The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects / U. Schmid / Talk: ICALP, Vienna; 1992; in: "Proceedings 19th International Colloquium on Automata, Languages, and Programming (ICALP'92)", Springer-Verlag, LNCS, 623 (1992), 223 - 234
- A Versatile Monitoring System for Distributed Real-Time Systems / U. Schmid, S. Stöckler / Talk: SAFECOMP, Zürich, Switzerland; 1992; in: "Proceedings 11th IFAC Symposium on Computer Systems in Safety-Critical Applications (SAFECOMP'92)", (1992), 203 - 208
1991
- Monitoring in verteilten Echtzeitsystemen / U. Schmid / Talk: Echtzeit, Sindelfingen, Germany; 1991; in: "Proc. Echtzeit'91", (1991), 169 - 176
- Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A Novel Approach / J. Blieberger, U. Schmid / Report for Technical Report 183/1-15, Vienna University of Technology, Department of Automation; 1991
1990
- Informatik / J. Blieberger, G. Schildt, U. Schmid, S. Stöckler / Springer, Vienna, 1990, ISBN: 3-211-82232-1; 390 pages
- Betriebssysteme / U. Schmid / in: "Informatik", Springer, Wien, 1990, ISBN: 3-211-82232-1, 222 - 350
1983
- Assembler mit Pascalelementen / F. Beranek, U. Schmid / Elektronikschau, 2 (1983), 32 - 34
Supervisions
2019
- Characterization of Consensus Solvability under Message Adversaries / Doctoral Thesis by K. Winkler / Supervisor, Reviewer: U. Schmid, S. Rajsbaum, S. Schmid; Institut für Computer Engineering, 2019; oral examination: 2019-10-23
- Fault-Tolerant Clock Distribution in Grid-Like Networks / Doctoral Thesis by M. Perner / Supervisor, Reviewer: U. Schmid, A. Jantsch, M. Krstic; Institut für Computer Engineering (E191-02), 2019; oral examination: 2019-10-16
2018
- Agreement Algorithms in Directed Dynamic Networks / Doctoral Thesis by M. Schwarz / Supervisor, Reviewer: U. Schmid, E. Godard; Institut für Computer Engineering, 2018; oral examination: 2018-06-15
- Knowledge and Communication Complexity in Distributed Systems / Master Thesis by D. Pfleger / Supervisor: U. Schmid; Institut für Computer Engineering, 2018; final examination: 2018-04-11
- Temporal-Epistemic Logic in Byzantine Message-Passing Contexts / Master Thesis by P. Fimml / Supervisor: U. Schmid; Institut für Computer Engineering, 2018; final examination: 2018-01-08
2014
- Real-Time Performance Analysis of Synchronous Distributed Systems / Doctoral Thesis by A. Kößler / Supervisor, Reviewer: U. Schmid, K. Chatterjee; Institut für Technische Informatik (E182/2), 2014; oral examination: 2014-11-27
2013
- Easy Impossibility Proofs for k-Set Agreement / Master Thesis by K. Winkler / Supervisor: U. Schmid; Institut für technische Informatik, 2013; final examination: 2013-11-22
- Solving the Labeling Problem - A Byzantine Fault-Tolerant Self-Stabilizing FPGA Prototype based on the FATAL<sup>+</sup> Protocol / Master Thesis by M. Hofstätter / Supervisor: U. Schmid, M Függer; Institut für technische Informatik, 2013; final examination: 2013-10-08
- Self-Stabilizing Byzantine Fault-Tolerant Clock Distribution in Grids / Master Thesis by M. Perner / Supervisor: U. Schmid; Institut für technische Informatik, 2013; final examination: 2013-10-08
- Solving k-Set Agreement in Dynamic Networks / Master Thesis by M. Schwarz / Supervisor: U. Schmid; Institut für technische Informatik, 2013; final examination: 2013-10-08
2011
- Weak System Models for Fault-Tolerant Distributed Agreement Problems / Doctoral Thesis by P. Robinson / Supervisor, Reviewer: U. Schmid, M. Raynal; Institut für Technische Informatik (E182/2), 2011; oral examination: 2011-01-31
2010
- Efficient Interference Reduction in Low Complex Digital Direct Sequence Spread Spectrum Systems / Doctoral Thesis by S. Khattab / Supervisor, Reviewer: A. Goiser, U. Schmid; E389, 2010; oral examination: 2010-06-02
- Analysis of On-Chip Fault-Tolerant Distributed Algorithms / Doctoral Thesis by M Függer / Supervisor, Reviewer: U. Schmid, L. Welch; Institut für Technische Informatik - 182/2, 2010
- Topology in Distributed Computing / Master Thesis by T. Nowak / Supervisor: U. Schmid; Institut für Technische Informatik - 182/2, 2010
- A Pipelined Distributed Fault-Tolerant Clock Generation Algorithm in VLSI - Proofs and Implementation / Master Thesis by A. Dielacher / Supervisor: U. Schmid, M Függer; Institut für Technische Informatik - 182/2, 2010
2009
- Dynamic Aspects of Modelling Distributed Computations / Doctoral Thesis by M. Biely / Supervisor, Reviewer: U. Schmid, B. Charron-Bost; Institut für Technische Informatik, 2009; oral examination: 2009-11-30
- A Model for Distributed Computing in Real-Time Systems / Doctoral Thesis by H. Moser / Supervisor, Reviewer: U. Schmid, L. Welch; Institut für Technische Informatik, 2009; oral examination: 2009-05-20
2006
- Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip / Master Thesis by M Függer / Supervisor: U. Schmid; Technische Informatik, E182/2, 2006; final examination: 2006
2005
- Advantages and Limitations of Position-based Communication in Wireless Ad-hoc Networks / Doctoral Thesis by H. Stratil / Supervisor, Reviewer: U. Schmid; Technische Informatik, E182/2, 2005; oral examination: 2005
- Failure Detection in Sparse Networks / Doctoral Thesis by M. Hutle / Supervisor, Reviewer: U. Schmid; Technische Informatik, E182/2, 2005; oral examination: 2005
- Distributed Construction of a Fault-Tolerant Wireless Communication Topology for Networked Embedded Systems / Master Thesis by H. Moser / Supervisor: U. Schmid; Institut für Technische Informatik / Embedded Computing Systems, 2005
2004
- Clock Synchronization in Distributed Systems / Doctoral Thesis by M. Horauer / Supervisor, Reviewer: R. Eier, U. Schmid; Institut für Computertechnik, 2004
- Distributed Computing in the Presence of Bounded Asynchrony / Doctoral Thesis by J. Widder / Supervisor, Reviewer: U. Schmid, M. Jazayeri; Institut für Technische Informatik / Embedded Computing Systems, 2004
- Experimentelle Verifikation von Synchronitätsannahmen für Computernetzwerke / Master Thesis by D. Albeseder / Supervisor: U. Schmid; Institut für Technische Informatik / Embedded Computing Systems, 2004
2002
- Authenticated Consensus / Doctoral Thesis by B. Weiss / Supervisor, Reviewer: U. Schmid; Institut für Rechnergestützte Automation, 2002
- Topology Management and Routing in Wireless Networks - An Overview / Master Thesis by H. Stratil / Supervisor: U. Schmid; 183, 2002
- Switching On - How Processes Initialize for Consistent Broadcast. / Master Thesis by J. Widder / Supervisor: U. Schmid; 183, 2002
- Vergleich von Protocol frameworks / Master Thesis by S. Movaghar / Supervisor: U. Schmid; 183, 2002
- Byzantine agreement under the perception-based fault model / Master Thesis by M. Biely / Supervisor: U. Schmid; 183, 2002
- Vergleich von Protocol Frameworks / Master Thesis by S. Rahimi Movaghar / Supervisor: U. Schmid; Institut für Rechnergestützte Automation, 2002
1998
- Interval-based Clock State and Rate Synchronization / Doctoral Thesis by K. Schossmaier / Supervisor, Reviewer: U. Schmid; Institut für Automation, 1998
1997
- Device Driver for Real-Time Communication Coprocessor / Master Thesis by G. Richter / Supervisor: U. Schmid; Institut für Automation, 1997
- Simulation Environment for Clock Synchronization / Master Thesis by B. Weiss / Supervisor: U. Schmid, K. Schoßmaier; Institut für Automation, 1997
- Konzepte der Systemadministration in heterogenen Workstation-Netzen / Master Thesis by M. Laubach / Supervisor: G. Schildt, U. Schmid; Institut für Automation, 1997
1996
- Objektorientierte Spezifikation graphischer Benutzerschnittstellen / Master Thesis by F. Fajtak / Supervisor: H. Haberstroh, U. Schmid; Institut für Automation, 1996
1995
- NTSU - Network Timestamp Unit / Master Thesis by A. Pusterhofer / Supervisor: U. Schmid, G. Schildt; Institut für Automation, 1995
1994
- Event-Based Monitoring of Distributed Real-Time Systems / Doctoral Thesis by S. Stöckler / Supervisor, Reviewer: U. Schmid, G. Schildt; Institut für Automation, 1994
- Untersuchung über die Einsetzbarkeit graphischer Programmiermethoden für die On-Line Data Acquisition / Master Thesis by R. Labner / Supervisor: U. Schmid, G. Schildt; Institut für Automation, 1994
- Dynamische Software- und Hardware-Instrumentierung / Master Thesis by J. Klasek / Supervisor: U. Schmid, G. Schildt; Institut für Automation, 1994
- Monitoring in verteilten Echtzeitsystemen / Master Thesis by J. Divisch / Supervisor: U. Schmid, S. Stöckler, G. Schildt; Institut für Automation, 1994
1992
- Externe Prozessynchronisation im Echtzeitbetriebssystem REMUX / Master Thesis by W. Kastanek / Supervisor: G. Schildt, U. Schmid; Institut für Automation, 1992
1991
- Sourcecode-Level Monitoring verteilter Echtzeitsysteme / Master Thesis by T. Hontsch / Supervisor: U. Schmid, G. Schildt; Institut für Automation, 1991
Awards
-
Synchronized Universal Time Coordinated for Distributed Real-Time Systems
1997 / START-Programm / Austria -
Kardinal Innitzer Förderungspreis
1995 / Kardinal-Innitzer-Preis / Austria
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Ulrich Schmid’s research profile in TISS .