Concepedia

Matthias Függer

MF

12

Publications

245

Citations

12

H-Index

2006

Active since

Affiliations

TU Wien(Current)

Laboratoire Spécification et Vérification

Centre National de la Recherche Scientifique

École Normale Supérieure Paris-Saclay

Université Paris-Saclay

Matthias Függer is an author at TU Wien specializing in computer science, engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal VerificationFormal MethodsFault ToleranceParallel ComputingSystems EngineeringAsynchronous CircuitsComputer Architecture

Publications per year

2006–2020

12

Publications

12

Runtime verification of embedded real-time systems

Thomas Reinbacher, Matthias Függer, Jörg Bräuer · Formal Methods in System Design · 2013 · 34 citations · Full text

Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip

Matthias Függer, Ulrich Schmid, Gottfried Fuchs et al. · 2006 · 34 citations

Engineering, Vlsi Design, Computer Architecture +17

Reconciling fault-tolerant distributed computing and systems-on-chip

Matthias Függer, Ulrich Schmid · Distributed Computing · 2011 · 33 citations · Full text

On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme

Gottfried Fuchs, Matthias Függer, Andreas Steininger · 2009 · 24 citations

Engineering, Single Metastable Upset, Elastic Pipelines +20

Fault-tolerant algorithms for tick-generation in asynchronous logic

Danny Dolev, Matthias Függer, Ulrich Schmid et al. · Journal of the ACM · 2014 · 21 citations · Full text

Engineering, Computer Architecture, Clock Synchronization Problem +21

Rows per page

1–5 of 12