Follow
Matthias Függer
Matthias Függer
CNRS & LMF, ENS Paris-Saclay & Inria
Verified email at lsv.fr - Homepage
Title
Cited by
Cited by
Year
Approximate consensus in highly dynamic networks: The role of averaging algorithms
B Charron-Bost, M Függer, T Nowak
International Colloquium on Automata, Languages, and Programming, 528-539, 2015
702015
Fault-tolerant distributed clock generation in VLSI systems-on-chip
M Fugger, U Schmid, G Fuchs, G Kempf
2006 Sixth European Dependable Computing Conference, 87-96, 2006
612006
Runtime verification of embedded real-time systems
T Reinbacher, M Függer, J Brauer
Formal methods in system design 44, 203-239, 2014
422014
Reconciling fault-tolerant distributed computing and systems-on-chip
M Függer, U Schmid
Distributed Computing 24, 323-355, 2012
422012
On the threat of metastability in an asynchronous fault-tolerant clock generation scheme
G Fuchs, M Függer, A Steininger
2009 15th IEEE Symposium on Asynchronous Circuits and Systems, 127-136, 2009
392009
Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation
D Dolev, M Függer, U Schmid, C Lenzen
Journal of the ACM (JACM) 61 (5), 1-74, 2014
322014
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip
D Dolev, M Függer, M Posch, U Schmid, A Steininger, C Lenzen
Journal of Computer and System Sciences 80 (4), 860-900, 2014
292014
Metastability-containing circuits
S Friedrichs, M Függer, C Lenzen
IEEE Transactions on Computers 67 (8), 1167-1183, 2018
252018
Unfaithful glitch propagation in existing binary circuit models
M Függer, T Nowak, U Schmid
IEEE Transactions on Computers 65 (3), 964-978, 2016
252016
Tight bounds for asymptotic and approximate consensus
M Függer, T Nowak, M Schwarz
Journal of the ACM (JACM) 68 (6), 1-35, 2021
232021
Real-time runtime verification on chip
T Reinbacher, M Függer, J Brauer
International Conference on Runtime Verification, 110-125, 2012
202012
Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems–A Combined Formal and Experimental Approach
M Fugger, E Armengaud, A Steininger
IEEE Transactions on Industrial Informatics 5 (2), 132-146, 2009
172009
HEX: Scaling honeycombs is easier than scaling clock trees
D Dolev, M Függer, C Lenzen, M Perner, U Schmid
Journal of Computer and System Sciences 82 (5), 929-956, 2016
162016
Full reversal routing as a linear dynamical system
B Charron-Bost, M Függer, JL Welch, J Widder
Structural Information and Communication Complexity: 18th International …, 2011
152011
How to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining
M Függer, A Dielacher, U Schmid
Dependable Computing Conference (EDCC), 2010 European, 230-239, 2010
142010
The involution tool for accurate digital timing and power analysis
D Öhlinger, J Maier, M Függer, U Schmid
Integration 76, 87-98, 2021
132021
A faithful binary circuit model
M Függer, R Najvirt, T Nowak, U Schmid
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2019
132019
Fast Multidimensional Asymptotic and Approximate Consensus
M Függer, T Nowak
arXiv preprint arXiv:1805.04923, 2018
132018
Fast, robust, quantizable approximate consensus
B Charron-Bost, M Függer, T Nowak
43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016
132016
Approximate consensus in highly dynamic networks
B Charron-Bost, M Függer, T Nowak
arXiv preprint arXiv:1408.0620, 2014
132014
The system can't perform the operation now. Try again later.
Articles 1–20