cv_fuegger.bib

@article{rahbaran:2004-83,
  author = {Babak Rahbaran and Matthias F{\"u}gger and Andreas Steininger},
  title = {{E}mbedded {R}eal-{T}ime {T}racer -- {A}n {A}pproach with {IDE}},
  journal = {Telematik},
  year = {2004},
  month = {Dec.}
}
@article{steininger:2006-47,
  author = {Andreas Steininger and Matthias F{\"u}gger and Ulrich Schmid and Gottfried Fuchs},
  title = {Fault-{T}olerant {A}lgorithms on {S}oCs - {A} case study},
  journal = {{T}he {I}nternational {C}onference on {D}ependable {S}ystems and {N}etworks},
  year = {2006},
  month = {Jun.}
}
@article{albeseder:2006-16,
  author = {Daniel Albeseder and Matthias F{\"u}gger and Felix Breitenecker and Thomas L{\"o}scher and Shabnam Taub{\"o}ck},
  title = {{S}mall {PC}-{N}etwork {S}imulation -- {A} {C}omprehensive {P}erformance {C}ase {S}tudy},
  journal = {{S}imulation {N}ews {E}urope},
  year = {2005},
  month = {Dec.}
}
@article{FSFK06:EDCC,
  author = {Matthias F{\"u}gger and Ulrich Schmid and Gottfried Fuchs and Gerald Kempf},
  title = {{F}ault-{T}olerant {D}istributed {C}lock {G}eneration in {VLSI} {S}ystems-on-{C}hip},
  journal = {{S}ixth {E}uropean {D}ependable {C}omputing {C}onference (EDCC)},
  year = {2006},
  month = {Oct.},
  address = {Coimbra, Portugal},
  pages = {87--96}
}
@article{FHSWT06:austro,
  author = {Matthias F{\"u}gger and Thomas Handl and Andreas Steininger and Josef Widder and Christian Toegel},
  title = {An Efficient Test for a Transition Signalling based Up-/Down-Counter},
  journal = {The Austrian National Conference on the Design of Integrated Circuits and Systems (Austrochip)},
  year = {2006},
  month = {Oct.}
}
@article{FFSZ06:WDES,
  author = {Gottfried Fuchs and Matthias F{\"u}gger and Andreas Steininger and Franz Zangerl},
  title = {Analysis of Constraints in a Fault-Tolerant Distributed Clock Generation Scheme},
  journal = {3rd International Workshop on Dependable Embedded Systems (WDES)},
  year = {2006},
  month = {Oct.}
}
@inproceedings{SFSF06:DSN,
  author = {Andreas Steininger and Matthias F{\"u}gger and Ulrich Schmid and Gottfried Fuchs},
  title = {Fault-{T}olerant {A}lgorithms on {S}o{C}s - {A} case study},
  booktitle = {{S}upplemental {P}roceedings of the {I}nternational {C}onference on {D}ependable {S}ystems and {N}etworks (DSN)},
  year = {2006},
  month = {Jun.},
  address = {Philadelphia, USA},
  pages = {190--191}
}
@article{armengaud:2008-20,
  author = {Eric Armengaud and Matthias F{\"u}gger and Andreas Steininger},
  title = {{S}afe {D}eterministic {R}eplay for {S}timulating the {C}lock {S}ynchronization {A}lgorithm in {T}ime-{T}riggered {S}ystems},
  journal = {7th {IEEE} {I}nternational {W}orkshop on {F}actory {C}ommunication {S}ystems},
  year = {2008},
  month = {May.}
}
@inproceedings{FFSS:DSD08,
  author = {Gottfried Fuchs and Matthias F{\"u}gger and Ulrich Schmid and Andreas Steininger},
  title = {{M}apping a {F}ault-{T}olerant {D}istributed {A}lgorithm to {S}ystems on {C}hip},
  booktitle = {11th {E}uromicro conference on {D}igital {S}ystem {D}esign {A}rchitectures, {M}ethods and {T}ools (DSD)},
  year = {2008},
  month = {Sept.},
  pages = {242--249},
  address = {Parma, Italy}
}
@article{FAS09,
  title = {Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems--A Combined Formal and Experimental Approach},
  author = {Matthias F{\"u}gger and
               Eric Armengaud and
               Andreas Steininger},
  journal = {{IEEE} Transactions on Industrial Informatics},
  year = {2009},
  month = {May},
  volume = {5},
  number = {2},
  pages = {132--146},
  url = {https://ieeexplore.ieee.org/document/4895704/}
}
@article{FFSS09:WDSN,
  author = {Matthias F{\"u}gger and
               Gottfried Fuchs and
               Ulrich Schmid and
               Andreas Steininger},
  title = {On the Stability and Robustness of Non-Synchronous Circuits with Timing Loops},
  journal = {3rd Workshop on Dependable and Secure Nanocomputing},
  year = {2009},
  month = {Jun.}
}
@article{FFS09,
  author = {Gottfried Fuchs and
               Matthias F{\"u}gger and
               Andreas Steininger},
  title = {On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme},
  journal = {15th {IEEE} International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  year = {2009},
  month = {May},
  url = {https://ieeexplore.ieee.org/document/5010343/}
}
@inproceedings{DFS09,
  author = {Andreas Dielacher and
               Matthias F{\"u}gger and
               Ulrich Schmid},
  title = {Brief announcement: How to speed-up fault-tolerant clock
               generation in {VLSI} systems-on-chip via pipelining},
  booktitle = {Symposium on Principles of Distributed Computing (PODC)},
  year = {2009},
  pages = {276--277},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url = {https://dl.acm.org/citation.cfm?id=1582762}
}
@phdthesis{fuegger:2010,
  author = {Matthias F{\"u}gger},
  title = {Analysis of On-Chip Fault-Tolerant Distributed Algorithms},
  address = {Treitlstr. 3/3/182-2, 1040 Vienna, Austria},
  school = {Technische Universit{\"a}t Wien, Institut f{\"u}r Technische Informatik},
  year = {2010}
}
@inproceedings{FDS10:EDCC,
  author = {Matthias F{\"u}gger and
               Andreas Dielacher and
               Ulrich Schmid},
  title = {How to Speed-Up Fault-Tolerant Clock Generation in {VLSI}
               Systems-on-Chip via Pipelining},
  booktitle = {Eighth European Dependable Computing Conference (EDCC)},
  address = {Valencia, Spain},
  year = {2010},
  month = {April},
  pages = {230--239}
}
@inproceedings{CFWW11:fr,
  author = {Bernadette Charron-Bost and
               Matthias F{\"u}gger and
               Jennifer L. Welch and
               Josef Widder},
  title = {Full Reversal Routing as a Linear Dynamical System},
  booktitle = {Structural Information and Communication Complexity - 18th
               International Colloquium (SIROCCO)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2011},
  pages = {101--112},
  url = {https://link.springer.com/chapter/10.1007/978-3-642-22212-2_10}
}
@inproceedings{CFWW11:pr,
  author = {Bernadette Charron-Bost and
               Matthias F{\"u}gger and
               Jennifer L. Welch and
               Josef Widder},
  title = {Partial is Full},
  booktitle = {Structural Information and Communication Complexity - 18th
               International Colloquium (SIROCCO)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2011},
  pages = {113--124},
  url = {https://link.springer.com/chapter/10.1007/978-3-642-22212-2_11}
}
@inproceedings{NFK11,
  author = {Thomas Nowak and
               Matthias F{\"u}gger and
               Alexander K{\"o}{\ss}ler},
  title = {On the Performance of a Retransmission-Based Synchronizer},
  booktitle = {Structural Information and Communication Complexity - 18th
               International Colloquium (SIROCCO)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2011},
  pages = {234--245}
}
@inproceedings{CFWW11:spaa,
  author = {Bernadette Charron-Bost and
               Matthias F{\"u}gger and
               Jennifer L. Welch and
               Josef Widder},
  title = {Brief announcement: full reversal routing as a linear dynamical
               system},
  booktitle = {23rd Annual ACM Symposium
               on Parallelism in Algorithms and Architectures (SPAA)},
  publisher = {ACM},
  year = {2011},
  pages = {129--130}
}
@article{FS12,
  author = {Matthias F{\"u}gger and
               Ulrich Schmid},
  title = {Reconciling fault-tolerant distributed computing and systems-on-chip},
  journal = {Distributed Computing},
  volume = {24},
  number = {6},
  year = {2012},
  pages = {323--355},
  url = {https://link.springer.com/article/10.1007/s00446-011-0151-7}
}
@inproceedings{DFLS11,
  author = {Danny Dolev and
               Matthias F{\"u}gger and
               Christoph Lenzen and
               Ulrich Schmid},
  title = {Fault-Tolerant Algorithms for Tick-Generation in Asynchronous
               Logic: Robust Pulse Generation - [Extended Abstract]},
  booktitle = {International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2011},
  pages = {163--177}
}
@incollection{FW12,
  author = {Matthias F{\"u}gger and
               Josef Widder},
  title = {Efficient Checking of Link-Reversal-Based Concurrent Systems},
  year = {2012},
  booktitle = {International Conference on Concurrency Theory (CONCUR)},
  volume = {7454},
  series = {Lecture Notes in Computer Science},
  editor = {Koutny, Maciej and Ulidowski, Irek},
  url = {http://dx.doi.org/10.1007/978-3-642-32940-1_34},
  publisher = {Springer Berlin Heidelberg},
  pages = {486--499}
}
@inproceedings{FKNZ12,
  author = {Matthias F{\"u}gger and
               Alexander K{\"o}{\ss}ler and
               Thomas Nowak and
               Martin Zeiner},
  title = {Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer},
  booktitle = {International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)},
  year = {2012},
  pages = {90--91},
  url = {https://link.springer.com/chapter/10.1007/978-3-642-33536-5_9},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7596}
}
@inproceedings{RFB12,
  author = {Thomas Reinbacher and
               Matthias F{\"u}gger and
               J{\"o}rg Brauer},
  title = {Real-Time Runtime Verification on Chip},
  booktitle = {International Conference on Runtime Verification (RV)},
  year = {2012},
  pages = {110--125},
  url = {https://link.springer.com/chapter/10.1007/978-3-642-35632-2_13},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7687}
}
@article{NFK13,
  author = {Thomas Nowak and
               Matthias F{\"u}gger and
               Alexander K{\"o}{\ss}ler},
  title = {On the performance of a retransmission-based synchronizer},
  journal = {Theoretical Computer Science},
  volume = {509},
  pages = {25--39},
  year = {2013},
  url = {http://www.sciencedirect.com/science/article/pii/S0304397512004008},
  hal = {https://hal.archives-ouvertes.fr/hal-00993470}
}
@inproceedings{FNS13,
  author = {Matthias F{\"u}gger and
               Thomas Nowak and
               Ulrich Schmid},
  title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},
  booktitle = {2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  year = {2013},
  pages = {191--199},
  url = {https://ieeexplore.ieee.org/document/6546194/},
  hal = {https://hal.archives-ouvertes.fr/hal-00993796/}
}
@inproceedings{CNF13,
  author = {Bernadette Charron-Bost and
               Matthias F{\"u}gger and
               Thomas Nowak},
  title = {Transience Bounds for Distributed Algorithms},
  year = {2013},
  booktitle = {Formal Modeling and Analysis of Timed Systems (FORMATS)},
  volume = {8053},
  series = {Lecture Notes in Computer Science},
  editor = {Braberman, Victor and Fribourg, Laurent},
  publisher = {Springer Berlin Heidelberg},
  pages = {77--90},
  url = {https://link.springer.com/chapter/10.1007/978-3-642-40229-6_6},
  hal = {https://hal.archives-ouvertes.fr/hal-00993785/}
}
@inproceedings{LFHS13:dsd,
  author = {Christoph Lenzen and
               Matthias F{\"u}gger and
               Markus Hofst{\"a}tter and
               Ulrich Schmid},
  booktitle = {Digital System Design (DSD), 2013 Euromicro Conference on},
  title = {Efficient Construction of Global Time in {SoCs} Despite Arbitrary Faults},
  year = {2013},
  pages = {142--151},
  url = {https://ieeexplore.ieee.org/document/6628271/}
}
@inproceedings{DFLPS13:spaa,
  author = {Dolev, Danny and 
               F\"{u}gger, Matthias and
               Lenzen, Christoph and
               Perner, Martin and
               Schmid, Ulrich},
  title = {HEX: scaling honeycombs is easier than scaling clock trees},
  booktitle = {Proceedings of the 25th ACM symposium on Parallelism in algorithms and architectures (SPAA)},
  year = {2013},
  location = {Montr\&\#233;al, Qu\&\#233;bec, Canada},
  pages = {164--175},
  url = {http://doi.acm.org/10.1145/2486159.2486192},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@incollection{FKNSZ14:algosensors,
  author = {F{\"u}gger, Matthias and 
               K{\"o}{\ss}ler, Alexander and 
               Nowak, Thomas and 
               Schmid, Ulrich and 
               Zeiner, Martin},
  title = {The Effect of Forgetting on the Performance of a Synchronizer},
  year = {2014},
  booktitle = {Algorithms for Sensor Systems},
  series = {Lecture Notes in Computer Science},
  editor = {Flocchini, Paola and Gao, Jie and Kranakis, Evangelos and Meyer auf der Heide, Friedhelm},
  url = {http://dx.doi.org/10.1007/978-3-642-45346-5_14},
  publisher = {Springer Berlin Heidelberg},
  pages = {185--200}
}
@article{DFPSSL14:jcss,
  author = {Danny Dolev and
            Matthias F{\"u}gger and
            Markus Posch and
            Ulrich Schmid and
            Andreas Steininger and
            Christoph Lenzen},
  title = {Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip},
  journal = {Journal of Computer and System Sciences},
  volume = {80},
  number = {4},
  pages = {860--900},
  year = {2014},
  url = {http://www.sciencedirect.com/science/article/pii/S0022000014000026}
}
@article{RFB14:fmsd,
  author = {Thomas Reinbacher and
               Matthias F{\"u}gger and
               J{\"o}rg Brauer},
  title = {Runtime verification of embedded real-time systems},
  journal = {Formal Methods in System Design},
  volume = {44},
  number = {3},
  year = {2014},
  pages = {203--239},
  url = {http://dx.doi.org/10.1007/s10703-013-0199-z}
}
@article{DFSL14:jacm,
  author = {Danny Dolev and
               Matthias F\"{u}gger and
               Ulrich Schmid and
               Christoph Lenzen},
  title = {Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation},
  journal = {J.\ ACM},
  volume = {61},
  number = {5},
  month = sep,
  year = {2014},
  pages = {30:1--30:74},
  articleno = {30},
  url = {http://doi.acm.org/10.1145/2560561},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{FNNS15:date,
  author = {Matthias F\"ugger and
               Robert Najvirt and
               Thomas Nowak and
               Ulrich Schmid},
  title = {Towards Binary Circuit Models That Faithfully Capture Physical Solvability},
  pages = {1455--1460},
  booktitle = {Design, Automation \& Test in Europe (DATE)},
  year = {2015},
  url = {http://ieeexplore.ieee.org/document/7092619/},
  hal = {https://hal.archives-ouvertes.fr/hal-01107436}
}
@article{CFWW15:talg,
  author = {Bernadette Charron-Bost and
                Matthias F{\"u}gger and
                Jennifer L.\ Welch and
                Josef Widder},
  title = {Time Complexity of Link Reversal Routing},
  journal = {ACM Transactions on Algorithms},
  volume = {11},
  number = {3},
  month = jan,
  year = {2015},
  pages = {18:1--18:39},
  articleno = {18},
  url = {http://doi.acm.org/10.1145/2644815},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{FNC15:ciss,
  author = {Matthias F{\"u}gger and
               Thomas Nowak and
               Bernadette Charron-Bost},
  booktitle = {Information Sciences and Systems (CISS), 2015 49th Annual Conference on},
  title = {Diffusive clock synchronization in highly dynamic networks},
  year = {2015},
  month = {March},
  pages = {1--6},
  url = {http://ieeexplore.ieee.org/document/7086841/},
  hal = {https://hal.archives-ouvertes.fr/hal-01231513}
}
@inproceedings{CFN15:icalp,
  author = {Bernadette Charron{-}Bost and
                Matthias F{\"{u}}gger and
                Thomas Nowak},
  title = {Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms},
  booktitle = {42nd International Colloquium on Automata, Languages, and Programming (ICALP)},
  pages = {528--539},
  year = {2015},
  url = {https://link.springer.com/chapter/10.1007/978-3-662-47666-6_42},
  hal = {https://hal.archives-ouvertes.fr/hal-01107422v2},
  arxiv_long = {https://arxiv.org/abs/1408.0620}
}
@inproceedings{NFNSHS15:glsvlsi,
  author = {Robert Najvirt and
               Matthias F{\"u}gger and
               Thomas Nowak and
               Ulrich Schmid and
               Michael Hofbauer and
               Kurt Schweiger},
  title = {Experimental Validation of a Faithful Binary Circuit Model},
  booktitle = {Proceedings of the 25th Edition on Great Lakes Symposium on VLSI (GLSVLSI)},
  year = {2015},
  location = {Pittsburgh, Pennsylvania, USA},
  pages = {355--360},
  url = {http://doi.acm.org/10.1145/2742060.2742081},
  hal = {https://hal.archives-ouvertes.fr/hal-01231509},
  publisher = {ACM}
}
@article{DFLSS:eatcs,
  author = {Dolev, Danny and
             F{\"u}gger, Matthias and
             Lenzen, Christoph and
             Schmid, Ulrich and
             Steininger, Andreas},
  title = {Fault-tolerant Distributed Systems in Hardware},
  journal = {Bulletin of EATCS},
  volume = {2},
  number = {116},
  year = {2015},
  url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/348}
}
@article{FKNSZ15:pe,
  author = {Matthias F{\"u}gger and
             Alexander K{\"o}{\ss}ler and
             Thomas Nowak and
             Ulrich Schmid and
             Martin Zeiner},
  title = {The effect of forgetting on the performance of a synchronizer},
  journal = {Performance Evaluation},
  volume = {93},
  number = {},
  pages = {1--16},
  year = {2015},
  url = {http://www.sciencedirect.com/science/article/pii/S0166531615000826},
  hal = {https://hal.archives-ouvertes.fr/hal-01231498}
}
@article{CFN16:arxiv,
  author = {Bernadette Charron{-}Bost and
               Matthias F{\"{u}}gger and
               Thomas Nowak},
  title = {Multidimensional Asymptotic Consensus in Dynamic Networks},
  journal = {CoRR},
  volume = {abs/1611.02496},
  year = {2016},
  archiveprefix = {arXiv},
  eprint = {1611.02496},
  url = {http://arxiv.org/abs/1611.02496}
}
@article{DFLPS16:jcss,
  author = {Danny Dolev and
              Matthias F{\"u}gger and
              Christoph Lenzen and
              Martin Perner and
              Ulrich Schmid},
  title = {{HEX}: Scaling honeycombs is easier than scaling clock trees},
  journal = {Journal of Computer and System Sciences},
  volume = {82},
  number = {5},
  pages = {929--956},
  year = {2016},
  url = {https://www.sciencedirect.com/science/article/pii/S002200001600026X}
}
@article{FNS16:ieeetc,
  author = {Matthias F{\"u}gger and
              Thomas Nowak and
              Ulrich Schmid},
  title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},
  journal = {{IEEE} Transactions on Computers},
  volume = {65},
  number = {3},
  pages = {964--978},
  year = {2016},
  url = {http://ieeexplore.ieee.org/abstract/document/7110587/},
  hal = {https://hal.archives-ouvertes.fr/hal-01231501}
}
@inproceedings{CFN16:icalp,
  author = {Bernadette Charron-Bost and
                 Matthias F{\"u}gger and
                 Thomas Nowak},
  title = {Fast, Robust, Quantizable Approximate Consensus},
  booktitle = {43rd International Colloquium on Automata, Languages, and Programming (ICALP)},
  pages = {137:1--137:14},
  year = {2016},
  volume = {55},
  url = {http://drops.dagstuhl.de/opus/volltexte/2016/6281/},
  hal = {https://hal.archives-ouvertes.fr/hal-01395576}
}
@inproceedings{TFL17:async,
  author = {Ghaith Tarawneh and
               Matthias F\"ugger and
               Christoph Lenzen},
  title = {Metastability Tolerant Computing},
  year = {2017},
  booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  pages = {25-32},
  doi = {10.1109/ASYNC.2017.9},
  url = {http://ieeexplore.ieee.org/abstract/document/8097381/},
  preprint = {http://www.lsv.fr/~mfuegger/papers/TFL17_async.pdf},
  hal = {https://hal.archives-ouvertes.fr/hal-01652772}
}
@inproceedings{FKLP17:async,
  author = {Matthias F\"ugger and
               Attila Kinali and
               Christoph Lenzen and
               Thomas Polzer},
  title = {Metastability-Aware Memory-Efficient Time-to-Digital Converter},
  year = {2017},
  booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  pages = {49--56},
  url = {http://ieeexplore.ieee.org/abstract/document/8097384/},
  preprint = {http://www.lsv.fr/~mfuegger/papers/FKLP17_async.pdf},
  hal = {https://hal.archives-ouvertes.fr/hal-01652787}
}
@article{CFN17:dam,
  author = {Bernadette Charron-Bost and
              Matthias F{\"u}gger and
              Thomas Nowak},
  title = {New transience bounds for max-plus linear systems},
  journal = {Discrete Applied Mathematics},
  pages = {83--99},
  volume = {219},
  year = {2017},
  hal = {https://hal.archives-ouvertes.fr/hal-01738257},
  url = {http://www.sciencedirect.com/science/article/pii/S0166218X16305078},
  preprint = {http://www.lsv.fr/~mfuegger/papers/CFN17_dam.pdf}
}
@inproceedings{FNS17:disc,
  author = {Matthias F{\"u}gger and
                Thomas Nowak and
                Manfred Schwarz},
  title = {Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks},
  year = {2017},
  booktitle = {31st International Symposium on Distributed Computing (DISC)},
  pages = {51:1--51:3},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  doi = {10.4230/LIPIcs.DISC.2017.51},
  url = {http://drops.dagstuhl.de/opus/volltexte/2017/7992/},
  arxiv_long = {https://arxiv.org/abs/1705.02898},
  hal = {https://hal.archives-ouvertes.fr/hal-01652851},
  preprint = {http://www.lsv.fr/~mfuegger/papers/FNS18_disc.pdf}
}
@inproceedings{FMNNS18:date,
  author = {Matthias F{\"u}gger and
               J\"urgen Maier and
               Robert Najvirt and
               Thomas Nowak and
               Ulrich Schmid},
  title = {A Faithful Binary Circuit Model with Adversarial Noise},
  year = {2018},
  booktitle = {Design, Automation \& Test in Europe (DATE)},
  pages = {1327--1332},
  organization = {IEEE},
  hal = {https://hal.archives-ouvertes.fr/hal-01738254/},
  preprint = {http://www.lsv.fr/~mfuegger/papers/FMNNS18_date.pdf},
  url = {https://ieeexplore.ieee.org/abstract/document/8342219/}
}
@article{FFL18:toc,
  author = {Stephan Friedrichs and
                  Matthias F{\"{u}}gger and
                  Christoph Lenzen},
  title = {Metastability-Containing Circuits},
  journal = {{IEEE} Transactions on Computers},
  year = {2018},
  volume = {67},
  number = {8},
  doi = {10.1109/TC.2018.2808185},
  issn = {0018-9340},
  arxiv_long = {https://arxiv.org/abs/1606.06570},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8314764},
  hal = {https://hal.inria.fr/hal-01936292}
}
@inproceedings{FKLW18:async,
  author = {Matthias F\"ugger and
               Attila Kinali and
               Christoph Lenzen and
               Ben Wiederhake},
  title = {Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance},
  year = {2018},
  booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  pages = {68-77},
  doi = {10.1109/ASYNC.2018.00025},
  issn = {1522-8681},
  month = {May},
  hal = {https://hal.inria.fr/hal-01936403},
  url = {https://ieeexplore.ieee.org/document/8589986}
}
@inproceedings{FNS18:podc,
  author = {Matthias F\"ugger and
                Thomas Nowak and
                Manfred Schwarz},
  title = {Tight Bounds for Asymptotic and Approximate Consensus},
  year = {2018},
  booktitle = {ACM Symposium on Principles of Distributed Computing (PODC)},
  year = {2018},
  isbn = {978-1-4503-5795-1},
  location = {Egham, United Kingdom},
  pages = {325--334},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/3212734.3212762},
  doi = {10.1145/3212734.3212762},
  acmid = {3212762},
  publisher = {ACM},
  address = {New York, NY, USA},
  arxiv_long = {https://arxiv.org/abs/1705.02898},
  hal = {https://hal.archives-ouvertes.fr/hal-01799039}
}
@inproceedings{FN18:disc,
  author = {Matthias F\"ugger and
                Thomas Nowak},
  title = {Fast Multidimensional Asymptotic and Approximate Consensus},
  year = {2018},
  booktitle = {32nd International Symposium on Distributed Computing (DISC)},
  pages = {27:1--27:15},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  doi = {10.4230/LIPIcs.DISC.2018.27},
  arxiv_long = {https://arxiv.org/abs/1805.04923},
  hal = {https://hal.archives-ouvertes.fr/hal-01936316},
  url = {http://drops.dagstuhl.de/opus/volltexte/2018/9816/}
}
@inproceedings{MFNS19:async,
  author = {J\"urgen Maier and
                Matthias F\"ugger and
                Thomas Nowak and
                Ulrich Schmid},
  title = {Transistor-Level Analysis of Dynamic Delay Models},
  year = {2019},
  booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  pages = {},
  notes = {to appear}
}