Matthias Függer

, 2022

2021

Tight Bounds for Asymptotic and Approximate Consensus.

[BibT_eX]

[DOI]

Manfred Schwarz

J. ACM, 2021

The Involution Tool for Accurate Digital Timing and Power Analysis.

[BibT_eX]

[DOI]

Integr., 2021

Reaching Agreement in Competitive Microbial Systems.

[BibT_eX]

[DOI]

CoRR, 2021

A Composable Glitch-Aware Delay Model.

[BibT_eX]

[DOI]

Proceedings of the GLSVLSI '21: Great Lakes Symposium on VLSI 2021, 2021

2020

Synchronizer-Free Digital Link Controller.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst., 2020

A Faithful Binary Circuit Model.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

On the radius of nonsplit graphs and information dissemination in dynamic networks.

[BibT_eX]

[DOI]

Kyrill Winkler

Discret. Appl. Math., 2020

Synthesis in Presence of Dynamic Links.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Symposium on Games, 2020

PALS: Plesiochronous and Locally Synchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2019

The Involution Tool for Accurate Digital Timingand Power Analysis.

[BibT_eX]

[DOI]

Proceedings of the 29th International Symposium on Power and Timing Modeling, 2019

Transistor-Level Analysis of Dynamic Delay Models.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Asynchronous Circuits and Systems, 2019

2018

Metastability-Containing Circuits.

[BibT_eX]

[DOI]

Stephan Friedrichs

Christoph Lenzen

IEEE Trans. Computers, 2018

Fast Multidimensional Asymptotic and Approximate Consensus.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

A faithful binary circuit model with adversarial noise.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

New transience bounds for max-plus linear systems.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2017

Lower Bounds for Asymptotic Consensus in Dynamic Networks.

[BibT_eX]

[DOI]

Manfred Schwarz

CoRR, 2017

Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks.

[BibT_eX]

[DOI]

Manfred Schwarz

Proceedings of the 31st International Symposium on Distributed Computing, 2017

Metastability Tolerant Computing.

[BibT_eX]

[DOI]

Ghaith Tarawneh

Christoph Lenzen

Proceedings of the 23rd IEEE International Symposium on Asynchronous Circuits and Systems, 2017

Metastability-Aware Memory-Efficient Time-to-Digital Converters.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Asynchronous Circuits and Systems, 2017

2016

Unfaithful Glitch Propagation in Existing Binary Circuit Models.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

HEX: Scaling honeycombs is easier than scaling clock trees.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2016

Multidimensional Asymptotic Consensus in Dynamic Networks.

[BibT_eX]

[DOI]

CoRR, 2016

Fast, Robust, Quantizable Approximate Consensus.

[BibT_eX]

[DOI]

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015

Time Complexity of Link Reversal Routing.

[BibT_eX]

[DOI]

ACM Trans. Algorithms, 2015

The effect of forgetting on the performance of a synchronizer.

[BibT_eX]

[DOI]

Perform. Evaluation, 2015

Fault-tolerant Distributed Systems in Hardware.

[BibT_eX]

[DOI]

Bull. EATCS, 2015

Amortized Averaging Algorithms for Approximate Consensus.

[BibT_eX]

[DOI]

CoRR, 2015

A Proof of the Convergence of the Hegselmann-Krause Dynamics on the Circle.

[BibT_eX]

[DOI]

CoRR, 2015

Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Experimental Validation of a Faithful Binary Circuit Model.

[BibT_eX]

[DOI]

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

Towards binary circuit models that faithfully capture physical solvability.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Diffusive clock synchronization in highly dynamic networks.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Conference on Information Sciences and Systems, 2015

2014

Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2014

Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation.

[BibT_eX]

[DOI]

J. ACM, 2014

Runtime verification of embedded real-time systems.

[BibT_eX]

[DOI]

Thomas Reinbacher

Jörg Brauer

Formal Methods Syst. Des., 2014

Faithful Glitch Propagation in Binary Circuit Models.

[BibT_eX]

[DOI]

CoRR, 2014

Approximate Consensus in Highly Dynamic Networks.

[BibT_eX]

[DOI]

CoRR, 2014

2013

On the performance of a retransmission-based synchronizer.

[BibT_eX]

[DOI]

Alexander Kößler

Theor. Comput. Sci., 2013

Transience Bounds for Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Efficient Construction of Global Time in SoCs Despite Arbitrary Faults.

[BibT_eX]

[DOI]

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Reconciling fault-tolerant distributed computing and systems-on-chip.

[BibT_eX]

[DOI]

Distributed Comput., 2012

New Transience Bounds for Long Walks

[BibT_eX]

[DOI]

CoRR, 2012

FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs

[BibT_eX]

[DOI]

CoRR, 2012

Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Real-Time Runtime Verification on Chip.

[BibT_eX]

[DOI]

Thomas Reinbacher

Jörg Brauer

Proceedings of the Runtime Verification, Third International Conference, 2012

Efficient Checking of Link-Reversal-Based Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

On the Transience of Linear Max-Plus Dynamical Systems

[BibT_eX]

[DOI]

CoRR, 2011

Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract].

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Brief announcement: full reversal routing as a linear dynamical system.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011

Partial is Full.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2011

Full Reversal Routing as a Linear Dynamical System.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2011

2010

How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining.

[BibT_eX]

[DOI]

Andreas Dielacher

Proceedings of the Eighth European Dependable Computing Conference, 2010

2009

Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - a Combined Formal & Experimental Approach.

[BibT_eX]

[DOI]

Eric Armengaud

Andreas Steininger

IEEE Trans. Ind. Informatics, 2009

Brief announcement: how to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining.

[BibT_eX]

[DOI]

Andreas Dielacher

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme.

[BibT_eX]

[DOI]

Gottfried Fuchs

Andreas Steininger

Proceedings of the 15th IEEE Symposium on Asynchronous Circuits and Systems, 2009

2008

Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip.

[BibT_eX]

[DOI]

Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

2006

Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip.

[BibT_eX]

[DOI]

Proceedings of the Sixth European Dependable Computing Conference, 2006

2004

Embedded Real-Time-Tracer - An Approach with IDE.

[BibT_eX]

Babak Rahbaran