Matthias Függer

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 51

Top Topics

Distributed Computation

Dynamic Networks

Top Venues

J. Comput. Syst. Sci.

Publications

Arman Ferdowsi, Matthias Függer, Thomas Nowak, Michael Drmota, Ulrich Schmid
Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs. CoRR (2024)
Matthias Függer, Thomas Nowak, Joel Rybicki
Majority Consensus Thresholds in Competitive Lotka-Volterra Populations. PODC (2024)
Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
A Hybrid Delay Model for Interconnected Multi-Input Gates. CoRR (2024)
Matthias Függer, Thomas Nowak, Joel Rybicki
Majority consensus thresholds in competitive Lotka-Volterra populations. CoRR (2024)
Raghda El Shehaby, Matthias Függer, Andreas Steininger
On the Susceptibility of QDI Circuits to Transient Faults. CoRR (2023)
Johannes Bund, Matthias Függer, Moti Medina
PALS: Distributed Gradient Clocking on Chip. IEEE Trans. Very Large Scale Integr. Syst. 31 (11) (2023)
Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. CoRR (2023)
Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
A Hybrid Delay Model for Interconnected Multi-Input Gates. DSD (2023)
Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. HSCC (2023)
Raghda El Shehaby, Matthias Függer, Andreas Steininger
On the Susceptibility of QDI Circuits to Transient Faults. FORMATS (2023)
Johannes Bund, Matthias Függer, Moti Medina
PALS: Distributed Gradient Clocking on Chip. CoRR (2023)
Matthias Függer, Christoph Lenzen, Ulrich Schmid
On Specifications and Proofs of Timed Circuits. CoRR (2022)
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
Synthesis in presence of dynamic links. Inf. Comput. 289 (Part) (2022)
Fabricio Cravo, Matthias Függer, Thomas Nowak, Gayathri Prakash
MobsPy: A Meta-species Language for Chemical Reaction Networks. CMSB (2022)
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
Distributed computation with continual population growth. Distributed Comput. 35 (6) (2022)
Matthias Függer, Christoph Lenzen, Ulrich Schmid
On Specifications and Proofs of Timed Circuits. Principles of Systems Design (2022)
Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (8) (2022)
Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, Thomas Nowak
A Composable Glitch-Aware Delay Model. CoRR (2021)
Daniel Öhlinger, Jürgen Maier, Matthias Függer, Ulrich Schmid
The Involution Tool for Accurate Digital Timing and Power Analysis. Integr. 76 (2021)
Matthias Függer, Thomas Nowak, Manfred Schwarz
Tight Bounds for Asymptotic and Approximate Consensus. J. ACM 68 (6) (2021)
Victoria Andaur, Janna Burman, Matthias Függer, Manish Kushwaha, Bilal Manssouri, Thomas Nowak, Joel Rybicki
Reaching Agreement in Competitive Microbial Systems. CoRR (2021)
Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, Thomas Nowak
A Composable Glitch-Aware Delay Model. ACM Great Lakes Symposium on VLSI (2021)
Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina, Will Rosenbaum
PALS: Plesiochronous and Locally Synchronous Systems. ASYNC (2020)
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
Distributed Computation with Continual Population Growth. DISC (2020)
Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina
Synchronizer-Free Digital Link Controller. IEEE Trans. Circuits Syst. (10) (2020)
Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina, Will Rosenbaum
PALS: Plesiochronous and Locally Synchronous Systems. CoRR (2020)
Matthias Függer, Thomas Nowak, Kyrill Winkler
On the radius of nonsplit graphs and information dissemination in dynamic networks. Discret. Appl. Math. 282 (2020)
Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
A Faithful Binary Circuit Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (10) (2020)
Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina
Synchronizer-Free Digital Link Controller. CoRR (2020)
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
Synthesis in Presence of Dynamic Links. GandALF (2020)
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
Distributed Computation with Continual Population Growth. CoRR (2020)
Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
A Faithful Binary Circuit Model with Adversarial Noise. CoRR (2020)
Jürgen Maier, Matthias Függer, Thomas Nowak, Ulrich Schmid
Transistor-Level Analysis of Dynamic Delay Models. ASYNC (2019)
Daniel Öhlinger, Jürgen Maier, Matthias Függer, Ulrich Schmid
The Involution Tool for Accurate Digital Timingand Power Analysis. PATMOS (2019)
Matthias Függer, Thomas Nowak, Kyrill Winkler
On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks. CoRR (2019)
Matthias Függer, Thomas Nowak
Fast Multidimensional Asymptotic and Approximate Consensus. CoRR (2018)
Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. ASYNC (2018)
Matthias Függer, Thomas Nowak
Fast Multidimensional Asymptotic and Approximate Consensus. DISC (2018)
Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
A faithful binary circuit model with adversarial noise. DATE (2018)
Matthias Függer, Thomas Nowak, Manfred Schwarz
Tight Bounds for Asymptotic and Approximate Consensus. PODC (2018)
Stephan Friedrichs, Matthias Függer, Christoph Lenzen
Metastability-Containing Circuits. IEEE Trans. Computers 67 (8) (2018)
Ghaith Tarawneh, Matthias Függer, Christoph Lenzen
Metastability Tolerant Computing. ASYNC (2017)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
New transience bounds for max-plus linear systems. Discret. Appl. Math. 219 (2017)
Matthias Függer, Thomas Nowak, Manfred Schwarz
Lower Bounds for Asymptotic Consensus in Dynamic Networks. CoRR (2017)
Matthias Függer, Thomas Nowak, Manfred Schwarz
Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks. DISC (2017)
Matthias Függer, Attila Kinali, Christoph Lenzen, Thomas Polzer
Metastability-Aware Memory-Efficient Time-to-Digital Converters. ASYNC (2017)
Stephan Friedrichs, Matthias Függer, Christoph Lenzen
Metastability-Containing Circuits. CoRR (2016)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Multidimensional Asymptotic Consensus in Dynamic Networks. CoRR (2016)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Fast, Robust, Quantizable Approximate Consensus. ICALP (2016)
Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid
HEX: Scaling honeycombs is easier than scaling clock trees. J. Comput. Syst. Sci. 82 (5) (2016)
Matthias Függer, Thomas Nowak, Ulrich Schmid
Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Trans. Computers 65 (3) (2016)
Robert Najvirt, Ulrich Schmid, Michael Hofbauer, Matthias Függer, Thomas Nowak, Kurt Schweiger
Experimental Validation of a Faithful Binary Circuit Model. ACM Great Lakes Symposium on VLSI (2015)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
A Proof of the Convergence of the Hegselmann-Krause Dynamics on the Circle. CoRR (2015)
Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
The effect of forgetting on the performance of a synchronizer. Perform. Evaluation 93 (2015)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms. ICALP (2) (2015)
Matthias Függer, Thomas Nowak, Bernadette Charron-Bost
Diffusive clock synchronization in highly dynamic networks. CISS (2015)
Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
Towards binary circuit models that faithfully capture physical solvability. DATE (2015)
Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid, Andreas Steininger
Fault-tolerant Distributed Systems in Hardware. Bull. EATCS 116 (2015)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Amortized Averaging Algorithms for Approximate Consensus. CoRR (2015)
Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
Time Complexity of Link Reversal Routing. ACM Trans. Algorithms 11 (3) (2015)
Thomas Reinbacher, Matthias Függer, Jörg Brauer
Runtime verification of embedded real-time systems. Formal Methods Syst. Des. 44 (3) (2014)
Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
Faithful Glitch Propagation in Binary Circuit Models. CoRR (2014)
Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger, Christoph Lenzen
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. J. Comput. Syst. Sci. 80 (4) (2014)
Danny Dolev, Matthias Függer, Ulrich Schmid, Christoph Lenzen
Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation. J. ACM 61 (5) (2014)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Approximate Consensus in Highly Dynamic Networks. CoRR (2014)
Matthias Függer, Thomas Nowak, Ulrich Schmid
Unfaithful Glitch Propagation in Existing Binary Circuit Models. ASYNC (2013)
Matthias Függer, Thomas Nowak, Ulrich Schmid
Unfaithful Glitch Propagation in Existing Binary Circuit Models. CoRR (2013)
Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
The Effect of Forgetting on the Performance of a Synchronizer. ALGOSENSORS (2013)
Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid
HEX: scaling honeycombs is easier than scaling clock trees. SPAA (2013)
Thomas Nowak, Matthias Függer, Alexander Kößler
On the performance of a retransmission-based synchronizer. Theor. Comput. Sci. 509 (2013)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Transience Bounds for Distributed Algorithms. FORMATS (2013)
Christoph Lenzen, Matthias Függer, Markus Hofstatter, Ulrich Schmid
Efficient Construction of Global Time in SoCs Despite Arbitrary Faults. DSD (2013)
Danny Dolev, Matthias Függer, Christoph Lenzen, Markus Posch, Ulrich Schmid, Andreas Steininger
FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs CoRR (2012)
Matthias Függer, Alexander Kößler, Thomas Nowak, Martin Zeiner
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer. SSS (2012)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
New Transience Bounds for Long Walks CoRR (2012)
Matthias Függer, Josef Widder
Efficient Checking of Link-Reversal-Based Concurrent Systems. CONCUR (2012)
Matthias Függer, Ulrich Schmid
Reconciling fault-tolerant distributed computing and systems-on-chip. Distributed Comput. 24 (6) (2012)
Thomas Reinbacher, Matthias Függer, Jörg Brauer
Real-Time Runtime Verification on Chip. RV (2012)
Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract]. SSS (2011)
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
On the Transience of Linear Max-Plus Dynamical Systems CoRR (2011)
Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
Brief announcement: full reversal routing as a linear dynamical system. SPAA (2011)
Thomas Nowak, Matthias Függer, Alexander Kößler
On the Performance of a Retransmission-Based Synchronizer. SIROCCO (2011)
Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation CoRR (2011)
Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
Full Reversal Routing as a Linear Dynamical System. SIROCCO (2011)
Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
Partial is Full. SIROCCO (2011)
Matthias Függer, Andreas Dielacher, Ulrich Schmid
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. EDCC (2010)
Matthias Függer, Eric Armengaud, Andreas Steininger
Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - a Combined Formal & Experimental Approach. IEEE Trans. Ind. Informatics 5 (2) (2009)
Gottfried Fuchs, Matthias Függer, Andreas Steininger
On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme. ASYNC (2009)
Andreas Dielacher, Matthias Függer, Ulrich Schmid
Brief announcement: how to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. PODC (2009)
Gottfried Fuchs, Matthias Függer, Ulrich Schmid, Andreas Steininger
Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip. DSD (2008)
Matthias Függer, Ulrich Schmid, Gottfried Fuchs, Gerald Kempf
Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. EDCC (2006)
Babak Rahbaran, Matthias Függer, Andreas Steininger
Embedded Real-Time-Tracer - An Approach with IDE. WISES (2004)