List of Publications

[1]: Daniel Öhlinger, Jürgen Maier, Matthias Függer, and Ulrich Schmid. The involution tool for accurate digital timing and power analysis. Integration, 76:87 – 98, 2021. (doi:https://doi.org/10.1016/j.vlsi.2020.09.007)
[2]: Martin Zeiner, Ulrich Schmid, and Krishnendu Chatterjee. Optimal strategies for selecting coordinators. Discret. Appl. Math., 289:392–415, 2021. (doi:10.1016/j.dam.2020.10.022)
[3]: M. Függer, R. Najvirt, T. Nowak, and U. Schmid. A faithful binary circuit model. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(10):2784–2797, October 2020. (doi:10.1109/TCAD.2019.2937748)
[4]: Andreas Pavlogiannis, Nico Schaumberger, Ulrich Schmid, and Krishnendu Chatterjee. Precedence-aware automated competitive analysis of real-time scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39(11):3981–3992, 2020. (doi:10.1109/TCAD.2020.3012803)
[5]: Martin Zeiner and Ulrich Schmid. Upper and lower bounds for the synchronizer performance in systems with probabilistic message loss. Methodology and Computing in Applied Probability, 23(3):1023–1056, 2020. (doi:10.1007/s11009-020-09792-z)
[6]: Kyrill Winkler, Manfred Schwarz, and Ulrich Schmid. Consensus in directed dynamic networks with short-lived stability. Distributed Computing, 32(5):443–458, 2019. (doi:https://doi.org/10.1007/s00446-019-00348-0)
[7]: Kyrill Winkler and Ulrich Schmid. An overview of recent results for consensus in directed dynamic networks. Bulletin of the EATCS, 128, 2019.
[8]: Martin Zeiner, Manfred Schwarz, and Ulrich Schmid. On linear-time data dissemination in dynamic rooted trees. Discrete Applied Mathematics, 255:307–319, 2019. (doi:https://doi.org/10.1016/j.dam.2018.08.015)
[9]: Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, and Kyrill Winkler. Gracefully degrading consensus and k-set agreement in directed dynamic networks. Theoretical Computer Science, 726:41–77, 2018. (doi:https://doi.org/10.1016/j.tcs.2018.02.019)
[10]: Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. Automated competitive analysis of real-time scheduling with graph games. Real-Time Systems, 54(1):166–207, Jan 2018. (doi:10.1007/s11241-017-9293-4)
[11]: Martin Zeiner, Manfred Schwarz, and Ulrich Schmid. On linear-time data dissemination in dynamic rooted trees. Discrete Applied Mathematics, 255:307 – 319, 2019. (doi:https://doi.org/10.1016/j.dam.2018.08.015)
[12]: Varadan Savulimedu Veeravalli, Andreas Steininger, and Ulrich Schmid. A versatile architecture for long-term monitoring of single-event transient durations. Microprocessors and Microsystems, 53(Supplement C):130 – 144, 2017. (doi:https://doi.org/10.1016/j.micpro.2017.07.007)
[13]: Matthias Függer, Thomas Nowak, and Ulrich Schmid. Unfaithful glitch propagation in existing binary circuit models. IEEE Transactions on Computers, 65(3):964–978, March 2016. (doi:10.1109/TC.2015.2435791)
[14]: Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, and Ulrich Schmid. HEX: Scaling honeycombs is easier than scaling clock trees. Journal of Computer and System Sciences, 82(5):929–956, 2016. (doi:10.1016/j.jcss.2016.03.001)
[15]: Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, and Martin Zeiner. The effect of forgetting on the performance of a synchronizer. Performance Evaluation, 93:1–16, 2015. (doi:10.1016/j.peva.2015.08.002)
[16]: Andreas Steininger, Horst Zimmermann, Axel Jantsch, Michael Hofbauer, Ulrich Schmid, Kurt Schweiger, and Varadan Savulimedu Veeravalli. Building reliable systems-on-chip in nanoscale technologies. Elektrotechnik und Informationstechnik, 132(6):301–306, 2015. (doi:10.1007/s00502-015-0319-0)
[17]: Danny Dolev, Matthias Függer, Ulrich Schmid, and Christoph Lenzen. Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation. Journal of the ACM, 61(5), April 2014.
[18]: Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger, and Christoph Lenzen. 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, 2014. (doi:10.1016/j.jcss.2014.01.001)
[19]: Heinrich Moser and Ulrich Schmid. Reconciling fault-tolerant distributed algorithms and real-time computing. Distributed Computing, 27:203–230, 2014. (doi:10.1007/s00446-013-0204-1)
[20]: Martin Biely, Peter Robinson, and Ulrich Schmid. The generalized loneliness detector and weak system models for k-set agreement. IEEE Transactions on Parallel and Distributed Systems, 25(4):1078–1088, April 2014.
[21]: Michael Hofbauer, Kurt Schweiger, Horst Zimmermann, Ulrich Giesen, Frank Langner, Ulrich Schmid, and Andreas Steininger. Supply voltage dependent on-chip single event transient pulse shape measurements in 90 nm bulk CMOS under alpha irradiation. IEEE Transactions on Nuclear Science, 60(4):2640–2646, August 2013. (doi:10.1109/TNS.2013.2245679)
[22]: Varadan Savulimedu Veeravalli, Thomas Polzer, Andreas Steininger, Ulrich Schmid, Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Kerstin Schneider-Hornstein, Horst Zimmermann, Kay-Obbe Voss, Bruno Merk, and Michael Hajek. An infrastructure for accurate characterization of single-event transients in digital circuits. Microprocessors and Microsystems, 37(8-A):772–791, 2013.
[23]: Matthias Függer and Ulrich Schmid. Reconciling fault-tolerant distributed computing and systems-on-chip. Distributed Computing, 24(6):323–355, 2012. (doi:10.1007/s00446-011-0151-7)
[24]: Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Horst Zimmermann, Kay-Obbe Voss, Bruno Merk, Ulrich Schmid, and Andreas Steininger. Pulse shape measurements by on-chip sense amplifiers of single event transients propagating through a 90 nm bulk CMOS inverter chain. IEEE Transactions on Nuclear Science, 59(6):2778–2784, December 2012.
[25]: Martin Biely, Ulrich Schmid, and Bettina Weiss. Synchronous consensus under hybrid process and link failures. Theoretical Computer Science, 412(40):5602 – 5630, 2011. http://dx.doi.org/10.1016/j.tcs.2010.09.032.
[26]: Peter Robinson and Ulrich Schmid. The Asynchronous Bounded-Cycle Model. Theoretical Computer Science, 412(40):5580–5601, 2011. http://dx.doi.org/10.1016/j.tcs.2010.08.001.
[27]: Bernd Thallner, Heinrich Moser, and Ulrich Schmid. Topology control for fault-tolerant communication in wireless ad-hoc networks. Wireless Networks, 16(2):387–404, 2010.
[28]: Ulrich Schmid, Bettina Weiss, and Idit Keidar. Impossibility results and lower bounds for consensus under link failures. SIAM Journal on Computing, 38(5):1912–1951, 2009. (doi:10.1137/S009753970443999X)
[29]: Josef Widder and Ulrich Schmid. The Theta-Model: Achieving synchrony without clocks. Distributed Computing, 22(1):29–47, April 2009. (doi:10.1007/s00446-009-0080-x)
[30]: Martin Hutle, Dahlia Malkhi, Ulrich Schmid, and Lidong Zhou. Chasing the weakest system model for implementing omega and consensus. IEEE Transactions on Dependable and Secure Computing, 6(4):269–281, 2009. (doi:10.1109/TDSC.2008.24)
[31]: Josef Widder and Ulrich Schmid. Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Distributed Computing, 20(2):115–140, August 2007.
[32]: Ulrich Schmid, Andreas Steininger, and Manfred Sust. FIT-IT-Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung. Elektrotechnik & Informationstechnik (e&i) 1-2/07, 2007, Jan. 2007. (Invited paper).
[33]: Hermann Kopetz, Roman Obermaisser, and Ulrich Schmid. Dependable embedded systems research at TU Vienna. e & i, 1/2:33–37, January/February 2005. (Invited paper).
[34]: Ulrich Schmid. Applied research: A scientist's perspective. Annual Reviews in Control, 25:183–190, 2001. (Reprinted from [135]).
[35]: U. Schmid, J. Klasek, T. Mandl, H. Nachtnebel, G. R. Cadek, and N. Kerö. A Network Time Interface M-Module for distributing GPS-time over LANs. J. Real-Time Systems, 18(1):24–57, January 2000.
[36]: Ulrich Schmid and Klaus Schossmaier. How to reconcile fault-tolerant interval intersection with the Lipschitz condition. Distributed Computing, 14(2):101 – 111, May 2001. (doi:10.1007/PL00008927)
[37]: Ulrich Schmid. Orthogonal accuracy clock synchronization. Chicago Journal of Theoretical Computer Science, 2000(3):3–77, 2000.
[38]: Ulrich Schmid and Klaus Schossmaier. Interval-based clock synchronization with optimal precision. Information and Computation, 186(1):36–77, October 2003.
[39]: Ulrich Schmid. Hochgenaue Uhrensynchronisation über LANs. Elektronikschau, 10:20–23, October 1997.
[40]: Klaus Schossmaier, Ulrich Schmid, Martin Horauer, and Dietmar Loy. Specification and implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Real-Time Systems, 12(3):295–327, May 1997.
[41]: Ulrich Schmid and Klaus Schossmaier. Interval-based clock synchronization. Real-Time Systems, 12(2):173–228, March 1997.
[42]: Ulrich Schmid. Synchronized Universal Time Coordinated for distributed real-time systems. Control Engineering Practice, 3(6):877–884, 1995. (Reprint from [154]).
[43]: Ulrich Schmid and Alfred Pusterhofer. SSCMP: The sequenced synchronized clock message protocol. Computer Networks and ISDN Systems, 27:1615–1632, 1995.
[44]: Ulrich Schmid. Static priority scheduling of aperiodic real-time tasks. Random Structures and Algorithms, 10(1-2):257–303, 1997.
[45]: Ulrich Schmid. Random trees in queueing systems with deadlines. Theoretical Computer Science, 144(1-2):277–314, 1995. (Habilitationsschrift). (doi:10.1016/0304-3975(94)00282-N)
[46]: Harald Haberstroh, Wolfgang Kastner, and Ulrich Schmid. M-Module im Didaktik-Einsatz. Elektronik Industrie, 10:90–92, 1994.
[47]: Jürgen Meyer and Ulrich Schmid. Zeit im Bild. Elektronikschau, 3:28–30, March 1995.
[48]: Ulrich Schmid. Monitoring distributed real-time systems. Real-Time Systems, 7:33–56, 1994.
[49]: Michael Drmota and Ulrich Schmid. Exponential limiting distributions in queueing systems with deadlines. SIAM Journal on Applied Mathematics, 53(1):301–318, 1993.
[50]: Michael Drmota and Ulrich Schmid. The analysis of the expected successful operation time of slotted ALOHA. IEEE Transactions on Information Theory, 39(5):1567–1577, 1993.
[51]: Ulrich Schmid and Johann Blieberger. On nonpreemptive LCFS scheduling with deadlines. Journal of Algorithms, 18:124–158, 1995.
[52]: Johann Blieberger and Ulrich Schmid. FCFS scheduling in a hard real-time environment under rush-hour conditions. BIT, 32(3):370–383, 1992.
[53]: Ulrich Schmid. The average CRI-length of a controlled ALOHA collision resolution algorithm. Theoretical Computer Science, 108:291–310, 1993.
[54]: Johann Blieberger and Ulrich Schmid. Preemptive LCFS scheduling in hard real time applications. Performance Evaluation, 15(3):203–215, 1992.
[55]: Ulrich Schmid and Johann Blieberger. Some investigations on FCFS scheduling in hard real time applications. Journal of Computers and System Sciences, 45:493–512, 1992.
[56]: Ulrich Schmid. On the asymptotics of the average CRI-length of the slotted ALOHA collision resolution algorithm. Applied Mathematics and Computation, 48:59–70, 1992.
[57]: Ulrich Schmid. On a tree collision resolution algorithm in presence of capture. RAIRO Informatique Theorique et Applications/Theoretical Informatics and Applications, 26(2):163–197, 1992.
[58]: Franz Beranek and Ulrich Schmid. Assembler mit Pascalelementen. Elektronikschau, 2:32–34, February 1983.
[59]: Hugo Rincon Galeana, Sergio Rajsbaum, and Ulrich Schmid. Continuous tasks and the asynchronous computability theorem. In Mark Braverman, editor, 13th Innovations in Theoretical Computer Science Conference, ITCS 2022, January 31 - February 3, 2022, Berkeley, CA, USA, volume 215 of LIPIcs, pages 73:1–73:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. (doi:10.4230/LIPIcs.ITCS.2022.73)
[60]: Arman Ferdowsi, Jürgen Maier, Daniel Öhlinger, and Ulrich Schmid. A simple hybrid model for accurate delay modeling of a multi-input gate. In Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE '22, 2022.
[61]: Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, and Thomas Nowak. A composable glitch-aware delay model. In Yiran Chen, Victor V. Zhirnov, Avesta Sasan, and Ioannis Savidis, editors, GLSVLSI '21: Great Lakes Symposium on VLSI 2021, Virtual Event, USA, June 22-25, 2021, pages 147–154. ACM, 2021. (doi:10.1145/3453688.3461519)
[62]: Krisztina Fruzsa, Roman Kuznets, and Ulrich Schmid. Fire!. In Joseph Y. Halpern and Andrés Perea, editors, Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021, volume 335 of EPTCS, pages 139–153, 2021. (doi:10.4204/EPTCS.335.13)
[63]: Kyrill Winkler, Ulrich Schmid, and Thomas Nowak. Valency-based consensus under message adversaries without limit-closure. In Evripidis Bampis and Aris Pagourtzis, editors, Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings, volume 12867 of Lecture Notes in Computer Science, pages 457–474. Springer, 2021. (doi:10.1007/978-3-030-86593-1_32)
[64]: Manfred Schwarz and Ulrich Schmid. Round-oblivious stabilizing consensus in dynamic networks. In Colette Johnen, Elad Michael Schiller, and Stefan Schmid, editors, Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings, volume 13046 of Lecture Notes in Computer Science, pages 154–172. Springer, 2021. (doi:10.1007/978-3-030-91081-5_11)
[65]: Thomas Schlögl, Ulrich Schmid, and Roman Kuznets. The persistence of false memory: Brain in a vat despite perfect clocks. In Takahiro Uchiya, Quan Bai, and Iván Marsá Maestre, editors, PRIMA 2020: Principles and Practice of Multi-Agent Systems, pages 403–411, Cham, 2021. Springer International Publishing. (doi:https://doi.org/10.1007/978-3-030-69322-0_30)
[66]: Jürgen Maier, Matthias Függer, Thomas Nowak, and Ulrich Schmid. Transistor-level analysis of dynamic delay models. In 25th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2019, Hirosaki, Japan, May 12-15, 2019, pages 76–85. IEEE, 2019. (doi:10.1109/ASYNC.2019.00019)
[67]: Daniel Öhlinger, Jürgen Maier, Matthias Függer, and Ulrich Schmid. The involution tool for accurate digital timing and power analysis. In 29th International Symposium on Power and Timing Modeling, Optimization and Simulation, PATMOS 2019, Rhodes, Greece, July 1-3, 2019, pages 1–8. IEEE, 2019. (doi:10.1109/PATMOS.2019.8862165)
[68]: Roman Kuznets, Laurent Prosperi, Ulrich Schmid, and Krisztina Fruzsa. Causality and epistemic reasoning in byzantine multi-agent systems. In TARK 2019: Theoretical Aspects of Rationality and Knowledge, pages 293–312. Open Publishing Association, 2019. (doi:10.4204/EPTCS.297.19)
[69]: Roman Kuznets, Laurent Prosperi, Ulrich Schmid, and Krisztina Fruzsa. Epistemic reasoning with byzantine-faulty agents. In FroCoS 2019: Frontiers of Combining Systems, pages 259–276. Springer, 2019. (doi:10.1007/978-3-030-29007-8_15)
[70]: Thomas Nowak, Ulrich Schmid, and Kyrill Winkler. Topological characterization of consensus under general message adversaries. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019., pages 218–227, 2019. (full version: http://arxiv.org/abs/1905.09590v1). (doi:10.1145/3293611.3331624)
[71]: Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid, and Sergio Rajsbaum. A topological view of partitioning arguments: Reducing k-set agreement to consensus. In Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings, volume 11914 of Lecture Notes in Computer Science, pages 307–322. Springer, 2019. (doi:10.1007/978-3-030-34992-9_25)
[72]: Kyrill Winkler, Ulrich Schmid, and Yoram Moses. A characterization of consensus solvability for closed message adversaries. In 23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland, volume 153 of LIPIcs, pages 17:1–17:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. (doi:10.4230/LIPIcs.OPODIS.2019.17)
[73]: Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, and Ulrich Schmid. Verifying nonlinear analog and mixed-signal circuits with inputs. In 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, pages 241–246, 2018. (doi:10.1016/j.ifacol.2018.08.041)
[74]: Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, and Ulrich Schmid. A faithful binary circuit model with adversarial noise. In Proceeding of the 2018 Design, Automation & Test in Europe (DATE), DATE'18, pages 1333–1338, 2018. (best paper award nomination). (doi:10.23919/DATE.2018.8342219)
[75]: Martin Perner and Ulrich Schmid. Self-stabilizing high-speed communication in multi-synchronous GALS architectures. In 24th IEEE International Symposium on On-Line Testing And Robust System Design, IOLTS 2018, Platja D'Aro, Spain, July 2-4, 2018, pages 157–164, 2018. (doi:10.1109/IOLTS.2018.8474221)
[76]: Ulrich Schmid, Manfred Schwarz, and Kyrill Winkler. On the strongest message adversary for consensus in directed dynamic networks. In Structural Information and Communication Complexity - 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers, pages 102–120, 2018. (doi:10.1007/978-3-030-01325-7_13)
[77]: Daniel Pfleger and Ulrich Schmid. On knowledge and communication complexity in distributed systems. In Structural Information and Communication Complexity - 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers, pages 312–330, 2018. (doi:10.1007/978-3-030-01325-7_27)
[78]: Manfred Schwarz, Kyrill Winkler, and Ulrich Schmid. Fast consensus under eventually stabilizing message adversaries. In Proceedings of the 17th International Conference on Distributed Computing and Networking, ICDCN '16, pages 7:1–7:10, New York, NY, USA, 2016. ACM. (doi:10.1145/2833312.2833323)
[79]: Daniel Pfleger and Ulrich Schmid. A framework for connectivity monitoring in wireless sensor networks. In Proceedings 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16), pages 40–48. IARIA, 2016.
[80]: Matthias Függer, Robert Najvirt, Thomas Nowak, and Ulrich Schmid. Towards binary circuit models that faithfully capture physical solvability. In Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE '15, pages 1455–1460, San Jose, CA, USA, 2015. EDA Consortium. (doi:10.7873/DATE.2015.0799)
[81]: Robert Najvirt, Ulrich Schmid, Michael Hofbauer, Matthias Függer, Thomas Nowak, and Kurt Schweiger. Experimental validation of a faithful binary circuit model. In Proceedings of the 25th Edition on Great Lakes Symposium on VLSI, GLSVLSI '15, pages 355–360, New York, NY, USA, 2015. ACM. (doi:10.1145/2742060.2742081)
[82]: Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, and Kyrill Winkler. Gracefully degrading consensus and k-set agreement in directed dynamic networks. In Revised selected papers Third International Conference on Networked Systems (NETYS'15), Springer LNCS 9466, pages 109–124, Agadir, Morocco, 2015. Springer International Publishing. (doi:10.1007/978-3-319-26850-7)
[83]: Varadan Savulimedu Veeravalli, Andreas Steininger, and Ulrich Schmid. Measuring SET pulsewidths in logic gates using digital infrastructure. In Proceedings Internationsal Symposium on Quality of Electronic Design (ISQED'14), pages 236–242, 2014. (doi:10.1109/ISQED.2014.6783331)
[84]: Manfred Schwarz, Kyrill Winkler, Ulrich Schmid, Martin Biely, and Peter Robinson. Brief announcement: Gracefully degrading consensus and k-set agreement under dynamic link failures. In Proceedings of the 33th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC '14, pages 341–343, New York, NY, USA, 2014. ACM.
[85]: Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014, pages 118–127, 2014. (doi:10.1109/RTSS.2014.9)
[86]: Matthias Függer, Thomas Nowak, and Ulrich Schmid. Unfaithful glitch propagation in existing binary circuit models. In Proceedings 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'13), pages 191–199. IEEE Computer Society, 2013. (doi:10.1109/ASYNC.2013.9)
[87]: Krishnendu Chatterjee, Alexander Kößler, and Ulrich Schmid. Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th ACM international conference on Hybrid Systems: Computation and Control, HSCC '13, pages 163–172, New York, NY, USA, 2013. ACM. (doi:10.1145/2461328.2461356)
[88]: Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder. Towards modeling and model checking fault-tolerant distributed algorithms. In Proceedings 20th International Symposium on Model Checking Software (SPIN'13), Springer LNCS 7976, pages 209–226. Springer, 2013.
[89]: Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder. Brief announcement: Parameterized model checking of fault-tolerant distributed algorithms by abstraction. In Proceedings ACM Symposium on Principles of Distributed Computing (PODC'13), pages 119–121. ACM, 2013. (doi:10.1145/2484239.2484285)
[90]: Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, and Ulrich Schmid. HEX: Scaling Honeycombs is Easier than Scaling Clock Trees. In Proc. 25th ACM Symp. on Parallelism in Algorithms and Architect ures (SPAA'13), pages 164–175, 2013. (doi:10.1145/2486159.2486192)
[91]: Martin Perner, Martin Sigl, Ulrich Schmid, and Christoph Lenzen. Byzantine self-stabilizing clock distribution with HEX: Implementation, simulation, clock multiplication. In Proc. Sixth IARIA International Conference on Dependability (DEPEND'13), pages 6–15, 2013.
[92]: Matthias Függer, Markus Hofstätter, Christoph Lenzen, and Ulrich Schmid. Efficient construction of global time in SoCs despite arbitrary faults. In Proc. 16th Euromicro Conference on Digital System Design (DSD'13), pages 142–151, 2013. (doi:10.1109/DSD.2013.97)
[93]: Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder. Parameterized model checking of fault-tolerant distributed algorithms by abstraction. In Proceedings Formal Methods in Computer-Aided Design (FMCAD'13), pages 201–209. IEEE, 2013. (doi:10.1109/FMCAD.2013.6679411)
[94]: Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, and Martin Zeiner. The effect of forgetting on the performance of a synchronizer. In Proceedings ALGOSENSORS'13, Springer LNCS 8243, pages 185–200. Springer, 2013. (doi:10.1007/978-3-642-45346-5_14)
[95]: Martin Biely, Peter Robinson, and Ulrich Schmid. Agreement in directed dynamic networks. In Proceedings 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12), LNCS 7355, pages 73–84. Springer-Verlag, 2012.
[96]: Varadan Savulimedu Veeravalli, Thomas Polzer, Andreas Steininger, and Ulrich Schmid. 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), pages 8–17, sep 2012. (best paper award).
[97]: Danny Dolev, Matthias Függer, Christoph Lenzen, and Ulrich Schmid. Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation - [extended abstract]. In Proceedings 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'11), Springer LNCS 6976, pages 163–177, 2011.
[98]: Martin Biely, Peter Robinson, and Ulrich Schmid. Easy impossibility proofs for k-set agreement in message passing systems. In Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC'11), pages 227–228. ACM, 2011.
[99]: Martin Biely, Peter Robinson, and Ulrich Schmid. Easy impossibility proofs for k-set agreement in message passing systems. In Proceedings 15th International Conference on Principles of Distributed Systems (OPODIS'11), Springer LNCS 7109, pages 299–312, 2011.
[100]: Martin Biely, Peter Robinson, and Ulrich Schmid. Solving k-set agreement with stable skeleton graphs. In IPDPS Workshops, pages 1488–1495, 2011. (also available in arxiv:1102.4423).
[101]: Heinrich Moser and Ulrich Schmid. Reconciling fault-tolerant distributed algorithms and real-time computing. In 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO), LNCS 6796, pages 42–53, Berlin, Heidelberg, 2011. Springer-Verlag.
[102]: Matthias Függer, Andreas Dielacher, and Ulrich Schmid. How to speed-up fault-tolerant clock generation in vlsi systems-on-chip via pipelining. In Proceedings Eighth European Dependable Computing Conference (EDCC'10), pages 230–239, 2010. (doi:10.1109/EDCC.2010.35)
[103]: Alois Goiser, Samar Khattab, Gerhard Fassl, and Ulrich Schmid. A new robust interference reduction scheme for low complexity direct-sequence spread-spectrum receivers: Optimization. In Proceedings 3rd International IEEE Conference on Communication Theory, Reliability, and Quality of Service (CTRQ'10), pages 32–36, Athens, Greece, June 2010.
[104]: Alois Goiser, Samar Khattab, Gerhard Fassl, and Ulrich Schmid. A new robust interference reduction scheme for low complexity direct-sequence spread-spectrum receivers: Performance. In Proceedings 3rd International IEEE Conference on Communication Theory, Reliability, and Quality of Service (CTRQ'10), pages 15–21, Athens, Greece, June 2010.
[105]: Ulrich Schmid. Synchrony and time in fault-tolerant distributed algorithms - (invited tutorial). In Proceedings Formal Modeling and Analysis of Timed Systems Conference (FORMATS 2010), volume 6246 of Lecture Notes in Computer Science, page 46. Springer, 2010.
[106]: Alexander K"ossler, Heinrich Moser, and Ulrich Schmid. Real-time analysis of round-based distributed algorithms. In Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar (RTSOPS'10), in conjunction with 22nd Euromicro Conference on Real-Time Systems (ECRTS'10), pages 9–11, Jul. 2010. Published as as TR under https://www.cs.york.ac.uk/ftpdir/reports/2010/YCS/455/YCS-2010-455.pdf.
[107]: Andreas Dielacher, Matthias Fuegger, and Ulrich Schmid. Brief announcement: How to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. In Proceedings of the 28th ACM Symposium on Principles of Distributed Computing (PODC'09), page 423. ACM Press, August 2009. An extended version is available as RR 15/2009, Institut für Technische Informatik, TU-Wien, http://www.vmars.tuwien.ac.at/documents/extern/2571/techreport.pdf.
[108]: Matthias Fuegger, Gottfried Fuchs, Ulrich Schmid, and Andreas Steininger. On the stability and robustness of non-synchronous circuits with timing loops. 3rd Workshop on Dependable and Secure Nanocomputing, Jun. 2009.
[109]: Martin Biely, Peter Robinson, and Ulrich Schmid. Weak synchrony models and failure detectors for message passing k-set agreement. In Proceedings of the 23rd International Symposium on Distributed Computing (DISC'09), pages 260–261, 2009.
[110]: Martin Biely, Peter Robinson, and Ulrich Schmid. Weak synchrony models and failure detectors for message passing k-set agreement. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS'09), LNCS, pages 285–299, Nimes, France, Dec 2009. Springer Verlag.
[111]: Ulrich Schmid. Keynote: Distributed algorithms and VLSI. In Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'08), volume 5340 of Lecture Notes in Computer Science, page 3, Detroit, USA, November 2008. Springer Verlag. (http://www.vmars.tuwien.ac.at/documents/extern/2467/sss08.pdf).
[112]: Peter Robinson and Ulrich Schmid. Brief announcement: The asynchronous bounded-cycle model. In Proceedings of the 27th ACM Symposium on Principles of Distributed Computing (PODC'08), page 423. ACM Press, August 2008. (extended version appeared at SSS'08).
[113]: Peter Robinson and Ulrich Schmid. The Asynchronous Bounded-Cycle Model. In Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'08), volume 5340 of Lecture Notes in Computer Science, pages 246–262, Detroit, USA, November 2008. Springer Verlag. (Best Paper Award). (doi:10.1007/978-3-540-89335-6_20)
[114]: Gottfried Fuchs, Matthias Fuegger, Ulrich Schmid, and Andreas Steininger. Mapping a fault-tolerant distributed algorithm to systems on chip. In 11th Euromicro conference on Digital System Design Architectures, Methods and Tools (DSD'08), pages 242–249, Parma, Italy, September 2008. (doi:10.1109/DSD.2008.65)
[115]: Heinrich Moser and Ulrich Schmid. Optimal deterministic remote clock estimation in real-time systems. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS), pages 363–387, Luxor, Egypt, December 2008.
[116]: Ulrich Schmid, Andreas Steininger, and Helmut Veith. Towards a systematic design of fault-tolerant asynchronous circuits. In Proceedings GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf, pages 173–174, Munich, Germany, March 2007. VDE-Verlag, Berlin, Offenbach.
[117]: Ulrich Schmid. Keynote: A perspective of fault-tolerant clock synchronization. In Proceedings of the IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS'07), page vii, Vienna, Austria, October 2007. (http://www.vmars.tuwien.ac.at/documents/extern/2339/ispcs.pdf). (doi:10.1109/ISPCS.2007.4383763)
[118]: Gottfried Fuchs, Julian Grahsl, Ulrich Schmid, Andreas Steininger, and Gerald Kempf. Threshold Modules – Die Schlüsselelemente zur Verteilten Generierung eines Fehlertoleranten Taktes. In Proceedings of the Austrian National Conference on the Design of Integrated Circuits and Systems (Austrochip 2006), pages 149–156, Vienna, October 2006.
[119]: Matthias Fuegger, Ulrich Schmid, Gottfried Fuchs, and Gerald Kempf. Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. In Proceedings of the Sixth European Dependable Computing Conference (EDCC-6), pages 87–96. IEEE Computer Society Press, October 2006. (doi:10.1109/EDCC.2006.11)
[120]: Martin Hutle, Dahlia Malkhi, Ulrich Schmid, and Lidong Zhou. Brief announcement: Chasing the weakest system model for implementing omega and consensus. In Proceedings Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), LNCS, pages 576–577, Dallas, USA, Nov. 2006. Springer Verlag.
[121]: Heinrich Moser and Ulrich Schmid. Optimal clock synchronization revisited: Upper and lower bounds in real-time systems. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS), LNCS 4305, pages 95–109, Bordeaux & Saint-Emilion, France, Dec 2006. Springer Verlag.
[122]: Heinrich Moser and Ulrich Schmid. Reconciling distributed computing models and real-time systems. In Proceedings Work in Progress Session of the 27th IEEE Real-Time Systems Symposium (RTSS'06), pages 73–76, Rio de Janeiro, Brazil, Dec 2006.
[123]: Andreas Steininger, Matthias Fuegger, Ulrich Schmid, and Gottfried Fuchs. Fault-Tolerant Algorithms on SoCs - A case study. In Supplemental Proceedings of the International Conference on Dependable Systems and Networks (DSN'06), pages 190–191, Philadelphia, USA, June 2006.
[124]: Christof Fetzer, Ulrich Schmid, and Martin Süßkraut. On the possibility of consensus in asynchronous systems with finite average response times. In Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS'05), pages 271–280, Washington, DC, USA, June 2005. IEEE Computer Society.
[125]: Josef Widder, Gérard Le Lann, and Ulrich Schmid. Failure detection with booting in partially synchronous systems. In Proceedings of the 5th European Dependable Computing Conference (EDCC-5), volume 3463 of LNCS, pages 20–37, Budapest, Hungary, April 2005. Springer Verlag.
[126]: Martin Biely, Gérard Le Lann, and Ulrich Schmid. Proof-based systems engineering using a virtual system model. In Proceedings 2nd International Service Availability Symposium (ISAS'05), number 3694 in Lecture Notes in Computer Science, pages 164–179, Berlin, Germany, April 2005. Springer.
[127]: Josef Widder and Ulrich Schmid. Achieving synchrony without clocks. Research Report 49/2005, Technische Universität Wien, Institut für Technische Informatik, 2005. (to appear in Distributed Computing, 2009).
[128]: Christof Fetzer and Ulrich Schmid. Brief announcement: On the possibility of consensus in asynchronous systems with finite average response times. In Proceedings of the 23th ACM Symposium on Principles of Distributed Computing (PODC'04), page 402, Boston, Massachusetts, 2004.
[129]: Ulrich Schmid and Christof Fetzer. Randomized asynchronous consensus with imperfect communications. In 22nd Symposium on Reliable Distributed Systems (SRDS'03), pages 361–370, Florence, Italy, October 6–8, 2003.
[130]: Roland Höller, Martin Horauer, Günther Gridling, Nikolaus Kerö, Ulrich Schmid, and Klaus Schossmaier. SynUTC - high precision time synchronization over Ethernet networks. In Proceedings of the 8th Workshop on Electronics for LHC Experiments (LECC'02), pages 428–432, Colmar, France, September 9–13, 2002.
[131]: Martin Horauer, Ulrich Schmid, Klaus Schossmaier, Roland Höller, and Nikolaus Kerö. PSynUTC — evaluation of a high precision time synchronization prototype system for Ethernet LANs. In Proceedings of the 34th IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI'02), pages 263–278, Reston, Virginia, December 2002.
[132]: Bettina Weiss and Ulrich Schmid. Consensus with written messages under link faults. In 20th Symposium on Reliable Distributed Systems (SRDS'01), pages 194–197, New Orleans, LA, USA, October 28–31, 2001.
[133]: Ulrich Schmid, Bettina Weiss, and John Rushby. Formally verified Byzantine agreement in presence of link faults. In 22nd International Conference on Distributed Computing Systems (ICDCS'02), pages 608–616, Vienna, Austria, July 2-5, 2002.
[134]: Ulrich Schmid. High-accuracy time services and fault-tolerant clock synchronization. In 37th IFIP WG10.4 Annual Meeting (Workshop on ``Time and Dependability'', pages 39–57, Martinique, France, January 21–25, 2000. (Invited presentation).
[135]: Ulrich Schmid. Applied research: A scientist's perspective. In Proceedings joint 25th IFAC/IFIP Workshop on Real-Time Programming (WRTP'00) and Workshop on Algorithms and Architectures for Real-Time Control (AARTC'00), pages 5–12, Palma de Mallorca, Spain, May 2000. (Invited plenary speech).
[136]: Martin Horauer, Nikolaus Kerö, and Ulrich Schmid. A network interface for highly accurate clock synchronization. In W. Maierwieser and K.G. Posch, editors, Proceedings AUSTROCHIP'00, pages 93–101, Graz, Austria, October 2000. ISBN 3-9501349-0-5.
[137]: Ulrich Schmid. How to model link failures: A perception-based fault model. In Proceedings of the International Conference on Dependable Systems and Networks (DSN'01), pages 57–66, Göteborg, Sweden, July 1–4, 2001.
[138]: Wolfgang Kastner and Ulrich Schmid. How to teach matters of modern control systems to computer science students? In Proceedings 5th IFAC Symposium on Advances in Control Education (ACE'00), Sea World Nara Resort, Australia, December 2000.
[139]: Ulrich Schmid, Bettina Weiss, Günther Gridling, and Klaus Schossmaier. A unified approach for simulation and experimental evaluation of fault-tolerant distributed systems. In Proceedings of the IASTED International Conference on Applied Modelling and Simulation (AMS'99), pages 43–48, Cairns, Queensland, Australia, September 1–3, 1999.
[140]: Ulrich Schmid, Martin Horauer, and Nikolaus Kerö. How to distribute GPS-time over COTS-based LANs. In Proceedings of the 31th IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI'99), pages 545–560, Dana Point, California, December 1999.
[141]: Bettina Weiss, Günther Gridling, Ulrich Schmid, and Klaus Schossmaier. The SimUTC fault-tolerant distributed systems simulation toolkit. In Proceedings 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'99), pages 68–75, College Park, MD, USA, October 24–28, 1999.
[142]: Ulrich Schmid and Herbert Nachtnebel. Experimental evaluation of high-accuracy time distribution in a COTS-based Ethernet LAN. In Proceedings 24th IFAC/IFIP Workshop on Real-Time Programming (WRTP'99), pages 59–68, Schloß Dagstuhl, Germany, May/June 1999.
[143]: Ulrich Schmid. Internet-based real-time computing. In Proceedings 22nd Annual International Computer Software & Applications Conference (COMPSAC'98), pages 338–342, Vienna, Austria, August 1998.
[144]: Herbert Nachtnebel, Nikolaus Kerö, Gerhard R. Cadek, Thomas Mandl, and Ulrich Schmid. Rapid Prototyping mit programmierbarer Logik: Ein Fallbeispiel. In Proceedings AUSTROCHIP'98, pages 99–104, Wiener Neustadt, Austria, October 1998.
[145]: Dieter Höchtl and Ulrich Schmid. Long-term evaluation of GPS timing receiver failures. In Proceedings of the 29th IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI'97), pages 165–180, Long Beach, California, December 1997.
[146]: Ulrich Schmid and Wolfgang Kastner. DOBOS: Ein Distributed Object-Based Operating System für Soft Real-Time Systems, pages 3–13. Viehweg-Verlag, 1996. (Reprint of [149]).
[147]: Wolfgang Kastner and Ulrich Schmid. Process control engineering for computer science students. In Proceedings 4th IFAC Symposium on Advances in Control Education (ACE'97), pages 289–295, Istambul, Turkey, July 1997.
[148]: Martin Horauer, Ulrich Schmid, and Klaus Schossmaier. NTI: A Network Time Interface M-Module for high-accuracy clock synchronization. In Proceedings 6th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'98), pages 1067–1076, Orlando, Florida, March 30 – April 3 1998.
[149]: Ulrich Schmid and Wolfgang Kastner. DOBOS: Ein Distributed Object-Based Operating System für Soft Real-Time Systems. In Proceedings Echtzeit'94, pages 130–136, Hamburg, Germany, 1994.
[150]: Wolfgang A. Halang, F.-J. Koller, Ulrich Schmid, and M. Witte. Untersuchung des Zeitverhaltens Verteilter Echtzeitsysteme. In Proceedings Echtzeit'95, pages 101–107, June 1995.
[151]: Ulrich Schmid, Wolfgang Kastner, and Harald Haberstroh. 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, pages 135–147, Vienna, Austria, July 1995.
[152]: Ulrich Schmid, Harald Haberstroh, and Stefan Stöckler. 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, pages 13–22, Vienna, Austria, September 1993.
[153]: Ulrich Schmid. Monitoring in verteilten Echtzeitsystemen, pages 265–276. Viehweg-Verlag, 1994. (Reprint of [159]).
[154]: Ulrich Schmid. Synchronized UTC for distributed real-time systems. In Proceedings 19th IFAC/IFIP Workshop on Real-Time Programming (WRTP'94), pages 101–107, Lake Reichenau, Germany, 1994.
[155]: Ulrich Schmid and Stefan Stöckler. A versatile monitoring system for distributed real-time systems. In Proceedings 11th IFAC Symposium on Computer Systems in Safety-Critical Applications (SAFECOMP'92), pages 203–208, Zürich, Switzerland, October 1992.
[156]: Ulrich Schmid and Wolfgang Kastner. Monitoring of distributed real-time systems: The Versatile Timing Analyzer (VTA). In Proceedings Workshop on Performance Measurement and Visualization of Parallel Systems, pages 277–302, Moravany/CSFR (October 1992), 1993. (Preliminary version of [48]).
[157]: Ulrich Schmid. Monitoring of distributed real-time systems. In Proceedings NATO ASI on Real-Time Computing, pages 582–583, Sint Maarten, October 1994. (Appeared as Wolfgang A. Halang and Alexander D. Stoyenko (eds.): Real time computing, NATO ASI Series F: Computer and Systems Sciences, Vol. 127, 1994.).
[158]: Ulrich Schmid. The role of standards in real-time computing. In Proceedings NATO ASI on Real-Time Computing, pages 638–639, Sint Maarten, October 1994. (Appeared as Wolfgang A. Halang and Alexander D. Stoyenko (eds.): Real time computing, NATO ASI Series F: Computer and Systems Sciences, Vol. 127, 1994.).
[159]: Ulrich Schmid. Monitoring in verteilten Echtzeitsystemen. In Proceedings Echtzeit'91, pages 169–176, Sindelfingen, Germany, June 1991.
[160]: Ulrich Schmid. 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), pages 223–234, Vienna, Austria, July 1992. (Appeared as Lecture Notes on Computer Science 623, Springer-Verlag, 1992).
[161]: Johann Blieberger, Gerhard-Helge Schildt, Ulrich Schmid, and Stefan Stöckler. Informatik. Springer-Verlag, Vienna, Austria, 1.(1990), 2.(1992) edition, 1990.
[162]: Ulrich Schmid and Josef Widder, editors. 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, volume 121 of LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018.
[163]: Bernadette Charron-Bost, Shlomi Dolev, Jo Ebergen, and Ulrich Schmid. 08371 summary – fault-tolerant distributed algorithms on vlsi chips. In Bernadette Charron-Bost, Shlomi Dolev, Jo Ebergen, and Ulrich Schmid, editors, Fault-Tolerant Distributed Algorithms on VLSI Chips, number 08371 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2009. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=1927.
[164]: Ulrich Schmid, editor. Special Issue on The Challenge of Global Time in Large-Scale Distributed Real-Time Systems, J. Real-Time Systems 12(1–3), 1997.
[165]: Arman Ferdowsi, Ulrich Schmid, and Josef Salzmann. An accurate hybrid delay model for multi-input gates. CoRR, abs/2211.10628, 2022. (doi:10.48550/ARXIV.2211.10628)
[166]: Thomas Nowak, Ulrich Schmid, and Kyrill Winkler. Topological characterization of consensus in distributed systems. CoRR, abs/1905.09590, 2019.
[167]: Arman Ferdowsi, Jürgen Maier, Daniel Öhlinger, and Ulrich Schmid. A simple hybrid model for accurate delay modeling of a multi-input gate. CoRR, abs/2111.11182, 2021.
[168]: Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, and Ulrich Schmid. A faithful binary circuit model with adversarial noise, 2020. ArXiv e-prints: https://arxiv.org/abs/2006.08485.
[169]: Thomas Schlögl, Ulrich Schmid, and Roman Kuznets. The persistence of false memory: Brain in a vat despite perfect clocks, 2020.
[170]: Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa, and Lucas Gréaux. Knowlege in byzantine message-passing systems i: Framework and the causal cone. Technical Report TUW-260549, E191 - Institut für Computer Engineering; Technische Universität Wien, 2019.
[171]: Thomas Nowak, Ulrich Schmid, and Kyrill Winkler. Topological characterization of consensus under general message adversaries. CoRR, abs/1905.09590, 2019.
[172]: Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, and Ulrich Schmid. Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR, abs/1803.02975, 2018.
[173]: Daniel Pfleger and Ulrich Schmid. On knowledge and communication complexity in distributed systems. Technical Report TUW-269752, Technische Universität Wien, Institute of Computer Engineering, 2018. (appeared in Proc. SIROCCO'18).
[174]: Ulrich Schmid. FWF-proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits. Research Report TUW-278607, TU Wien, Institute for Computer Engineering (E191-02), Treitlstr. 1-3/191-02, 1040 Vienna, Austria, 2018. http://publik.tuwien.ac.at/files/publik_278607.pdf.
[175]: M. Schwarz, M. Zeiner, and U. Schmid. Linear-Time Data Dissemination in Dynamic Networks. ArXiv e-prints: https://arxiv.org/abs/1701.06800, January 2017.
[176]: Kyrill Winkler, Manfred Schwarz, and Ulrich Schmid. Consensus in directed dynamic networks with short-lived stability. CoRR, abs/1602.05852, 2016. (submitted).
[177]: Martin Zeiner, Ulrich Schmid, Udo Schilcher, and Christian Bettstetter. FWF-proposal SPRG: Structural properties of random graphs. Research Report TUW-544205, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2016. http://publik.tuwien.ac.at/files/publik_544205.pdf.
[178]: Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, and Ulrich Schmid. Hex: Scaling honeycombs is easier than scaling clock trees, 2015. (submitted to JCSS).
[179]: Daniel Pfleger and Ulrich Schmid. A framework for connectivity monitoring in wireless sensor networks. Research Report TUW-241107, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2015. http://publik.tuwien.ac.at/files/publik_241107.pdf (appeared in Proc. IARIA SENSORCOMM'16, Nice, France, 2016).
[180]: Ulrich Schmid. Final report FWF FATAL-project (P21694). Research Report TUW-235380, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2013. http://publik.tuwien.ac.at/files/publik_235380.pdf.
[181]: Ulrich Schmid. FWF-proposal ADynNet: Gracefully degrading agreement in directed dynamic networks. Research Report TUW-235381, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2014. http://publik.tuwien.ac.at/files/publik_235381.pdf.
[182]: Martin Biely, Peter Robinson, Ulrich Schmid, and Kyrill Winkler. Impossibility results for k-set agreement in message-passing systems, 2014. (submitted to Information & Computation).
[183]: Matthias Függer, Robert Najvirt, Thomas Nowak, and Ulrich Schmid. Faithful glitch propagation in binary circuit models. arXiv:1406.2544, 2014. (an extended abstract appeared in Proc. DATE'15).
[184]: Manfred Schwarz, Kyrill Winkler, Ulrich Schmid, Martin Biely, and Peter Robinson. Gracefully degrading consensus and k-set agreement under dynamic link failures. Research Report TUW-220473, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2013. http://publik.tuwien.ac.at/files/publik_220473.pdf.
[185]: Ulrich Schmid. Final report FWF PSRTS-project (P20529). Research Report TUW-235379, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2013. http://publik.tuwien.ac.at/files/publik_235379.pdf.
[186]: Martin Biely, Peter Robinson, and Ulrich Schmid. Agreement in directed dynamic networks. arXiv:1204.0641, April 2012.
[187]: Matthias Függer and Ulrich Schmid. FWF-proposal SIC: Self-stabilizing Byzantine fault-tolerant distributed algorithms for integrated circuits. Research Report 60/2012, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2012.
[188]: Andreas Steininger, Ulrich Schmid, and Horst Zimmermann. Fwf-proposal EASET: Accelerator-based experimental analysis and simulation modeling of single-event transients in VLSI circuits. Research Report 61/2012, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2012.
[189]: Martin Biely, Peter Robinson, and Ulrich Schmid. Just enough synchrony for message-passing k-set agreement. Research Report 6/2010, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2010.
[190]: Martin Biely, Peter Robinson, and Ulrich Schmid. Solving k-set agreement with stable skeleton graphs. Research Report 28/2010, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2010.
[191]: Andreas Dielacher, Matthias Fuegger, and Ulrich Schmid. How to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. Research Report 15/2009, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2009. http://www.vmars.tuwien.ac.at/documents/extern/2571/techreport.pdf.
[192]: Matthias Fuegger and Ulrich Schmid. Fault-tolerant distributed tick generation in VLSI systems-on-chip. Research Report 53/2009, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2009.
[193]: Martin Biely, Peter Robinson, and Ulrich Schmid. Weak synchrony models and failure detectors for message passing k-set agreement. Research Report 51/2009, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2009.
[194]: Ulrich Schmid, Andreas Steininger, and Horst Zimmermann. FWF-proposal FATAL: A modeling framework for fault-tolerant asynchronous logic. Research Report 70/2008, Technische Universität Wien, Institut für Technische Informatik, Treitlstrasse 1-3/182-1, 1040 Vienna, Austria, 2008.
[195]: Ulrich Schmid. Final report FWF Theta-project (P17757-N04). Research Report 71/2008, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2008.
[196]: Ulrich Schmid. FWF project proposal: Partially synchronous distributed real-time systems (PSRTS). Research Report 48/2007, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2007.
[197]: Ulrich Schmid. Proposal Uni-Infrastruktur IV: Robust embedded systems. Research Report 84/2007, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2007.
[198]: Ulrich Schmid and Michael Drmota. WWTF project proposal: Mathematics and distributed computing. Research Report 83/2007, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2007.
[199]: Andreas Steininger, Ulrich Schmid, Matthias Fuegger, and Gottfried Fuchs. A fault-tolerant distributed algorithms perspective of systems-on-chip. Research Report 2/2007, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2007.
[200]: Matthias Fuegger, Ulrich Schmid, Gottfried Fuchs, and Gerald Kempf. Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. Research Report 12/2006, Technische Universität Wien, Institut für Technische Informatik, 2006.
[201]: Heinrich Moser and Ulrich Schmid. Optimal clock synchronization revisited: Upper and lower bounds in real-time systems. Research Report 71/2006, Vienna University of Technology, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2006.
[202]: Ulrich Schmid, Andreas Steininger, and Helmut Veith. Towards a systematic design of fault-tolerant asynchronous circuits. Research Report 98/2006, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2006. (A short version appeared at Zuverlässigkeit und Design (ZuD'07)).
[203]: Ulrich Schmid and Markus Proske. FIT-IT project proposal ProSCE: Promoting science in computer engineering. Research Report 125/2006, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2006.
[204]: Ulrich Schmid and Markus Proske. FIT-IT project proposal ESiA: Embedded systems in action. Research Report 1/2007, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria, 2007.
[205]: Christof Fetzer and Ulrich Schmid. On the possibility of consensus in asynchronous systems with finite average response times. Research Report 14/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004. (Brief announcement appeared at PODC'04).
[206]: Ulrich Schmid. Final report START-project Y41. Research Report 19/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004.
[207]: Ulrich Schmid and Andreas Steininger. Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips. Research Report 69/2004, Technische Universität Wien, Institut für Technische Informatik, 2004. International patent PCT WO2006/007619: EP 1769356, US 2009/0102534, ZL 200580024166.6, AT 501510.
[208]: Gottfried Fuchs, Ulrich Schmid, and Andreas Steininger. Ein Verfahren für das verteilte Generieren eines fehlertoleranten adaptiven Taktes in Hardware. Research Report 18/2004, Technische Universität Wien, Institut für Technische Informatik, 2004.
[209]: Ulrich Schmid and Bettina Weiss. FWF project proposal: Fault-tolerant distributed algorithms in sparse ad hoc wireless networks. Research Report 13/2004, Vienna University of Technology, Institut für Technische Informatik, Treitlstr. 1-3/182-2, 1040 Vienna, Austria, 2004.
[210]: Bernd Thallner and Ulrich Schmid. Distributed construction of sparse fault-tolerant overlay networks. Research Report 35/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004. (submitted).
[211]: Ulrich Schmid. Failure model coverage under transient link failures. Research Report 2/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004. (submitted).
[212]: Ulrich Schmid and Bettina Weiss. Synchronous Byzantine agreement under hybrid process and link failures. Research Report 1/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria, 2004. (submitted).
[213]: Gérard Le Lann and Ulrich Schmid. How to implement a timer-free perfect failure detector in partially synchronous systems. Technical Report 183/1-127, Department of Automation, Technische Universität Wien, January 2003. (Replaced by Research Report 28/2005, Institut für Technische Informatik, TU Wien, 2005.).
[214]: Gérard Le Lann and Ulrich Schmid. How to maximize computing systems coverage. Technical Report 183/1-128, Department of Automation, Technische Universität Wien, April 2003.
[215]: Ulrich Schmid. FWF project proposal: Asynchronous distributed algorithms in the Theta-model. Technical Report 183/1-133, Department of Automation, TU Vienna, December 2003.
[216]: Ulrich Schmid and Johann Vilanek. FIT-IT project proposal: Seamless campus. Technical Report 183/1-136, Department of Automation, TU Vienna, December 2003.
[217]: Bernd Thallner and Ulrich Schmid. Fault tolerant communication topologies for wireless ad hoc networks. Technical Report 183/1-132, Department of Automation, TU Vienna, December 2003.
[218]: Josef Widder, Gérard Le Lann, and Ulrich Schmid. Perfect failure detection with booting in partially synchronous systems. Technical Report 183/1-131, Department of Automation, Technische Universität Wien, April 2003. (preliminary version of [125]).
[219]: Ulrich Schmid and Bettina Weiss. Synchronous Byzantine agreement under hybrid process and link failures. Technical Report 183/1-124, Department of Automation, Technische Universität Wien, November 2002. (replaces TR 183/1-110).
[220]: Ulrich Schmid and Christof Fetzer. Randomized asynchronous consensus with imperfect communications. Technical Report 183/1-120, Department of Automation, Technische Universität Wien, January 2002. (Extended version of [129]).
[221]: Günther Gridling, Martin Hutle, Ulrich Schmid, Hannes Stratil, Bernd Thallner, and Bettina Weiss. Service specification of W2F. Technical Report 183/1-113, Department of Automation, Technische Universität Wien, 2001. (unfinished).
[222]: Bettina Weiss and Ulrich Schmid. Consensus with written messages under link faults. Technical Report 183/1-114, Department of Automation, Technische Universität Wien, March 2001. (extended version of [132]).
[223]: Ulrich Schmid, Martin Horauer, and Nikolaus Kerö. Hochgenaue Uhrensynchronisation in verteilten Systemen. Technical Report 183/1-117, Department of Automation, TU Vienna, October 2001.
[224]: Ulrich Schmid and Robert Sablatnig. EDV-Pflichtlaborkonzept Informatik. Technical Report 183/1-118, Vienna University of Technology, Department of Automation, October 2001.
[225]: Ulrich Schmid. Bakkalaureats- und Magisterstudium Technische Informatik. Technical Report 183/1-119, Vienna University of Technology, Department of Automation, October 2001.
[226]: Ulrich Schmid and Bettina Weiss. Consensus with oral/written messages: Link faults revisited. Technical Report 183/1-110, Department of Automation, Technische Universität Wien, February 2001. (obsolete, replaced by TR 183/1-124).
[227]: Martin Biely and Ulrich Schmid. Message-efficient consensus in presence of hybrid node and link faults. Technical Report 183/1-116, Department of Automation, Technische Universität Wien, August 2001.
[228]: Ulrich Schmid. Report on 3 years of START-project Y41-MAT. Technical Report 183/1-100, Department of Automation, Technische Universität Wien, February 2000.
[229]: Nikolaus Kerö, Ulrich Schmid, and Martin Horauer. Verfahren für die Synchronisation von Computeruhren in Netzwerken. Technical Report 183/1-105, Department of Automation, TU Vienna, March 2000. Austrian Gebrauchsmuster AT005327U1 (2002); Europe and Japan patents pending.
[230]: Ulrich Schmid, Wolfgang Kastner, Bernd Burgstaller, and Christian Kral. Skriptum zur Laborübung Prozeßautomatisierung. Technical Report 183/1-106-a, Vienna University of Technology, Department of Automation, June 2000.
[231]: Ulrich Schmid. Verteilte Embedded Systems unter OSE. Technical Report 183/1-107, Department of Automation, TU Vienna, June 2000.
[232]: Ulrich Schmid. A perception-based fault model for single-round agreement algorithms. Technical Report 183/1-108, Technische Universität Wien, Department of Automation, October 2000.
[233]: Ulrich Schmid and Thomas Mandl. Implementation of the NTI Device-Handler. Technical Report 183/1-86, Technische Universität Wien, Department of Automation, January 1999.
[234]: Thomas Mandl, Herbert Nachtnebel, and Ulrich Schmid. Network Time Interface user manual. Technical Report 183/1-87, Technische Universität Wien, Department of Automation, January 1999. (in German).
[235]: Gerda Richter, Michael Schmidt, and Ulrich Schmid. i82596 NTI Device-Driver software documentation. Technical Report 183/1-90, Technische Universität Wien, Department of Automation, February 1999.
[236]: Ulrich Schmid. Basic features of the wireline/wireless factory/facility fieldbus. Technical Report 183/1-95, Department of Automation, Technische Universität Wien, August 1999.
[237]: Martina Umlauft and Ulrich Schmid. GPS Device-Driver software documentation. Technical Report 183/1-97, Technische Universität Wien, Department of Automation, October 1999.
[238]: Ulrich Schmid. Lehrbedarfs- und Lehrkapazitätserhebung für die Technisch-Naturwissenschaftlichen Fakultät der TU-Wien. Technical Report 183/1-98, Vienna University of Technology, Department of Automation, October 1999.
[239]: Ulrich Schmid. Stellenbewirtschaftungsmodell für die Fakultät TNF und die Fachgruppe Informatik. Technical Report 183/1-82, Vienna University of Technology, Department of Automation, February 1998.
[240]: Christian Kral, Thomas Mandl, Ulrich Schmid, and Klaus Schossmaier. Tips für die Messe-Präsentation von Forschungsergebnissen. Technical Report 183/1-83, Technische Universität Wien, Department of Automation, April 1998. (in German).
[241]: Silvia Miksch, Ulrich Schmid, Martin Schönhacker, Katrin Seyr, and Martina Umlauft. Evaluierung der Informatik. Technical Report 183/1-84, Vienna University of Technology, Department of Automation, November 1998. (Also appeared as Institutsbericht Nr. 38, Institut für Computergraphik, Abteilung für Algorithmen und Programmiermethodik, Technische Universität Wien, November 1998.).
[242]: Ulrich Schmid, Winfried Auzinger, Robert Sablatnig, Karlheinz Schwarz, Herbert Störi, and Bruno Wöhrer. EDV-Laborkonzept für die Fakultät TNF. Technical Report 183/1-85, Vienna University of Technology, Department of Automation, December 1998.
[243]: Ulrich Schmid and Klaus Schossmaier. Interval-based clock synchronization revisited. Technical Report 183/1-80, Technische Universität Wien, Department of Automation, July 1997.
[244]: Ulrich Schmid. Kabel-Fehlerortung mit SynUTC. Technical Report 183/1-81, Technische Universität Wien, Department of Automation, July 1997. (Patent: German Gebrauchsmuster 296 23086.3).
[245]: Ulrich Schmid. Application to START. Technical Report 183/1-65, Vienna University of Technology, Department of Automation, January 1996.
[246]: Ulrich Schmid. Static priority scheduling of aperiodic real-time tasks. Technical Report 183/1-47, Vienna University of Technology, Department of Automation, May 1994. (Extension of [44]).
[247]: Martin Horauer, Dietmar Loy, and Ulrich Schmid. NTI functional and architectural specification. Technical Report 183/1-69, Technische Universität Wien, Department of Automation, December 1996. (revised 1998).
[248]: Klaus Schossmaier and Ulrich Schmid. UTCSU functional specification. Technical Report 183/1-56, Technische Universität Wien, Department of Automation, July 1995.
[249]: Ulrich Schmid and Werner Staringer. Geschichte des Informatik-Labors Treitlstraße 3, 1. Stock. Technical Report 183/1-57, Vienna University of Technology, Department of Automation, July 1995.
[250]: Ulrich Schmid, Dietmar Loy, and Wolfgang Kastner. Project proposal SSCMP: Sequenced Synchronized Clock Multicast Protocol. Technical Report 183/1-58, Vienna University of Technology, Department of Automation, August 1995.
[251]: Ulrich Schmid. An annotated bibliography on clock synchronization in distributed systems. Technical Report 183/1-45, Technische Universität Wien, Department of Automation, December 1994. (incomplete).
[252]: Ulrich Schmid and Dietmar Loy. FWF-Projektantrag SynUTC — Synchronized UTC for distributed real-time systems. Technical Report 183/1-39, Technische Universität Wien, Department of Automation, December 1993.
[253]: Ulrich Schmid. Zusatzantrag zum FWF-Projekt VTA. Technical Report 183/1-36, Vienna University of Technology, Department of Automation, April 1993.
[254]: Ulrich Schmid and Wolfgang Kastner. DOBOS - Konzept eines distributed object-based operating systems. Technical Report 183/1-40, Vienna University of Technology, Department of Automation, December 1993. (Extension of [149]).
[255]: Ulrich Schmid. Determining the size of dedicated shared memory areas for client-server applications. Technical Report 183/1-44, Vienna University of Technology, Department of Automation, August 1993.
[256]: Thomas Hontsch and Ulrich Schmid. Instrumentierung auf Sourcecode-Level. Technical Report 183/1-26, Vienna University of Technology, Department of Automation, January 1992.
[257]: Michael Drmota and Ulrich Schmid. The analysis of the expected successful operation time of slotted ALOHA. Technical Report 183/1-33, Vienna University of Technology, Department of Automation, December 1992. (Extension of [50]).
[258]: Johann Blieberger and Ulrich Schmid. Qualifying dynamic task scheduling in hard real-time systems: A novel approach. Technical Report 183/1-15, Vienna University of Technology, Department of Automation, January 1991.
[259]: Ulrich Schmid. The average CRI-length of a tree collision resolution algorithm in presence of multiplicity-dependent capture effects. Technical Report 183/1-19, Vienna University of Technology, Department of Automation, May 1991. (Extension of [160]).
[260]: Ulrich Schmid and Stefan Stöckler. Konzept der Laborübung Prozeßautomatisierung. Technical Report 183/1-21, Vienna University of Technology, Department of Automation, June 1991.
[261]: Ulrich Schmid. FWF-Projektantrag Versatile Timing Analyzer (VTA). Technical Report 183/1-22, Vienna University of Technology, Department of Automation, June 1991.
[262]: Ulrich Schmid. Das Workstation-LAN der Abteilung Automatisierungssysteme. Technical Report 183/1-25, Vienna University of Technology, Department of Automation, October 1991.
[263]: Rojo Randrianomentsoa, Hugo Rincon-Galeana, and Ulrich Schmid. Towards a topological semantics for epistemic reasoning in byzantine fault-tolerant distributed systems. In Workshop on Connections between Epistemic Logic and Topology (CELT'22), University of Amsterdam, October 24-26, 2022., 2022.
[264]: Matthias Függer, Christoph Lenzen, and Ulrich Schmid. On specifications and proofs of timed circuits. In Festschrift Tom Henzinger. Springer, 2023. (to appear).
[265]: Ulrich Schmid. Design and implementation of the bachelor with honors program at tu wien. Journal of the European Honors Council, 3(2), 2019. (doi:10.31378/jehc.3.2)
[266]: Prasad Jayanti, Nancy A. Lynch, Boaz Patt-Shamir, and Ulrich Schmid. 2019 principles of distributed computing doctoral dissertation award. In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019., page 2, 2019. (doi:10.1145/3293611.3341565)
[267]: Yehuda Afek, Idit Keidar, Boaz Patt-Shamir, Sergio Rajsbaum, Ulrich Schmid, and Gadi Taubenfeld. 2018 edsger w. dijkstra prize in distributed computing. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018, page 1, 2018. (doi:10.1145/3212734.3232540)
[268]: Ulrich Schmid. Easy impossibility proofs for k-set agreement. In Dmitry Feichtner-Kozlov and Damien Imbs, editors, Report Dagstuhl-Seminar 16282 Topological Methods in Distributed Computing, volume 6(7), page 39, Dagstuhl, Germany, 2016. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. (doi:10.4230/DagRep.6.7.31)
[269]: Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid, and Andreas Steininger. Fault-tolerant distributed systems in hardware. Bulletin of EATCS, 2(116):112–153, 2015.
[270]: Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder. Tutorial on parameterized model checking of fault-tolerant distributed algorithms. In Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM'14), 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures, pages 122–171, 2014. (doi:10.1007/978-3-319-07317-0_4)
[271]: Michael Hofbauer, Kurt Schweiger, Horst Dietrich Wolfgang Gaberl, Horst Zimmermann, Ulrich Giesen, Frank Langer, Ulrich Schmid, and Andreas Steininger. Single event transient pulse shape measurements by on-chip sense amplifiers in a single inverter for intermediate input states under alpha irradiation, 2013. Poster at IEEE Nuclear and Space Radiation Effects Conference (NSREC'13).
[272]: Danny Dolev, Matthias Fuegger, Christoph Lenzen, and Ulrich Schmid. Towards self-stabilizing byzantine fault-tolerant clock generation in systems-on-chip. In 2012 NITRD National Workshop on the New Clockwork for Time-Critical Systems, October 25-26, Baltimore (USA), Oct. 2012.
[273]: Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Horst Zimmermann, Ulrich Schmid, and Bruno Merk. Single event effect measurements in 90nm CMOS circuits at the microbeam facility for the project FATAL. In GSI Scientific Report 2011, page 424, GSI Helmholtzzentrum für Schwerionenforschung GmbH, Darmstadt, Germany, 2012.
[274]: Michael Hofbauer, Kurt Schweiger, Horst Zimmermann, and Ulrich Schmid. Projekt FATAL, 2012. Vienna Scientific Cluster Brochure 2012, p. 53.
[275]: Michael Hofbauer, Kurt Schweiger, Horst Zimmermann, Ulrich Giesen, Frank Langner, Ulrich Schmid, and Andreas Steininger. 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), Sep. 2012.
[276]: Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Horst Zimmermann, Kay-Obbe Voss, Bruno Merk, Ulrich Schmid, and Andreas Steininger. Pulse shape measurements by on-chip sense amplifiers of single event transients propagating through a 90 nm bulk CMOS inverter chain, 2012. Poster at IEEE Nuclear and Space Radiation Effects Conference (NSREC'12), Miami (USA).
[277]: Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Horst Zimmermann, Ulrich Schmid, and Ulrich Giesen. Messung der Auswirkungen von ionisierender Strahlung auf 90 nm CMOS Schaltungen. Technical report, Physikalisch Technische Bundesanstalt, 2012.
[278]: Heinrich Moser and Ulrich Schmid. Construction of a fault-tolerant wireless communication topology using distributed agreement. In Proceedings of the Junior Scientist Conference 2006, pages 47–48, Vienna, Austria, Apr. 2006.
[279]: Gérard Le Lann and Ulrich Schmid. Proof-based systems engineering in assert. In Proceedings Data Systems in Aerospace (DASIA'05), Edinburgh, Scotland, May–June 2005.
[280]: Wolfgang Hawlik. Aus Spaß an Neuem. Computer Kommunikativ, 4, 2002. (Portrait anläßlich Berufung U. Schmid).
[281]: Margit Schwarz, editor. START und Wittgenstein 1996–2000. Austrian Federal Ministry of Education, Science and Culture and Austrian Science Fund, 2001. (START-Price U. Schmid, 1996).
[282]: Michael Freund and Ulrich Schmid. In fehlertoleranten Computernetzwerken, pages 57–59. Springer Verlag, 1997.
[283]: Ulrich Schmid. Challenges in interval-based clock synchronization. In Seminar-Report 185 of Dagstuhl-Seminar 9728 on ``Average Case Analysis of Algorithms'', pages 19–20, Schloß Dagstuhl, Germany, July 7–11, 1997.
[284]: Ulrich Schmid. Interval-based clock synchronization. In Seminar-Report 138 of Dagstuhl-Seminar 9611 on ``Time Services'', page 7, Schloß Dagstuhl, Germany, March 1996. (Reprinted in Real-Time Systems 12(3):334, 1997).
[285]: Ulrich Schmid. ECCS-related research activities at the department of automation, Technische Universität Wien, 1994. In Newsletter IEEE Technical Segment Committee on Engineering of Complex Computer Systems (ECCS), 1(2) Part A, 1994, pages 2–5.
[286]: Ulrich Schmid. On random-trees arising in the analysis of scheduling algorithms for real-time systems. In Seminar-Report 68 of Dagstuhl-Seminar 9328 on ``Average Case Analysis of Algorithms'', page 15, Schloß Dagstuhl, Germany, July 1993.
[287]: Ulrich Schmid. Analyse von Collision Resolution Algorithmen in Random-Access Systemen mit dominanten Übertragungskanälen. PhD thesis, Technische Universität Wien, Faculty of Technical and Natural Sciences, Department of Algebra und Discrete Mathematics, 1986.
[288]: Ulrich Schmid. Abzählmethoden der Theoretischen Informatik. Master's thesis, Technische Universität Wien, Department of Algebra und Discrete Mathematics, 1985.