Skip to main content

A Theory of Reliable Hardware

Deliverables

Publications

PALS: Plesiochronous and Locally Synchronous Systems

Author(s): Johannes Bund, Matthias Fugger, Christoph Lenzen, Moti Medina, Will Rosenbaum
Published in: 2020 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2020, Page(s) 36-43, ISBN 978-1-7281-5495-4
Publisher: IEEE
DOI: 10.1109/async49171.2020.00013

On the complexity of hazard-free circuits

Author(s): Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
Published in: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2018, 2018, Page(s) 878-889, ISBN 9781-450355599
Publisher: ACM Press
DOI: 10.1145/3188745.3188912

Optimal metastability-containing sorting networks

Author(s): Johannes Bund, Christoph Lenzen, Moti Medina
Published in: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, Page(s) 521-526, ISBN 978-3-9819263-0-9
Publisher: IEEE
DOI: 10.23919/DATE.2018.8342063

Self-Stabilising Byzantine Clock Synchronisation is Almost as Easy as Consensus

Author(s): Christoph Lenzen and Joel Rybicki
Published in: 31st International Symposium on Distributed Computing (DISC 2017), 2018, Page(s) 32:1--32:15, ISBN 978-3-95977-053-8
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.DISC.2017.32

Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance

Author(s): Matthias Fuegger, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Published in: 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2018, Page(s) 68-77, ISBN 978-1-5386-5883-3
Publisher: IEEE
DOI: 10.1109/async.2018.00025

Fault Tolerant Gradient Clock Synchronization

Author(s): Johannes Bund, Christoph Lenzen, Will Rosenbaum
Published in: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing - PODC '19, 2019, Page(s) 357-365, ISBN 9781-450362177
Publisher: ACM Press
DOI: 10.1145/3293611.3331637

PALS: Plesiochronous and Locally Synchronous Systems

Author(s): Johannes Bund, Matthias Fuegger, Christoph Lenzen, Moti Medina, Will Rosenbaum
Published in: 2020
Publisher: IEEE

Synchronizer-Free Digital Link Controller

Author(s): Johannes Bund, Matthias Fugger, Christoph Lenzen, Moti Medina
Published in: IEEE Transactions on Circuits and Systems I: Regular Papers, 67/10, 2020, Page(s) 3562-3573, ISSN 1549-8328
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcsi.2020.2989552

Metastability-Containing Circuits

Author(s): Stephan Friedrichs, Matthias Fugger, Christoph Lenzen
Published in: IEEE Transactions on Computers, 2018, Page(s) 1-1, ISSN 0018-9340
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TC.2018.2808185

Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus

Author(s): Christoph Lenzen, Joel Rybicki
Published in: Journal of the ACM, 66/5, 2019, Page(s) 1-56, ISSN 0004-5411
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3339471

On the Complexity of Hazard-free Circuits

Author(s): Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
Published in: Journal of the ACM, 66/4, 2019, Page(s) 1-20, ISSN 0004-5411
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3320123

Optimal Metastability-Containing Sorting via Parallel Prefix Computation

Author(s): Johannes Bund, Christoph Lenzen, Moti Medina
Published in: IEEE Transactions on Computers, 69/2, 2020, Page(s) 198-211, ISSN 0018-9340
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2019.2939818

Small Hazard-free Transducers

Author(s): Johannes Bund, Christoph Lenzen, Moti Medina
Published in: 2018
Publisher: N/A (under submission)