TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

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
Ulrich Schmid

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

Contact

2025W

2026S

 

2025

  • Signal Prediction for Digital Circuits by Sigmoidal Approximations Using Neural Networks / 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. https://doi.org/10.23919/DATE64628.2025.10992811
    Project: DMAC (2019–2024)
  • Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs / 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. https://doi.org/10.1016/j.nahs.2024.101572
    Download: Publikation (1.51 MB)
    Project: DMAC (2019–2024)
  • Support + Belief = Decision Trust / 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. https://doi.org/10.1007/978-3-031-91736-3_1

2024

  • Topological Characterization of Consensus in Distributed Systems / Nowak, T., Schmid, U., & Winkler, K. (2024). Topological Characterization of Consensus in Distributed Systems. Journal of the ACM, 71(6), 1–48. https://doi.org/10.1145/3687302
    Projects: ByzDEL (2020–2025) / DMAC (2019–2024)
  • A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems / 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. https://doi.org/10.1007/978-3-031-63501-4_7
    Projects: ByzDEL (2020–2025) / DMAC (2019–2024)
  • The Time Complexity of Consensus Under Oblivious Message Adversaries / 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. https://doi.org/10.1007/s00453-024-01209-4
  • Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems / 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. https://doi.org/10.1007/978-3-031-60603-8_29
    Projects: ByzDEL (2020–2025) / DMAC (2019–2024)
  • A Hybrid Delay Model for Interconnected Multi-Input Gates / 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. https://doi.org/10.1109/DSD60849.2023.00060
    Project: DMAC (2019–2024)

2023

  • Logic of Communication Interpretation: How to Not Get Lost in Translation / 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. https://doi.org/10.1007/978-3-031-43369-6_7
    Download: PDF (339 KB)
    Project: ByzDEL (2020–2025)
  • A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems / 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). https://doi.org/10.4204/EPTCS.379.37
    Project: DMAC (2019–2024)
  • The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems / 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. https://doi.org/10.1007/s11023-023-09631-3
    Download: publisher pdf (1.12 MB)
    Project: ByzDEL (2020–2025)
  • Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models / 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. https://doi.org/10.1145/3575870.3587125
    Project: DMAC (2019–2024)
  • The Time Complexity of Consensus Under Oblivious Message Adversaries / 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. https://doi.org/10.4230/LIPIcs.ITCS.2023.100
    Projects: ADynNet (2016–2020) / ByzDEL (2020–2025)
  • Accurate Hybrid Delay Models for Dynamic Timing Analysis / 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. https://doi.org/10.1109/ICCAD57390.2023.10323646
    Project: DMAC (2019–2024)
  • A Digital Delay Model Supporting Large Adversarial Delay Variations / Ö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). https://doi.org/10.1109/DDECS57882.2023.10139680
    Project: DMAC (2019–2024)

2022

  • An Accurate Hybrid Delay Model for Multi-Input Gates / Ferdowsi, A., Schmid, U., & Salzmann, J. (2022). An Accurate Hybrid Delay Model for Multi-Input Gates. arXiv. https://doi.org/10.34726/2942
    Download: PDF (1.62 MB)
    Project: DMAC (2019–2024)
  • Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems / 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). http://hdl.handle.net/20.500.12708/153197
    Project: ByzDEL (2020–2025)
  • On Specifications and Proofs of Timed Circuits / 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. https://doi.org/10.1007/978-3-031-22337-2
    Project: DMAC (2019–2024)
  • A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate / 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). https://doi.org/10.23919/DATE54114.2022.9774547
    Project: DMAC (2019–2024)
  • Continuous Tasks and the Asynchronous Computability Theorem / 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. https://doi.org/10.4230/LIPIcs.ITCS.2022.73
    Project: ByzDEL (2020–2025)

2021

  • Knowledge-based analysis of the Firing Rebels problem / 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).
    Project: ByzDEL (2020–2025)
  • A Composable Glitch-Aware Delay Model / 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. https://doi.org/10.1145/3453688.3461519
    Downloads: MP4 (85.5 MB) / PDF (1.28 MB)
    Projects: ADynNet (2016–2020) / DMAC (2019–2024)
  • Round-Oblivious Stabilizing Consensus in Dynamic Networks / 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. https://doi.org/10.1007/978-3-030-91081-5_11
  • Valency-Based Consensus Under Message Adversaries Without Limit-Closure / 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. https://doi.org/10.1007/978-3-030-86593-1_32
  • Fire! / Fruzsa, K., Kuznets, R., & Schmid, U. (2021). Fire! In Electronic Proceedings in Theoretical Computer Science (pp. 139–153). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/eptcs.335.13
    Project: ByzDEL (2020–2025)
  • Honors at TU Wien / Schmid, U. (2021). Honors at TU Wien. International Conference on Talent Development and Honors Education (World of Talent 2021), Groningen, The Netherlands, Netherlands (the). http://hdl.handle.net/20.500.12708/87249
  • Optimal strategies for selecting coordinators / Zeiner, M., Schmid, U., & Chatterjee, K. (2021). Optimal strategies for selecting coordinators. Discrete Applied Mathematics, 289, 392–415. https://doi.org/10.1016/j.dam.2020.10.022

2020

  • The involution tool for accurate digital timing and power analysis / Öhlinger, D., Maier, J., Függer, M., & Schmid, U. (2020). The involution tool for accurate digital timing and power analysis. Integration, 76, 87–98. https://doi.org/10.1016/j.vlsi.2020.09.007
    Download: PDF (994 KB)
    Project: DMAC (2019–2024)
  • A Faithful Binary Circuit Model / 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. https://doi.org/10.1109/tcad.2019.2937748
  • Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling / 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. https://doi.org/10.1109/tcad.2020.3012803
  • The Persistence of False Memory: Brain in a Vat despite Perfect Clocks / 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. https://doi.org/10.1007/978-3-030-69322-0_30
    Project: ByzDEL (2020–2025)
  • Upper and Lower Bounds for the Synchronizer Performance in Systems with Probabilistic Message Loss / 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. https://doi.org/10.1007/s11009-020-09792-z

2019

  • Transistor-Level Analysis of Dynamic Delay Models / 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. https://doi.org/10.1109/ASYNC.2019.00019
    Download: PDF (457 KB)
  • Byzantine Causal Cone / Kuznets, R., Prosperi, L., Schmid, U., & Fruzsa, K. (2019). Byzantine Causal Cone. Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Wien, Austria. http://hdl.handle.net/20.500.12708/86905
  • The involution tool for accurate digital timing and power analysis / Ö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. https://doi.org/10.1109/PATMOS.2019.8862165
    Download: PDF (301 KB)
  • A Topological View of Partitioning Arguments: Reducing 𝑘-Set Agreement to Consensus / 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. https://doi.org/10.1007/978-3-030-34992-9_25
  • Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone / 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). http://hdl.handle.net/20.500.12708/39204
  • Topological Characterization of Consensus under General Message Adversaries / 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. https://doi.org/10.1145/3293611.3331624
  • Digital Modeling of Asynchronous Integrated Circuits / 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. http://hdl.handle.net/20.500.12708/86974
  • Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems / 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. https://doi.org/10.4204/eptcs.297.19
  • Epistemic Reasoning with Byzantine-Faulty Agents / 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. https://doi.org/10.1007/978-3-030-29007-8_15
  • Design and Implementation of the Bachelor with Honors Program at TU Wien / Schmid, U. (2019). Design and Implementation of the Bachelor with Honors Program at TU Wien. European Honors Council. Journal, 3(2). https://doi.org/10.31378/jehc.3.2
  • An Overview of Recent Results for Consensus in Directed Dynamic Networks / 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. http://hdl.handle.net/20.500.12708/143248
  • A Characterization of Consensus Solvability for Closed Message Adversaries / 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. https://doi.org/10.4230/LIPIcs.OPODIS.2019.17
  • Consensus in rooted dynamic networks with short-lived stability / Winkler, K., Schwarz, M., & Schmid, U. (2019). Consensus in rooted dynamic networks with short-lived stability. Distributed Computing, 32(5), 443–458. https://doi.org/10.1007/s00446-019-00348-0
  • On Linear-Time Data Dissemination in Dynamic Rooted Trees / Zeiner, M., Schwarz, M., & Schmid, U. (2019). On Linear-Time Data Dissemination in Dynamic Rooted Trees. Discrete Applied Mathematics, 255, 307–319. https://doi.org/10.1016/j.dam.2018.08.015
  • 2019 Principles of Distributed Computing Doctoral Dissertation Award / 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. ACM. https://doi.org/10.1145/3293611.3341565

2018

  • A Faithful Binary Circuit Model with Adversarial Noise / 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. https://doi.org/10.23919/DATE.2018.8342219
    Download: PDF (1.11 MB)
  • On the Strongest Message Adversary for Consensus in Directed Dynamic Networks / 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. https://doi.org/10.1007/978-3-030-01325-7_13
  • On Knowledge and Communication Complexity in Distributed Systems / 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. https://doi.org/10.1007/978-3-030-01325-7_27
  • What do Byzantine agents know? / 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. http://hdl.handle.net/20.500.12708/86037
  • Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures / 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. https://doi.org/10.1109/iolts.2018.8474221
  • On linear-time data dissemination in dynamic trees / Zeiner, M., Schwarz, M., & Schmid, U. (2018). On linear-time data dissemination in dynamic trees. In CSASC 2018 - Book of Abstracts (p. 113). http://hdl.handle.net/20.500.12708/57537
  • Verifying nonlinear analog and mixed-signal circuits with inputs / Fan, C., Meng, Y., Maier, J., Bartocci, E., Mitra, S., & Schmid, U. (2018). Verifying nonlinear analog and mixed-signal circuits with inputs. In IFAC-PapersOnLine (pp. 241–246). IFAC-PapersOnLine. https://doi.org/10.1016/j.ifacol.2018.08.041
  • On Knowledge and Communication Complexity in Distributed Systems / Pfleger, D., & Schmid, U. (2018). On Knowledge and Communication Complexity in Distributed Systems (TUW-269752). http://hdl.handle.net/20.500.12708/39457
  • Gracefully degrading consensus and k-set agreement in directed dynamic networks / 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. https://doi.org/10.1016/j.tcs.2018.02.019
  • Automated Competitive Analysis of Real-time Scheduling with Graph Games / 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. https://doi.org/10.1007/s11241-017-9293-4
  • 32nd International Symposium on Distributed Computing / Schmid, U., & Widder, J. (Eds.). (2018). 32nd International Symposium on Distributed Computing. Dagstuhl Publishing LIPICS. https://doi.org/10.4230/LIPIcs.DISC.2018.0
  • 2018 Edsger W. Dijkstra Prize in Distributed Computing / 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. ACM Press. https://doi.org/10.1145/3212734.3232540
  • On the Strongest Message Adversary for Consensus in Directed Dynamic Networks / Schwarz, M., & Schmid, U. (2018). On the Strongest Message Adversary for Consensus in Directed Dynamic Networks (TUW-269285). http://hdl.handle.net/20.500.12708/39450
  • Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures / Perner, M., & Schmid, U. (2018). Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures (TUW-268547). http://hdl.handle.net/20.500.12708/39426
  • FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits / Schmid, U. (2018). FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits (TUW-278607). http://hdl.handle.net/20.500.12708/39717

2017

2016

  • Unfaithful Glitch Propagation in Existing Binary Circuit Models / Függer, M., Nowak, T., & Schmid, U. (2016). Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Transactions on Computers, 65(3), 964–978. https://doi.org/10.1109/tc.2015.2435791
  • Fast consensus under eventually stabilizing message adversaries / 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. https://doi.org/10.1145/2833312.2833323
  • A Framework for Connectivity Monitoring in Wireless Sensor Networks / 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. http://hdl.handle.net/20.500.12708/56746
  • FWF-Proposal SPRG: Structural Properties of Random Graphs / Zeiner, M., Schmid, U., Schilcher, U., & Bettstetter, C. (2016). FWF-Proposal SPRG: Structural Properties of Random Graphs. http://hdl.handle.net/20.500.12708/39096
  • Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks / Biely, M., Robinson, P., Schmid, U., Schwarz, M., & Winkler, K. (2016). Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks (TUW-258404). http://hdl.handle.net/20.500.12708/39151
  • HEX: Scaling Honeycombs is Easier than Scaling Clock Trees / 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. https://doi.org/10.1016/j.jcss.2016.03.001
  • Easy Impossibility Proofs for k-Set Agreement / Schmid, U. (2016). Easy Impossibility Proofs for k-Set Agreement. Dagstuhl Seminar #16282 Topological Methods in Distributed Computing, Wadern, Germany. https://doi.org/10.4230/DagRep.6.7.31
  • Reconciling Fault-Tolerance and Robustness ? / Schmid, U. (2016). Reconciling Fault-Tolerance and Robustness ? Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016, Hofburg Vienna, Austria, Austria. http://hdl.handle.net/20.500.12708/86399
  • Broadcasting in Random Trees / Zeiner, M., Schwarz, M., Winkler, K., & Schmid, U. (2016). Broadcasting in Random Trees. ALEA in Europe - Young Researchers Workshop, TU Wien, Austria. http://hdl.handle.net/20.500.12708/86332

2015

  • Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks / 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. https://doi.org/10.1007/978-3-319-26850-7_8
  • Experimental Validation of a Faithful Binary Circuit Model / 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). https://doi.org/10.1145/2742060.2742081
  • Towards binary circuit models that faithfully capture physical solvability / 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). http://hdl.handle.net/20.500.12708/56310
  • Optimal Strategies for Repeated Leader Election / 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. http://hdl.handle.net/20.500.12708/86086
  • The effect of forgetting on the performance of a synchronizer / 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. https://doi.org/10.1016/j.peva.2015.08.002
  • Building reliable systems-on-chip in nanoscale technologies / 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. https://doi.org/10.1007/s00502-015-0319-0
  • A Framework for Connectivity Monitoring in Wireless Sensor Networks / Pfleger, D., & Schmid, U. (2015). A Framework for Connectivity Monitoring in Wireless Sensor Networks (TUW-241107). http://hdl.handle.net/20.500.12708/38487
  • Fault-tolerant Distributed Systems in Hardware / Dolev, D., Függer, M., Lenzen, C., Schmid, U., & Steininger, A. (2015). Fault-tolerant Distributed Systems in Hardware. Bulletin of the EATCS, 2(116), 43. http://hdl.handle.net/20.500.12708/151760
  • Fast Consensus under Eventually Stabilizing Message Adversaries / Schwarz, M., Winkler, K., & Schmid, U. (2015). Fast Consensus under Eventually Stabilizing Message Adversaries (TUW-240061). http://hdl.handle.net/20.500.12708/38462

2014

2013

  • Unfaithful Glitch Propagation in Existing Binary Circuit Models / 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). https://doi.org/10.1109/async.2013.9
  • HEX / Dolev, D., Lenzen, C., Függer, M., Schmid, U., & Perner, M. (2013). HEX. In Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures. SPAA ’13, Montreal, Canada. ACM. https://doi.org/10.1145/2486159.2486192
  • Brief announcement / John, A., Konnov, I., Schmid, U., Veith, H., & Widder, J. (2013). Brief announcement. 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. https://doi.org/10.1145/2484239.2484285
  • Parameterized model checking of fault-tolerant distributed algorithms by abstraction / 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). http://hdl.handle.net/20.500.12708/54827
  • The Effect of Forgetting on the Performance of a Synchronizer / 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). https://doi.org/10.1007/978-3-642-45346-5_14
  • Byzantine Self-Stabilizing Clock Distribution with HEX: Implementation, Simulation, Clock Multiplication / 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. http://hdl.handle.net/20.500.12708/54927
  • Efficient Construction of Global Time in SoCs Despite Arbitrary Faults / 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. https://doi.org/10.1109/dsd.2013.97
  • Automated Analysis of Real-Time Scheduling using Graph Games / 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. http://hdl.handle.net/20.500.12708/55031
  • Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms / 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. https://doi.org/10.1007/978-3-642-39176-7_14
  • FATAL+HEX: Fault-Tolerant Self-Stabilizing Clock Generation+Distribution / 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). http://hdl.handle.net/20.500.12708/85710
  • Single Event Transient Pulse Shape Measurements by On-chip Sense Amplifiers in a Single Inverter for Intermediate Input States under Alpha Particle Irradiation / 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). http://hdl.handle.net/20.500.12708/85741
  • An infrastructure for accurate characterization of single-event transients in digital circuits / 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. http://hdl.handle.net/20.500.12708/156041
  • Supply Voltage Dependent On-Chip Single-Event Transient Pulse Shape Measurements in 90-nm Bulk CMOS Under Alpha Irradiation / 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. http://hdl.handle.net/20.500.12708/156043
  • Gracefully Degrading Consensus and k-set Agreement under Dynamic Link Failures / Schwarz, M., Winkler, K., Schmid, U., Biely, M., & Robinson, P. (2013). Gracefully Degrading Consensus and k-set Agreement under Dynamic Link Failures (TUW-220473). http://hdl.handle.net/20.500.12708/37755
  • The Effect of Forgetting on the Performance of a Synchronizer / 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. http://hdl.handle.net/20.500.12708/85720
  • Final Report FWF PSRTS-Project (P20529) / Schmid, U. (2013). Final Report FWF PSRTS-Project (P20529) (TUW-235379). http://hdl.handle.net/20.500.12708/38306

2012

2011

  • Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems / 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. http://hdl.handle.net/20.500.12708/54094
  • Solving k-Set Agreement with Stable Skeleton Graphs / 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). https://doi.org/10.1109/ipdps.2011.301
  • Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation / 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. https://doi.org/10.1007/978-3-642-24550-3_14
  • Synchronous consensus under hybrid process and link failures / Biely, M., Schmid, U., & Weiss, B. (2011). Synchronous consensus under hybrid process and link failures. Theoretical Computer Science, 412(40), 5602–5630. https://doi.org/10.1016/j.tcs.2010.09.032
  • The Asynchronous Bounded-Cycle Model / Robinson, P., & Schmid, U. (2011). The Asynchronous Bounded-Cycle Model. Theoretical Computer Science, 412(40), 5580–5601. https://doi.org/10.1016/j.tcs.2010.08.001
  • Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing / 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. https://doi.org/10.1007/978-3-642-22212-2_5
  • Brief Announcement: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems / 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. http://hdl.handle.net/20.500.12708/54097

2010

2009

  • The Theta-Model: achieving synchrony without clocks / Widder, J., & Schmid, U. (2009). The Theta-Model: achieving synchrony without clocks. Distributed Computing, 22(1), 29–47. https://doi.org/10.1007/s00446-009-0080-x
  • Impossibility Results and Lower Bounds For Consensus Under Link Failures / 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. https://doi.org/10.1137/s009753970443999x
  • Chasing the Weakest System Model for Implementing Ω and Consensus / 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. https://doi.org/10.1109/tdsc.2008.24
  • Fault Tolerant Distribiuted Algorithms and VLSI - An Appetizer / 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. http://hdl.handle.net/20.500.12708/52874
  • Brief Announcment: Weak Synchrony Models and Failure Detectors for Message Passing (𝑘-)Set Agreement / 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. https://doi.org/10.1007/978-3-642-04355-0_38
  • Weak Synchrony Models and Failure Detectors for Message Passing (𝑘-)Set Agreement / 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. https://doi.org/10.1007/978-3-642-10877-8_23

2008

  • The asynchronous bounded-cycle model / 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). https://doi.org/10.1145/1400751.1400815
  • The Asynchronous Bounded Cycle Model / 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. https://doi.org/10.1007/978-3-540-89335-6_20
  • Keynote: Distributed Algorithms and VLSI / 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. https://doi.org/10.1007/978-3-540-89335-6_3
  • Optimal Deterministic Remote Clock Estimation in Real-Time Systems / 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. https://doi.org/10.1007/978-3-540-92221-6_24
  • Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip / 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. https://doi.org/10.1109/dsd.2008.65
    Project: DARTS (2005–2010)

2007

  • FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung / Schmid, U., Steininger, A., & Sust, M. (2007). FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung. Elektrotechnik und Informationstechnik : e & i, 124(1–2), 3–8. https://doi.org/10.1007/s00502-006-0409-0
  • Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures / 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. http://hdl.handle.net/20.500.12708/25412
  • LTCC: a fascinating technology platform for miniaturized devices / 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. https://doi.org/10.1117/12.722793
  • Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits / 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. http://hdl.handle.net/20.500.12708/51805
  • A Perspective of Fault-Tolerant Clock Synchronization / 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. http://hdl.handle.net/20.500.12708/52101

2006

2005

  • Dependable Embedded Systems Research at TU Vienna / Kopetz, H., Obermaisser, R., & Schmid, U. (2005). Dependable Embedded Systems Research at TU Vienna. Elektrotechnik Und Informationstechnik : E & i, 122(1), 33–37. https://doi.org/10.1007/BF03054020
  • On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times / 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. http://hdl.handle.net/20.500.12708/51169
  • Proof-Based Systems Engineering in ASSERT / 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. http://hdl.handle.net/20.500.12708/51168
  • Proof-Based System Engineering Using a Virtual System Model / Biely, M., Le Lann, G., & Schmid, U. (2005). Proof-Based System Engineering Using a Virtual System Model. In Service Availability (pp. 164–179). http://hdl.handle.net/20.500.12708/51125
  • Failure Detection with Booting in Partially Synchronous Systems / Widder, J., Le Lann, G., & Schmid, U. (2005). Failure Detection with Booting in Partially Synchronous Systems. In Dependable Computing Conference - EDCC5 (pp. 20–37). http://hdl.handle.net/20.500.12708/51123
  • Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster / 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. http://hdl.handle.net/20.500.12708/33035

2004

2003

2002

2001

2000

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

1999

1998

  • Rapid Prototyping mit programmierbarer Logik anhand eines Fallbeispiels / 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). http://hdl.handle.net/20.500.12708/68313
  • NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization / 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). http://hdl.handle.net/20.500.12708/50930
  • Internet-Based Real-Time Computing / Schmid, U. (1998). Internet-Based Real-Time Computing. In Proc. 22nd Annual International Computer Software & Applications Conference (COMPSAC’98) (pp. 338–342). http://hdl.handle.net/20.500.12708/50928

1997

1996

1995

1994

1993

1992

1991

 

2025

2024

2023

2022

2021

2020

2019

2018

2017

2014

2013

2012

2010

  • Analysis of on-chip fault-tolerant distributed algorithms / Függer, M. (2010). Analysis of on-chip fault-tolerant distributed algorithms [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-39917
    Download: PDF (1.45 MB)
  • Weak system models for fault-tolerant distributed agreement problems / Robinson, P. (2010). Weak system models for fault-tolerant distributed agreement problems [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-42017
    Download: PDF (956 KB)
  • Topology in Distributed Computing / Nowak, T. (2010). Topology in Distributed Computing [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-30814
    Download: PDF (492 KB)

2009

  • A model for distributed computing in real-time systems / Moser, H. (2009). A model for distributed computing in real-time systems [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-29073
    Download: PDF (856 KB)
  • Dynamic aspects of modelling distributed computations / Biely, M. (2009). Dynamic aspects of modelling distributed computations [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184232

2007

2006

2005

2004

2002

  • Switching on : how processes initialize for consistent broadcast / Widder, J. (2002). Switching on : how processes initialize for consistent broadcast [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-77756
    Download: PDF (212 KB)
  • Byzantine agreement under the perception-based fault model / Biely, M. (2002). Byzantine agreement under the perception-based fault model [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-77933
    Download: PDF (356 KB)
  • Topology management and routing in wireless networks : an overview / Stratil, H. (2002). Topology management and routing in wireless networks : an overview [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186446
  • Comparison of protocol frameworks / Rahimi Movaghar, S. (2002). Comparison of protocol frameworks [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181787
  • Authenticated consensus / Weiss, B. (2002). Authenticated consensus [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179189

 

  • Synchronized Universal Time Coordinated for Distributed Real-Time Systems
    1997 / START-Programm / Austria
  • Kardinal Innitzer Förderungspreis
    1995 / Kardinal-Innitzer-Preis / Austria

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 .