Matthias FÜGGER

Full-time Researcher, CNRS

Research Interests


My main research interest is the study of the fundamentals of computationally extremely restricted distributed devices (engineered or models of existing physical or biological systems). Restrictions are typically with respect to memory, communication, complexity of atomic state transitions, etc. Specifically I am interested in:

Projects



Teaching, Thesis, and Internships



Thesis and Internships: If you are interested in writing a Bachelor/Master/PhD thesis or making an internship in one of the above research topics write me a short mail including your current status and topic of interest.

Internship projects for TU Wien Bachelor with Honors students: please see here for furher information.

Recent



Positions



Publications


cv_fuegger
[52] Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, and Ulrich Schmid. A faithful binary circuit model with adversarial noise. In Design, Automation & Test in Europe (DATE), pages 1327-1332. IEEE, 2018.
bib | hal | url | preprint ]
[51] Stephan Friedrichs, Matthias Függer, and Christoph Lenzen. Metastability-containing circuits. IEEE Transactions on Computers, 67(8), 2018.
bib | DOI | url | arxiv long version ]
[50] Matthias Függer, Attila Kinali, Christoph Lenzen, and Ben Wiederhake. Fast all-digital clock frequency adaptation circuit for voltage droop tolerance. In IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2018.
bib ]
[49] Matthias Függer, Thomas Nowak, and Manfred Schwarz. Tight bounds for asymptotic and approximate consensus. In Symposium on Principles of Distributed Computing (PODC), 2018.
bib | hal | arxiv long version ]
[48] Matthias Függer and Thomas Nowak. Fast multidimensional asymptotic and approximate consensus. In 32nd International Symposium on Distributed Computing (DISC), Leibniz International Proceedings in Informatics (LIPIcs), pages 27:1-27:15, 2018.
bib | DOI | arxiv long version ]
[47] Ghaith Tarawneh, Matthias Függer, and Christoph Lenzen. Metastability tolerant computing. In IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pages 25-32, 2017.
bib | DOI | hal | url | preprint ]
[46] Matthias Függer, Attila Kinali, Christoph Lenzen, and Thomas Polzer. Metastability-aware memory-efficient time-to-digital converter. In IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pages 49-56, 2017.
bib | hal | url | preprint ]
[45] Bernadette Charron-Bost, Matthias Függer, and Thomas Nowak. New transience bounds for max-plus linear systems. Discrete Applied Mathematics, 219:83-99, 2017.
bib | hal | url | preprint ]
[44] Matthias Függer, Thomas Nowak, and Manfred Schwarz. Brief announcement: Lower bounds for asymptotic consensus in dynamic networks. In 31st International Symposium on Distributed Computing (DISC), Leibniz International Proceedings in Informatics (LIPIcs), pages 51:1-51:3, 2017.
bib | DOI | hal | url | preprint | arxiv long version ]
[43] Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, and Ulrich Schmid. HEX: Scaling honeycombs is easier than scaling clock trees. Journal of Computer and System Sciences, 82(5):929-956, 2016.
bib | url | preprint ]
[42] Matthias Függer, Thomas Nowak, and Ulrich Schmid. Unfaithful glitch propagation in existing binary circuit models. IEEE Transactions on Computers, 65(3):964-978, 2016.
bib | hal | url | preprint ]
[41] Bernadette Charron-Bost, Matthias Függer, and Thomas Nowak. Fast, robust, quantizable approximate consensus. In 43rd International Colloquium on Automata, Languages, and Programming (ICALP), volume 55, pages 137:1-137:14, 2016.
bib | hal | url ]
[40] Matthias Függer, Thomas Nowak, and Bernadette Charron-Bost. Diffusive clock synchronization in highly dynamic networks. In Information Sciences and Systems (CISS), 2015 49th Annual Conference on, pages 1-6, March 2015.
bib | hal | url ]
[39] Matthias Függer, Robert Najvirt, Thomas Nowak, and Ulrich Schmid. Towards binary circuit models that faithfully capture physical solvability. In Design, Automation & Test in Europe (DATE), pages 1455-1460, 2015.
bib | hal | url ]
[38] Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, and Josef Widder. Time complexity of link reversal routing. ACM Transactions on Algorithms, 11(3):18:1-18:39, January 2015.
bib | url ]
[37] Bernadette Charron-Bost, Matthias Függer, and Thomas Nowak. Approximate consensus in highly dynamic networks: The role of averaging algorithms. In 42nd International Colloquium on Automata, Languages, and Programming (ICALP), pages 528-539, 2015.
bib | hal | url | preprint | arxiv long version ]
[36] Robert Najvirt, Matthias Függer, Thomas Nowak, Ulrich Schmid, Michael Hofbauer, and Kurt Schweiger. Experimental validation of a faithful binary circuit model. In Proceedings of the 25th Edition on Great Lakes Symposium on VLSI (GLSVLSI), pages 355-360. ACM, 2015.
bib | hal | url ]
[35] Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid, and Andreas Steininger. Fault-tolerant distributed systems in hardware. Bulletin of EATCS, 2(116), 2015.
bib | url ]
[34] Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, and Martin Zeiner. The effect of forgetting on the performance of a synchronizer. Performance Evaluation, 93:1-16, 2015.
bib | hal | url ]
[33] Danny Dolev, Matthias Függer, Ulrich Schmid, and Christoph Lenzen. Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation. J. ACM, 61(5):30:1-30:74, September 2014.
bib | url ]
[32] Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, and Martin Zeiner. The effect of forgetting on the performance of a synchronizer. In Paola Flocchini, Jie Gao, Evangelos Kranakis, and Friedhelm Meyer auf der Heide, editors, Algorithms for Sensor Systems, Lecture Notes in Computer Science, pages 185-200. Springer Berlin Heidelberg, 2014.
bib | url ]
[31] Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger, and Christoph Lenzen. Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. Journal of Computer and System Sciences, 80(4):860-900, 2014.
bib | url ]
[30] Thomas Reinbacher, Matthias Függer, and Jörg Brauer. Runtime verification of embedded real-time systems. Formal Methods in System Design, 44(3):203-239, 2014.
bib | url ]
[29] Thomas Nowak, Matthias Függer, and Alexander Kößler. On the performance of a retransmission-based synchronizer. Theoretical Computer Science, 509:25-39, 2013.
bib | hal | url ]
[28] Matthias Függer, Thomas Nowak, and Ulrich Schmid. Unfaithful glitch propagation in existing binary circuit models. In 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems (ASYNC), pages 191-199, 2013.
bib | hal | url ]
[27] Bernadette Charron-Bost, Matthias Függer, and Thomas Nowak. Transience bounds for distributed algorithms. In Victor Braberman and Laurent Fribourg, editors, Formal Modeling and Analysis of Timed Systems (FORMATS), volume 8053 of Lecture Notes in Computer Science, pages 77-90. Springer Berlin Heidelberg, 2013.
bib | hal | url ]
[26] Christoph Lenzen, Matthias Függer, Markus Hofstätter, and Ulrich Schmid. Efficient construction of global time in SoCs despite arbitrary faults. In Digital System Design (DSD), 2013 Euromicro Conference on, pages 142-151, 2013.
bib | url ]
[25] Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, and Ulrich Schmid. Hex: scaling honeycombs is easier than scaling clock trees. In Proceedings of the 25th ACM symposium on Parallelism in algorithms and architectures (SPAA), pages 164-175, New York, NY, USA, 2013. ACM.
bib | url ]
[24] Matthias Függer and Ulrich Schmid. Reconciling fault-tolerant distributed computing and systems-on-chip. Distributed Computing, 24(6):323-355, 2012.
bib | url ]
[23] Matthias Függer and Josef Widder. Efficient checking of link-reversal-based concurrent systems. In Maciej Koutny and Irek Ulidowski, editors, International Conference on Concurrency Theory (CONCUR), volume 7454 of Lecture Notes in Computer Science, pages 486-499. Springer Berlin Heidelberg, 2012.
bib | url ]
[22] Matthias Függer, Alexander Kößler, Thomas Nowak, and Martin Zeiner. Brief announcement: The degrading effect of forgetting on a synchronizer. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), volume 7596 of Lecture Notes in Computer Science, pages 90-91. Springer, 2012.
bib | url ]
[21] Thomas Reinbacher, Matthias Függer, and Jörg Brauer. Real-time runtime verification on chip. In International Conference on Runtime Verification (RV), volume 7687 of Lecture Notes in Computer Science, pages 110-125. Springer, 2012.
bib | url ]
[20] Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, and Josef Widder. Full reversal routing as a linear dynamical system. In Structural Information and Communication Complexity - 18th International Colloquium (SIROCCO), Lecture Notes in Computer Science, pages 101-112. Springer, 2011.
bib | url ]
[19] Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, and Josef Widder. Partial is full. In Structural Information and Communication Complexity - 18th International Colloquium (SIROCCO), Lecture Notes in Computer Science, pages 113-124. Springer, 2011.
bib | url ]
[18] Thomas Nowak, Matthias Függer, and Alexander Kößler. On the performance of a retransmission-based synchronizer. In Structural Information and Communication Complexity - 18th International Colloquium (SIROCCO), Lecture Notes in Computer Science, pages 234-245. Springer, 2011.
bib ]
[17] Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, and Josef Widder. Brief announcement: full reversal routing as a linear dynamical system. In 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pages 129-130. ACM, 2011.
bib ]
[16] Danny Dolev, Matthias Függer, Christoph Lenzen, and Ulrich Schmid. Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation - [extended abstract]. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Lecture Notes in Computer Science, pages 163-177. Springer, 2011.
bib ]
[15] Matthias Függer, Andreas Dielacher, and Ulrich Schmid. How to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. In Eighth European Dependable Computing Conference (EDCC), pages 230-239, Valencia, Spain, April 2010.
bib ]
[14] Matthias Függer. Analysis of On-Chip Fault-Tolerant Distributed Algorithms. PhD thesis, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 3/3/182-2, 1040 Vienna, Austria, 2010.
bib ]
[13] Matthias Függer, Eric Armengaud, and Andreas Steininger. Safely stimulating the clock synchronization algorithm in time-triggered systems-a combined formal and experimental approach. IEEE Transactions on Industrial Informatics, 5(2):132-146, May 2009.
bib | url ]
[12] Gottfried Fuchs, Matthias Függer, and Andreas Steininger. On the threat of metastability in an asynchronous fault-tolerant clock generation scheme. 15th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2009.
bib | url ]
[11] Matthias Függer, Gottfried Fuchs, Ulrich Schmid, and Andreas Steininger. On the stability and robustness of non-synchronous circuits with timing loops. 3rd Workshop on Dependable and Secure Nanocomputing, Jun. 2009.
bib ]
[10] Andreas Dielacher, Matthias Függer, and Ulrich Schmid. Brief announcement: How to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. In Symposium on Principles of Distributed Computing (PODC), pages 276-277, 2009.
bib | url ]
[9] Eric Armengaud, Matthias Függer, and Andreas Steininger. Safe Deterministic Replay for Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems. 7th IEEE International Workshop on Factory Communication Systems, May. 2008.
bib ]
[8] Gottfried Fuchs, Matthias Függer, Ulrich Schmid, and Andreas Steininger. Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip. In 11th Euromicro conference on Digital System Design Architectures, Methods and Tools (DSD), pages 242-249, Parma, Italy, Sept. 2008.
bib ]
[7] Andreas Steininger, Matthias Függer, Ulrich Schmid, and Gottfried Fuchs. Fault-Tolerant Algorithms on Socs - A case study. The International Conference on Dependable Systems and Networks, Jun. 2006.
bib ]
[6] Matthias Függer, Ulrich Schmid, Gottfried Fuchs, and Gerald Kempf. Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. Sixth European Dependable Computing Conference (EDCC), pages 87-96, Oct. 2006.
bib ]
[5] Matthias Függer, Thomas Handl, Andreas Steininger, Josef Widder, and Christian Toegel. An efficient test for a transition signalling based up-/down-counter. The Austrian National Conference on the Design of Integrated Circuits and Systems (Austrochip), Oct. 2006.
bib ]
[4] Gottfried Fuchs, Matthias Függer, Andreas Steininger, and Franz Zangerl. Analysis of constraints in a fault-tolerant distributed clock generation scheme. 3rd International Workshop on Dependable Embedded Systems (WDES), Oct. 2006.
bib ]
[3] Andreas Steininger, Matthias Függer, Ulrich Schmid, and Gottfried Fuchs. Fault-Tolerant Algorithms on SoCs - A case study. In Supplemental Proceedings of the International Conference on Dependable Systems and Networks (DSN), pages 190-191, Philadelphia, USA, Jun. 2006.
bib ]
[2] Daniel Albeseder, Matthias Függer, Felix Breitenecker, Thomas Löscher, and Shabnam Tauböck. Small PC-Network Simulation - A Comprehensive Performance Case Study. Simulation News Europe, Dec. 2005.
bib ]
[1] Babak Rahbaran, Matthias Függer, and Andreas Steininger. Embedded Real-Time Tracer - An Approach with IDE. Telematik, Dec. 2004.
bib ]

(list generated by bibtex2html)

About LSV

Contact

Matthias FÜGGER
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Phone
+33 (0)1 47 40 75 44
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
mfuegger (at) lsv DOT fr