Embedded Real-Time-Tracer - An Approach with IDE. - Babak Rahbaran; Matthias Függer; Andreas Steininger (WISES, 2004)

Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. - Matthias Függer; Ulrich Schmid 001; Gottfried Fuchs; Gerald Kempf (EDCC, 2006)

Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip. - Gottfried Fuchs; Matthias Függer; Ulrich Schmid 001; Andreas Steininger (DSD, 2008)

On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme. - Gottfried Fuchs; Matthias Függer; Andreas Steininger (ASYNC, 2009)

Brief announcement: how to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. - Andreas Dielacher; Matthias Függer; Ulrich Schmid 001 (PODC, 2009)

Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - a Combined Formal & Experimental Approach. - Matthias Függer; Eric Armengaud; Andreas Steininger (IEEE Trans. Ind. Informatics, 2009)

How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. - Matthias Függer; Andreas Dielacher; Ulrich Schmid 001 (EDCC, 2010)

Full Reversal Routing as a Linear Dynamical System. - Bernadette Charron-Bost; Matthias Függer; Jennifer L. Welch; Josef Widder (SIROCCO, 2011)

Partial is Full. - Bernadette Charron-Bost; Matthias Függer; Jennifer L. Welch; Josef Widder (SIROCCO, 2011)

Brief announcement: full reversal routing as a linear dynamical system. - Bernadette Charron-Bost; Matthias Függer; Jennifer L. Welch; Josef Widder (SPAA, 2011)

Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract]. - Danny Dolev; Matthias Függer; Christoph Lenzen 001; Ulrich Schmid 001 (SSS, 2011)

On the Transience of Linear Max-Plus Dynamical Systems - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (CoRR, 2011)

Efficient Checking of Link-Reversal-Based Concurrent Systems. - Matthias Függer; Josef Widder (CONCUR, 2012)

Real-Time Runtime Verification on Chip. - Thomas Reinbacher; Matthias Függer; Jörg Brauer (RV, 2012)

Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer. - Matthias Függer; Alexander Kößler; Thomas Nowak; Martin Zeiner (SSS, 2012)

FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs - Danny Dolev; Matthias Függer; Christoph Lenzen 001; Markus Posch; Ulrich Schmid 001; Andreas Steininger (CoRR, 2012)

New Transience Bounds for Long Walks - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (CoRR, 2012)

Reconciling fault-tolerant distributed computing and systems-on-chip. - Matthias Függer; Ulrich Schmid 001 (Distributed Comput., 2012)

Efficient Construction of Global Time in SoCs Despite Arbitrary Faults. - Christoph Lenzen 001; Matthias Függer; Markus Hofstatter; Ulrich Schmid 001 (DSD, 2013)

Transience Bounds for Distributed Algorithms. - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (FORMATS, 2013)

On the performance of a retransmission-based synchronizer. - Thomas Nowak; Matthias Függer; Alexander Kößler (Theor. Comput. Sci., 2013)

Approximate Consensus in Highly Dynamic Networks. - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (CoRR, 2014)

Faithful Glitch Propagation in Binary Circuit Models. - Matthias Függer; Robert Najvirt; Thomas Nowak; Ulrich Schmid 001 (CoRR, 2014)

Runtime verification of embedded real-time systems. - Thomas Reinbacher; Matthias Függer; Jörg Brauer (Formal Methods Syst. Des., 2014)

Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation. - Danny Dolev; Matthias Függer; Ulrich Schmid 001; Christoph Lenzen 001 (J. ACM, 2014)

Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. - Danny Dolev; Matthias Függer; Markus Posch; Ulrich Schmid 001; Andreas Steininger; Christoph Lenzen 001 (J. Comput. Syst. Sci., 2014)

Diffusive clock synchronization in highly dynamic networks. - Matthias Függer; Thomas Nowak; Bernadette Charron-Bost (CISS, 2015)

Towards binary circuit models that faithfully capture physical solvability. - Matthias Függer; Robert Najvirt; Thomas Nowak; Ulrich Schmid 001 (DATE, 2015)

Experimental Validation of a Faithful Binary Circuit Model. - Robert Najvirt; Ulrich Schmid 001; Michael Hofbauer; Matthias Függer; Thomas Nowak; Kurt Schweiger (ACM Great Lakes Symposium on VLSI, 2015)

Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms. - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (ICALP (2), 2015)

A Proof of the Convergence of the Hegselmann-Krause Dynamics on the Circle. - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (CoRR, 2015)

Amortized Averaging Algorithms for Approximate Consensus. - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (CoRR, 2015)

Fault-tolerant Distributed Systems in Hardware. - Danny Dolev; Matthias Függer; Christoph Lenzen 001; Ulrich Schmid 001; Andreas Steininger (Bull. EATCS, 2015)

The effect of forgetting on the performance of a synchronizer. - Matthias Függer; Alexander Kößler; Thomas Nowak; Ulrich Schmid 001; Martin Zeiner (Perform. Evaluation, 2015)

Time Complexity of Link Reversal Routing. - Bernadette Charron-Bost; Matthias Függer; Jennifer L. Welch; Josef Widder (ACM Trans. Algorithms, 2015)

Fast, Robust, Quantizable Approximate Consensus. - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (ICALP, 2016)

Multidimensional Asymptotic Consensus in Dynamic Networks. - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (CoRR, 2016)

HEX: Scaling honeycombs is easier than scaling clock trees. - Danny Dolev; Matthias Függer; Christoph Lenzen 001; Martin Perner; Ulrich Schmid 001 (J. Comput. Syst. Sci., 2016)

Unfaithful Glitch Propagation in Existing Binary Circuit Models. - Matthias Függer; Thomas Nowak; Ulrich Schmid 001 (IEEE Trans. Computers, 2016)

Metastability-Aware Memory-Efficient Time-to-Digital Converters. - Matthias Függer; Attila Kinali; Christoph Lenzen 001; Thomas Polzer (ASYNC, 2017)

Metastability Tolerant Computing. - Ghaith Tarawneh; Matthias Függer; Christoph Lenzen 001 (ASYNC, 2017)

Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks. - Matthias Függer; Thomas Nowak; Manfred Schwarz (DISC, 2017)

Lower Bounds for Asymptotic Consensus in Dynamic Networks. - Matthias Függer; Thomas Nowak; Manfred Schwarz (CoRR, 2017)

New transience bounds for max-plus linear systems. - Bernadette Charron-Bost; Matthias Függer; Thomas Nowak (Discret. Appl. Math., 2017)

A faithful binary circuit model with adversarial noise. - Matthias Függer; Jürgen Maier 002; Robert Najvirt; Thomas Nowak; Ulrich Schmid 001 (DATE, 2018)

Fast Multidimensional Asymptotic and Approximate Consensus. - Matthias Függer; Thomas Nowak (DISC, 2018)

Metastability-Containing Circuits. - Stephan Friedrichs; Matthias Függer; Christoph Lenzen 001 (IEEE Trans. Computers, 2018)

Transistor-Level Analysis of Dynamic Delay Models. - Jürgen Maier 002; Matthias Függer; Thomas Nowak; Ulrich Schmid 001 (ASYNC, 2019)

The Involution Tool for Accurate Digital Timingand Power Analysis. - Daniel Öhlinger; Jürgen Maier 002; Matthias Függer; Ulrich Schmid 001 (PATMOS, 2019)

PALS: Plesiochronous and Locally Synchronous Systems. - Johannes Bund; Matthias Függer; Christoph Lenzen 001; Moti Medina; Will Rosenbaum (ASYNC, 2020)

Synthesis in Presence of Dynamic Links. - Béatrice Bérard; Benedikt Bollig; Patricia Bouyer; Matthias Függer; Nathalie Sznajder (GandALF, 2020)

On the radius of nonsplit graphs and information dissemination in dynamic networks. - Matthias Függer; Thomas Nowak; Kyrill Winkler (Discret. Appl. Math., 2020)

A Faithful Binary Circuit Model. - Matthias Függer; Robert Najvirt; Thomas Nowak; Ulrich Schmid 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Synchronizer-Free Digital Link Controller. - Johannes Bund; Matthias Függer; Christoph Lenzen 001; Moti Medina (IEEE Trans. Circuits Syst., 2020)

A Composable Glitch-Aware Delay Model. - Jürgen Maier 002; Daniel Öhlinger; Ulrich Schmid 001; Matthias Függer; Thomas Nowak (ACM Great Lakes Symposium on VLSI, 2021)

Reaching Agreement in Competitive Microbial Systems. - Victoria Andaur; Janna Burman; Matthias Függer; Manish Kushwaha; Bilal Manssouri; Thomas Nowak; Joel Rybicki (CoRR, 2021)

The Involution Tool for Accurate Digital Timing and Power Analysis. - Daniel Öhlinger; Jürgen Maier 002; Matthias Függer; Ulrich Schmid 001 (Integr., 2021)

Tight Bounds for Asymptotic and Approximate Consensus. - Matthias Függer; Thomas Nowak; Manfred Schwarz (J. ACM, 2021)

Computing at the border of abstractions: the power of timed, non-binary, distributed circuits. (Le calcul à la frontière des abstractions : la puissance des circuits temporisés, non binaires, distribués). - Matthias Függer (2022)

On Specifications and Proofs of Timed Circuits. - Matthias Függer; Christoph Lenzen 001; Ulrich Schmid 001 (Principles of Systems Design, 2022)

MobsPy: A Meta-species Language for Chemical Reaction Networks. - Fabricio Cravo; Matthias Függer; Thomas Nowak; Gayathri Prakash (CMSB, 2022)

Distributed computation with continual population growth. - Da-Jung Cho; Matthias Függer; Corbin Hopper; Manish Kushwaha; Thomas Nowak; Quentin Soubeyran (Distributed Comput., 2022)

Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. - Matthias Függer; Attila Kinali; Christoph Lenzen 001; Ben Wiederhake (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

A Hybrid Delay Model for Interconnected Multi-Input Gates. - Arman Ferdowsi; Matthias Függer; Josef Salzmann; Ulrich Schmid 001 (DSD, 2023)

On the Susceptibility of QDI Circuits to Transient Faults. - Raghda El Shehaby; Matthias Függer; Andreas Steininger (FORMATS, 2023)

Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. - Arman Ferdowsi; Matthias Függer; Thomas Nowak; Ulrich Schmid 001 (HSCC, 2023)

PALS: Distributed Gradient Clocking on Chip. - Johannes Bund; Matthias Függer; Moti Medina (IEEE Trans. Very Large Scale Integr. Syst., 2023)

Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit. - Zhuofan Xu 001; Benedikt Bollig; Matthias Függer; Thomas Nowak (ICTAI, 2024)

Majority Consensus Thresholds in Competitive Lotka-Volterra Populations. - Matthias Függer; Thomas Nowak; Joel Rybicki (PODC, 2024)

Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs. - Arman Ferdowsi; Matthias Függer; Thomas Nowak; Michael Drmota; Ulrich Schmid 001 (CoRR, 2024)

A Framework for Streaming Event-Log Prediction in Business Processes. - Benedikt Bollig; Matthias Függer; Thomas Nowak (CoRR, 2024)

Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective. - Raghda El Shehaby; Matthias Függer; Florian Huemer; Andreas Steininger (ASYNC, 2025)

Centralized Permutation Equivariant Policy for Cooperative Multi-Agent Reinforcement Learning. - Zhuofan Xu 001; Benedikt Bollig; Matthias Függer; Thomas Nowak; Vincent Le Dréau (CoRR, 2025)