Follow
Matthias Függer
Matthias Függer
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Verified email at lmf.cnrs.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
722015
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
602006
Runtime verification of embedded real-time systems
T Reinbacher, M Függer, J Brauer
Formal methods in system design 44, 203-239, 2014
452014
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
382009
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
312014
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
302014
Tight bounds for asymptotic and approximate consensus
M Függer, T Nowak, M Schwarz
Journal of the ACM (JACM) 68 (6), 1-35, 2021
282021
Metastability-containing circuits
S Friedrichs, M Függer, C Lenzen
IEEE Transactions on Computers 67 (8), 1167-1183, 2018
262018
Unfaithful glitch propagation in existing binary circuit models
M Függer, T Nowak, U Schmid
IEEE Transactions on Computers 65 (3), 964-978, 2016
242016
Real-time runtime verification on chip
T Reinbacher, M Függer, J Brauer
International Conference on Runtime Verification, 110-125, 2012
212012
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
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
162011
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
152016
The involution tool for accurate digital timing and power analysis
D Öhlinger, J Maier, M Függer, U Schmid
Integration 76, 87-98, 2021
142021
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
142019
Efficient and dependable clock synchronization in hardware
C Lenzen, M Függer, A Kinali, S Friedrichs, M Medina
US Patent 10,411,720, 2019
132019
Fast Multidimensional Asymptotic and Approximate Consensus
M Függer, T Nowak
arXiv preprint arXiv:1805.04923, 2018
132018
Approximate consensus in highly dynamic networks
B Charron-Bost, M Függer, T Nowak
arXiv preprint arXiv:1408.0620, 2014
132014
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
132010
The system can't perform the operation now. Try again later.
Articles 1–20