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 | 72 | 2015 |
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 | 61 | 2006 |
Runtime verification of embedded real-time systems T Reinbacher, M Függer, J Brauer Formal methods in system design 44, 203-239, 2014 | 42 | 2014 |
Reconciling fault-tolerant distributed computing and systems-on-chip M Függer, U Schmid Distributed Computing 24, 323-355, 2012 | 42 | 2012 |
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 | 39 | 2009 |
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 | 32 | 2014 |
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 | 29 | 2014 |
Tight bounds for asymptotic and approximate consensus M Függer, T Nowak, M Schwarz Journal of the ACM (JACM) 68 (6), 1-35, 2021 | 27 | 2021 |
Metastability-containing circuits S Friedrichs, M Függer, C Lenzen IEEE Transactions on Computers 67 (8), 1167-1183, 2018 | 25 | 2018 |
Unfaithful glitch propagation in existing binary circuit models M Függer, T Nowak, U Schmid IEEE Transactions on Computers 65 (3), 964-978, 2016 | 25 | 2016 |
Real-time runtime verification on chip T Reinbacher, M Függer, J Brauer International Conference on Runtime Verification, 110-125, 2012 | 20 | 2012 |
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 | 17 | 2009 |
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 | 16 | 2016 |
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 | 15 | 2011 |
The involution tool for accurate digital timing and power analysis D Öhlinger, J Maier, M Függer, U Schmid Integration 76, 87-98, 2021 | 14 | 2021 |
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 | 14 | 2019 |
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 | 14 | 2010 |
Fast Multidimensional Asymptotic and Approximate Consensus M Függer, T Nowak arXiv preprint arXiv:1805.04923, 2018 | 13 | 2018 |
Fast, robust, quantizable approximate consensus B Charron-Bost, M Függer, T Nowak 43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016 | 13 | 2016 |
Approximate consensus in highly dynamic networks B Charron-Bost, M Függer, T Nowak arXiv preprint arXiv:1408.0620, 2014 | 13 | 2014 |