Matthias Függer

101 papers A* 4A 5B 8C 6Misc 3Journal 54Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Accurate closed-form delay formulas for interconnected CMOS gates based on first-order thresholded hybrid systems. Integr. Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
2026	J	`jnl`	Asymptotic Subspace Consensus in Dynamic Networks. CoRR Matthias Függer, Thomas Nowak
2025	J	`jnl`	Centralized Permutation Equivariant Policy for Cooperative Multi-Agent Reinforcement Learning. CoRR Zhuofan Xu, Benedikt Bollig, Matthias Függer, Thomas Nowak, Vincent Le Dréau
2025	—	`conf`	Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective. ASYNC Raghda El Shehaby, Matthias Függer, Florian Huemer, Andreas Steininger
2025	J	`jnl`	MobsPy: A programming language for biochemical reaction networks. PLoS Comput. Biol. Fabricio Cravo, Gayathri Prakash, Matthias Függer, Thomas Nowak
2025	—	`conf`	SeAL: A Provably Complete Fault-Injection Tool for Asynchronous Circuits. ICECS Raghda El Shehaby, Matthias Függer, Florian Huemer, Andreas Steininger
2024	J	`jnl`	A Framework for Streaming Event-Log Prediction in Business Processes. CoRR Benedikt Bollig, Matthias Függer, Thomas Nowak
2024	J	`jnl`	A Hybrid Delay Model for Interconnected Multi-Input Gates. CoRR Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
2024	J	`jnl`	Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs. CoRR Arman Ferdowsi, Matthias Függer, Thomas Nowak, Michael Drmota, Ulrich Schmid
2024	A*	`conf`	Majority Consensus Thresholds in Competitive Lotka-Volterra Populations. PODC Matthias Függer, Thomas Nowak, Joel Rybicki
2024	J	`jnl`	Majority consensus thresholds in competitive Lotka-Volterra populations. CoRR Matthias Függer, Thomas Nowak, Joel Rybicki
2024	B	`conf`	Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit. ICTAI Zhuofan Xu, Benedikt Bollig, Matthias Függer, Thomas Nowak
2023	C	`conf`	A Hybrid Delay Model for Interconnected Multi-Input Gates. DSD Arman Ferdowsi, Matthias Függer, Josef Salzmann, Ulrich Schmid
2023	—	`conf`	Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. HSCC Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
2023	J	`jnl`	Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models. CoRR Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
2023	—	`conf`	On the Susceptibility of QDI Circuits to Transient Faults. FORMATS Raghda El Shehaby, Matthias Függer, Andreas Steininger
2023	J	`jnl`	On the Susceptibility of QDI Circuits to Transient Faults. CoRR Raghda El Shehaby, Matthias Függer, Andreas Steininger
2023	J	`jnl`	PALS: Distributed Gradient Clocking on Chip. CoRR Johannes Bund, Matthias Függer, Moti Medina
2023	J	`jnl`	PALS: Distributed Gradient Clocking on Chip. IEEE Trans. Very Large Scale Integr. Syst. Johannes Bund, Matthias Függer, Moti Medina
2022	—	`book`	Computing at the border of abstractions: the power of timed, non-binary, distributed circuits. (Le calcul à la frontière des abstractions : la puissance des circuits temporisés, non binaires, distribués). Matthias Függer
2022	J	`jnl`	Distributed computation with continual population growth. Distributed Comput. Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
2022	J	`jnl`	Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake
2022	—	`conf`	MobsPy: A Meta-species Language for Chemical Reaction Networks. CMSB Fabricio Cravo, Matthias Függer, Thomas Nowak, Gayathri Prakash
2022	—	`conf`	On Specifications and Proofs of Timed Circuits. Principles of Systems Design Matthias Függer, Christoph Lenzen, Ulrich Schmid
2022	J	`jnl`	On Specifications and Proofs of Timed Circuits. CoRR Matthias Függer, Christoph Lenzen, Ulrich Schmid
2022	J	`jnl`	Synthesis in presence of dynamic links. Inf. Comput. Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
2021	—	`conf`	A Composable Glitch-Aware Delay Model. ACM Great Lakes Symposium on VLSI Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, Thomas Nowak
2021	J	`jnl`	A Composable Glitch-Aware Delay Model. CoRR Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, Thomas Nowak
2021	J	`jnl`	Reaching Agreement in Competitive Microbial Systems. CoRR Victoria Andaur, Janna Burman, Matthias Függer, Manish Kushwaha, Bilal Manssouri, Thomas Nowak, Joel Rybicki
2021	J	`jnl`	The Involution Tool for Accurate Digital Timing and Power Analysis. Integr. Daniel Öhlinger, Jürgen Maier, Matthias Függer, Ulrich Schmid
2021	J	`jnl`	Tight Bounds for Asymptotic and Approximate Consensus. J. ACM Matthias Függer, Thomas Nowak, Manfred Schwarz
2020	J	`jnl`	A Faithful Binary Circuit Model with Adversarial Noise. CoRR Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2020	J	`jnl`	A Faithful Binary Circuit Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2020	A	`conf`	Distributed Computation with Continual Population Growth. DISC Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
2020	J	`jnl`	Distributed Computation with Continual Population Growth. CoRR Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
2020	J	`jnl`	On the radius of nonsplit graphs and information dissemination in dynamic networks. Discret. Appl. Math. Matthias Függer, Thomas Nowak, Kyrill Winkler
2020	—	`conf`	PALS: Plesiochronous and Locally Synchronous Systems. ASYNC Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina, Will Rosenbaum
2020	J	`jnl`	PALS: Plesiochronous and Locally Synchronous Systems. CoRR Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina, Will Rosenbaum
2020	J	`jnl`	Synchronizer-Free Digital Link Controller. CoRR Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina
2020	J	`jnl`	Synchronizer-Free Digital Link Controller. IEEE Trans. Circuits Syst. Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina
2020	—	`conf`	Synthesis in Presence of Dynamic Links. GandALF Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
2019	J	`jnl`	On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks. CoRR Matthias Függer, Thomas Nowak, Kyrill Winkler
2019	—	`conf`	The Involution Tool for Accurate Digital Timingand Power Analysis. PATMOS Daniel Öhlinger, Jürgen Maier, Matthias Függer, Ulrich Schmid
2019	—	`conf`	Transistor-Level Analysis of Dynamic Delay Models. ASYNC Jürgen Maier, Matthias Függer, Thomas Nowak, Ulrich Schmid
2018	A	`conf`	A faithful binary circuit model with adversarial noise. DATE Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2018	—	`conf`	Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance. ASYNC Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake
2018	A	`conf`	Fast Multidimensional Asymptotic and Approximate Consensus. DISC Matthias Függer, Thomas Nowak
2018	J	`jnl`	Fast Multidimensional Asymptotic and Approximate Consensus. CoRR Matthias Függer, Thomas Nowak
2018	J	`jnl`	Metastability-Containing Circuits. IEEE Trans. Computers Stephan Friedrichs, Matthias Függer, Christoph Lenzen
2018	A*	`conf`	Tight Bounds for Asymptotic and Approximate Consensus. PODC Matthias Függer, Thomas Nowak, Manfred Schwarz
2017	A	`conf`	Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks. DISC Matthias Függer, Thomas Nowak, Manfred Schwarz
2017	J	`jnl`	Lower Bounds for Asymptotic Consensus in Dynamic Networks. CoRR Matthias Függer, Thomas Nowak, Manfred Schwarz
2017	—	`conf`	Metastability Tolerant Computing. ASYNC Ghaith Tarawneh, Matthias Függer, Christoph Lenzen
2017	—	`conf`	Metastability-Aware Memory-Efficient Time-to-Digital Converters. ASYNC Matthias Függer, Attila Kinali, Christoph Lenzen, Thomas Polzer
2017	J	`jnl`	New transience bounds for max-plus linear systems. Discret. Appl. Math. Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2016	A*	`conf`	Fast, Robust, Quantizable Approximate Consensus. ICALP Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2016	J	`jnl`	HEX: Scaling honeycombs is easier than scaling clock trees. J. Comput. Syst. Sci. Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid
2016	J	`jnl`	Metastability-Containing Circuits. CoRR Stephan Friedrichs, Matthias Függer, Christoph Lenzen
2016	J	`jnl`	Multidimensional Asymptotic Consensus in Dynamic Networks. CoRR Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2016	J	`jnl`	Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Trans. Computers Matthias Függer, Thomas Nowak, Ulrich Schmid
2015	J	`jnl`	A Proof of the Convergence of the Hegselmann-Krause Dynamics on the Circle. CoRR Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2015	J	`jnl`	Amortized Averaging Algorithms for Approximate Consensus. CoRR Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2015	—	`conf`	Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms. ICALP (2) Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2015	Misc	`conf`	Diffusive clock synchronization in highly dynamic networks. CISS Matthias Függer, Thomas Nowak, Bernadette Charron-Bost
2015	—	`conf`	Experimental Validation of a Faithful Binary Circuit Model. ACM Great Lakes Symposium on VLSI Robert Najvirt, Ulrich Schmid, Michael Hofbauer, Matthias Függer, Thomas Nowak, Kurt Schweiger
2015	J	`jnl`	Fault-tolerant Distributed Systems in Hardware. Bull. EATCS Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid, Andreas Steininger
2015	J	`jnl`	The effect of forgetting on the performance of a synchronizer. Perform. Evaluation Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
2015	J	`jnl`	Time Complexity of Link Reversal Routing. ACM Trans. Algorithms Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2015	A	`conf`	Towards binary circuit models that faithfully capture physical solvability. DATE Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2014	J	`jnl`	Approximate Consensus in Highly Dynamic Networks. CoRR Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2014	J	`jnl`	Faithful Glitch Propagation in Binary Circuit Models. CoRR Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
2014	J	`jnl`	Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation. J. ACM Danny Dolev, Matthias Függer, Ulrich Schmid, Christoph Lenzen
2014	J	`jnl`	Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip. J. Comput. Syst. Sci. Danny Dolev, Matthias Függer, Markus Posch, Ulrich Schmid, Andreas Steininger, Christoph Lenzen
2014	J	`jnl`	Runtime verification of embedded real-time systems. Formal Methods Syst. Des. Thomas Reinbacher, Matthias Függer, Jörg Brauer
2013	C	`conf`	Efficient Construction of Global Time in SoCs Despite Arbitrary Faults. DSD Christoph Lenzen, Matthias Függer, Markus Hofstatter, Ulrich Schmid
2013	B	`conf`	HEX: scaling honeycombs is easier than scaling clock trees. SPAA Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid
2013	J	`jnl`	On the performance of a retransmission-based synchronizer. Theor. Comput. Sci. Thomas Nowak, Matthias Függer, Alexander Kößler
2013	C	`conf`	The Effect of Forgetting on the Performance of a Synchronizer. ALGOSENSORS Matthias Függer, Alexander Kößler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
2013	—	`conf`	Transience Bounds for Distributed Algorithms. FORMATS Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2013	—	`conf`	Unfaithful Glitch Propagation in Existing Binary Circuit Models. ASYNC Matthias Függer, Thomas Nowak, Ulrich Schmid
2013	J	`jnl`	Unfaithful Glitch Propagation in Existing Binary Circuit Models. CoRR Matthias Függer, Thomas Nowak, Ulrich Schmid
2012	C	`conf`	Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer. SSS Matthias Függer, Alexander Kößler, Thomas Nowak, Martin Zeiner
2012	B	`conf`	Efficient Checking of Link-Reversal-Based Concurrent Systems. CONCUR Matthias Függer, Josef Widder
2012	J	`jnl`	FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs CoRR Danny Dolev, Matthias Függer, Christoph Lenzen, Markus Posch, Ulrich Schmid, Andreas Steininger
2012	J	`jnl`	New Transience Bounds for Long Walks CoRR Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2012	B	`conf`	Real-Time Runtime Verification on Chip. RV Thomas Reinbacher, Matthias Függer, Jörg Brauer
2012	J	`jnl`	Reconciling fault-tolerant distributed computing and systems-on-chip. Distributed Comput. Matthias Függer, Ulrich Schmid
2011	B	`conf`	Brief announcement: full reversal routing as a linear dynamical system. SPAA Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2011	C	`conf`	Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract]. SSS Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
2011	J	`jnl`	Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation CoRR Danny Dolev, Matthias Függer, Christoph Lenzen, Ulrich Schmid
2011	B	`conf`	Full Reversal Routing as a Linear Dynamical System. SIROCCO Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2011	B	`conf`	On the Performance of a Retransmission-Based Synchronizer. SIROCCO Thomas Nowak, Matthias Függer, Alexander Kößler
2011	J	`jnl`	On the Transience of Linear Max-Plus Dynamical Systems CoRR Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
2011	B	`conf`	Partial is Full. SIROCCO Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2010	Misc	`conf`	How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. EDCC Matthias Függer, Andreas Dielacher, Ulrich Schmid
2009	A*	`conf`	Brief announcement: how to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. PODC Andreas Dielacher, Matthias Függer, Ulrich Schmid
2009	—	`conf`	On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme. ASYNC Gottfried Fuchs, Matthias Függer, Andreas Steininger
2009	J	`jnl`	Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - a Combined Formal & Experimental Approach. IEEE Trans. Ind. Informatics Matthias Függer, Eric Armengaud, Andreas Steininger
2008	C	`conf`	Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip. DSD Gottfried Fuchs, Matthias Függer, Ulrich Schmid, Andreas Steininger
2006	Misc	`conf`	Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. EDCC Matthias Függer, Ulrich Schmid, Gottfried Fuchs, Gerald Kempf
2004	—	`conf`	Embedded Real-Time-Tracer - An Approach with IDE. WISES Babak Rahbaran, Matthias Függer, Andreas Steininger