Ulrich Schmid

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 73

Top Venues

Publications

Hugo Rincon Galeana, Ulrich Schmid
Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems. SIROCCO (2024)
Arman Ferdowsi, Matthias Függer, Thomas Nowak, Michael Drmota, Ulrich Schmid
Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs. CoRR (2024)
Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems. CoRR (2024)
Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
A Hybrid Delay Model for Interconnected Multi-Input Gates. CoRR (2024)
Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. IJCAR (2) (2024)
Kyrill Winkler, Ami Paz, Hugo Rincon Galeana, Stefan Schmid, Ulrich Schmid
The Time Complexity of Consensus Under Oblivious Message Adversaries. Algorithmica 86 (6) (2024)
Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). Dagstuhl Reports 13 (7) (2023)
Arman Ferdowsi, Ulrich Schmid, Josef Salzmann
Accurate Hybrid Delay Models for Dynamic Timing Analysis. ICCAD (2023)
Kyrill Winkler, Ami Paz, Hugo Rincon Galeana, Stefan Schmid, Ulrich Schmid
The Time Complexity of Consensus Under Oblivious Message Adversaries. ITCS (2023)
Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. CoRR (2023)
Daniel Öhlinger, Ulrich Schmid
A Digital Delay Model Supporting Large Adversarial Delay Variations. CoRR (2023)
Daniel Öhlinger, Ulrich Schmid
A Digital Delay Model Supporting Large Adversarial Delay Variations. DDECS (2023)
Giorgio Cignarale, Roman Kuznets, Hugo Rincon Galeana, Ulrich Schmid
Logic of Communication Interpretation: How to Not Get Lost in Translation. FroCoS (2023)
Hugo Rincon Galeana, Ulrich Schmid, Kyrill Winkler, Ami Paz, Stefan Schmid
Topological Characterization of Consensus Solvability in Directed Dynamic Networks. CoRR (2023)
Giorgio Cignarale, Ulrich Schmid, Tuomas E. Tahko, Roman Kuznets
The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. Minds Mach. 33 (2) (2023)
Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
A Hybrid Delay Model for Interconnected Multi-Input Gates. DSD (2023)
Thomas Schlögl, Ulrich Schmid
A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. CoRR (2023)
Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. HSCC (2023)
Matthias Függer, Christoph Lenzen, Ulrich Schmid
On Specifications and Proofs of Timed Circuits. CoRR (2022)
Arman Ferdowsi, Ulrich Schmid, Josef Salzmann
An Accurate Hybrid Delay Model for Multi-Input Gates. CoRR (2022)
Arman Ferdowsi, Jürgen Maier, Daniel Öhlinger, Ulrich Schmid
A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate. DATE (2022)
Ami Paz, Hugo Rincon Galeana, Stefan Schmid, Ulrich Schmid, Kyrill Winkler
Time Complexity of Consensus in Dynamic Networks Under Oblivious Message Adversaries. CoRR (2022)
Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid
Continuous Tasks and the Asynchronous Computability Theorem. ITCS (2022)
Matthias Függer, Christoph Lenzen, Ulrich Schmid
On Specifications and Proofs of Timed Circuits. Principles of Systems Design (2022)
Kyrill Winkler, Ulrich Schmid, Thomas Nowak
Valency-Based Consensus Under Message Adversaries Without Limit-Closure. FCT (2021)
Martin Zeiner, Ulrich Schmid, Krishnendu Chatterjee
Optimal strategies for selecting coordinators. Discret. Appl. Math. 289 (2021)
Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, Thomas Nowak
A Composable Glitch-Aware Delay Model. CoRR (2021)
Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid
Continuous Tasks and the Chromatic Simplicial Approximation Theorem. CoRR (2021)
Manfred Schwarz, Ulrich Schmid
Round-Oblivious Stabilizing Consensus in Dynamic Networks. SSS (2021)
Daniel Öhlinger, Jürgen Maier, Matthias Függer, Ulrich Schmid
The Involution Tool for Accurate Digital Timing and Power Analysis. Integr. 76 (2021)
Arman Ferdowsi, Jürgen Maier, Daniel Öhlinger, Ulrich Schmid
A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate. CoRR (2021)
Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, Thomas Nowak
A Composable Glitch-Aware Delay Model. ACM Great Lakes Symposium on VLSI (2021)
Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
Fire! TARK (2021)
Andreas Pavlogiannis, Nico Schaumberger, Ulrich Schmid, Krishnendu Chatterjee
Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Thomas Schlögl, Ulrich Schmid, Roman Kuznets
The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. PRIMA (2020)
Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
A Faithful Binary Circuit Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (10) (2020)
Thomas Schlögl, Ulrich Schmid, Roman Kuznets
The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. CoRR (2020)
Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
A Faithful Binary Circuit Model with Adversarial Noise. CoRR (2020)
Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems. TARK (2019)
Kyrill Winkler, Manfred Schwarz, Ulrich Schmid
Consensus in rooted dynamic networks with short-lived stability. Distributed Comput. 32 (5) (2019)
Prasad Jayanti, Nancy A. Lynch, Boaz Patt-Shamir, Ulrich Schmid
2019 Principles of Distributed Computing Doctoral Dissertation Award. PODC (2019)
Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
Epistemic Reasoning with Byzantine-Faulty Agents. FroCos (2019)
Jürgen Maier, Matthias Függer, Thomas Nowak, Ulrich Schmid
Transistor-Level Analysis of Dynamic Delay Models. ASYNC (2019)
Kyrill Winkler, Ulrich Schmid, Yoram Moses
A Characterization of Consensus Solvability for Closed Message Adversaries. OPODIS (2019)
Daniel Öhlinger, Jürgen Maier, Matthias Függer, Ulrich Schmid
The Involution Tool for Accurate Digital Timingand Power Analysis. PATMOS (2019)
Kyrill Winkler, Ulrich Schmid
An Overview of Recent Results for Consensus in Directed Dynamic Networks. Bull. EATCS 128 (2019)
Thomas Nowak, Ulrich Schmid, Kyrill Winkler
Topological Characterization of Consensus under General Message Adversaries. CoRR (2019)
Martin Zeiner, Manfred Schwarz, Ulrich Schmid
On linear-time data dissemination in dynamic rooted trees. Discret. Appl. Math. 255 (2019)
Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid, Sergio Rajsbaum
A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus. SSS (2019)
Thomas Nowak, Ulrich Schmid, Kyrill Winkler
Topological Characterization of Consensus under General Message Adversaries. PODC (2019)
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR (2018)
Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
-set agreement in directed dynamic networks. Theor. Comput. Sci. 726 (2018)
Martin Perner, Ulrich Schmid
Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures. IOLTS (2018)
Yehuda Afek, Idit Keidar, Boaz Patt-Shamir, Sergio Rajsbaum, Ulrich Schmid, Gadi Taubenfeld
2018 Edsger W. Dijkstra Prize in Distributed Computing. PODC (2018)
Daniel Pfleger, Ulrich Schmid
On Knowledge and Communication Complexity in Distributed Systems. SIROCCO (2018)
Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
Automated competitive analysis of real-time scheduling with graph games. Real Time Syst. 54 (1) (2018)
Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
A faithful binary circuit model with adversarial noise. DATE (2018)
Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
On the Strongest Message Adversary for Consensus in Directed Dynamic Networks. SIROCCO (2018)
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS (2018)
Varadan Savulimedu Veeravalli, Andreas Steininger, Ulrich Schmid
A versatile architecture for long-term monitoring of single-event transient durations. Microprocess. Microsystems 53 (2017)
Manfred Schwarz, Martin Zeiner, Ulrich Schmid
Linear-Time Data Dissemination in Dynamic Networks. CoRR (2017)
Kyrill Winkler, Manfred Schwarz, Ulrich Schmid
Consensus in Directed Dynamic Networks with Short-Lived Stability. CoRR (2016)
Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid
HEX: Scaling honeycombs is easier than scaling clock trees. J. Comput. Syst. Sci. 82 (5) (2016)
Manfred Schwarz, Kyrill Winkler, Ulrich Schmid
Fast consensus under eventually stabilizing message adversaries. ICDCN (2016)
Matthias Függer, Thomas Nowak, Ulrich Schmid
Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Trans. Computers 65 (3) (2016)
Robert Najvirt, Ulrich Schmid, Michael Hofbauer, Matthias Függer, Thomas Nowak, Kurt Schweiger
Experimental Validation of a Faithful Binary Circuit Model. ACM Great Lakes Symposium on VLSI (2015)
Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks. CoRR (2015)
Martin Biely, Peter Robinson, Ulrich Schmid, Manfred Schwarz, Kyrill Winkler
Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks. NETYS (2015)
Andreas Steininger, Horst Zimmermann, Axel Jantsch, Michael Hofbauer, Ulrich Schmid, Kurt Schweiger, Varadan Savulimedu Veeravalli
Building reliable systems-on-chip in nanoscale technologies. Elektrotech. Informationstechnik 132 (6) (2015)
Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
The effect of forgetting on the performance of a synchronizer. Perform. Evaluation 93 (2015)
Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
Towards binary circuit models that faithfully capture physical solvability. DATE (2015)
Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid, Andreas Steininger
Fault-tolerant Distributed Systems in Hardware. Bull. EATCS 116 (2015)
Manfred Schwarz, Kyrill Winkler, Ulrich Schmid
Fast Consensus under Eventually Stabilizing Message Adversaries. CoRR (2015)
Manfred Schwarz, Kyrill Winkler, Ulrich Schmid, Martin Biely, Peter Robinson
Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures. PODC (2014)
Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. SFM (2014)
Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
Faithful Glitch Propagation in Binary Circuit Models. CoRR (2014)
Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger, Christoph Lenzen
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. J. Comput. Syst. Sci. 80 (4) (2014)
Martin Biely, Peter Robinson, Ulrich Schmid
The Generalized Loneliness Detector and Weak System Models for k-Set Agreement. IEEE Trans. Parallel Distributed Syst. 25 (4) (2014)
Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. RTSS (2014)
Heinrich Moser, Ulrich Schmid
Reconciling fault-tolerant distributed algorithms and real-time computing. Distributed Comput. 27 (3) (2014)
Danny Dolev, Matthias Függer, Ulrich Schmid, Christoph Lenzen
Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation. J. ACM 61 (5) (2014)
Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. CoRR (2014)
Varadan Savulimedu Veeravalli, Andreas Steininger, Ulrich Schmid
Measuring SET pulsewidths in logic gates using digital infrastructure. ISQED (2014)
Krishnendu Chatterjee, Alexander Kößler, Ulrich Schmid
Automated analysis of real-time scheduling using graph games. HSCC (2013)
Matthias Függer, Thomas Nowak, Ulrich Schmid
Unfaithful Glitch Propagation in Existing Binary Circuit Models. ASYNC (2013)
Matthias Függer, Thomas Nowak, Ulrich Schmid
Unfaithful Glitch Propagation in Existing Binary Circuit Models. CoRR (2013)
Jörg Reitterer, Franz Fidler, Ferdinand Saint Julien-Wallsee, Gerhard Schmid, Wolfgang Gartner, Walter Leeb, Ulrich Schmid
Large-scale autostereoscopic outdoor display. SD&A (2013)
Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
The Effect of Forgetting on the Performance of a Synchronizer. ALGOSENSORS (2013)
Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid
HEX: scaling honeycombs is easier than scaling clock trees. SPAA (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. PODC (2013)
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
An infrastructure for accurate characterization of single-event transients in digital circuits. Microprocess. Microsystems 37 (8-A) (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Parameterized model checking of fault-tolerant distributed algorithms by abstraction. FMCAD (2013)
Christoph Lenzen, Matthias Függer, Markus Hofstatter, Ulrich Schmid
Efficient Construction of Global Time in SoCs Despite Arbitrary Faults. DSD (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. SPIN (2013)
Danny Dolev, Matthias Függer, Christoph Lenzen, Markus Posch, Ulrich Schmid, Andreas Steininger
FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs CoRR (2012)
Varadan Savulimedu Veeravalli, Thomas Polzer, Andreas Steininger, Ulrich Schmid
Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip. DSD (2012)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms CoRR (2012)
Martin Biely, Peter Robinson, Ulrich Schmid
Agreement in Directed Dynamic Networks. SIROCCO (2012)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms CoRR (2012)
Matthias Függer, Ulrich Schmid
Reconciling fault-tolerant distributed computing and systems-on-chip. Distributed Comput. 24 (6) (2012)

Ulrich Schmid.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ulrich Schmid