Matthias FÜGGER

Full-time Researcher, CNRS

Research Interests


My main research interest is the formal study of the fundamentals of computationally extremely restricted distributed devices (manmade or models of natural systems). Restrictions can be with respect to memory, communication, complexity of atomic state transitions, etc. Specifically this includes:

Projects



Teaching


Summer 2015: Beyond Classical Circuit Design at MPI.


Recent Positions



Publications


[45] Ghaith Tarawneh, Matthias Függer, and Christoph Lenzen. Metastability tolerant computing. In IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2017. [ bib ]
[44] 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), 2017. [ bib,pdf ]
[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 ]
[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 ]
[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 2016), volume 55, pages 137:1-137:14, 2016. [ bib ]
[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 ]
[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 Conference & Exhibition (DATE), 2015. [ bib ]
[38] Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, and Josef Widder. Time complexity of link reversal routing. ACM Trans. Algorithms, 11(3):18:1-18:39, January 2015. [ bib ]
[37] Bernadette Charron-Bost, Matthias Függer, and Thomas Nowak. Approximate consensus in highly dynamic networks: The role of averaging algorithms. In Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, pages 528-539, 2015. [ bib ]
[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 '15, pages 355-360. ACM, 2015. [ bib ]
[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 ]
[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 ]
[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 ]
[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 ]
[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 ]
[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 ]
[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 ]
[28] Matthias Függer, Thomas Nowak, and Ulrich Schmid. Unfaithful glitch propagation in existing binary circuit models. In Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on, pages 191-199, 2013. [ bib ]
[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, volume 8053 of Lecture Notes in Computer Science, pages 77-90. Springer Berlin Heidelberg, 2013. [ bib ]
[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 ]
[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 '13, pages 164-175, New York, NY, USA, 2013. ACM. [ bib ]
[24] Matthias Függer and Ulrich Schmid. Reconciling fault-tolerant distributed computing and systems-on-chip. Distributed Computing, 24(6):323-355, 2012. [ bib ]
[23] Matthias Függer and Josef Widder. Efficient checking of link-reversal-based concurrent systems. In Maciej Koutny and Irek Ulidowski, editors, CONCUR 2012 - Concurrency Theory, volume 7454 of Lecture Notes in Computer Science, pages 486-499. Springer Berlin Heidelberg, 2012. [ bib ]
[22] Matthias Függer, Alexander Kößler, Thomas Nowak, and Martin Zeiner. Brief announcement: The degrading effect of forgetting on a synchronizer. In SSS, volume 7596 of Lecture Notes in Computer Science, pages 90-91. Springer, 2012. [ bib ]
[21] Thomas Reinbacher, Matthias Függer, and Jörg Brauer. Real-time runtime verification on chip. In RV, volume 7687 of Lecture Notes in Computer Science, pages 110-125. Springer, 2012. [ bib ]
[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 ]
[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 ]
[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 Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium (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-8), 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 | DOI ]
[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, May 2009. [ bib ]
[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 PODC, pages 276-277, 2009. [ bib ]
[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'08), pages 242-249, Parma, Italy, Sept. 2008. [ bib | DOI ]
[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-6), 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 2006), 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'06), 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'06), 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