Ulrich Schmid

Univ.-Prof. i.R. Dipl.-Ing. Dr.techn.

Research Focus

Computer Engineering: 100%

Research Areas

Topology, Digital integrated circuits, Epistemic logic, Trustworthy Systems, 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

Role

Retired Professor
Embedded Computing Systems, E191-02

Contact

ulrich.e182.schmid@tuwien.ac.at
+43-1-58801-18250
1040 Wien, Treitlstrasse 3 / Room DE0240
vCard from TISS

Courses

Summer 2026

Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 SE
Research Seminar LogiCS / 184.767 SE
Seminar for Master Students in Computer Engineering / 180.778 SE

Winter 2025

Computer Networks / 182.752 VU
Research Seminar LogiCS / 184.767 SE
Seminar for Master Students in Computer Engineering / 180.778 SE

Projects

ByzDEL: Reasoning about Knowledge in Byzantine Distributed Systems
2020 – 2025 / Austrian Science Fund (FWF) / Website / Publications (37)
DMAC: Digital Modeling of Asynchronous Integrated Circuits
2019 – 2024 / Austrian Science Fund (FWF) / Publications (18)
IoT4CPS: Trustworthy IoT for CPS
2017 – 2020 / Austrian Research Promotion Agency (FFG) / Publication
ADynNet: Gracefully Degrading Agreement in Directed Dynamic Networks
2016 – 2020 / Austrian Science Fund (FWF) / Publications (2)
SIC: Self-stabilizing Byzantine Fault-Tolerant Distributed Algorithms for Integrated Circiuts
2013 – 2018 / Austrian Science Fund (FWF) / Publication
PSRTS: Partially Synchronous Distributed Real-Time Systems
2008 – 2012 / Austrian Science Fund (FWF)
FAME: Fault Models for Engineering
2008 – 2010 / Austrian Research Promotion Agency (FFG)
TRAFT: Transient Fault Tolerance
2006 – 2010 / Austrian Research Promotion Agency (FFG)
SPAWN: Fault-tolerant Distributed Algorithms in Sparse Ad Hoc Wireless Networks
2005 – 2009 / Austrian Science Fund (FWF) / Website
ASSERT: Automated proof based System and Software Engineering for Real-Time Applications
2004 – 2008 / European Commission / Website
THETA: Asynchronous Distributed Algorithms in the Theta-Model
2004 – 2008 / Austrian Science Fund (FWF) / Publication
DCBA: Distributed Computing in the Presence of Bounded Asynchrony
2004 – 2007 / Austrian Research Promotion Agency (FFG)
SCDL: Seamless Campus - Distance Labs
2004 – 2007 / Austrian Research Promotion Agency (FFG) / Publications (2)

Publications

2025

Fraigniaud, P., Nguyen, M. H., Paz, A., Schmid, U., Rincon Galeana, H. (2025). Lower Bounds for k-Set Agreement in Fault-Prone Networks. In D. R. Kowalski (Ed.), 39th International Symposium on Distributed Computing (DISC 2025). Schloss Dagstuhl. Peer-reviewed.
DOI: https://doi.org/10.4230/LIPIcs.DISC.2025.31
Salzmann, J., Schmid, U. (2025). Signal Prediction for Digital Circuits by Sigmoidal Approximations Using Neural Networks. In 2025 Design, Automation Test in Europe Conference (DATE). 2025 Design, Automation Test in Europe Conference (DATE), Lyon, France. IEEE. Peer-reviewed.
DOI: 10.23919/DATE64628.2025.10992811 / Project: DMAC
Felber, S., Hummes Flores, B., Rincon Galeana, H. (2025). Brief Announcement: A Sheaf-Theoretic Characterization of Tasks in Distributed Systems. In U. Schmid R. Kuznets (Eds.), Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings (pp. 425–430). Springer. Peer-reviewed.
DOI: 10.1007/978-3-031-91736-3_26
Schmid, U., Roman Kuznets (Eds.). (2025). Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings (Vol. 15671). Springer. Peer-reviewed.
DOI: 10.1007/978-3-031-91736-3
Ferdowsi, A., Függer, M., Nowak, T., Schmid, U., Drmota, M. (2025). Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 56, Article 101572. Peer-reviewed.
DOI: 10.1016/j.nahs.2024.101572 / Download: PDF / Project: DMAC
Aldini, A., Ciabattoni, A., Pichler, D., Tagliaferri, M. (2025). Support + Belief = Decision Trust. In U. Schmid Roman Kuznets (Eds.), Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings (pp. 3–22). Springer. Peer-reviewed.
DOI: 10.1007/978-3-031-91736-3_1

2024

Nowak, T., Schmid, U., Winkler, K. (2024). Topological Characterization of Consensus in Distributed Systems. Journal of the ACM, 71(6), 1–48. Peer-reviewed.
DOI: 10.1145/3687302 / Projects: DMAC, ByzDEL
Ditmarsch, H. van, Fruzsa, K., Kuznets, R., Schmid, U. (2024). A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. In Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (pp. 114–134). Springer.
DOI: 10.1007/978-3-031-63501-4_7 / Projects: DMAC, ByzDEL
Winkler, K., Paz, A., Rincon Galeana, H., Schmid, S., Schmid, U. (2024). The Time Complexity of Consensus Under Oblivious Message Adversaries. Algorithmica, 86(6), 1830–1861. Peer-reviewed.
DOI: 10.1007/s00453-024-01209-4
Rincon Galeana, H., Schmid, U. (2024). Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems. In Structural Information and Communication Complexity : 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27–29, 2024, Proceedings (pp. 501–506). Springer.
DOI: 10.1007/978-3-031-60603-8_29 / Projects: DMAC, ByzDEL
Ferdowsi, A., Függer, M., Salzmann, J., Schmid, U. (2024). A Hybrid Delay Model for Interconnected Multi-Input Gates. In 2023 26th Euromicro Conference on Digital System Design (DSD) (pp. 381–390). IEEE.
DOI: 10.1109/DSD60849.2023.00060 / Project: DMAC

2023

Cignarale, G., Kuznets, R., Rincón Galeana, H., Schmid, U. (2023). Logic of Communication Interpretation: How to Not Get Lost in Translation. In U. Sattler M. Suda (Eds.), Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings (pp. 119–136). Springer.
DOI: 10.1007/978-3-031-43369-6_7 / Download: PDF / Project: ByzDEL
Schlögl, T., Schmid, U. (2023). A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. In R. Verbrugge (Ed.), Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (pp. 487–506). Peer-reviewed.
DOI: 10.4204/EPTCS.379.37 / Project: DMAC
Cignarale, G., Schmid, U., Tahko, T. E., Kuznets, R. (2023). The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. Minds and Machines, 33(2), 293–319. Peer-reviewed.
DOI: 10.1007/s11023-023-09631-3 / Download: PDF / Project: ByzDEL
Ferdowsi, A., Függer, M., Nowak, T., Schmid, U. (2023). Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. In HSCC ’23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC’23), San Antonio, United States of America (the). Association for Computing Machinery. Peer-reviewed.
DOI: 10.1145/3575870.3587125 / Project: DMAC
Winkler, K., Paz, A., Galeana, H. R., Schmid, S., Schmid, U. (2023). The Time Complexity of Consensus Under Oblivious Message Adversaries. In Y. T. Kalai (Ed.), 14th Innovations in Theoretical Computer Science Conference (ITCS’23) (pp. 1–28). Schloss-Dagstuhl - Leibniz Zentrum für Informatik.
DOI: 10.4230/LIPIcs.ITCS.2023.100 / Projects: ByzDEL, ADynNet
Öhlinger, D., Schmid, U. (2023). A Digital Delay Model Supporting Large Adversarial Delay Variations. In 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) (pp. 111–117). Peer-reviewed.
DOI: 10.1109/DDECS57882.2023.10139680 / Project: DMAC
Ferdowsi, A., Schmid, U., Salzmann, J. (2023). Accurate Hybrid Delay Models for Dynamic Timing Analysis. In 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) (pp. 1–9). IEEE.
DOI: 10.1109/ICCAD57390.2023.10323646 / Project: DMAC

2022

Ferdowsi, A., Schmid, U., Salzmann, J. (2022). An Accurate Hybrid Delay Model for Multi-Input Gates. arXiv.
DOI: 10.34726/2942 / Download: PDF / Project: DMAC
Ferdowsi, A., Maier, J., Öhlinger, D., Schmid, U. (2022). A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate. In 2022 Design, Automation Test in Europe Conference Exhibition (DATE) (pp. 1461–1466).
DOI: 10.23919/DATE54114.2022.9774547 / Project: DMAC
Galeana, H. R., Rajsbaum, S., Schmid, U. (2022). Continuous Tasks and the Asynchronous Computability Theorem. In M. Braverman (Ed.), 13th Innovations in Theoretical Computer Science Conference (ITCS’22) (pp. 73:1-73:27). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
DOI: 10.4230/LIPIcs.ITCS.2022.73 / Project: ByzDEL
Függer, M., Lenzen, C., Schmid, U. (2022). On Specifications and Proofs of Timed Circuits. In J.-F. Raskin, K. Chatterjee, L. Doyen, R. Mayumdar (Eds.), Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Vol. 13660, pp. 107–130). Springer.
DOI: 10.1007/978-3-031-22337-2 / Project: DMAC

2021

Maier, J., Öhlinger, D., Schmid, U., Függer, M., Nowak, T. (2021). A Composable Glitch-Aware Delay Model. In GLSVLSI ’21: Proceedings of the 2021 Great Lakes Symposium on VLSI (pp. 147–154). Association for Computing Machinery.
DOI: 10.1145/3453688.3461519 / Downloads: MP4, PDF / Projects: DMAC, ADynNet
Zeiner, M., Schmid, U., Chatterjee, K. (2021). Optimal strategies for selecting coordinators. Discrete Applied Mathematics, 289, 392–415. Peer-reviewed.
DOI: 10.1016/j.dam.2020.10.022
Winkler, K., Schmid, U., Nowak, T. (2021). Valency-Based Consensus Under Message Adversaries Without Limit-Closure. In Fundamentals of Computation Theory (pp. 457–474). Springer. Peer-reviewed.
DOI: 10.1007/978-3-030-86593-1_32
Schwarz, M., Schmid, U. (2021). Round-Oblivious Stabilizing Consensus in Dynamic Networks. In Stabilization, Safety, and Security of Distributed Systems 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings (pp. 154–172). Springer.
DOI: 10.1007/978-3-030-91081-5_11
Fruzsa, K., Kuznets, R., Schmid, U. (2021). Fire! In Electronic Proceedings in Theoretical Computer Science (pp. 139–153). Electronic Proceedings in Theoretical Computer Science. Peer-reviewed.
DOI: 10.4204/eptcs.335.13 / Project: ByzDEL

2020

Öhlinger, D., Maier, J., Függer, M., Schmid, U. (2020). The involution tool for accurate digital timing and power analysis. Integration, 76, 87–98. Peer-reviewed.
DOI: 10.1016/j.vlsi.2020.09.007 / Download: PDF / Project: DMAC
Schlögl, T., Schmid, U., Kuznets, R. (2020). The Persistence of False Memory: Brain in a Vat despite Perfect Clocks. In PRIMA 2020: Principles and Practice of Multi-Agent Systems (pp. 403–411). Springer Nature Switzerland AG. Peer-reviewed.
DOI: 10.1007/978-3-030-69322-0_30 / Project: ByzDEL
Pavlogiannis, A., Schaumberger, N., Schmid, U., Chatterjee, K. (2020). Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3981–3992. Peer-reviewed.
DOI: 10.1109/tcad.2020.3012803
Zeiner, M., Schmid, U. (2020). Upper and Lower Bounds for the Synchronizer Performance in Systems with Probabilistic Message Loss. Methodology and Computing in Applied Probability, 23(3), 1023–1056. Peer-reviewed.
DOI: 10.1007/s11009-020-09792-z
Függer, M., Najvirt, R., Nowak, T., Schmid, U. (2020). A Faithful Binary Circuit Model. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(10), 2784–2797. Peer-reviewed.
DOI: 10.1109/tcad.2019.2937748

2019

Winkler, K., Schmid, U. (2019). An Overview of Recent Results for Consensus in Directed Dynamic Networks. European Association for Theoretical Computer Science. Bulletin, 128, 30. Peer-reviewed.
HDL: 20.500.12708/143248
Schmid, U. (2019). Design and Implementation of the Bachelor with Honors Program at TU Wien. European Honors Council. Journal, 3(2). Peer-reviewed.
DOI: 10.31378/jehc.3.2
Winkler, K., Schwarz, M., Schmid, U. (2019). Consensus in rooted dynamic networks with short-lived stability. Distributed Computing, 32(5), 443–458. Peer-reviewed.
DOI: 10.1007/s00446-019-00348-0
Zeiner, M., Schwarz, M., Schmid, U. (2019). On Linear-Time Data Dissemination in Dynamic Rooted Trees. Discrete Applied Mathematics, 255, 307–319. Peer-reviewed.
DOI: 10.1016/j.dam.2018.08.015
Maier, J., Függer, M., Nowak, T., Schmid, U. (2019). Transistor-Level Analysis of Dynamic Delay Models. In 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). 25th IEEE International Symposium on Asynchronous Circuits and Systems, Hirosaki, Japan. IEEE.
DOI: 10.1109/ASYNC.2019.00019 / Download: PDF
Öhlinger, D., Maier, J., Függer, M., Schmid, U. (2019). The involution tool for accurate digital timing and power analysis. In 2019 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). 29th International Symposium on Power and Timing Modeling, Optimization and Simulation, Rhodos, Greece.
DOI: 10.1109/PATMOS.2019.8862165 / Download: PDF
Prosperi, L., Kuznets, R., Schmid, U., Fruzsa, K., Gréaux, L. (2019). Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone (TUW-260549).
HDL: 20.500.12708/39204
Kuznets, R., Prosperi, L., Schmid, U., Fruzsa, K. (2019). Epistemic Reasoning with Byzantine-Faulty Agents. In A. Herzig A. Popescu (Eds.), Frontiers of Combining Systems (pp. 259–276). Springer. Peer-reviewed.
DOI: 10.1007/978-3-030-29007-8_15
Rincon Galeana, H., Winkler, K., Schmid, U., Rajsbaum, S. (2019). A Topological View of Partitioning Arguments: Reducing 𝑘-Set Agreement to Consensus. In Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings (pp. 307–322). Lecture Notes in Computer Science / Springer. Peer-reviewed.
DOI: 10.1007/978-3-030-34992-9_25
Jayanti, P., Lynch, N. A., Patt-Shamir, B., Schmid, U. (2019). 2019 Principles of Distributed Computing Doctoral Dissertation Award. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. 38th ACM Symposium on Principles of Distributed Computing (PODC’19), Toronto, Canada. ACM.
DOI: 10.1145/3293611.3341565
Winkler, K., Schmid, U., Moses, Y. (2019). A Characterization of Consensus Solvability for Closed Message Adversaries. In P. Felber, R. Friedman, S. Gilbert, A. Miller (Eds.), 23rd International Conference on Principles of Distributed Systems (pp. 17:1-17:16). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. Peer-reviewed.
DOI: 10.4230/LIPIcs.OPODIS.2019.17
Nowak, T., Schmid, U., Winkler, K. (2019). Topological Characterization of Consensus under General Message Adversaries. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. 38th ACM Symposium on Principles of Distributed Computing (PODC’19), Toronto, Canada. ACM. Peer-reviewed.
DOI: 10.1145/3293611.3331624
Kuznets, R., Prosperi, L., Schmid, U., Fruzsa, K. (2019). Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. In L. Moss (Ed.), Electronic Proceedings in Theoretical Computer Science (pp. 293–312). Electronic Proceedings in Theoretical Computer Science. Peer-reviewed.
DOI: 10.4204/eptcs.297.19

2018

Schmid, U. (2018). FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits (TUW-278607).
HDL: 20.500.12708/39717
Pfleger, D., Schmid, U. (2018). On Knowledge and Communication Complexity in Distributed Systems (TUW-269752).
HDL: 20.500.12708/39457
Schwarz, M., Schmid, U. (2018). On the Strongest Message Adversary for Consensus in Directed Dynamic Networks (TUW-269285).
HDL: 20.500.12708/39450
Perner, M., Schmid, U. (2018). Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures (TUW-268547).
HDL: 20.500.12708/39426
Függer, M., Maier, J., Najvirt, R., Nowak, T., Schmid, U. (2018). A Faithful Binary Circuit Model with Adversarial Noise. In 2018 Design, Automation Test in Europe Conference Exhibition (DATE). 2018 Design, Automation Test in Europe Conference Exhibition, Dresden, Germany. IEEE.
DOI: 10.23919/DATE.2018.8342219 / Download: PDF
Schmid, U., Widder, J. (Eds.). (2018). 32nd International Symposium on Distributed Computing : DISC 2018, October 15–19, New Orleans, Louisiana, USA. Dagstuhl Publishing LIPICS. Peer-reviewed.
DOI: 10.4230/LIPIcs.DISC.2018.0
Biely, M., Robinson, P., Schmid, U., Schwarz, M., Winkler, K. (2018). Gracefully degrading consensus and k-set agreement in directed dynamic networks. Theoretical Computer Science, 726, 41–77. Peer-reviewed.
DOI: 10.1016/j.tcs.2018.02.019
Chatterjee, K., Pavlogiannis, A., Kößler, A., Schmid, U. (2018). Automated Competitive Analysis of Real-time Scheduling with Graph Games. Real-Time Systems, 54(1), 166–207. Peer-reviewed.
DOI: 10.1007/s11241-017-9293-4
Fan, C., Meng, Y., Maier, J., Bartocci, E., Mitra, S., Schmid, U. (2018). Verifying nonlinear analog and mixed-signal circuits with inputs. In 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018: Oxford, United Kingdom, 11—13 July 2018 (pp. 241–246). Elsevier. Peer-reviewed.
DOI: 10.1016/j.ifacol.2018.08.041
Zeiner, M., Schwarz, M., Schmid, U. (2018). On linear-time data dissemination in dynamic trees. In CSASC 2018 - Book of Abstracts (p. 113).
HDL: 20.500.12708/57537
Afek, Y., Keidar, I., Patt-Shamir, B., Rajsbaum, S., Schmid, U., Taubenfeld, G. (2018). 2018 Edsger W. Dijkstra Prize in Distributed Computing. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. 2018 ACM Symposium on Principles of Distributed Computing, Egham, United Kingdom of Great Britain and Northern Ireland (the). ACM Press.
DOI: 10.1145/3212734.3232540
Perner, M., Schmid, U. (2018). Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures. In 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS). 24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS’18), Platja D’Aro, Spain. Peer-reviewed.
DOI: 10.1109/iolts.2018.8474221
Pfleger, D., Schmid, U. (2018). On Knowledge and Communication Complexity in Distributed Systems. In Structural Information and Communication Complexity (pp. 312–330). Springer International Publishing. Peer-reviewed.
DOI: 10.1007/978-3-030-01325-7_27
Schmid, U., Schwarz, M., Winkler, K. (2018). On the Strongest Message Adversary for Consensus in Directed Dynamic Networks. In Structural Information and Communication Complexity (pp. 102–120). Springer International Publishing. Peer-reviewed.
DOI: 10.1007/978-3-030-01325-7_13

2017

Savulimedu Veeravalli, V., Steininger, A., Schmid, U. (2017). A versatile architecture for long-term monitoring of single-event transient durations. Microprocessors and Microsystems, 53, 130–144. Peer-reviewed.
DOI: 10.1016/j.micpro.2017.07.007
Zeiner, M., Schmid, U., Schwarz, M. (2017). On Linear-Time Data Dissemination in Dynamic Rooted Trees. In 19th ÖMG Congress and Annual DMV Meetig Program and Books of Abstracts (p. 87).
HDL: 20.500.12708/57124

2016

Függer, M., Nowak, T., Schmid, U. (2016). Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Transactions on Computers, 65(3), 964–978. Peer-reviewed.
DOI: 10.1109/tc.2015.2435791
Dolev, D., Függer, M., Lenzen, C., Perner, M., Schmid, U. (2016). HEX: Scaling Honeycombs is Easier than Scaling Clock Trees. Journal of Computer and System Sciences, 82(5), 929–956. Peer-reviewed.
DOI: 10.1016/j.jcss.2016.03.001
Pfleger, D., Schmid, U. (2016). A Framework for Connectivity Monitoring in Wireless Sensor Networks. In Proceedings 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM’16) (pp. 40–48). IARIA XPS Press. Peer-reviewed.
HDL: 20.500.12708/56746
Schwarz, M., Winkler, K., Schmid, U. (2016). Fast consensus under eventually stabilizing message adversaries. In Proceedings of the 17th International Conference on Distributed Computing and Networking. 17th International Conference on Distributed Computing and Networking, Singapore, Singapore. ACM. Peer-reviewed.
DOI: 10.1145/2833312.2833323
Biely, M., Robinson, P., Schmid, U., Schwarz, M., Winkler, K. (2016). Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks (TUW-258404).
HDL: 20.500.12708/39151
Zeiner, M., Schmid, U., Schilcher, U., Bettstetter, C. (2016). FWF-Proposal SPRG: Structural Properties of Random Graphs.
HDL: 20.500.12708/39096

2015

Dolev, D., Függer, M., Lenzen, C., Schmid, U., Steininger, A. (2015). Fault-tolerant Distributed Systems in Hardware. European Association for Theoretical Computer Science. Bulletin, 2(116), 43. Peer-reviewed.
HDL: 20.500.12708/151760
Steininger, A., Zimmermann, H., Jantsch, A., Hofbauer, M., Schmid, U., Schweiger, K., Savulimedu Veeravalli, V. (2015). Building reliable systems-on-chip in nanoscale technologies. Elektrotechnik Und Informationstechnik : E i, 132(6), 301–306. Peer-reviewed.
DOI: 10.1007/s00502-015-0319-0
Függer, M., Kößler, A., Nowak, T., Schmid, U., Zeiner, M. (2015). The effect of forgetting on the performance of a synchronizer. Performance Evaluation, 93, 1–16. Peer-reviewed.
DOI: 10.1016/j.peva.2015.08.002
Függer, M., Najvirt, R., Nowak, T., Schmid, U. (2015). Towards binary circuit models that faithfully capture physical solvability. In Proceedings of the 2015 Design, Automation Test in Europe Conference Exhibition (DATE’15) (pp. 1455–1460). Peer-reviewed.
HDL: 20.500.12708/56310
Biely, M., Robinson, P., Schmid, U., Schwarz, M., Winkler, K. (2015). Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks. In Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers. The international Conference on NETworked sYStems, Agadir, Morocco. Springer LNCS. Peer-reviewed.
DOI: 10.1007/978-3-319-26850-7_8
Najvirt, R., Függer, M., Nowak, T., Schmid, U., Hofbauer, M., Schweiger, K. (2015). Experimental Validation of a Faithful Binary Circuit Model. In Proceedings of the 25th edition on Great Lakes Symposium on VLSI. Great Lakes Symposium on VLSI (GLSVLSI’15), Pittsburgh, United States of America (the). Peer-reviewed.
DOI: 10.1145/2742060.2742081
Schwarz, M., Winkler, K., Schmid, U. (2015). Fast Consensus under Eventually Stabilizing Message Adversaries (TUW-240061).
HDL: 20.500.12708/38462
Pfleger, D., Schmid, U. (2015). A Framework for Connectivity Monitoring in Wireless Sensor Networks (TUW-241107).
HDL: 20.500.12708/38487

2014

Biely, M., Robinson, P., Schmid, U. (2014). The Generalized Loneliness Detector and Weak System Models for k-Set Agreement. IEEE Transactions on Parallel and Distributed Systems, 25(4), 1078–1088. Peer-reviewed.
DOI: 10.1109/tpds.2013.77
Moser, H., Schmid, U. (2014). Reconciling fault-tolerant distributed algorithms and real-time computing. Distributed Computing, 27(3), 203–230. Peer-reviewed.
DOI: 10.1007/s00446-013-0204-1
Dolev, D., Függer, M., Schmid, U., Lenzen, C. (2014). Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation. Journal of the ACM, 61(5), 1–74. Peer-reviewed.
DOI: 10.1145/2560561
Dolev, D., Függer, M., Posch, M., Schmid, U., Steininger, A., Lenzen, C. (2014). Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. Journal of Computer and System Sciences, 80(4), 860–900. Peer-reviewed.
DOI: 10.1016/j.jcss.2014.01.001
Schmid, U. (2014). Final Report FWF FATAL-Project (P21694) (TUW-235380).
HDL: 20.500.12708/38307
Schmid, U. (2014). FWF-Proposal ADynNet: Gracefully Degrading Agreement in Directed Dynamic Networks (TUW-235381).
HDL: 20.500.12708/38308
Gmeiner, A., Konnov, I., Schmid, U., Veith, H., Widder, J. (2014). Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. In Formal Methods for Executable Software Models (pp. 122–171). Springer.
DOI: 10.1007/978-3-319-07317-0_4
Veeravalli, V. S., Steininger, A., Schmid, U. (2014). Measuring SET pulsewidths in logic gates using digital infrastructure. In Fifteenth International Symposium on Quality Electronic Design. 15th International Symposium Exhibit on Quality Electronic Design, Santa Clara, United States of America (the). Peer-reviewed.
DOI: 10.1109/isqed.2014.6783331
Pavlogiannis, A., Chatterjee, K., Schmid, U., Kößler, A. (2014). A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. In 2014 IEEE Real-Time Systems Symposium. 35th IEEE Real-Time Systems Symposium, Rome, Italy. Peer-reviewed.
DOI: 10.1109/rtss.2014.9
Schwarz, M., Winkler, K., Schmid, U., Biely, M., Robinson, P. (2014). Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures. In Proceedings of the 2014 ACM symposium on Principles of distributed computing - PODC ’14. 33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing (PODC), Paris, France. ACM. Peer-reviewed.
DOI: 10.1145/2611462.2611506

2013

Veeravalli, V. S., Polzer, T., Schmid, U., Steininger, A., Hofbauer, M., Schweiger, K., Dietrich, H., Schneider-Hornstein, K., Zimmermann, H., Voss, K.-O., Merk, B., Hajek, M. (2013). An infrastructure for accurate characterization of single-event transients in digital circuits. Microprocessors and Microsystems, 37, 772–791. Peer-reviewed.
HDL: 20.500.12708/156041
Hofbauer, M., Schweiger, K., Zimmermann, H., Giesen, U., Langner, F., Schmid, U., Steininger, A. (2013). 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(4), 2640–2646. Peer-reviewed.
HDL: 20.500.12708/156043
Schwarz, M., Winkler, K., Schmid, U., Biely, M., Robinson, P. (2013). Gracefully Degrading Consensus and k-set Agreement under Dynamic Link Failures (TUW-220473).
HDL: 20.500.12708/37755
Schmid, U. (2013). Final Report FWF PSRTS-Project (P20529) (TUW-235379).
HDL: 20.500.12708/38306
Perner, M., Schmid, U., Lenzen, C., Sigl, M. (2013). Byzantine Self-Stabilizing Clock Distribution with HEX: Implementation, Simulation, Clock Multiplication. In Proceedings of the 6th IARA International Conference on Dependability (DEPEND’13) (pp. 6–15). IARA. Peer-reviewed.
HDL: 20.500.12708/54927
Függer, M., Nowak, T., Schmid, U. (2013). Unfaithful Glitch Propagation in Existing Binary Circuit Models. In 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems. 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, United States of America (the). Peer-reviewed.
DOI: 10.1109/async.2013.9
Lenzen, C., Függer, M., Hofstätter, M., Schmid, U. (2013). Efficient Construction of Global Time in SoCs Despite Arbitrary Faults. In 2013 Euromicro Conference on Digital System Design. 16th Euromicro Conference on Digital System Design (DSD 2013), Santander, Spain. Digital System Design (DSD), 2013 Euromicro Conference on. Peer-reviewed.
DOI: 10.1109/dsd.2013.97
Függer, M., Kößler, A., Nowak, T., Schmid, U., Zeiner, M. (2013). The Effect of Forgetting on the Performance of a Synchronizer. In Algorithms for Sensor Systems (pp. 185–200). Peer-reviewed.
DOI: 10.1007/978-3-642-45346-5_14
Chatterjee, K., Kößler, A., Schmid, U. (2013). Automated Analysis of Real-Time Scheduling using Graph Games. In Proceedings 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC’13) (pp. 163–172). ACM. Peer-reviewed.
HDL: 20.500.12708/55031
Dolev, D., Lenzen, C., Függer, M., Schmid, U., Perner, M. (2013). HEX: scaling honeycombs is easier than scaling clock trees. In Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures. SPAA ’13, Montreal, Canada. ACM. Peer-reviewed.
DOI: 10.1145/2486159.2486192
John, A., Konnov, I., Schmid, U., Veith, H., Widder, J. (2013). Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. In Model Checking Software (pp. 209–226). LNCS, Springer. Peer-reviewed.
DOI: 10.1007/978-3-642-39176-7_14
John, A., Konnov, I., Schmid, U., Veith, H., Widder, J. (2013). Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. In Proceedings of the 2013 ACM symposium on Principles of distributed computing - PODC ’13. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Montreal, Canada. ACM. Peer-reviewed.
DOI: 10.1145/2484239.2484285
John, A., Konnov, I., Schmid, U., Veith, H., Widder, J. (2013). Parameterized model checking of fault-tolerant distributed algorithms by abstraction. In FMCAD (pp. 201–209). Peer-reviewed.
HDL: 20.500.12708/54827

2012

Hofbauer, M., Schweiger, K., Dietrich, H., Zimmermann, H., Voss, K.-O., Merk, B., Schmid, U., Steininger, A. (2012). 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, 59(6), 2778–2784. Peer-reviewed.
DOI: 10.1109/tns.2012.2223233
Függer, M., Schmid, U. (2012). Reconciling fault-tolerant distributed computing and systems-on-chip. Distributed Computing, 24(6), 323–355. Peer-reviewed.
DOI: 10.1007/s00446-011-0151-7
Hofbauer, M., Schweiger, K., Zimmermann, H., Giesen, U., Langner, F., Schmid, U., Steininger, A. (2012). Supply Voltage Dependent On-chip Single Event Transient Pulse Shape Measurements in 90 nm Bulk CMOS under Alpha Irradiation. In Proceedings 21st European Conference on Radiation and its Effects on Components and Systems (RADECS’12). 21st European Conference on Radiation and its Effects on Components and Systems (RADECS’12), Biarritz, France. Peer-reviewed.
HDL: 20.500.12708/54565
Veeravalli, V. S., Steininger, A., Schmid, U., Polzer, T. (2012). Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip. In Proceedings 15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD’12) (pp. 8–17). Peer-reviewed.
HDL: 20.500.12708/54564
Biely, M., Robinson, P., Schmid, U. (2012). Agreement in Directed Dynamic Networks. In Proceedings 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO’12) (pp. 73–84). Peer-reviewed.
HDL: 20.500.12708/54563
Hofbauer, M., Schweiger, K., Dietrich, H., Zimmermann, H., Schmid, U., Merk, B. (2012). Single Event Effect Measurements in 90nm CMOS Circuits at the Microbeam Facility for the Project FATAL. In GSI Scientific Report 2011 (p. 424). GSI Helmholtzzentrum für Schwerionenforschung GmbH.
HDL: 20.500.12708/73103
Hofbauer, M., Schweiger, K., Dietrich, H., Zimmermann, H., Schmid, U., Giesen, U. (2012). Messung der Auswirkungen von ionisierender Strahlung auf 90 nm CMOS Schaltungen.
HDL: 20.500.12708/37567

2011

Biely, M., Schmid, U., Weiss, B. (2011). Synchronous consensus under hybrid process and link failures. Theoretical Computer Science, 412(40), 5602–5630. Peer-reviewed.
DOI: 10.1016/j.tcs.2010.09.032
Robinson, P., Schmid, U. (2011). The Asynchronous Bounded-Cycle Model. Theoretical Computer Science, 412(40), 5580–5601. Peer-reviewed.
DOI: 10.1016/j.tcs.2010.08.001
Biely, M., Robinson, P., Schmid, U. (2011). Brief Announcement: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems. In PODC’11 (pp. 227–228). ACM.
HDL: 20.500.12708/54097
Moser, H., Schmid, U. (2011). Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing. In Structural Information and Communication Complexity (pp. 42–53). Springer Berlin / Heidelberg. Peer-reviewed.
DOI: 10.1007/978-3-642-22212-2_5
Biely, M., Robinson, P., Schmid, U. (2011). Solving k-Set Agreement with Stable Skeleton Graphs. In 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum. International Parallel and Distributed Processing Symposium (IPDPS), Denver, United States of America (the). Peer-reviewed.
DOI: 10.1109/ipdps.2011.301
Biely, M., Robinson, P., Schmid, U. (2011). Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems. In OPODIS’11 (pp. 299–312). Springer Berlin / Heidelberg. Peer-reviewed.
HDL: 20.500.12708/54094
Dolev, D., Függer, M., Lenzen, C., Schmid, U. (2011). Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation. In Stabilization, Safety, and Security of Distributed Systems (pp. 163–177). Springer Berlin / Heidelberg. Peer-reviewed.
DOI: 10.1007/978-3-642-24550-3_14

2010

Goiser, A. M. J., Khattab, S., Fassl, G., Schmid, U. (2010). A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Optimization. In 2010 Third International Conference on Communication Theory, Reliability, and Quality of Service. IEEE-Explore, Austria. IEEE Computer Society. Peer-reviewed.
DOI: 10.1109/ctrq.2010.51
Goiser, A., Khattab, S., Fassl, G., Schmid, U. (2010). A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Performance. In CTRQ-2010 (p. 7). IEEE Conference Proceedings.
HDL: 20.500.12708/71631
Kößler, A., Moser, H., Schmid, U. (2010). Real-Time Analysis of Round-based Distributed Algorithms. In Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar (pp. 9–11). Peer-reviewed.
HDL: 20.500.12708/53495
Schmid, U. (2010). Synchrony and Time in Fault-Tolerant Distribiuted Algorithms. In Formal Modeling and Analysis of Timed Systems. FORMATS 2010 (Formal Modeling and Analysis of Times Systems), Klosterneuburg, Austria, Austria. Springer.
HDL: 20.500.12708/53556
Függer, M., Dielacher, A., Schmid, U. (2010). How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. In 2010 European Dependable Computing Conference. EDCC - 8 (European Dependable Computing Conference), Valencia, Spain. IEEE Computer Society. Peer-reviewed.
DOI: 10.1109/edcc.2010.35
Thallner, B., Moser, H., Schmid, U. (2010). Topology Control for Fault-Tolerant Communication in Wireless Ad Hoc Networks. Wireless Networks, 16(2), 387–404. Peer-reviewed.
DOI: 10.1007/s11276-008-0139-9

2009

Biely, M., Robinson, P., Schmid, U. (2009). Weak Synchrony Models and Failure Detectors for Message Passing (𝑘-)Set Agreement. In T. Abdelzaher, M. Raynal, N. Santoro (Eds.), Principles of Distributed Systems: 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings (pp. 285–299). Springer. Peer-reviewed.
DOI: 10.1007/978-3-642-10877-8_23
Biely, M., Robinson, P., Schmid, U. (2009). Brief Announcment: Weak Synchrony Models and Failure Detectors for Message Passing (𝑘-)Set Agreement. In I. Keidar (Ed.), Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings (pp. 360–361). Springer. Peer-reviewed.
DOI: 10.1007/978-3-642-04355-0_38
Charron-Bost, B., Dolev, S., Ebergen, J., Schmid, U. (2009). Fault Tolerant Distribiuted Algorithms and VLSI - An Appetizer. In Fault-Tolerant Distributed Algorithms on VLSI Chips (p. ?). Leibniz Zentrum Informatik.
HDL: 20.500.12708/52874
Widder, J., Schmid, U. (2009). The Theta-Model: achieving synchrony without clocks. Distributed Computing, 22(1), 29–47. Peer-reviewed.
DOI: 10.1007/s00446-009-0080-x
Hutle, M., Malkhi, D., Schmid, U., Zhou, L. (2009). Chasing the Weakest System Model for Implementing Ω and Consensus. IEEE Transactions on Dependable and Secure Computing, 6(4), 269–281. Peer-reviewed.
DOI: 10.1109/tdsc.2008.24
Schmid, U., Weiss, B., Keidar, I. (2009). Impossibility Results and Lower Bounds For Consensus Under Link Failures. SIAM Journal on Computing, 38(5), 1912–1951. Peer-reviewed.
DOI: 10.1137/s009753970443999x

2008

Moser, H., Schmid, U. (2008). Optimal Deterministic Remote Clock Estimation in Real-Time Systems. In Principles of Distributed Systems (pp. 363–387). Lecture Notes in Computer Science / Springer Verlag. Peer-reviewed.
DOI: 10.1007/978-3-540-92221-6_24
Schmid, U., Robinson, P. (2008). The asynchronous bounded-cycle model. In Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing - PODC ’08. ACM Symposium on Principles of Distributed Computing, Las Vegas, United States of America (the). Association for Computing Machinery (ACM). Peer-reviewed.
DOI: 10.1145/1400751.1400815
Robinson, P., Schmid, U. (2008). The Asynchronous Bounded Cycle Model. In Stabilization, Safety, and Security of Distributed Systems. 10 International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2008), Detroit, USA, Non-EU. Lecture Notes in Conputer Science / Springer Verlag. Peer-reviewed.
DOI: 10.1007/978-3-540-89335-6_20
Schmid, U. (2008). Keynote: Distributed Algorithms and VLSI. In Stabilization, Safety, and Security of Distributed Systems (pp. 3–3). Lecture Notes in Conputer Science / Springer Verlag.
DOI: 10.1007/978-3-540-89335-6_3
Fuchs, G., Függer, M., Schmid, U., Steininger, A. (2008). Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip. In 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. 11th EUROMICRO Conference on Digital System Design (DSD 2008), Parma, Italien, EU. IEEE. Peer-reviewed.
DOI: 10.1109/dsd.2008.65 / Project: DARTS

2007

Schmid, U., Steininger, A., Sust, M. (2007). FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung. Elektrotechnik und Informationstechnik : e i, 124(1–2), 3–8. Peer-reviewed.
DOI: 10.1007/s00502-006-0409-0
Schmid, U. (2007). LTCC: a fascinating technology platform for miniaturized devices. In T. Becker, C. Cané, N. S. Barker (Eds.), Smart Sensors, Actuators, and MEMS III (Proceedings Volume). SPIE.
DOI: 10.1117/12.722793
Schmid, U., Steininger, A., Veith, H. (2007). Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits. In Fachtagung Zuverlässigkeit und Entwurf (pp. 173–174). VDE Verlag. Peer-reviewed.
HDL: 20.500.12708/51805
Schmid, U. (2007). A Perspective of Fault-Tolerant Clock Synchronization. In IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication. 2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, Vienna, Austria.
HDL: 20.500.12708/52101
Widder, J., Schmid, U. (2007). Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures. In Distributed Computing (pp. 115–140). Springer-Verlag. Peer-reviewed.
HDL: 20.500.12708/25412

2006

Hutle, M., Malkhi, D., Schmid, U., Zhou, L. (2006). Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus. In Stabilization, Safety, and Security of Distributed Systems. 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Dallas, Non-EU. Peer-reviewed.
HDL: 20.500.12708/51635
Moser, H., Schmid, U. (2006). Optimal clock synchronization revisited: Upper and lower bounds in real-time systems. In Principles of Distributed Systems (pp. 94–109). Peer-reviewed.
HDL: 20.500.12708/51661
Moser, H., Schmid, U. (2006). Construction of a Fault-Tolerant Wireless Communication Topology Using Distributed Agreement. In Junior Scientiest Conferenve 2006 (pp. 47–48). Peer-reviewed.
HDL: 20.500.12708/51662
Fuchs, G., Grahsl, J., Schmid, U., Steininger, A., Kempf, G. (2006). Threshold Modules -- Die Schlüsselelemente zur Verteilten Generierung eines Fehlertoleranten Taktes. In Austrochip Mikroelektroniktagung (pp. 149–156). Peer-reviewed.
HDL: 20.500.12708/51506 / Project: DARTS
Függer, M., Schmid, U., Fuchs, G., Kempf, G. (2006). Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. In EDCC-6 (pp. 87–96). Peer-reviewed.
HDL: 20.500.12708/51507 / Project: DARTS
Steininger, A., Függer, M., Schmid, U., Fuchs, G. (2006). Fault-Tolerant Algorithms on SoCs - A case study. In Supplement Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN) (pp. 190–191). Peer-reviewed.
HDL: 20.500.12708/51508 / Project: DARTS
Stratil, H., Schmid, U. (2006). Efficient Position-based Communication in Wireless Ad-hoc Networks. In Junior Scientist Conference 2006 (pp. 75–76). Peer-reviewed.
HDL: 20.500.12708/51571

2005

Kopetz, H., Obermaisser, R., Schmid, U. (2005). Dependable Embedded Systems Research at TU Vienna. Elektrotechnik Und Informationstechnik : E i, 122(1), 33–37. Invited and peer-reviewed.
DOI: 10.1007/BF03054020
Widder, J., Le Lann, G., Schmid, U. (2005). Failure Detection with Booting in Partially Synchronous Systems. In Dependable Computing Conference - EDCC5 (pp. 20–37). Peer-reviewed.
HDL: 20.500.12708/51123
Biely, M., Le Lann, G., Schmid, U. (2005). Proof-Based System Engineering Using a Virtual System Model. In Service Availability (pp. 164–179). Peer-reviewed.
HDL: 20.500.12708/51125
Le Lann, G., Schmid, U. (2005). Proof-Based Systems Engineering in ASSERT. In Proof-Based Systems Engineering in ASSERT. Data Systems in Aerospace, Edinburgh, EU.
HDL: 20.500.12708/51168
Fetzer, C., Süßkraut, M., Schmid, U. (2005). 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 (pp. 271–280). IEEE Computer Society. Peer-reviewed.
HDL: 20.500.12708/51169
Schmid, U., Kopetz, H., Puschner, P., Mayerhofer, L., Steininger, A., Grünbacher, H., Kastner, W., Krall, A. (2005). Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster.
HDL: 20.500.12708/33035

2004

Schmid, U., Weiss, B. (2004). Synchronous Byzantine Agreement under Hybrid Process and Link Failures.
HDL: 20.500.12708/32974
Schmid, U. (2004). Failure Model Coverage under Transient Link Failures.
HDL: 20.500.12708/32975
Schmid, U., Weiss, B. (2004). Fault-Tolerant Distributed Algorithms in Sparse Ad Hoc Wireless Networks.
HDL: 20.500.12708/32977
Fuchs, G., Schmid, U., Steininger, A. (2004). Ein Verfahren für das verteilte Generieren eines fehlertoleranten adaptiven Taktes in Hardware.
HDL: 20.500.12708/32979 / Project: DARTS
Schmid, U. (2004). Final Report START-Project Y41.
HDL: 20.500.12708/32980
Schmid, U., Steininger, A. (2004). Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips.
HDL: 20.500.12708/32988
Fuchs, G., Schmid, U., Steininger, A. (2004). DARTS - Distributed Algorithms for Robust Tick Synchronization.
HDL: 20.500.12708/32990
Fetzer, C., Schmid, U. (2004). On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times.
HDL: 20.500.12708/33010
Thallner, B., Schmid, U. (2004). Distributed Construction of Sparse Fault-Tolerant Overlay Networks.
HDL: 20.500.12708/33011

2003

Vilanek, J., Schmid, U., Kastner, W., Weiss, B., Puschner, P., Elmenreich, W., Deinhart, H., Meyer, W. (2003). Projektbericht Technische Informatik: Seamless Campus.
HDL: 20.500.12708/32898
Le Lann, G., Schmid, U. (2003). How to maximize computing systems coverage.
HDL: 20.500.12708/32905
Le Lann, G., Schmid, U. (2003). How to implement a timer-free perfect failure detector in partially synchronous systems.
HDL: 20.500.12708/32906
Schmid, U., Weiss, B. (2003). Impossibility results and lower bounds for consensus under link failures.
HDL: 20.500.12708/32908
Thallner, B., Schmid, U. (2003). Fault tolerant communication topologies for wireless ad hoc networks.
HDL: 20.500.12708/32909
Widder, J., Le Lann, G., Schmid, U. (2003). Perfect failure detection with booting in partially synchronous systems.
HDL: 20.500.12708/32910
Widder, J., Schmid, U. (2003). Booting clock synchronization in partially synchronous systems with hybrid node and link failures.
HDL: 20.500.12708/32911

2002

Schmid, U., Fetzer, C. (2002). Randomized asynchronous consensus with imperfect communications.
HDL: 20.500.12708/32907

2001

Biely, M., Schmid, U. (2001). Message-efficient consensus in presence of hybrid node and link faults.
HDL: 20.500.12708/32915
Weiss, B., Schmid, U. (2001). Consensus with written messages under link faults. In Proc. 20th Symposium on Reliable Distributed Systems (SRDS’01) (pp. 194–197). Peer-reviewed.
HDL: 20.500.12708/50920
Schmid, U., Eickhoff, M., Richter, Ch., Krötz, G., Schmitt-Landsiedel, D. (2001). Etching Characteristics and Mechanical Properties of a-SiC:H Thin Films. SENSORS AND ACTUATORS A-PHYSICAL, 94(1–2), 87–94. Peer-reviewed.
DOI: 10.1016/s0924-4247(01)00691-4
Schmid, U. (2001). Applied Research: A Scientist’s Perspective. Annual Reviews in Control, 25, 183–190. Peer-reviewed.
HDL: 20.500.12708/174812
Schmid, U., Schossmaier, K. (2001). How to reconcile fault-tolerant interval intersection with the Lipschitz condition. Distributed Computing, 14(2), 101–111. Peer-reviewed.
HDL: 20.500.12708/174811

2000

Schmid, U. (2000). Orthogonal accuracy clock synchronization. Chicago Journal of Theoretical Computer Science, 3, 3–77.
HDL: 20.500.12708/174813
Horauer, M., Kerö, N., Schmid, U. (2000). A network interface for highly accurate clock synchronization. In Proc. AUSTROCHIP’00 (pp. 93–101).
HDL: 20.500.12708/50923
Schmid, U. (2000). Applied Research: A Scientist’s Perspective. 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) (pp. 5–12).
HDL: 20.500.12708/50922
Schmid, U., Horauer, M., Kerö, N. (2000). How to distribute GPS-time over COTS-based LANs. In Proc. of the 31st IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI’99) (pp. 545–560). Peer-reviewed.
HDL: 20.500.12708/50921
Schmid, U. (2000). High-Accuracy Time Services and Fault-Tolerant Clock Synchronization. In Workshop on “Time and Dependability” (pp. 39–57).
HDL: 20.500.12708/50924
Schmid, U., Kastner, W., Burgstaller, B., Kral, C. (2000). Skriptum zur Laborübung “Prozeßautomatisierung.”
HDL: 20.500.12708/32876
Kastner, W., Weiss, B., Schmid, U. (2000). Beispielsammlung zur Laborübung Prozeßautomatisierung (TR 183/1-106-b).
HDL: 20.500.12708/32879

1999

Schmid, U., Nachtnebel, H. (1999). Experimental evaluation of high-accuracy time distribution in a COTS-based Ethernet LAN. In Proc. 24th IFAC/IFIP Workshop on Real-Time Programming (WRTP’99) (pp. 59–68). Peer-reviewed.
HDL: 20.500.12708/50926
Schmid, U., Weiss, B., Gridling, G., Schossmaier, K. (1999). A unified approach for simulation and experimental evaluation of fault-tolerant distributed systems. In Proc. of the IASTED International Conference on Applied Modelling and Simulation (AMS’99) (pp. 43–48).
HDL: 20.500.12708/50927
Weiss, B., Gridling, G., Schmid, U., Schossmaier, K. (1999). The SimUTC fault-tolerant distributed systems simulation toolkit. In Proc. 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOT’99) (pp. 68–75).
HDL: 20.500.12708/50925

1998

Nachtnebel, H., Kerö, N., Cadek, G., Mandl, T., Schmid, U. (1998). Rapid Prototyping mit programmierbarer Logik anhand eines Fallbeispiels. In Tagungsband der TMÖ-Fachtagung Austrochip´98 (pp. 99–104).
HDL: 20.500.12708/68313
Schmid, U. (1998). Internet-Based Real-Time Computing. In Proc. 22nd Annual International Computer Software Applications Conference (COMPSAC’98) (pp. 338–342).
HDL: 20.500.12708/50928
Horauer, M., Schmid, U., Schossmaier, K. (1998). NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization. In Proc. 6th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS’98) (pp. 1067–1076). Peer-reviewed.
HDL: 20.500.12708/50930

1997

Schossmaier, K., Schmid, U., Horauer, M., Loy, D. (1997). Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Real-Time Systems, 12(3), 51–84. Peer-reviewed.
DOI: 10.1023/A:1007953214631
Schossmaier, K., Schmid, U., Horauer, M., Loy, D. (1997). Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Real-Time Systems, 12, 295–327. Peer-reviewed.
HDL: 20.500.12708/174324
Schmid, U., Schossmaier, K. (1997). Interval-Based Clock Synchronization. Real-Time Systems, 12(2), 173–228. Peer-reviewed.
HDL: 20.500.12708/174814
Höchtl, D., Schmid, U. (1997). Long-Term Evaluation of GPS Timing Receiver Failures. In Proc. of the 29th IEEE PTTI Systems and Application Meeting (PTTI’97) (pp. 165–180). Peer-reviewed.
HDL: 20.500.12708/50929
Horauer, M., Schmid, U., Schossmaier, K. (1997). NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization.
HDL: 20.500.12708/30997

1996

Horauer, M., Loy, D., Schmid, U. (1996). NTI Functional and Architectural Specification.
HDL: 20.500.12708/30996
Schmid, U., Kastner, W. (1996). DOBOS: A Distributed Object-Based Operating System for Soft Real-Time Systems. In Echtzeitsysteme und objektorientierter Entwurf (pp. 3–13). Vieweg-Verlag.
HDL: 20.500.12708/25331

1995

Schmid, U., Loy, D., Kastner, W. (1995). Project proposal SSCMP: Sequenced Synchronized Clock Multicast Protocol.
HDL: 20.500.12708/32892
Schmid, U., Kastner, W., Haberstroh, H. (1995). Process Control Education for Computer Science: From Fiction Back to Facts. In Proceedings TEMPUS JEP 07759 MODIFY Workshop on Automation and Control Engineering in Higher Education (pp. 135–147).
HDL: 20.500.12708/50919
Halang, W. A., Koller, F.-J., Schmid, U., Witte, M. (1995). Untersuchung des Zeitverhaltens Verteilter Echtzeitsysteme. In Proc. Echtzeit’95 (pp. 101–107).
HDL: 20.500.12708/50931
Schmid, U., Blieberger, J. (1995). On non-preemptive LCFS Scheduling with Deadlines. Journal of Algorithms, 18(1), 124–158.
DOI: 10.1006/jagm.1995.1004
Schmid, U. (1995). Synchronized Universal Time Coordinated for Distributed Real-Time Systems. Control Engineering Practice, 3(6), 877–884. Peer-reviewed.
HDL: 20.500.12708/174815
Schmid, U., Pusterhofer, A. (1995). SSCMP: The Sequenced Synchronized Clock Message Protocol. Computer Networks and ISDN Systems, 27, 1615–1632.
HDL: 20.500.12708/174816
Schmid, U. (1995). Random Trees in Queueing Systems with Deadlines. Theoretical Computer Science, 144(1–2), 277–314. Peer-reviewed.
HDL: 20.500.12708/174817

1994

Schmid, U. (1994). Monitoring Distributed Real-Time Systems. Real-Time Systems, 7, 33–56. Peer-reviewed.
HDL: 20.500.12708/174818
Schmid, U. (1994). Synchronized UTC for Distributed Real-Time Systems. In Proc. IFAC Workshop on Real-Time Programming (WRTP’94) (pp. 101–107). Peer-reviewed.
HDL: 20.500.12708/50932
Schmid, U. (1994). Monitoring of Distributed Real-Time Systems. In Proc. NATO ASI on Real-Time Computing (pp. 582–583).
HDL: 20.500.12708/50933
Schmid, U. (1994). The Role of Standards in Real-Time Computing. In Proc. NATO ASI on Real-Time Computing (pp. 638–639).
HDL: 20.500.12708/50934
Schmid, U., Kastner, W. (1994). DOBOS: Ein Distributed Object-based Operating System für Soft Real-Time Systems. In Proceedings Echtzeit’94 (pp. 130–137).
HDL: 20.500.12708/50918

1993

Schmid, U., Kastner, W. (1993). DOBOS - Konzept eines distributed object-based operating systems.
HDL: 20.500.12708/32891
Schmid, U., Haberstroh, H., Stöckler, S. (1993). Process Control Education for Computer Science: Facts and Fiction. In Proceedings SEFI/TEMPUS JEP 2011 - IMPACT Workshop on Computer Science Topics for Control Engineering Education (pp. 13–22).
HDL: 20.500.12708/50944
Drmota, M., Schmid, U. (1993). The Analysis of the Expected Successful Operation Time of Slotted ALOHA. IEEE Transactions on Information Theory, 39(5), 1567–1577. Peer-reviewed.
DOI: 10.1109/18.259641

1992

Schmid, U. (1992). The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects. In Proceedings 19th International Colloquium on Automata, Languages, and Programming (ICALP’92) (pp. 223–234). Springer-Verlag, LNCS. Peer-reviewed.
HDL: 20.500.12708/50935
Schmid, U. (1992). On a Tree Collision Resolution Algorithm in Presence of Capture. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 26(2), 163–197. Peer-reviewed.
HDL: 20.500.12708/174820
Blieberger, J., Schmid, U. (1992). FCFS Scheduling in a Hard Real-Time Environment under Rush-Hour Conditions. BIT Numerical Mathematics, 32(3), 370–383. Peer-reviewed.
DOI: 10.1007/bf02074875
Schmid, U., Blieberger, J. (1992). Some Investigations on FCFS Scheduling in Hard Real-Time Applications. Journal of Computer and System Sciences, 45(3), 493–512. Peer-reviewed.
DOI: 10.1016/0022-0000(92)90036-i
Blieberger, J., Schmid, U. (1992). Preemptive LCFS Scheduling in Hard Real-Time Applications. Performance Evaluation, 15(3), 203–215. Peer-reviewed.
DOI: 10.1016/0166-5316(92)90035-f

1991

Blieberger, J., Schmid, U. (1991). Qualifying Dynamic Task Scheduling in Hard Real-Time Systems: A Novel Approach.
HDL: 20.500.12708/32871

Presentations

Randrianomentsoa, R. F., Rincon Galeana, H., Schmid, U. (2022, October 24). Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems [Conference Presentation]. Workshop on Connections between Epistemic Logic and Topology (CELT’22), University of Amsterdam, Netherlands (the).
HDL: 20.500.12708/153197 / Project: ByzDEL
Fruzsa, K., Kuznets, R., Schmid, U. (2021, November 2). Knowledge-based analysis of the Firing Rebels problem [Presentation]. Research Seminar Informatica 2021, Heerlen, Netherlands (the). Invited.
HDL: 20.500.12708/193728 / Project: ByzDEL
Schmid, U. (2021). Honors at TU Wien. International Conference on Talent Development and Honors Education (World of Talent 2021), Groningen, The Netherlands, Netherlands (the). Invited.
HDL: 20.500.12708/87249
Schmid, U. (2019). Digital Modeling of Asynchronous Integrated Circuits. 2nd Workshop on Hardware Design and Theory (https://sites.google.com/view/motimedina/hdt-2019, colocated with DISC 2019), Budapest, Hungary.
HDL: 20.500.12708/86974
Kuznets, R., Prosperi, L., Schmid, U., Fruzsa, K. (2019). Byzantine Causal Cone. Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Wien, Austria. Invited.
HDL: 20.500.12708/86905
Gréaux, L., Kuznets, R., Prosperi, L., Schmid, U. (2018). What do Byzantine agents know? First joint workshop by the Mathematics and the Philosophy Research Institutes of UNAM, Mexiko-Stadt, Mexico. Invited.
HDL: 20.500.12708/86037
Zeiner, M., Schwarz, M., Winkler, K., Schmid, U. (2016). Broadcasting in Random Trees. ALEA in Europe - Young Researchers Workshop, TU Wien, Austria.
HDL: 20.500.12708/86332
Schmid, U. (2016). Easy Impossibility Proofs for k-Set Agreement. Dagstuhl Seminar #16282 Topological Methods in Distributed Computing, Wadern, Germany. Invited.
DOI: 10.4230/DagRep.6.7.31
Schmid, U. (2016). Reconciling Fault-Tolerance and Robustness ? Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016, Hofburg Vienna, Austria, Austria. Invited.
HDL: 20.500.12708/86399
Zeiner, M., Függer, M., Nowak, T., Schmid, U. (2015). Optimal Strategies for Repeated Leader Election. Joint Austrian-Hungarian Mathematical Conference 2015, Györ, Hungary.
HDL: 20.500.12708/86086
Dolev, D., Függer, M., Hofstätter, M., Lenzen, C., Perner, M., Posch, M., Schmid, U., Sigl, M., Steininger, A. (2013). FATAL+HEX: Fault-Tolerant Self-Stabilizing Clock Generation+Distribution. Poster Session at the CSAIL Industry Affiliates Program (CSAIL-IAP) Annual Meeting, Cambridge, United States of America (the).
HDL: 20.500.12708/85710
Zeiner, M., Függer, M., Schmid, U., Kößler, A., Nowak, T. (2013). The Effect of Forgetting on the Performance of a Synchronizer. 18th ÖMG Congress and Annual DMV Meeting, Universität Innsbruck, Austria.
HDL: 20.500.12708/85720
Hofbauer, M., Schweiger, K., Gaberl, W., Zimmermann, H., Giesen, U., Langner, F., Schmid, U., Steininger, A. (2013). Single Event Transient Pulse Shape Measurements by On-chip Sense Amplifiers in a Single Inverter for Intermediate Input States under Alpha Particle Irradiation. IEEE Nuclear and Space Radiation Effects Conference (NSREC), San Francisco, United States of America (the).
HDL: 20.500.12708/85741
Hofbauer, M., Schweiger, K., Dietrich, H., Zimmermann, H., Voss, K. O., Merk, B., Schmid, U., Steininger, A. (2012). Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating through a 90 nm Bulk CMOS Inverter Chain. Nuclear and Space Radiation Effects Conference (NSREC), Miami, United States of America (the).
HDL: 20.500.12708/89963
John, A., Konnov, I., Schmid, U., Veith, H., Widder, J. (2012). Counter Attack against Byzantine Generals. Alpine Verification Meeting, IST Austria, Austria.
HDL: 20.500.12708/85359
John, A., Konnov, I., Schmid, U., Veith, H., Widder, J. (2012). Parameterized Model Checking of Fault-tolerant Distributed Algorithms. Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering, Dagstuhl, Germany. Invited.
HDL: 20.500.12708/85432
John, A., Konnov, I., Schmid, U., Veith, H., Widder, J. (2012). Who is afraid of Model Checking Distributed Algorithms? PUMA/RISE Seminar, Traunkirchen, Austria.
HDL: 20.500.12708/85435
Dolev, D., Függer, M., Lenzen, C., Schmid, U. (2012). Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation in Systems-on-Chip. NITRD Workshop, Baltimore, United States of America (the). Invited.
HDL: 20.500.12708/85536
Schmid, U. (2006). Wissenschaftliche Forschung - Quo vadis? IKT in Österreich 2006, Wien, Austria. Invited.
HDL: 20.500.12708/84587
Schmid, U. (2004). The Theta-Model. Diskussionskreis Fehlertoleranz, Berlin, Austria.
HDL: 20.500.12708/84386
Schmid, U. (2001). Versuch über die wahre Art, das Clavier zu spielen. Berufungsvortrag, Vienna, Austria, Austria.
HDL: 20.500.12708/84189
Schmid, U. (1997). Challenges in Interval-based Clock Synchronization. Dagstuhl-Seminar 9728 on “Average Case Analysis of Algorithms,” Schloß Dagstuhl, Germany, Austria. Invited.
HDL: 20.500.12708/84187
Schmid, U. (1995). “Echtzeit”-Systeme. Habilitationskolloquium, Wien, Austria.
HDL: 20.500.12708/84194
Schmid, U. (1993). On Random-Trees Arising in the Analysis of Scheduling Algorithms for Real-Time Systems. Dagstuhl-Seminar 9328 on “Average Case Analysis of Algorithms,” Schloß Dagstuhl, Germany, Austria. Invited.
HDL: 20.500.12708/84196

Theses

2026

Felber, S. (2026). Complete Characterization of Stabilizing Consensus in Distributed Systems [Dissertation, Technische Universität Wien]. reposiTUm.
DOI: 10.34726/hss.2026.141012 / Download: PDF