default search action
Matthias Függer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c43]Matthias Függer
, Thomas Nowak
Majority Consensus Thresholds in Competitive Lotka-Volterra Populations. PODC 2024: 76-86 - [i27]Arman Ferdowsi
Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs. CoRR abs/2403.03235 (2024) - [i26]Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid:
A Hybrid Delay Model for Interconnected Multi-Input Gates. CoRR abs/2403.10540 (2024) - [i25]Matthias Függer, Thomas Nowak, Joel Rybicki:
Majority consensus thresholds in competitive Lotka-Volterra populations. CoRR abs/2405.03568 (2024) - 2023
- [j22]Johannes Bund
PALS: Distributed Gradient Clocking on Chip. IEEE Trans. Very Large Scale Integr. Syst. 31(11): 1740-1753 (2023) - [c42]Arman Ferdowsi
A Hybrid Delay Model for Interconnected Multi-Input Gates. DSD 2023: 381-390 - [c41]Raghda El Shehaby
On the Susceptibility of QDI Circuits to Transient Faults. FORMATS 2023: 69-85 - [c40]Arman Ferdowsi
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. HSCC 2023: 10:1-10:11 - [i24]Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid:
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. CoRR abs/2303.14048 (2023) - [i23]Raghda El Shehaby, Matthias Függer, Andreas Steininger:
On the Susceptibility of QDI Circuits to Transient Faults. CoRR abs/2303.14106 (2023) - [i22]Johannes Bund, Matthias Függer, Moti Medina:
PALS: Distributed Gradient Clocking on Chip. CoRR abs/2308.15098 (2023) - 2022
- [b1]Matthias Függer:
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). École normale supérieure Paris-Saclay, Cachan, France, 2022 - [j21]Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha
Distributed computation with continual population growth. Distributed Comput. 35(6): 547-569 (2022) - [j20]Béatrice Bérard
Synthesis in presence of dynamic links. Inf. Comput. 289(Part): 104856 (2022) - [j19]Matthias Függer
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(8): 2518-2531 (2022) - [c39]Matthias Függer
On Specifications and Proofs of Timed Circuits. Principles of Systems Design 2022: 107-130 - [c38]Fabricio Cravo, Matthias Függer, Thomas Nowak, Gayathri Prakash:
MobsPy: A Meta-species Language for Chemical Reaction Networks. CMSB 2022: 277-285 - [i21]Matthias Függer, Christoph Lenzen, Ulrich Schmid:
On Specifications and Proofs of Timed Circuits. CoRR abs/2208.08147 (2022) - 2021
- [j18]Daniel Öhlinger, Jürgen Maier
The Involution Tool for Accurate Digital Timing and Power Analysis. Integr. 76: 87-98 (2021) - [j17]Matthias Függer
Tight Bounds for Asymptotic and Approximate Consensus. J. ACM 68(6): 46:1-46:35 (2021) - [c37]Jürgen Maier
A Composable Glitch-Aware Delay Model. ACM Great Lakes Symposium on VLSI 2021: 147-154 - [i20]Victoria Andaur, Janna Burman, Matthias Függer, Manish Kushwaha, Bilal Manssouri, Thomas Nowak, Joel Rybicki:
Reaching Agreement in Competitive Microbial Systems. CoRR abs/2103.07450 (2021) - [i19]Jürgen Maier, Daniel Öhlinger
A Composable Glitch-Aware Delay Model. CoRR abs/2104.10966 (2021) - 2020
- [j16]Matthias Függer, Thomas Nowak, Kyrill Winkler
On the radius of nonsplit graphs and information dissemination in dynamic networks. Discret. Appl. Math. 282: 257-264 (2020) - [j15]Matthias Függer
A Faithful Binary Circuit Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2784-2797 (2020) - [j14]Johannes Bund
Synchronizer-Free Digital Link Controller. IEEE Trans. Circuits Syst. 67-I(10): 3562-3573 (2020) - [c36]Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina, Will Rosenbaum:
PALS: Plesiochronous and Locally Synchronous Systems. ASYNC 2020: 36-43 - [c35]Da-Jung Cho
Distributed Computation with Continual Population Growth. DISC 2020: 7:1-7:17 - [c34]Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder:
Synthesis in Presence of Dynamic Links. GandALF 2020: 33-49 - [i18]Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina, Will Rosenbaum:
PALS: Plesiochronous and Locally Synchronous Systems. CoRR abs/2003.05542 (2020) - [i17]Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran:
Distributed Computation with Continual Population Growth. CoRR abs/2003.09972 (2020) - [i16]Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid:
A Faithful Binary Circuit Model with Adversarial Noise. CoRR abs/2006.08485 (2020) - [i15]Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina:
Synchronizer-Free Digital Link Controller. CoRR abs/2010.02017 (2020)
2010 – 2019
- 2019
- [c33]Jürgen Maier
Transistor-Level Analysis of Dynamic Delay Models. ASYNC 2019: 76-85 - [c32]Daniel Öhlinger
The Involution Tool for Accurate Digital Timingand Power Analysis. PATMOS 2019: 1-8 - [i14]Matthias Függer, Thomas Nowak, Kyrill Winkler:
On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks. CoRR abs/1901.06824 (2019) - 2018
- [j13]Stephan Friedrichs, Matthias Függer
Metastability-Containing Circuits. IEEE Trans. Computers 67(8): 1167-1183 (2018) - [c31]Matthias Függer
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. ASYNC 2018: 68-77 - [c30]Matthias Függer, Jürgen Maier
A faithful binary circuit model with adversarial noise. DATE 2018: 1327-1332 - [c29]Matthias Függer, Thomas Nowak, Manfred Schwarz:
Tight Bounds for Asymptotic and Approximate Consensus. PODC 2018: 325-334 - [c28]Matthias Függer
Fast Multidimensional Asymptotic and Approximate Consensus. DISC 2018: 27:1-27:16 - [i13]Matthias Függer, Thomas Nowak:
Fast Multidimensional Asymptotic and Approximate Consensus. CoRR abs/1805.04923 (2018) - 2017
- [j12]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
New transience bounds for max-plus linear systems. Discret. Appl. Math. 219: 83-99 (2017) - [c27]Ghaith Tarawneh, Matthias Függer
Metastability Tolerant Computing. ASYNC 2017: 25-32 - [c26]Matthias Függer, Attila Kinali
Metastability-Aware Memory-Efficient Time-to-Digital Converters. ASYNC 2017: 49-56 - [c25]Matthias Függer
Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks. DISC 2017: 51:1-51:3 - [i12]Matthias Függer, Thomas Nowak, Manfred Schwarz:
Lower Bounds for Asymptotic Consensus in Dynamic Networks. CoRR abs/1705.02898 (2017) - 2016
- [j11]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): 929-956 (2016) - [j10]Matthias Függer, Thomas Nowak
Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Trans. Computers 65(3): 964-978 (2016) - [c24]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Fast, Robust, Quantizable Approximate Consensus. ICALP 2016: 137:1-137:14 - [i11]Stephan Friedrichs, Matthias Függer, Christoph Lenzen:
Metastability-Containing Circuits. CoRR abs/1606.06570 (2016) - [i10]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
Multidimensional Asymptotic Consensus in Dynamic Networks. CoRR abs/1611.02496 (2016) - 2015
- [j9]Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid, Andreas Steininger:
Fault-tolerant Distributed Systems in Hardware. Bull. EATCS 116 (2015) - [j8]Matthias Függer, Alexander Kößler, Thomas Nowak
The effect of forgetting on the performance of a synchronizer. Perform. Evaluation 93: 1-16 (2015) - [j7]Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
Time Complexity of Link Reversal Routing. ACM Trans. Algorithms 11(3): 18:1-18:39 (2015) - [c23]Matthias Függer, Thomas Nowak
Diffusive clock synchronization in highly dynamic networks. CISS 2015: 1-6 - [c22]Matthias Függer
Towards binary circuit models that faithfully capture physical solvability. DATE 2015: 1455-1460 - [c21]Robert Najvirt, Ulrich Schmid, Michael Hofbauer
Experimental Validation of a Faithful Binary Circuit Model. ACM Great Lakes Symposium on VLSI 2015: 355-360 - [c20]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms. ICALP (2) 2015: 528-539 - [i9]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
A Proof of the Convergence of the Hegselmann-Krause Dynamics on the Circle. CoRR abs/1504.05479 (2015) - [i8]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
Amortized Averaging Algorithms for Approximate Consensus. CoRR abs/1512.04222 (2015) - 2014
- [j6]Thomas Reinbacher, Matthias Függer, Jörg Brauer:
Runtime verification of embedded real-time systems. Formal Methods Syst. Des. 44(3): 203-239 (2014) - [j5]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): 30:1-30:74 (2014) - [j4]Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. J. Comput. Syst. Sci. 80(4): 860-900 (2014) - [i7]Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid:
Faithful Glitch Propagation in Binary Circuit Models. CoRR abs/1406.2544 (2014) - [i6]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
Approximate Consensus in Highly Dynamic Networks. CoRR abs/1408.0620 (2014) - 2013
- [j3]Thomas Nowak
On the performance of a retransmission-based synchronizer. Theor. Comput. Sci. 509: 25-39 (2013) - [c19]Matthias Függer, Alexander Kößler, Thomas Nowak
The Effect of Forgetting on the Performance of a Synchronizer. ALGOSENSORS 2013: 185-200 - [c18]Matthias Függer, Thomas Nowak
Unfaithful Glitch Propagation in Existing Binary Circuit Models. ASYNC 2013: 191-199 - [c17]Christoph Lenzen, Matthias Függer, Markus Hofstatter, Ulrich Schmid:
Efficient Construction of Global Time in SoCs Despite Arbitrary Faults. DSD 2013: 142-151 - [c16]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
Transience Bounds for Distributed Algorithms. FORMATS 2013: 77-90 - [c15]Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid:
HEX: scaling honeycombs is easier than scaling clock trees. SPAA 2013: 164-175 - [i5]Matthias Függer, Thomas Nowak, Ulrich Schmid:
Unfaithful Glitch Propagation in Existing Binary Circuit Models. CoRR abs/1311.1423 (2013) - 2012
- [j2]Matthias Függer, Ulrich Schmid:
Reconciling fault-tolerant distributed computing and systems-on-chip. Distributed Comput. 24(6): 323-355 (2012) - [c14]Matthias Függer, Josef Widder
Efficient Checking of Link-Reversal-Based Concurrent Systems. CONCUR 2012: 486-499 - [c13]Thomas Reinbacher, Matthias Függer, Jörg Brauer:
Real-Time Runtime Verification on Chip. RV 2012: 110-125 - [c12]Matthias Függer, Alexander Kößler, Thomas Nowak
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer. SSS 2012: 90-91 - [i4]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 abs/1202.1925 (2012) - [i3]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
New Transience Bounds for Long Walks. CoRR abs/1209.3342 (2012) - 2011
- [c11]Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
Full Reversal Routing as a Linear Dynamical System. SIROCCO 2011: 101-112 - [c10]Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
Partial is Full. SIROCCO 2011: 113-124 - [c9]Thomas Nowak
On the Performance of a Retransmission-Based Synchronizer. SIROCCO 2011: 234-245 - [c8]Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
Brief announcement: full reversal routing as a linear dynamical system. SPAA 2011: 129-130 - [c7]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: 163-177 - [i2]Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid:
Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation. CoRR abs/1105.4780 (2011) - [i1]Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
On the Transience of Linear Max-Plus Dynamical Systems. CoRR abs/1111.4600 (2011) - 2010
- [c6]Matthias Függer, Andreas Dielacher, Ulrich Schmid:
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. EDCC 2010: 230-239
2000 – 2009
- 2009
- [j1]Matthias Függer, Eric Armengaud
Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - a Combined Formal & Experimental Approach. IEEE Trans. Ind. Informatics 5(2): 132-146 (2009) - [c5]Gottfried Fuchs, Matthias Függer, Andreas Steininger
On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme. ASYNC 2009: 127-136 - [c4]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: 276-277 - 2008
- [c3]Gottfried Fuchs, Matthias Függer, Ulrich Schmid, Andreas Steininger
Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip. DSD 2008: 242-249 - 2006
- [c2]Matthias Függer, Ulrich Schmid, Gottfried Fuchs, Gerald Kempf:
Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. EDCC 2006: 87-96 - 2004
- [c1]Babak Rahbaran, Matthias Függer, Andreas Steininger:
Embedded Real-Time-Tracer - An Approach with IDE. WISES 2004: 25-35
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: