Matthias Függer
Matthias Függer
CNRS & LSV, ENS Paris-Saclay & Inria
Verified email at lsv.fr - Homepage
Title
Cited by
Cited by
Year
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
562006
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
442015
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
352009
Reconciling fault-tolerant distributed computing and systems-on-chip
M Függer, U Schmid
Distributed Computing 24 (6), 323-355, 2012
332012
Runtime verification of embedded real-time systems
T Reinbacher, M Függer, J Brauer
Formal Methods in System Design 44 (3), 203-239, 2014
302014
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
262014
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
162014
Real-time runtime verification on chip
T Reinbacher, M Függer, J Brauer
International Conference on Runtime Verification, 110-125, 2012
162012
Full reversal routing as a linear dynamical system
B Charron-Bost, M Függer, JL Welch, J Widder
International Colloquium on Structural Information and Communication …, 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
152010
Metastability-containing circuits
S Friedrichs, M Függer, C Lenzen
IEEE Transactions on Computers 67 (8), 1167-1183, 2018
142018
Unfaithful glitch propagation in existing binary circuit models
M Függer, T Nowak, U Schmid
IEEE Transactions on Computers 65 (3), 964-978, 2016
142016
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
142009
Approximate consensus in highly dynamic networks
B Charron-Bost, M Függer, T Nowak
arXiv preprint arXiv:1408.0620, 2014
122014
Small PC-Network Simulation-a comprehensive performance case study
D Albeseder, M Függer, F Breitenecker, T Löscher, S Tauböck
na, 2005
122005
Efficient construction of global time in SoCs despite arbitrary faults
C Lenzen, M Függer, M Hofstätter, U Schmid
2013 Euromicro Conference on Digital System Design, 142-151, 2013
92013
Transience bounds for distributed algorithms
B Charron-Bost, M Függer, T Nowak
International Conference on Formal Modeling and Analysis of Timed Systems, 77-90, 2013
92013
HEX: scaling honeycombs is easier than scaling clock trees
D Dolev, M Függer, C Lenzen, M Perner, U Schmid
Proceedings of the twenty-fifth annual ACM symposium on Parallelism in …, 2013
92013
Partial is full
B Charron-Bost, M Függer, JL Welch, J Widder
International Colloquium on Structural Information and Communication …, 2011
92011
Fast, robust, quantizable approximate consensus
B Charron-Bost, M Függer, T Nowak
43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016
82016
The system can't perform the operation now. Try again later.
Articles 1–20