cv_fuegger.bib

@article{RFS04:tel,
  author = {Babak Rahbaran and
                 Matthias F{\"u}gger and
                 Andreas Steininger},
  title = {Embedded Real-Time-Tracer--An Approach with {IDE}},
  journal = {Telematik},
  year = {2004},
  month = {December},
  url = {https://www.researchgate.net/profile/Matthias_Fuegger/publication/221333689_Embedded_Real-Time-Tracer_-_An_Approach_with_IDE/links/54f472900cf2f9e34f0a4418.pdf}
}
@article{AFBLT06:sne,
  author = {Daniel Albeseder and Matthias F{\"u}gger and Felix Breitenecker and Thomas L{\"o}scher and Shabnam Taub{\"o}ck},
  title = {Small {PC}-Network Simulation--A Comprehensive Performance Case Study},
  journal = {Simulation News Europe},
  year = {2005},
  month = {December}
}
@inproceedings{FSFK06:EDCC,
  author = {Matthias F{\"u}gger and Ulrich Schmid and Gottfried Fuchs and Gerald Kempf},
  title = {Fault-Tolerant Distributed Clock Generation in {VLSI} {Systems-on-Chip}},
  booktitle = {Sixth European Dependable Computing Conference (EDCC)},
  year = {2006},
  month = {October},
  address = {Coimbra, Portugal},
  pages = {87--96},
  url = {https://ieeexplore.ieee.org/document/4020838},
  doi = {10.1109/EDCC.2006.11}
}
@inproceedings{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},
  booktitle = {The Austrian National Conference on the Design of Integrated Circuits and Systems (Austrochip)},
  year = {2006},
  month = {October},
  url = {https://www.researchgate.net/profile/Matthias_Fuegger/publication/267697147_An_Efficient_Test_for_a_Transition_Signalling_based_Up-Down-Counter/links/54f4728b0cf2f9e34f0a43ff.pdf}
}
@inproceedings{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},
  booktitle = {3rd International Workshop on Dependable Embedded Systems (WDES)},
  year = {2006},
  month = {October}
}
@inproceedings{SFSF06:DSN,
  author = {Andreas Steininger and
               Matthias F{\"u}gger and
               Ulrich Schmid and
               Gottfried Fuchs},
  title = {Fault-Tolerant Algorithms on {SoCs}--A case study},
  booktitle = {Supplemental Proceedings of the International Conference on Dependable Systems and Networks (DSN)},
  year = {2006},
  month = {June},
  address = {Philadelphia, USA},
  pages = {190--191}
}
@article{armengaud:2008-20,
  author = {Eric Armengaud and
               Matthias F{\"u}gger and
               Andreas Steininger},
  title = {Safe Deterministic Replay for Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems},
  journal = {7th {IEEE} International Workshop on Factory Communication Systems (WFCS)},
  year = {2008},
  month = {May},
  pages = {277--286},
  doi = {10.1109/WFCS.2008.4638707}
}
@inproceedings{FFSS:DSD08,
  author = {Gottfried Fuchs and 
               Matthias F{\"u}gger and
               Ulrich Schmid and
               Andreas Steininger},
  title = {Mapping a Fault-Tolerant Distributed Algorithm to {Systems on Chip}},
  booktitle = {11th Euromicro conference on Digital System Design Architectures, Methods and Tools (DSD)},
  year = {2008},
  month = {September},
  pages = {242--249},
  address = {Parma, Italy},
  doi = {10.1109/DSD.2008.65}
}
@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/},
  doi = {10.1109/TII.2009.2017526}
}
@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 = {June},
  url = {https://pdfs.semanticscholar.org/3adf/4d5c0425d35cdfe5f6b738f4e558cc5b4256.pdf}
}
@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/},
  doi = {10.1109/ASYNC.2009.15},
  pages = {127--136}
}
@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},
  url = {https://dl.acm.org/citation.cfm?id=1582762},
  doi = {10.1145/1582716.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},
  doi = {10.1109/EDCC.2010.35}
}
@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},
  doi = {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},
  doi = {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},
  doi = {10.1007/978-3-642-22212-2_21}
}
@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},
  doi = {10.1145/1989493.1989510}
}
@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},
  doi = {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},
  doi = {10.1007/978-3-642-24550-3_14}
}
@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},
  doi = {10.1007/978-3-642-32940-1_34}
}
@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},
  doi = {10.1007/978-3-642-33536-5_9}
}
@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},
  doi = {10.1007/978-3-642-35632-2_13}
}
@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},
  doi = {10.1016/j.tcs.2012.04.035}
}
@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/},
  doi = {10.1007/978-3-642-40229-6_6}
}
@inproceedings{LFHS13:dsd,
  author = {Christoph Lenzen and
               Matthias F{\"u}gger and
               Markus Hofst{\"a}tter and
               Ulrich Schmid},
  booktitle = {2013 Euromicro Conference on Digital System Design (DSD)},
  title = {Efficient Construction of Global Time in {SoCs} Despite Arbitrary Faults},
  year = {2013},
  pages = {142--151},
  url = {https://ieeexplore.ieee.org/document/6628271/},
  doi = {10.1109/DSD.2013.97}
}
@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},
  doi = {10.1145/2486159.2486192}
}
@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},
  doi = {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},
  doi = {10.1016/j.jcss.2014.01.001}
}
@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},
  doi = {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 = {September},
  year = {2014},
  pages = {30:1--30:74},
  articleno = {30},
  url = {http://doi.acm.org/10.1145/2560561},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/2560561}
}
@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},
  doi = {10.7873/DATE.2015.0799}
}
@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},
  doi = {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 = {2015 49th Annual Conference on Information Sciences and Systems (CISS)},
  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},
  doi = {10.1109/CISS.2015.7086841}
}
@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},
  doi = {10.1007/978-3-662-47666-6_42}
}
@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},
  doi = {10.1145/2742060.2742081}
}
@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},
  doi = {10.1016/j.peva.2015.08.002}
}
@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},
  doi = {10.1016/j.jcss.2016.03.001}
}
@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},
  doi = {10.1109/TC.2015.2435791}
}
@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},
  doi = {10.4230/LIPIcs.ICALP.2016.137}
}
@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},
  doi = {10.1109/ASYNC.2017.12}
}
@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},
  doi = {10.1016/j.dam.2016.11.003}
}
@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)},
  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},
  doi = {10.4230/LIPIcs.DISC.2017.51}
}
@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/},
  doi = {10.23919/DATE.2018.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},
  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},
  doi = {10.1109/TC.2018.2808185}
}
@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)},
  isbn = {978-1-4503-5795-1},
  location = {Egham, United Kingdom},
  pages = {325--334},
  numpages = {10},
  url = {http://doi.acm.org/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 = {25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  pages = {76--85},
  doi = {10.1109/ASYNC.2019.00019},
  month = {May}
}
@inproceedings{MFNS19:patmos,
  author = {Daniel \"Ohlinger and
                J\"urgen Maier and
                Matthias F\"ugger and
                Ulrich Schmid},
  title = {The Involution Tool for Accurate Digital Timing and Power Analysis},
  year = {2019},
  booktitle = {29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)},
  notes = {to appear},
  pages = {},
  doi = {10.1109/PATMOS.2019.8862165},
  month = {July},
  hal = {https://hal.inria.fr/hal-02395242/}
}
@article{FNNS19:tcad,
  author = {Matthias F{\"u}gger and
                Robert Najvirt and
                Thomas Nowak and
                Ulrich Schmid},
  title = {A Faithful Binary Circuit Model},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = {2020},
  publisher = {IEEE},
  volume = {39},
  number = {10},
  pages = {2784--2797},
  doi = {10.1109/TCAD.2019.2937748},
  hal = {https://hal.inria.fr/hal-02395251/}
}
@incollection{advances_chapter,
  author = {F\"ugger, Matthias and Kushwaha, Manish and Nowak, Thomas},
  editor = {Singh, Vijai},
  booktitle = {Advances in Synthetic Biology},
  title = {Digital Circuit Design for Biological and Silicon Computers},
  month = {March},
  publisher = {Springer},
  address = {Heidelberg},
  notes = {in press},
  url = {https://www.springer.com/gp/book/9789811500800},
  year = {2020}
}
@article{FNW20:dam,
  author = {Matthias F{\"u}gger and
                Thomas Nowak and
                Kyrill Winkler},
  title = {On the radius of nonsplit graphs and information dissemination in dynamic networks},
  doi = {10.1016/j.dam.2020.02.013},
  journal = {Discrete Applied Mathematics},
  volume = {282},
  pages = {257--264},
  year = {2020},
  url = {http://www.sciencedirect.com/science/article/pii/S0166218X20300809}
}
@inproceedings{BFLMR:async,
  author = {Johannes Bund and
                Matthias F{\"u}gger and
                Christoph Lenzen and
                Moti Medina and
                Will Rosenbaum},
  title = {PALS: Plesiochronous and Locally Synchronous Systems},
  year = {2020},
  notes = {to appear},
  booktitle = {26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  arxiv_long = {https://arxiv.org/abs/2003.05542}
}
@article{BFLM20:cas1,
  author = {Johannes Bund and
                Matthias F{\"u}gger and
                Christoph Lenzen and
                Moti Medina},
  title = {Synchronizer-Free Digital Link Controller},
  journal = {IEEE Transactions on Circuits and Systems I},
  year = {2020},
  volume = {67},
  number = {10},
  pages = {3562-3573},
  url = {https://ieeexplore.ieee.org/document/9085899},
  doi = {10.1109/TCSI.2020.2989552},
  arxiv_long = {https://arxiv.org/abs/2010.02017}
}
@inproceedings{CFHKNS20:growth,
  title = {Distributed Computation with Continual Population Growth},
  author = {Da-Jung Cho and
                     Matthias F\"ugger and
                     Corbin Hopper and
                     Manish Kushwaha and
                     Thomas Nowak and
                     Quentin Soubeyran},
  year = {2020},
  notes = {to appear},
  doi = {10.4230/LIPIcs.DISC.2020.7},
  url = {https://drops.dagstuhl.de/opus/volltexte/2020/13085/},
  booktitle = {34th International Symposium on Distributed Computing (DISC)},
  pages = {7:1--7:17},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-95977-168-9},
  issn = {1868-8969},
  volume = {179},
  editor = {Hagit Attiya},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address = {Dagstuhl, Germany},
  arxiv_long = {https://arxiv.org/abs/2003.09972},
  video = {https://www.youtube.com/watch?v=JFBWMsfck7U&t=0s}
}
@misc{BBBFS20:synthesis,
  title = {Synthesis in Presence of Dynamic Links},
  author = {B{\'e}atrice B{\'e}rard and
                Benedikt Bollig and
                Patricia Bouyer and
                Matthias F{\"u}gger and
                Nathalie Sznajder},
  address = {Brussels, Belgium},
  month = sep,
  series = {Electronic Proceedings in Theoretical Computer Science},
  editor = {Bresolin, Davide and Raskin, Jean-Fran\c{c}ois},
  acronym = {{GandALF}'20},
  booktitle = {{P}roceedings of the 11th {I}nternational {S}ymposium
                on {G}ames, {A}utomata, {L}ogics, and {F}ormal {V}erification
                  ({GandALF}'20)},
  year = {2020},
  url = {https://arxiv.org/abs/2002.07545},
  hal = {https://hal.archives-ouvertes.fr/hal-02917542},
  video = {https://www.youtube.com/watch?v=88AyNexKens&t=2s},
  arxiv_long = {https://hal.archives-ouvertes.fr/hal-02917542}
}
@article{MFNS19:integration,
  author = {Daniel \"Ohlinger and
                J\"urgen Maier and
                Matthias F\"ugger and
                Ulrich Schmid},
  title = {The Involution Tool for Accurate Digital Timing and Power Analysis},
  journal = {Integration},
  volume = {76},
  pages = {87--98},
  year = {2021},
  issn = {0167-9260},
  doi = {10.1016/j.vlsi.2020.09.007},
  url = {http://www.sciencedirect.com/science/article/pii/S0167926020302777}
}