Ulrich Schmid - RankMe

177 papers A* 10A 14B 22C 13Misc 4Journal 88Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Accurate closed-form delay formulas for interconnected CMOS gates based on first-order thresholded hybrid systems. Integr. Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
2025	J	`jnl`	Drafting and Multi-Input Switching in Digital Dynamic Timing Simulation for Multi-Input Gates. CoRR Arman Ferdowsi, Ulrich Schmid, Josef Salzmann
2025	J	`jnl`	Lower Bounds for CoRR Pierre Fraigniaud, Minh-Hang Nguyen, Ami Paz, Ulrich Schmid, Hugo Rincon Galeana
2025	A	`conf`	Lower Bounds for k-Set Agreement in Fault-Prone Networks. DISC Pierre Fraigniaud, Minh-Hang Nguyen, Ami Paz, Ulrich Schmid, Hugo Rincon Galeana
2025	A	`conf`	Signal Prediction for Digital Circuits by Sigmoidal Approximations Using Neural Networks. DATE Josef Salzmann, Ulrich Schmid
2025	B	`ed.`	Structural Information and Communication Complexity - 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings SIROCCO Ulrich Schmid, Roman Kuznets
2025	J	`jnl`	Symbolic Timing Analysis of Digital Circuits Using Analytic Delay Functions. CoRR Era Thaqi, Dennis Eigner, Arman Ferdowsi, Ulrich Schmid
2024	J	`jnl`	A Hybrid Delay Model for Interconnected Multi-Input Gates. CoRR Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
2024	—	`conf`	A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. IJCAR (2) Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
2024	J	`jnl`	A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems. CoRR Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
2024	J	`jnl`	Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs. CoRR Arman Ferdowsi, Matthias Függer, Thomas Nowak, Michael Drmota, Ulrich Schmid
2024	B	`conf`	Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems. SIROCCO Hugo Rincon Galeana, Ulrich Schmid
2024	J	`jnl`	Signal Prediction for Digital Circuits by Sigmoidal Approximations using Neural Networks. CoRR Josef Salzmann, Ulrich Schmid
2024	J	`jnl`	The Time Complexity of Consensus Under Oblivious Message Adversaries. Algorithmica Kyrill Winkler, Ami Paz, Hugo Rincon Galeana, Stefan Schmid, Ulrich Schmid
2024	J	`jnl`	Topological Characterization of Consensus in Distributed Systems. J. ACM Thomas Nowak, Ulrich Schmid, Kyrill Winkler
2024	J	`jnl`	Topological Characterization of Stabilizing Consensus. CoRR Ulrich Schmid, Stephan Felber, Hugo Rincon Galeana
2023	C	`conf`	A Digital Delay Model Supporting Large Adversarial Delay Variations. DDECS Daniel Öhlinger, Ulrich Schmid
2023	J	`jnl`	A Digital Delay Model Supporting Large Adversarial Delay Variations. CoRR Daniel Öhlinger, Ulrich Schmid
2023	C	`conf`	A Hybrid Delay Model for Interconnected Multi-Input Gates. DSD Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
2023	B	`conf`	A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. TARK Thomas Schlögl, Ulrich Schmid
2023	A	`conf`	Accurate Hybrid Delay Models for Dynamic Timing Analysis. ICCAD Arman Ferdowsi, Ulrich Schmid, Josef Salzmann
2023	—	`conf`	Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. HSCC Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
2023	J	`jnl`	Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. CoRR Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
2023	J	`jnl`	Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). Dagstuhl Reports Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid
2023	—	`conf`	Logic of Communication Interpretation: How to Not Get Lost in Translation. FroCoS Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid
2023	J	`jnl`	The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. Minds Mach. Giorgio Cignarale, Ulrich Schmid, Tuomas E. Tahko, Roman Kuznets
2023	A	`conf`	The Time Complexity of Consensus Under Oblivious Message Adversaries. ITCS Kyrill Winkler, Ami Paz, Hugo Rincon Galeana, Stefan Schmid, Ulrich Schmid
2023	J	`jnl`	Topological Characterization of Consensus Solvability in Directed Dynamic Networks. CoRR Hugo Rincon Galeana, Ulrich Schmid, Kyrill Winkler, Ami Paz, Stefan Schmid
2022	A	`conf`	A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate. DATE Arman Ferdowsi, Jürgen Maier, Daniel Öhlinger, Ulrich Schmid
2022	J	`jnl`	An Accurate Hybrid Delay Model for Multi-Input Gates. CoRR Arman Ferdowsi, Ulrich Schmid, Josef Salzmann
2022	A	`conf`	Continuous Tasks and the Asynchronous Computability Theorem. ITCS Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid
2022	—	`conf`	On Specifications and Proofs of Timed Circuits. Principles of Systems Design Matthias Függer, Christoph Lenzen, Ulrich Schmid
2022	J	`jnl`	On Specifications and Proofs of Timed Circuits. CoRR Matthias Függer, Christoph Lenzen, Ulrich Schmid
2022	J	`jnl`	Time Complexity of Consensus in Dynamic Networks Under Oblivious Message Adversaries. CoRR Ami Paz, Hugo Rincon Galeana, Stefan Schmid, Ulrich Schmid, Kyrill Winkler
2021	—	`conf`	A Composable Glitch-Aware Delay Model. ACM Great Lakes Symposium on VLSI Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, Thomas Nowak
2021	J	`jnl`	A Composable Glitch-Aware Delay Model. CoRR Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, Thomas Nowak
2021	J	`jnl`	A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate. CoRR Arman Ferdowsi, Jürgen Maier, Daniel Öhlinger, Ulrich Schmid
2021	J	`jnl`	Continuous Tasks and the Chromatic Simplicial Approximation Theorem. CoRR Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid
2021	B	`conf`	Fire! TARK Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
2021	J	`jnl`	Optimal strategies for selecting coordinators. Discret. Appl. Math. Martin Zeiner, Ulrich Schmid, Krishnendu Chatterjee
2021	C	`conf`	Round-Oblivious Stabilizing Consensus in Dynamic Networks. SSS Manfred Schwarz, Ulrich Schmid
2021	J	`jnl`	The Involution Tool for Accurate Digital Timing and Power Analysis. Integr. Daniel Öhlinger, Jürgen Maier, Matthias Függer, Ulrich Schmid
2021	B	`conf`	Valency-Based Consensus Under Message Adversaries Without Limit-Closure. FCT Kyrill Winkler, Ulrich Schmid, Thomas Nowak
2020	J	`jnl`	A Faithful Binary Circuit Model with Adversarial Noise. CoRR Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2020	J	`jnl`	A Faithful Binary Circuit Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2020	J	`jnl`	Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andreas Pavlogiannis, Nico Schaumberger, Ulrich Schmid, Krishnendu Chatterjee
2020	B	`conf`	The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. PRIMA Thomas Schlögl, Ulrich Schmid, Roman Kuznets
2020	J	`jnl`	The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. CoRR Thomas Schlögl, Ulrich Schmid, Roman Kuznets
2019	A*	`conf`	2019 Principles of Distributed Computing Doctoral Dissertation Award. PODC Prasad Jayanti, Nancy A. Lynch, Boaz Patt-Shamir, Ulrich Schmid
2019	B	`conf`	A Characterization of Consensus Solvability for Closed Message Adversaries. OPODIS Kyrill Winkler, Ulrich Schmid, Yoram Moses
2019	C	`conf`	A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus. SSS Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid, Sergio Rajsbaum
2019	J	`jnl`	An Overview of Recent Results for Consensus in Directed Dynamic Networks. Bull. EATCS Kyrill Winkler, Ulrich Schmid
2019	B	`conf`	Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. TARK Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
2019	J	`jnl`	Consensus in rooted dynamic networks with short-lived stability. Distributed Comput. Kyrill Winkler, Manfred Schwarz, Ulrich Schmid
2019	—	`conf`	Epistemic Reasoning with Byzantine-Faulty Agents. FroCos Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
2019	J	`jnl`	On linear-time data dissemination in dynamic rooted trees. Discret. Appl. Math. Martin Zeiner, Manfred Schwarz, Ulrich Schmid
2019	—	`conf`	The Involution Tool for Accurate Digital Timingand Power Analysis. PATMOS Daniel Öhlinger, Jürgen Maier, Matthias Függer, Ulrich Schmid
2019	A*	`conf`	Topological Characterization of Consensus under General Message Adversaries. PODC Thomas Nowak, Ulrich Schmid, Kyrill Winkler
2019	J	`jnl`	Topological Characterization of Consensus under General Message Adversaries. CoRR Thomas Nowak, Ulrich Schmid, Kyrill Winkler
2019	—	`conf`	Transistor-Level Analysis of Dynamic Delay Models. ASYNC Jürgen Maier, Matthias Függer, Thomas Nowak, Ulrich Schmid
2018	A*	`conf`	2018 Edsger W. Dijkstra Prize in Distributed Computing. PODC Yehuda Afek, Idit Keidar, Boaz Patt-Shamir, Sergio Rajsbaum, Ulrich Schmid, Gadi Taubenfeld
2018	A	`ed.`	32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018 DISC Ulrich Schmid, Josef Widder
2018	A	`conf`	A faithful binary circuit model with adversarial noise. DATE Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2018	J	`jnl`	Automated competitive analysis of real-time scheduling with graph games. Real Time Syst. Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
2018	J	`jnl`	Gracefully degrading consensus and Theor. Comput. Sci. Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
2018	B	`conf`	On Knowledge and Communication Complexity in Distributed Systems. SIROCCO Daniel Pfleger, Ulrich Schmid
2018	B	`conf`	On the Strongest Message Adversary for Consensus in Directed Dynamic Networks. SIROCCO Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
2018	C	`conf`	Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures. IOLTS Martin Perner, Ulrich Schmid
2018	—	`conf`	Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
2018	J	`jnl`	Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
2017	J	`jnl`	A versatile architecture for long-term monitoring of single-event transient durations. Microprocess. Microsystems Varadan Savulimedu Veeravalli, Andreas Steininger, Ulrich Schmid
2017	J	`jnl`	Linear-Time Data Dissemination in Dynamic Networks. CoRR Manfred Schwarz, Martin Zeiner, Ulrich Schmid
2016	J	`jnl`	Consensus in Directed Dynamic Networks with Short-Lived Stability. CoRR Kyrill Winkler, Manfred Schwarz, Ulrich Schmid
2016	Misc	`conf`	Fast consensus under eventually stabilizing message adversaries. ICDCN Manfred Schwarz, Kyrill Winkler, Ulrich Schmid
2016	J	`jnl`	HEX: Scaling honeycombs is easier than scaling clock trees. J. Comput. Syst. Sci. Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid
2016	J	`jnl`	Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Trans. Computers Matthias Függer, Thomas Nowak, Ulrich Schmid
2015	J	`jnl`	Building reliable systems-on-chip in nanoscale technologies. Elektrotech. Informationstechnik Andreas Steininger, Horst Zimmermann, Axel Jantsch, Michael Hofbauer, Ulrich Schmid, Kurt Schweiger, Varadan Savulimedu Veeravalli
2015	—	`conf`	Experimental Validation of a Faithful Binary Circuit Model. ACM Great Lakes Symposium on VLSI Robert Najvirt, Ulrich Schmid, Michael Hofbauer, Matthias Függer, Thomas Nowak, Kurt Schweiger
2015	J	`jnl`	Fast Consensus under Eventually Stabilizing Message Adversaries. CoRR Manfred Schwarz, Kyrill Winkler, Ulrich Schmid
2015	J	`jnl`	Fault-tolerant Distributed Systems in Hardware. Bull. EATCS Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid, Andreas Steininger
2015	—	`conf`	Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks. NETYS Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
2015	J	`jnl`	Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks. CoRR Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
2015	J	`jnl`	The effect of forgetting on the performance of a synchronizer. Perform. Evaluation Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
2015	A	`conf`	Towards binary circuit models that faithfully capture physical solvability. DATE Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2014	A	`conf`	A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. RTSS Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
2014	J	`jnl`	A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. CoRR Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
2014	A*	`conf`	Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures. PODC Manfred Schwarz, Kyrill Winkler, Ulrich Schmid, Martin Biely, Peter Robinson
2014	J	`jnl`	Faithful Glitch Propagation in Binary Circuit Models. CoRR Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2014	J	`jnl`	Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation. J. ACM Danny Dolev, Matthias Függer, Ulrich Schmid, Christoph Lenzen
2014	—	`conf`	Measuring SET pulsewidths in logic gates using digital infrastructure. ISQED Varadan Savulimedu Veeravalli, Andreas Steininger, Ulrich Schmid
2014	J	`jnl`	Reconciling fault-tolerant distributed algorithms and real-time computing. Distributed Comput. Heinrich Moser, Ulrich Schmid
2014	J	`jnl`	Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. J. Comput. Syst. Sci. Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger, Christoph Lenzen
2014	J	`jnl`	The Generalized Loneliness Detector and Weak System Models for k-Set Agreement. IEEE Trans. Parallel Distributed Syst. Martin Biely, Peter Robinson, Ulrich Schmid
2014	—	`conf`	Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. SFM Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	J	`jnl`	An infrastructure for accurate characterization of single-event transients in digital circuits. Microprocess. Microsystems Varadan Savulimedu Veeravalli, Thomas Polzer, Ulrich Schmid, Andreas Steininger, Michael Hofbauer, Kurt Schweiger, Horst Dietrich, Kerstin Schneider-Hornstein, Horst Zimmermann, Kay-Obbe Voss, Bruno Merk, Michael Hajek
2013	—	`conf`	Automated analysis of real-time scheduling using graph games. HSCC Krishnendu Chatterjee, Alexander Kößler, Ulrich Schmid
2013	A*	`conf`	Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. PODC Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	C	`conf`	Efficient Construction of Global Time in SoCs Despite Arbitrary Faults. DSD Christoph Lenzen, Matthias Függer, Markus Hofstatter, Ulrich Schmid
2013	B	`conf`	HEX: scaling honeycombs is easier than scaling clock trees. SPAA Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid
2013	—	`conf`	Large-scale autostereoscopic outdoor display. SD&A Jörg Reitterer, Franz Fidler, Ferdinand Saint Julien-Wallsee, Gerhard Schmid, Wolfgang Gartner, Walter Leeb, Ulrich Schmid
2013	B	`conf`	Parameterized model checking of fault-tolerant distributed algorithms by abstraction. FMCAD Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	C	`conf`	The Effect of Forgetting on the Performance of a Synchronizer. ALGOSENSORS Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
2013	—	`conf`	Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. SPIN Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	—	`conf`	Unfaithful Glitch Propagation in Existing Binary Circuit Models. ASYNC Matthias Függer, Thomas Nowak, Ulrich Schmid
2013	J	`jnl`	Unfaithful Glitch Propagation in Existing Binary Circuit Models. CoRR Matthias Függer, Thomas Nowak, Ulrich Schmid
2012	J	`jnl`	Agreement in Directed Dynamic Networks CoRR Martin Biely, Peter Robinson, Ulrich Schmid
2012	B	`conf`	Agreement in Directed Dynamic Networks. SIROCCO Martin Biely, Peter Robinson, Ulrich Schmid
2012	C	`conf`	Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip. DSD Varadan Savulimedu Veeravalli, Thomas Polzer, Andreas Steininger, Ulrich Schmid
2012	J	`jnl`	Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms CoRR Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2012	J	`jnl`	FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs CoRR Danny Dolev, Matthias Függer, Christoph Lenzen, Markus Posch, Ulrich Schmid, Andreas Steininger
2012	J	`jnl`	Reconciling fault-tolerant distributed computing and systems-on-chip. Distributed Comput. Matthias Függer, Ulrich Schmid
2012	J	`jnl`	Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms CoRR Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2011	J	`jnl`	Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems CoRR Martin Biely, Peter Robinson, Ulrich Schmid
2011	B	`conf`	Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems. OPODIS Martin Biely, Peter Robinson, Ulrich Schmid
2011	A*	`conf`	Easy impossibility proofs for k-set agreement in message passing systems. PODC Martin Biely, Peter Robinson, Ulrich Schmid
2011	C	`conf`	Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract]. SSS Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
2011	J	`jnl`	Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation CoRR Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
2011	B	`conf`	Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing - (Extended Abstract). SIROCCO Heinrich Moser, Ulrich Schmid
2011	J	`jnl`	Solving k-Set Agreement with Stable Skeleton Graphs CoRR Martin Biely, Peter Robinson, Ulrich Schmid
2011	—	`conf`	Solving k-Set Agreement with Stable Skeleton Graphs. IPDPS Workshops Martin Biely, Peter Robinson, Ulrich Schmid
2011	J	`jnl`	Synchronous consensus under hybrid process and link failures. Theor. Comput. Sci. Martin Biely, Ulrich Schmid, Bettina Weiss
2011	J	`jnl`	The Asynchronous Bounded-Cycle model. Theor. Comput. Sci. Peter Robinson, Ulrich Schmid
2010	Misc	`conf`	How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. EDCC Matthias Függer, Andreas Dielacher, Ulrich Schmid
2010	—	`conf`	Synchrony and Time in Fault-Tolerant Distributed Algorithms - (Invited Tutorial). FORMATS Ulrich Schmid
2010	J	`jnl`	Topology control for fault-tolerant communication in wireless ad hoc networks. Wirel. Networks Bernd Thallner, Heinrich Moser, Ulrich Schmid
2009	A	`conf`	Brief Announcement: Weak Synchrony Models and Failure Detectors for Message Passing ( DISC Martin Biely, Peter Robinson, Ulrich Schmid
2009	A*	`conf`	Brief announcement: how to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. PODC Andreas Dielacher, Matthias Függer, Ulrich Schmid
2009	J	`jnl`	Chasing the Weakest System Model for Implementing Ω and Consensus. IEEE Trans. Dependable Secur. Comput. Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou
2009	J	`jnl`	Impossibility Results and Lower Bounds for Consensus under Link Failures. SIAM J. Comput. Ulrich Schmid, Bettina Weiss, Idit Keidar
2009	J	`jnl`	The Theta-Model: achieving synchrony without clocks. Distributed Comput. Josef Widder, Ulrich Schmid
2009	B	`conf`	Weak Synchrony Models and Failure Detectors for Message Passing ( OPODIS Martin Biely, Peter Robinson, Ulrich Schmid
2008	—	`conf`	08371 Abstracts Collection - Fault-Tolerant Distributed Algorithms on VLSI Chips. Fault-Tolerant Distributed Algorithms on VLSI Chips Bernadette Charron-Bost, Shlomi Dolev, Jo C. Ebergen, Ulrich Schmid
2008	—	`conf`	08371 Summary - Fault-Tolerant Distributed Algorithms on VLSI Chips. Fault-Tolerant Distributed Algorithms on VLSI Chips Bernadette Charron-Bost, Shlomi Dolev, Jo C. Ebergen, Ulrich Schmid
2008	—	`ed.`	Fault-Tolerant Distributed Algorithms on VLSI Chips, 07.09. - 10.09.2008 Fault-Tolerant Distributed Algorithms on VLSI Chips Bernadette Charron-Bost, Shlomi Dolev, Jo C. Ebergen, Ulrich Schmid
2008	C	`conf`	Keynote: Distributed Algorithms and VLSI. SSS Ulrich Schmid
2008	C	`conf`	Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip. DSD Gottfried Fuchs, Matthias Függer, Ulrich Schmid, Andreas Steininger
2008	B	`conf`	Optimal Deterministic Remote Clock Estimation in Real-Time Systems. OPODIS Heinrich Moser, Ulrich Schmid
2008	C	`conf`	The Asynchronous Bounded-Cycle Model. SSS Peter Robinson, Ulrich Schmid
2008	A*	`conf`	The asynchronous bounded-cycle model. PODC Peter Robinson, Ulrich Schmid
2007	J	`jnl`	Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Distributed Comput. Josef Widder, Ulrich Schmid
2007	J	`jnl`	FIT-IT-Projekt DARTS: dezentrale fehlertolerante Taktgenerierung. Elektrotech. Informationstechnik Ulrich Schmid, Andreas Steininger, Manfred Sust
2006	C	`conf`	Brief Announcement: Chasing the Weakest System Model for Implementing SSS Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou
2006	Misc	`conf`	Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. EDCC Matthias Függer, Ulrich Schmid, Gottfried Fuchs, Gerald Kempf
2006	B	`conf`	Optimal Clock Synchronization Revisited: Upper and Lower Bounds in Real-Time Systems. OPODIS Heinrich Moser, Ulrich Schmid
2005	Misc	`conf`	Failure Detection with Booting in Partially Synchronous Systems. EDCC Josef Widder, Gérard Le Lann, Ulrich Schmid
2005	A	`conf`	On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times. ICDCS Christof Fetzer, Ulrich Schmid, Martin Süßkraut
2005	—	`conf`	Proof-Based System Engineering Using a Virtual System Model. ISAS Martin Biely, Gérard Le Lann, Ulrich Schmid
2004	A*	`conf`	Brief announcement: on the possibility of consensus in asynchronous systems with finite average response times. PODC Christof Fetzer, Ulrich Schmid
2003	J	`jnl`	Interval-based clock synchronization with optimal precision. Inf. Comput. Ulrich Schmid, Klaus Schossmaier
2003	B	`conf`	Randomized Asynchronous Consensus with Imperfect Communications. SRDS Ulrich Schmid, Christof Fetzer
2002	A	`conf`	Formally Verified Byzantine Agreement in Presence of Link Faults. ICDCS Ulrich Schmid, Bettina Weiss, John M. Rushby
2001	J	`jnl`	Applied research: a scientist's perspective. Annu. Rev. Control. Ulrich Schmid
2001	B	`conf`	Consensus with Written Messages Under Link Faults. SRDS Bettina Weiss, Ulrich Schmid
2001	A	`conf`	How to Model Link Failures: A Perception-Based Fault Model. DSN Ulrich Schmid
2001	J	`jnl`	How to reconcile fault-tolerant interval intersection with the Lipschitz condition. Distributed Comput. Ulrich Schmid, Klaus Schossmaier
2000	J	`jnl`	A Network Time Interface M-Module for Distributing GPS-Time over LANs. Real Time Syst. Ulrich Schmid, Johann Klasek, Thomas Mandl, Herbert Nachtnebel, Gerhard R. Cadek, Nikolaus Kerö
2000	J	`jnl`	Orthogonal Accuracy Clock Synchronization. Chic. J. Theor. Comput. Sci. Ulrich Schmid
1999	B	`conf`	The SimUTC Fault-Tolerant Distributed Systems Simulation Toolkit. MASCOTS Bettina Weiss, Günther Gridling, Ulrich Schmid, Klaus Schossmaier
1998	—	`conf`	NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization. IPPS/SPDP Workshops Martin Horauer, Ulrich Schmid, Klaus Schossmaier
1998	B	`conf`	Real-Time Systems - Panel Overview. COMPSAC Wolfgang A. Halang, K. H. Kim, Kinji Mori, Ulrich Schmid, Horst F. Wedde
1997	J	`jnl`	Interval-based Clock Synchronization. Real Time Syst. Ulrich Schmid, Klaus Schossmaier
1997	J	`jnl`	Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Real Time Syst. Klaus Schossmaier, Ulrich Schmid, Martin Horauer, Dietmar Loy
1997	J	`jnl`	Static priority scheduling of aperiodic real-time tasks. Random Struct. Algorithms Ulrich Schmid
1995	J	`jnl`	On Nonpreemptive LCFS Scheduling with Deadlines. J. Algorithms Ulrich Schmid, Johann Blieberger
1995	J	`jnl`	Random Trees in Queueing Systems with Deadlines. Theor. Comput. Sci. Ulrich Schmid
1995	J	`jnl`	SSCMP: The Sequenced Synchronized Clock Message Protocol. Comput. Networks ISDN Syst. Ulrich Schmid, Alfred Pusterhofer
1994	J	`jnl`	Monitoring Distributed Real-Times. Real Time Syst. Ulrich Schmid
1993	J	`jnl`	Exponential Limiting Distributions in Queueing Systems with Deadlines. SIAM J. Appl. Math. Michael Drmota, Ulrich Schmid
1993	J	`jnl`	The Average CRI-Length of a Controlled ALOHA Collision Resolution Algorithm. Theor. Comput. Sci. Ulrich Schmid
1993	J	`jnl`	The analysis of the expected successful operation time of slotted Aloha. IEEE Trans. Inf. Theory Michael Drmota, Ulrich Schmid
1992	J	`jnl`	FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions. BIT Johann Blieberger, Ulrich Schmid
1992	—	`conf`	Monitoring of Distributed Real-Time Systems. NATO ASI RTC Ulrich Schmid
1992	J	`jnl`	On a tree collision resolution algorithm in presence of capture. RAIRO Theor. Informatics Appl. Ulrich Schmid
1992	J	`jnl`	Preemptive LCFS Scheduling in Hard Real-Time Applications. Perform. Evaluation Johann Blieberger, Ulrich Schmid
1992	J	`jnl`	Some Investigations on FCFS Scheduling in Hard Real Time Applications. J. Comput. Syst. Sci. Ulrich Schmid, Johann Blieberger
1992	A*	`conf`	The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects. ICALP Ulrich Schmid
1992	—	`conf`	The Role of Standards in Real-Time Computing. NATO ASI RTC Ulrich Schmid