[76] Arman Ferdowsi, Matthias Függer, Thomas Nowak, and Ulrich Schmid. Continuity of thresholded mode-switched ODEs and digital circuit delay models. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2023.
bib | DOI | hal | url | arxiv long version ]
[75] Johannes Bund, Matthias Függer, and Moti Medina. Pals: Distributed gradient clocking on chip. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2023.
bib | DOI | url | arxiv long version ]
[74] Fabricio Cravo, Matthias Függer, and Thomas Nowak. An allee-based distributed algorithm for microbial whole-cell sensors. bioRxiv, 2023.
bib | DOI | arXiv | url ]
[73] Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, and Nathalie Sznajder. Synthesis in presence of dynamic links. Information and Computation, 289, 2022.
bib | DOI | hal | url ]
[72] Matthias Függer, Attila Kinali, Christoph Lenzen, and Ben Wiederhake. Fast all-digital clock frequency adaptation circuit for voltage droop tolerance. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(8):2518-2531, 2022.
bib | DOI | hal | url ]
[71] Fabricio Cravo, Matthias Függer, Thomas Nowak, and Gayathri Prakash. Mobspy: A meta-species language for chemical reaction networks. In Ion Petre and Andrei Pāun, editors, Computational Methods in Systems Biology, pages 277-285. Springer International Publishing, 2022.
bib | DOI | hal | url | biorxiv long version ]
[70] Matthias Függer, Christoph Lenzen, and Ulrich Schmid. On Specifications and Proofs of Timed Circuits, pages 107-130. Springer Nature Switzerland, Cham, 2022.
bib | DOI | hal | url | arxiv long version ]
[69] Amit Pathania, Corbin Hopper, Amir Pandi, Matthias Függer, Thomas Nowak, and Manish Kushwaha. A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission. bioRxiv, 2022.
bib | DOI | arXiv | url ]
[68] Matthias Függer, Thomas Nowak, and Manfred Schwarz. Tight bounds for asymptotic and approximate consensus. Journal of the ACM (JACM), October 2021.
bib | DOI | hal | url ]
[67] Daniel Öhlinger, Jürgen Maier, Matthias Függer, and Ulrich Schmid. The involution tool for accurate digital timing and power analysis. Integration, 76:87-98, 2021.
bib | DOI | hal | url ]
[66] Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, and Thomas Nowak. A composable glitch-aware delay model. In Proceedings of the 2021 on Great Lakes Symposium on VLSI, pages 147-154. Association for Computing Machinery, 2021.
bib | DOI | hal | url | arxiv long version ]
[65] Wolfgang Dür, Matthias Függer, and Andreas Steininger. Generation of a fault-tolerant clock through redundant crystal oscillators. Microelectronics Reliability, 120:114088, 2021.
bib | DOI | hal | url ]
[64] Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, and Quentin Soubeyran. Distributed computation with continual population growth. Distributed Computing, 35(6):547-569, 2021.
bib | DOI | hal | url ]
[63] Victoria Andaur, Janna Burman, Matthias Függer, Manish Kushwaha, Bilal Manssouri, Thomas Nowak, and Joel Rybicki. Reaching agreement in competitive microbial systems. arXiv preprint arXiv:2103.07450, 2021.
bib | url ]
[62] Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, and Nathalie Sznajder. Synthesis in presence of dynamic links. In Davide Bresolin and Jean-François Raskin, editors, Proceedings of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'20), Electronic Proceedings in Theoretical Computer Science, Brussels, Belgium, September 2020.
bib | video | hal | url | arxiv long version ]
[61] Matthias Függer, Manish Kushwaha, and Thomas Nowak. Digital circuit design for biological and silicon computers. In Vijai Singh, editor, Advances in Synthetic Biology, pages 153-171. Springer, Heidelberg, March 2020.
bib | DOI | hal | url ]
[60] Matthias Függer, Robert Najvirt, Thomas Nowak, and Ulrich Schmid. A faithful binary circuit model. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(10):2784-2797, 2020.
bib | DOI | hal ]
[59] Matthias Függer, Thomas Nowak, and Kyrill Winkler. On the radius of nonsplit graphs and information dissemination in dynamic networks. Discrete Applied Mathematics, 282:257-264, 2020.
bib | DOI | hal | url ]
[58] Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina, and Will Rosenbaum. Pals: Plesiochronous and locally synchronous systems. In 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pages 36-43, Los Alamitos, CA, USA, 2020. IEEE Computer Society.
bib | DOI | hal | url | arxiv long version ]
[57] Johannes Bund, Matthias Függer, Christoph Lenzen, and Moti Medina. Synchronizer-free digital link controller. IEEE Transactions on Circuits and Systems I, 67(10):3562-3573, 2020.
bib | DOI | hal | url | arxiv long version ]
[56] Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, and Quentin Soubeyran. Distributed computation with continual population growth. In Hagit Attiya, editor, 34th International Symposium on Distributed Computing (DISC), volume 179 of Leibniz International Proceedings in Informatics (LIPIcs), pages 7:1-7:17, Dagstuhl, Germany, 2020. Schloss Dagstuhl-Leibniz-Zentrum für Informatik.
bib | DOI | video | hal | url | arxiv long version ]
[55] Daniel Öhlinger, Jürgen Maier, Matthias Függer, and Ulrich Schmid. The involution tool for accurate digital timing and power analysis. In 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS), pages 1-8, July 2019.
bib | DOI | hal ]
[54] Jürgen Maier, Matthias Függer, Thomas Nowak, and Ulrich Schmid. Transistor-level analysis of dynamic delay models. In 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pages 76-85, May 2019.
bib | DOI | hal ]
[53] 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), pages 68-77, May 2018.
bib | DOI | hal | url ]
[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 | DOI | hal | url | preprint ]
[51] Stephan Friedrichs, Matthias Függer, and Christoph Lenzen. Metastability-containing circuits. IEEE Transactions on Computers, 67(8), 2018.
bib | DOI | hal | url | arxiv long version ]
[50] Matthias Függer, Thomas Nowak, and Manfred Schwarz. Tight bounds for asymptotic and approximate consensus. In ACM Symposium on Principles of Distributed Computing (PODC), pages 325-334, New York, NY, USA, 2018. ACM.
bib | hal | url | arxiv long version ]
[49] 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 | hal | url | arxiv long version ]
[48] 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 ]
[47] 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 | DOI | hal | url | preprint ]
[46] 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 | DOI | hal | url | preprint ]
[45] 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 ]
[44] Bernadette Charron-Bost, Matthias Függer, and Thomas Nowak. Multidimensional asymptotic consensus in dynamic networks. CoRR, abs/1611.02496, 2016.
bib | arXiv | url ]
[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 | DOI | url ]
[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 | DOI | hal | url ]
[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 | DOI | hal | url | arxiv long version ]
[40] Matthias Függer, Thomas Nowak, and Bernadette Charron-Bost. Diffusive clock synchronization in highly dynamic networks. In 2015 49th Annual Conference on Information Sciences and Systems (CISS), pages 1-6, March 2015.
bib | DOI | 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 | DOI | 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 | DOI | 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 | DOI | hal | url | 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 | DOI | 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 | DOI | 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. Journal of the ACM (JACM), 61(5):30:1-30:74, September 2014.
bib | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 2013 Euromicro Conference on Digital System Design (DSD), pages 142-151, 2013.
bib | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI ]
[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 | DOI ]
[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 | DOI ]
[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 | DOI ]
[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, Gottfried Fuchs, Ulrich Schmid, and Andreas Steininger. On the stability and robustness of non-synchronous circuits with timing loops. In 3rd Workshop on Dependable and Secure Nanocomputing, June 2009.
bib | url ]
[12] 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 | url ]
[11] Gottfried Fuchs, Matthias Függer, and Andreas Steininger. On the threat of metastability in an asynchronous fault-tolerant clock generation scheme. In 15th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pages 127-136, May 2009.
bib | DOI | url ]
[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 | DOI | url ]
[9] 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, September 2008.
bib | DOI ]
[8] Eric Armengaud, Matthias Függer, and Andreas Steininger. Safe deterministic replay for stimulating the clock synchronization algorithm in time-triggered systems. In 7th IEEE International Workshop on Factory Communication Systems (WFCS), pages 277-286, May 2008.
bib | DOI ]
[7] Matthias Függer, Ulrich Schmid, Gottfried Fuchs, and Gerald Kempf. Fault-tolerant distributed clock generation in VLSI Systems-on-Chip. In Sixth European Dependable Computing Conference (EDCC), pages 87-96, Coimbra, Portugal, October 2006.
bib | DOI | url ]
[6] Matthias Függer, Thomas Handl, Andreas Steininger, Josef Widder, and Christian Toegel. An efficient test for a transition signalling based up-/down-counter. In The Austrian National Conference on the Design of Integrated Circuits and Systems (Austrochip), October 2006.
bib | url ]
[5] Gottfried Fuchs, Matthias Függer, Andreas Steininger, and Franz Zangerl. Analysis of constraints in a fault-tolerant distributed clock generation scheme. In 3rd International Workshop on Dependable Embedded Systems (WDES), October 2006.
bib ]
[4] 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, June 2006.
bib ]
[3] 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, December 2005.
bib ]
[2] Babak Rahbaran, Matthias Függer, and Andreas Steininger. Embedded real-time-tracer-an approach with IDE. Telematik, December 2004.
bib | url ]
[1] Raghda El Shehaby, Matthias Függer, and Andreas Steininger. On the susceptibility of QDI circuits to transient faults. In Laure Petrucci and Jeremy Sproston, editors, Formal Modeling and Analysis of Timed Systems (FORMATS), pages 69-85, Cham. Springer Nature Switzerland.
bib | DOI | url | arxiv long version ]