Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

A Theory of Reliable Hardware

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

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 Specifications and Proofs of Timed Circuits

Author(s): Matthias Fuegger, Christoph Lenzen, Ulrich Schmid
Published in: Thomas Henzinger Festschrift - Conference celebrating his 60th birthday, 2023
Publisher: Springer

G-SINC: Global Synchronization Infrastructure for Network Clocks

Author(s): Marc Frei, Jonghoon Kwon, Seyedali Tabaeiaghdaei, Marc Wyss, Christoph Lenzen, Adrian Perrig
Published in: IEEE International Symposium on Reliable Distributed Systems (SRDS), 2022
Publisher: IEEE

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

Small Hazard-free Transducers

Author(s): Johannes Bund, Christoph Lenzen, Moti Medina
Published in: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2018, Page(s) 32:1--32:24, ISBN 978-3-95977-217-4
Publisher: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.32

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

Optimal Clock Synchronization with Signatures

Author(s): Christoph Lenzen, Julian Loss
Published in: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, 2022
Publisher: ACM
DOI: 10.1145/3519270.3538444

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, Issue 67/10, 2020, Page(s) 3562-3573, ISSN 1549-8328
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcsi.2020.2989552

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

Author(s): Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Issue Volume: 41, Issue: 8, 2021, Page(s) 2518 - 2531, ISSN 1937-4151
Publisher: IEEE
DOI: 10.1109/tcad.2021.3097599

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, Issue 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, Issue 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, Issue 69/2, 2020, Page(s) 198-211, ISSN 0018-9340
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2019.2939818

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available