Ulrich Schmid
Orcid: 0000-0001-9831-8583Affiliations:
- TU Wien, Faculty of Informatics, Vienna, Austria
According to our database1,
Ulrich Schmid
authored at least 138 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs.
CoRR, 2024
A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems.
CoRR, 2024
2023
The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems.
Minds Mach., June, 2023
Dagstuhl Reports, 2023
CoRR, 2023
A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems.
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023
Proceedings of the 14th Innovations in Theoretical Computer Science Conference, 2023
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023
Proceedings of the 26th Euromicro Conference on Digital System Design, 2023
Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023
2022
Time Complexity of Consensus in Dynamic Networks Under Oblivious Message Adversaries.
CoRR, 2022
Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
Proceedings of the Principles of Systems Design, 2022
2021
Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021
Proceedings of the GLSVLSI '21: Great Lakes Symposium on VLSI 2021, 2021
Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020
2019
Bull. EATCS, 2019
Distributed Comput., 2019
Discret. Appl. Math., 2019
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019
Proceedings of the 29th International Symposium on Power and Timing Modeling, 2019
Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019
Proceedings of the 25th IEEE International Symposium on Asynchronous Circuits and Systems, 2019
2018
Gracefully degrading consensus and <i>k</i>-set agreement in directed dynamic networks.
Theor. Comput. Sci., 2018
Real Time Syst., 2018
Proceedings of the Structural Information and Communication Complexity, 2018
Proceedings of the Structural Information and Communication Complexity, 2018
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018
Proceedings of the 24th IEEE International Symposium on On-Line Testing And Robust System Design, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
A versatile architecture for long-term monitoring of single-event transient durations.
Microprocess. Microsystems, 2017
2016
IEEE Trans. Computers, 2016
J. Comput. Syst. Sci., 2016
Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016
2015
Perform. Evaluation, 2015
Elektrotech. Informationstechnik, 2015
Proceedings of the Networked Systems - Third International Conference, 2015
Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
2014
IEEE Trans. Parallel Distributed Syst., 2014
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip.
J. Comput. Syst. Sci., 2014
Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation.
J. ACM, 2014
Distributed Comput., 2014
Proceedings of the Formal Methods for Executable Software Models, 2014
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014
Proceedings of the Fifteenth International Symposium on Quality Electronic Design, 2014
2013
An infrastructure for accurate characterization of single-event transients in digital circuits.
Microprocess. Microsystems, 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
Parameterized model checking of fault-tolerant distributed algorithms by abstraction.
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Stereoscopic Displays and Applications XXIV, 2013
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013
2012
Distributed Comput., 2012
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
CoRR, 2012
CoRR, 2012
CoRR, 2012
Proceedings of the Structural Information and Communication Complexity, 2012
Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
2011
Theor. Comput. Sci., 2011
Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract].
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011
Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing - (Extended Abstract).
Proceedings of the Structural Information and Communication Complexity, 2011
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
2010
Wirel. Networks, 2010
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining.
Proceedings of the Eighth European Dependable Computing Conference, 2010
2009
IEEE Trans. Dependable Secur. Comput., 2009
SIAM J. Comput., 2009
Brief Announcement: Weak Synchrony Models and Failure Detectors for Message Passing (<i>k</i>-)Set Agreement.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009
Brief announcement: how to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining.
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
Weak Synchrony Models and Failure Detectors for Message Passing (<i>k</i>-)Set Agreement.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009
2008
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008
Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008
Proceedings of the Fault-Tolerant Distributed Algorithms on VLSI Chips, 07.09., 2008
Proceedings of the Fault-Tolerant Distributed Algorithms on VLSI Chips, 07.09., 2008
2007
Elektrotech. Informationstechnik, 2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures.
Distributed Comput., 2007
2006
Brief Announcement: Chasing the Weakest System Model for Implementing <i>Omega</i> and Consensus.
Proceedings of the Stabilization, 2006
Optimal Clock Synchronization Revisited: Upper and Lower Bounds in Real-Time Systems.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006
Proceedings of the Sixth European Dependable Computing Conference, 2006
2005
Proceedings of the Service Availability, 2005
On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times.
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005
Proceedings of the Dependable Computing, 2005
2004
Brief announcement: on the possibility of consensus in asynchronous systems with finite average response times.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004
2003
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003
2002
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002
2001
Distributed Comput., 2001
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001
2000
Real Time Syst., 2000
1999
Proceedings of the MASCOTS 1999, 1999
1998
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998
1997
Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU).
Real Time Syst., 1997
Random Struct. Algorithms, 1997
1995
Comput. Networks ISDN Syst., 1995
1994
1993
IEEE Trans. Inf. Theory, 1993
Theor. Comput. Sci., 1993
SIAM J. Appl. Math., 1993
1992
J. Comput. Syst. Sci., 1992
RAIRO Theor. Informatics Appl., 1992
BIT, 1992
Proceedings of the Real Time Computing, 1992
Proceedings of the Real Time Computing, 1992
The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992