Publications

@article{cravo2026,
  title     = {A quasi-stationary distribution bound for fault analysis in gene regulatory networks},
  author    = {Cravo, Fabricio and
               Függer, Matthias and
               Nowak, Thomas},
  journal   = {Journal of The Royal Society Interface},
  volume    = {23},
  number    = {239},
  pages     = {20251041},
  year      = {2026},
  month     = {06},
  doi       = {10.1098/rsif.2025.1041},
  url       = {https://doi.org/10.1098/rsif.2025.1041},
  bioarxiv  = {10.1101/2025.10.21.683707v1},
  hal       = {https://hal.science/hal-05652063},
  pdf       = {https://www.biorxiv.org/content/early/2025/10/22/2025.10.21.683707.full.pdf},
  preprint  = {https://www.biorxiv.org/content/early/2025/10/22/2025.10.21.683707.full.pdf},
}

@article{FERDOWSI2026102701,
  author    = {Arman Ferdowsi and
               Matthias Függer and
               Josef Salzmann and
               Ulrich Schmid},
  title     = {Accurate closed-form delay formulas for interconnected {CMOS} gates based on first-order thresholded hybrid systems},
  journal   = {Integration},
  volume    = {109},
  pages     = {102701},
  year      = {2026},
  doi       = {10.1016/j.vlsi.2026.102701},
  url       = {https://www.sciencedirect.com/science/article/pii/S0167926026000568},
  hal       = {https://hal.science/hal-05775317v1},
}

@article{fugger2026adding,
  title     = {Adding ``Verified'' Badges to Our Paper, One Lemma at a Time},
  author    = {F{\"u}gger, Matthias and
               Nowak, Thomas},
  journal   = {Bulletin of EATCS},
  number    = {149},
  year      = {2026},
  url       = {https://bulletin.eatcs.org/index.php/beatcs/article/viewFile/890/955},
  hal       = {https://hal.science/hal-05774612},
  pdf       = {https://bulletin.eatcs.org/index.php/beatcs/article/viewFile/890/955},
}

@article{BFNZ26:preprint,
  author        = {Bollig, Benedikt and
                   F{\"u}gger, Matthias and
                   Nowak, Thomas and
                   Zeinaty, Paul},
  title         = {Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity},
  journal       = {arXiv preprint arXiv:2607.13981},
  year          = {2026},
  archivePrefix = {arXiv},
  eprint        = {2607.13981},
  doi           = {10.48550/arXiv.2607.13981},
  url           = {https://arxiv.org/abs/2607.13981},
  pdf           = {https://arxiv.org/pdf/2607.13981},
}

@InProceedings{FN26:sand,
  author     = {F\"{u}gger, Matthias and
                Nowak, Thomas},
  title      = {{Asymptotic Subspace Consensus in Dynamic Networks}},
  booktitle  = {5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)},
  pages      = {10:1--10:18},
  series     = {Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN       = {978-3-95977-427-7},
  ISSN       = {1868-8969},
  year       = {2026},
  volume     = {373},
  editor     = {Mertzios, George B. and
                Richa, Andr\'{e}a W.},
  publisher  = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address    = {Dagstuhl, Germany},
  URL        = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2026.10},
  doi        = {10.4230/LIPIcs.SAND.2026.10},
  arxiv_long = {https://arxiv.org/abs/2602.19121},
  hal        = {https://hal.science/hal-05774068v1},
  pdf        = {https://drops.dagstuhl.de/storage/00lipics/lipics-vol373-sand2026/LIPIcs.SAND.2026.10/LIPIcs.SAND.2026.10.pdf},
}

@inproceedings{xu2026centralized,
  title        = {Centralized Yet Scalable: Revisiting Policy Design for Cooperative Multi-agent Learning},
  author       = {Xu, Zhuofan and
                  Bollig, Benedikt and
                  F{\"u}gger, Matthias and
                  Nowak, Thomas and
                  Le Dr{\'e}au, Vincent},
  booktitle    = {Joint European Conference on Machine Learning and Knowledge Discovery in Databases},
  pages        = {272--288},
  year         = {2026},
  organization = {Springer},
  url          = {https://link.springer.com/chapter/10.1007/978-3-032-37670-1_16},
  doi          = {10.1007/978-3-032-37670-1_16},
  arxiv_long   = {https://arxiv.org/abs/2508.11706},
  pdf          = {https://arxiv.org/pdf/2508.11706},
  hal          = {},
}

@article{ZBFN26:ijait,
  author    = {Xu, Zhuofan and
               Bollig, Benedikt and
               F{\"u}gger, Matthias and
               Nowak, Thomas},
  title     = {Deep Reinforcement Learning with Permutation Equivariant Neural Network for Multi-Armed Bandit},
  journal   = {International Journal on Artificial Intelligence Tools},
  pages     = {2650001},
  year      = {2026},
  publisher = {World Scientific},
  url       = {https://www.worldscientific.com/doi/abs/10.1142/S0218213026500016},
  hal       = {https://hal.science/hal-05651639v1},
  volume    = {35},
  number    = {2},
  doi       = {10.1142/S0218213026500016},
}

@inproceedings{ferdowsi2026efficient,
  title        = {Efficient Stochastic Trace Generation for Transcription},
  author       = {Ferdowsi, Arman and
                  F{\"u}gger, Matthias and
                  Nowak, Thomas},
  booktitle    = {International Conference on Computational Methods in Systems Biology},
  pages        = {104--121},
  year         = {2026},
  organization = {Springer},
  url          = {https://link.springer.com/chapter/10.1007/978-3-032-30870-2_6},
  doi          = {10.1007/978-3-032-30870-2_6},
  arxiv_long   = {https://www.biorxiv.org/content/10.64898/2026.05.05.722871v1},
  hal          = {https://hal.science/hal-05774639},
  pdf          = {https://www.biorxiv.org/content/10.64898/2026.05.05.722871v1.full.pdf},
}

@article{pietri2026embedding,
  title     = {Embedding response surfaces in kinetic models predicts microalgae growth across light and nutrient gradients},
  author    = {Pietri, M{\'e}lanie and
               Rodet, Thomas and
               Le Pioufle, Bruno and
               Nowak, Thomas and
               F{\"u}gger, Matthias and
               Bensalem, Sakina},
  journal   = {Bioresource Technology},
  pages     = {135364},
  year      = {2026},
  publisher = {Elsevier},
  doi       = {10.1016/j.biortech.2026.135364},
  url       = {https://www.sciencedirect.com/science/article/pii/S096085242601446X},
  hal       = {https://hal.science/hal-05774563v1},
}

@misc{FN26:artifact,
  author       = {F{\"u}gger, Matthias and
                  Nowak, Thomas},
  title        = {{Lean Proofs and Video Creation Scripts for the Paper ``Asymptotic Subspace Consensus in Dynamic Networks''}},
  howpublished = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  note         = {Software, source code},
  year         = {2026},
  month        = jun,
  doi          = {10.4230/artifacts.26596},
  url          = {https://drops.dagstuhl.de/entities/artifact/10.4230/artifacts.26596},
  github       = {BioDisCo/roots},
}

@inproceedings{bollig2026promoting,
  title      = {Promoting Simple Agents: Ensemble Methods for Event-Log Prediction},
  author     = {Bollig, Benedikt and
                F{\"u}gger, Matthias and
                Nowak, Thomas and
                Zeinaty, Paul},
  booktitle  = {Optimization, Learning Algorithms and Applications: 6th International Conference, OL2A 2026, Proceedings, Part I},
  series     = {Communications in Computer and Information Science},
  publisher  = {Springer},
  arxiv_long = {https://arxiv.org/abs/2604.21629},
  year       = {2026},
  note       = {To appear},
  hal        = {https://hal.science/hal-05774598},
  pdf        = {https://arxiv.org/pdf/2604.21629},
}

@inproceedings{BFN26:isola,
  author     = {Bollig, Benedikt and
                F{\"u}gger, Matthias and
                Nowak, Thomas},
  title      = {Provable Coordination for {LLM} Agents via Message Sequence Charts},
  booktitle  = {International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
  year       = {2026},
  note       = {Accepted, to appear},
  url        = {https://arxiv.org/abs/2604.17612},
  arxiv_long = {https://arxiv.org/abs/2604.17612},
  pdf        = {https://hal.science/hal-05596574/document},
  hal        = {https://hal.science/hal-05596574},
}

@article{andaur2026reaching:nc,
  title      = {Reaching agreement in competitive microbial systems},
  author     = {Andaur, Victoria and
                Burman, Janna and
                F{\"u}gger, Matthias and
                Manssouri, Bilal and
                Nowak, Thomas and
                Rybicki, Joel},
  journal    = {Natural Computing},
  volume     = {25},
  number     = {1},
  pages      = {18},
  year       = {2026},
  publisher  = {Springer},
  arxiv_long = {https://arxiv.org/abs/2103.07450},
  url        = {https://link.springer.com/article/10.1007/s11047-026-10070-z},
  doi        = {10.1007/s11047-026-10070-z},
  hal        = {https://hal.science/hal-05774166v1},
  pdf        = {https://link.springer.com/content/pdf/10.1007/s11047-026-10070-z.pdf},
}

@article{xu2025centralized,
  title     = {Centralized Permutation Equivariant Policy for Cooperative Multi-Agent Reinforcement Learning},
  author    = {Xu, Zhuofan and
               Bollig, Benedikt and
               F{\"u}gger, Matthias and
               Nowak, Thomas and
               Le Dr{\'e}au, Vincent},
  journal   = {arXiv preprint arXiv:2508.11706},
  year      = {2025},
  url       = {https://arxiv.org/abs/2508.11706},
  pdf       = {https://arxiv.org/pdf/2508.11706},
}

@article{fugger2025distributed,
  title     = {Distributed computing inspired by biology},
  author    = {F{\"u}gger, Matthias and
               Nowak, Thomas and
               Thuillier, Kerian},
  journal   = {Seminars in Cell \& Developmental Biology},
  volume    = {175},
  pages     = {103666},
  year      = {2025},
  publisher = {Elsevier},
  hal       = {https://hal.science/hal-05375376},
  doi       = {10.1016/j.semcdb.2025.103666},
  url       = {https://www.sciencedirect.com/science/article/pii/S108495212500076X},
  pdf       = {https://hal.science/hal-05375376/document},
}

@article{FFNSD25:na,
  author     = {Ferdowsi, Arman and
                F{\"u}gger, Matthias and
                Nowak, Thomas and
                Schmid, Ulrich and
                Drmota, Michael},
  title      = {Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched {ODEs}},
  journal    = {Nonlinear Analysis: Hybrid Systems},
  volume     = {56},
  pages      = {101572},
  year       = {2025},
  publisher  = {Elsevier},
  doi        = {10.1016/j.nahs.2024.101572},
  arxiv_long = {https://arxiv.org/abs/2403.03235},
  url        = {https://www.sciencedirect.com/science/article/pii/S1751570X24001092},
  hal        = {https://hal.science/hal-05406496},
  pdf        = {https://hal.science/hal-05406496/document},
}

@inproceedings{EFHS25:async,
  author       = {El Shehaby, Raghda and
                  F{\"u}gger, Matthias and
                  Huemer, Florian and
                  Steininger, Andreas},
  title        = {Investigating the Effects of Permanent Faults in {QDI} Circuits: A Formal Perspective},
  booktitle    = {2025 29th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  pages        = {142--150},
  year         = {2025},
  organization = {IEEE},
  url          = {https://ieeexplore.ieee.org/document/11021098},
  doi          = {10.1109/ASYNC65240.2025.00027},
  hal          = {https://hal.science/hal-05187822},
  pdf          = {https://hal.science/hal-05187822/document},
}

@article{cravo2025mobspy,
  title     = {{MobsPy}: A programming language for biochemical reaction networks},
  author    = {Cravo, Fabricio and
               Prakash, Gayathri and
               F{\"u}gger, Matthias and
               Nowak, Thomas},
  journal   = {PLOS Computational Biology},
  volume    = {21},
  number    = {5},
  pages     = {e1013024},
  year      = {2025},
  publisher = {Public Library of Science San Francisco, CA USA},
  doi       = {10.1371/journal.pcbi.1013024},
  url       = {https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1013024},
  hal       = {https://hal.science/hal-05389427},
  pdf       = {https://hal.science/hal-05389427/document},
}

@article{PPHPCFNK24:nar,
  author     = {Pujar, Abhinav and
                Pathania, Amit and
                Hopper, Corbin and
                Pandi, Amir and
                Ruiz Calder{\'o}n, Cristian and
                F{\"u}gger, Matthias and
                Nowak, Thomas and
                Kushwaha, Manish},
  title      = {Phage-mediated intercellular {CRISPRi} for biocomputation in bacterial consortia},
  journal    = {Nucleic Acids Research},
  pages      = {gkae1256},
  year       = {2025},
  volume     = {53},
  publisher  = {Oxford University Press},
  doi        = {10.1093/nar/gkae1256},
  url        = {https://academic.oup.com/nar/article/53/3/gkae1256/7933600},
  arxiv_long = {https://www.biorxiv.org/content/10.1101/2024.09.02.610857v2.abstract},
  hal        = {https://hal.science/hal-04857279},
  number     = {3},
  pdf        = {https://hal.science/hal-04857279/document},
}

@inproceedings{shehaby2025:icecs,
  author    = {El Shehaby, Raghda and
               Függer, Matthias and
               Huemer, Florian and
               Steininger, Andreas},
  booktitle = {2025 32nd IEEE International Conference on Electronics, Circuits and Systems (ICECS)},
  title     = {{SeAL}: A Provably Complete Fault-Injection Tool for Asynchronous Circuits},
  year      = {2025},
  volume    = {},
  number    = {},
  pages     = {1--6},
  doi       = {10.1109/ICECS66544.2025.11270590},
  url       = {https://ieeexplore.ieee.org/document/11270590},
  hal       = {https://hal.science/hal-05772797v1},
}

@article{bollig2024:preprint,
  author    = {Bollig, Benedikt and
               F{\"u}gger, Matthias and
               Nowak, Thomas},
  title     = {A Framework for Streaming Event-Log Prediction in Business Processes},
  journal   = {arXiv preprint arXiv:2412.16032},
  year      = {2024},
  url       = {https://arxiv.org/abs/2412.16032},
  pdf       = {https://hal.science/hal-04866045/document},
  hal       = {https://hal.science/hal-04866045},
}

@article{CFN24:npj,
  author     = {Cravo, Fabricio and
                F{\"u}gger, Matthias and
                Nowak, Thomas},
  title      = {An {Allee}-based distributed algorithm for microbial whole-cell sensors},
  journal    = {npj Systems Biology and Applications},
  volume     = {10},
  number     = {1},
  pages      = {43},
  year       = {2024},
  publisher  = {Nature Publishing Group UK London},
  arxiv_long = {https://www.biorxiv.org/content/early/2023/08/26/2023.08.25.554781},
  url        = {https://www.nature.com/articles/s41540-024-00363-3},
  doi        = {10.1038/s41540-024-00363-3},
  hal        = {https://hal.science/hal-04786979},
  pdf        = {https://www.nature.com/articles/s41540-024-00363-3.pdf},
}

@inproceedings{FNR24:podc,
  author     = {F{\"u}gger, Matthias and
                Nowak, Thomas and
                Rybicki, Joel},
  title      = {Majority consensus thresholds in competitive {Lotka--Volterra} populations},
  booktitle  = {Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing (PODC)},
  pages      = {76--86},
  year       = {2024},
  url        = {https://dl.acm.org/doi/abs/10.1145/3662158.3662823},
  doi        = {10.1145/3662158.3662823},
  arxiv_long = {https://arxiv.org/abs/2405.03568},
  hal        = {https://hal.science/hal-04786996},
  pdf        = {https://hal.science/hal-04786996/document},
}

@inproceedings{BFNX24:ictai,
  author    = {Xu, Zhuofan and
               Bollig, Benedikt and
               F{\"u}gger, Matthias and
               Nowak, Thomas},
  title     = {Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit},
  booktitle = {Proceedings of the IEEE International Conference on Tools with Artificial Intelligence (ICTAI)},
  pages     = {975--983},
  year      = {2024},
  url       = {https://ieeexplore.ieee.org/abstract/document/10849487},
  doi       = {10.1109/ICTAI62512.2024.00140},
  hal       = {https://hal.science/hal-04787072},
  pdf       = {https://hal.science/hal-04787072/document},
}

@inproceedings{FFSS23:dsd,
  author       = {Ferdowsi, Arman and
                  F{\"u}gger, Matthias and
                  Salzmann, Josef and
                  Schmid, Ulrich},
  title        = {A hybrid delay model for interconnected multi-input gates},
  booktitle    = {2023 26th Euromicro Conference on Digital System Design (DSD)},
  pages        = {381--390},
  year         = {2023},
  organization = {IEEE},
  arxiv_long   = {https://arxiv.org/abs/2403.10540},
  url          = {https://ieeexplore.ieee.org/abstract/document/10456854},
  doi          = {10.1109/DSD60849.2023.00060},
  hal          = {https://hal.science/hal-04786960},
  pdf          = {https://hal.science/hal-04786960/document},
}

@InProceedings{FFNS23:hscc,
  title      = {Continuity of Thresholded Mode-Switched {ODEs} and Digital Circuit Delay Models},
  author     = {Ferdowsi, Arman and
                F{\"u}gger, Matthias and
                Nowak, Thomas and
                Schmid, Ulrich},
  booktitle  = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)},
  year       = {2023},
  hal        = {https://hal.science/hal-03973076},
  arxiv_long = {https://arxiv.org/abs/2303.14048},
  url        = {https://dl.acm.org/doi/abs/10.1145/3575870.3587125},
  doi        = {10.1145/3575870.3587125},
  pdf        = {https://hal.science/hal-03973076/document},
}

@InProceedings{EFS23:formats,
  title      = {On the Susceptibility of {QDI} Circuits to Transient Faults},
  author     = {El Shehaby, Raghda and
                F{\"u}gger, Matthias and
                Steininger, Andreas},
  editor     = {Petrucci, Laure and
                Sproston, Jeremy},
  booktitle  = {Formal Modeling and Analysis of Timed Systems (FORMATS)},
  publisher  = {Springer Nature Switzerland},
  address    = {Cham},
  pages      = {69--85},
  year       = {2023},
  arxiv_long = {https://arxiv.org/abs/2303.14106},
  url        = {https://link.springer.com/chapter/10.1007/978-3-031-42626-1_5},
  doi        = {10.1007/978-3-031-42626-1_5},
  hal        = {https://hal.science/hal-04266002},
  pdf        = {https://hal.science/hal-04266002/document},
}

@article{BFM23:tvlsi,
  author     = {Bund, Johannes and
                F{\"u}gger, Matthias and
                Medina, Moti},
  title      = {{PALS}: Distributed Gradient Clocking on Chip},
  journal    = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},
  year       = {2023},
  publisher  = {IEEE},
  arxiv_long = {https://arxiv.org/abs/2308.15098},
  url        = {https://ieeexplore.ieee.org/abstract/document/10251393},
  doi        = {10.1109/TVLSI.2023.3311178},
  hal        = {https://hal.science/hal-04266029},
  volume     = {31},
  number     = {11},
  pages      = {1740--1753},
  pdf        = {https://hal.science/hal-04266029/document},
}

@article{PHPFNK22:preprint,
  title        = {A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission},
  author       = {Pathania, Amit and
                  Hopper, Corbin and
                  Pandi, Amir and
                  F{\"u}gger, Matthias and
                  Nowak, Thomas and
                  Kushwaha, Manish},
  journal      = {bioRxiv},
  year         = {2022},
  publisher    = {Cold Spring Harbor Laboratory},
  elocation-id = {2022.05.11.491355},
  doi          = {10.1101/2022.05.11.491355},
  url          = {https://www.biorxiv.org/content/10.1101/2022.05.11.491355v2},
  eprint       = {https://www.biorxiv.org/content/10.1101/2022.05.11.491355v2.full.pdf},
  pdf          = {https://hal.science/hal-03670575/document},
  hal          = {https://hal.science/hal-03670575},
}

@phdthesis{fuegger:habil,
  title     = {{Computing at the border of abstractions: the power of timed, non-binary, distributed circuits}},
  author    = {F{\"u}gger, Matthias},
  url       = {https://hal.science/tel-04308490},
  hal       = {https://hal.science/tel-04308490},
  school    = {{ENS Paris-Saclay, France}},
  year      = {2022},
  month     = Jan,
  type      = {Habilitation {\`a} diriger des recherches},
  pdf       = {https://hal.science/tel-04308490/document},
}

@misc{LFWKM22:patent,
  author       = {Lenzen, Christoph and
                  F{\"u}gger, Matthias and
                  Wiederhake, Ben and
                  Kinali, Attila and
                  Medina, Mordechai},
  title        = {Delay element, delay element chain and fast all-digital clock frequency adaptation circuit for voltage droop tolerance},
  howpublished = {US Patent 11,520,370 B2},
  year         = {2022},
  month        = dec,
  url          = {https://patents.google.com/patent/US11520370B2/en},
}

@article{CFHKNS21: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          = {2022},
  volume        = {35},
  number        = {6},
  pages         = {547--569},
  doi           = {10.1007/s00446-021-00404-8},
  url           = {https://link.springer.com/article/10.1007/s00446-021-00404-8},
  journal       = {Distributed Computing},
  OPTarxiv_long = {},
  hal           = {https://hal.science/hal-03519002},
  pdf           = {https://inria.hal.science/hal-03519002/document},
}

@article{FKLW21:tcad,
  author    = {Matthias F\"ugger and
               Attila Kinali and
               Christoph Lenzen and
               Ben Wiederhake},
  journal   = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  title     = {Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance},
  year      = {2022},
  volume    = {41},
  number    = {8},
  pages     = {2518--2531},
  doi       = {10.1109/TCAD.2021.3097599},
  url       = {https://ieeexplore.ieee.org/document/9486921},
  hal       = {https://hal.science/hal-03536906},
  pdf       = {https://hal.science/hal-03536906/document},
}

@InProceedings{CFNP22:mobspy,
  title        = {{MobsPy}: A Meta-Species Language for Chemical Reaction Networks},
  author       = {Cravo, Fabricio and
                  F{\"u}gger, Matthias and
                  Nowak, Thomas and
                  Prakash, Gayathri},
  editor       = {Petre, Ion and
                  P{\u{a}}un, Andrei},
  booktitle    = {Computational Methods in Systems Biology},
  publisher    = {Springer International Publishing},
  year         = {2022},
  pages        = {277--285},
  doi          = {10.1007/978-3-031-15034-0_14},
  url          = {https://link.springer.com/chapter/10.1007/978-3-031-15034-0_14#citeas},
  biorxiv_long = {https://www.biorxiv.org/content/10.1101/2022.05.05.490768v1},
  hal          = {https://hal.science/hal-03876041},
  pdf          = {https://hal.science/hal-03876041/document},
}

@incollection{FLS22:henzinger,
  title      = {On Specifications and Proofs of Timed Circuits},
  author     = {F{\"u}gger, Matthias and
                Lenzen, Christoph and
                Schmid, Ulrich},
  editor     = {Raskin, Jean-Fran{\c{c}}ois and
                Chatterjee, Krishnendu and
                Doyen, Laurent and
                Majumdar, Rupak},
  bookTitle  = {Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday},
  year       = {2022},
  publisher  = {Springer Nature Switzerland},
  address    = {Cham},
  pages      = {107--130},
  doi        = {10.1007/978-3-031-22337-2_6},
  url        = {https://doi.org/10.1007/978-3-031-22337-2_6},
  hal        = {https://hal.science/hal-03935679v1},
  arxiv_long = {https://arxiv.org/abs/2208.08147},
  pdf        = {https://arxiv.org/pdf/2208.08147},
}

@article{BBBFS21:dynamic,
  title     = {Synthesis in Presence of Dynamic Links},
  author    = {Béatrice Bérard and
               Benedikt Bollig and
               Patricia Bouyer and
               Matthias Függer and
               Nathalie Sznajder},
  journal   = {Information and Computation},
  volume    = {289},
  year      = {2022},
  doi       = {10.1016/j.ic.2021.104856},
  url       = {https://www.sciencedirect.com/science/article/pii/S0890540121001887},
  hal       = {https://hal.science/hal-03518879},
  pages     = {104856},
  pdf       = {https://inria.hal.science/hal-03518879/document},
}

@inproceedings{MOSFN21:glsvlsi,
  author     = {Maier, J\"{u}rgen and
                \"{O}hlinger, Daniel and
                Schmid, Ulrich and
                F\"{u}gger, Matthias and
                Nowak, Thomas},
  title      = {A Composable Glitch-Aware Delay Model},
  year       = {2021},
  publisher  = {Association for Computing Machinery},
  url        = {https://doi.org/10.1145/3453688.3461519},
  booktitle  = {Proceedings of the 2021 on Great Lakes Symposium on VLSI},
  pages      = {147--154},
  doi        = {10.1145/3453688.3461519},
  arxiv_long = {https://arxiv.org/abs/2104.10966},
  hal        = {https://hal.science/hal-03451070},
  pdf        = {https://hal.science/hal-03451070/document},
}

@article{DFS21:mr,
  title     = {Generation of a fault-tolerant clock through redundant crystal oscillators},
  author    = {D{\"u}r, Wolfgang and
               F{\"u}gger, Matthias and
               Steininger, Andreas},
  journal   = {Microelectronics Reliability},
  volume    = {120},
  pages     = {114088},
  year      = {2021},
  publisher = {Elsevier},
  doi       = {10.1016/j.microrel.2021.114088},
  url       = {https://www.sciencedirect.com/science/article/pii/S0026271421000548},
  hal       = {https://hal.science/hal-03329844},
  pdf       = {https://inria.hal.science/hal-03329844/document},
}

@article{DMFU21: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},
  doi       = {10.1016/j.vlsi.2020.09.007},
  url       = {http://www.sciencedirect.com/science/article/pii/S0167926020302777},
  hal       = {https://hal.science/hal-03070269},
  pdf       = {https://hal.science/hal-03070269/document},
}

@article{FNS21:jacm,
  title     = {Tight Bounds for Asymptotic and Approximate Consensus},
  author    = {F{\"u}gger, Matthias and
               Nowak, Thomas and
               Schwarz, Manfred},
  journal   = {Journal of the ACM (JACM)},
  publisher = {Association for Computing Machinery},
  year      = {2021},
  month     = Oct,
  doi       = {10.1145/3485242},
  url       = {https://dl.acm.org/doi/10.1145/3485242},
  hal       = {https://hal.science/hal-03408731},
  volume    = {68},
  number    = {6},
  pages     = {46:1--46:35},
  articleno = {46},
  pdf       = {https://hal.science/hal-03408731/document},
}

@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.science/hal-02395251},
  pdf       = {https://inria.hal.science/hal-02395251/document},
}

@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},
  pages     = {153--171},
  url       = {https://link.springer.com/chapter/10.1007%2F978-981-15-0081-7_9},
  year      = {2020},
  doi       = {10.1007/978-981-15-0081-7_9},
  hal       = {https://hal.science/hal-02549707},
  pdf       = {https://hal.inrae.fr/hal-02549707/document},
}

@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},
  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)},
  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},
  hal        = {https://hal.science/hal-02946883},
  pdf        = {https://hal.science/hal-02946883/document},
}

@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},
  hal       = {https://hal.science/hal-02946849},
  pdf       = {https://hal.science/hal-02946849/document},
}

@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},
  pages      = {36--43},
  booktitle  = {26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  arxiv_long = {https://arxiv.org/abs/2003.05542},
  doi        = {10.1109/ASYNC49171.2020.00013},
  url        = {https://doi.ieeecomputersociety.org/10.1109/ASYNC49171.2020.00013},
  publisher  = {IEEE Computer Society},
  address    = {Los Alamitos, CA, USA},
  hal        = {https://hal.science/hal-03070326},
  pdf        = {https://hal.science/hal-03070326/document},
}

@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},
  hal        = {https://hal.science/hal-03070312},
  pdf        = {https://hal.science/hal-03070312/document},
}

@inproceedings{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}},
  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.science/hal-02917542},
  video      = {https://www.youtube.com/watch?v=88AyNexKens&t=2s},
  arxiv_long = {https://hal.archives-ouvertes.fr/hal-02917542},
  pdf        = {https://hal.science/hal-02917542/document},
}

@misc{LFKFM19:patent,
  author       = {Lenzen, Christoph and
                  F{\"u}gger, Matthias and
                  Kinali, Attila and
                  Friedrichs, Stephan and
                  Medina, Moti},
  title        = {Efficient and dependable clock synchronization in hardware},
  howpublished = {US Patent 10,411,720 B2},
  year         = {2019},
  month        = sep,
  url          = {https://patents.google.com/patent/US10411720B2/en},
}

@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)},
  pages     = {1--8},
  doi       = {10.1109/PATMOS.2019.8862165},
  month     = {July},
  hal       = {https://hal.science/hal-02395242},
  pdf       = {https://inria.hal.science/hal-02395242/document},
}

@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},
  hal       = {https://hal.science/hal-02395229},
  pdf       = {https://inria.hal.science/hal-02395229/document},
}

@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.science/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},
  pdf          = {https://hal.science/hal-01738254/document},
}

@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.science/hal-01936403},
  url       = {https://ieeexplore.ieee.org/document/8589986},
  pdf       = {https://inria.hal.science/hal-01936403/document},
}

@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.science/hal-01936316},
  url        = {http://drops.dagstuhl.de/opus/volltexte/2018/9816/},
  pdf        = {https://hal.science/hal-01936316/document},
}

@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.science/hal-01936292},
  doi        = {10.1109/TC.2018.2808185},
  pdf        = {https://inria.hal.science/hal-01936292/document},
}

@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},
  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.science/hal-01799039},
  doi        = {10.1145/3212734.3212762},
  pdf        = {https://hal.science/hal-01799039/document},
}

@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.science/hal-01652851},
  preprint   = {http://www.lsv.fr/~mfuegger/papers/FNS18_disc.pdf},
  doi        = {10.4230/LIPIcs.DISC.2017.51},
  pdf        = {https://hal.science/hal-01652851/document},
}

@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.science/hal-01652772},
  pdf       = {https://hal.science/hal-01652772/document},
}

@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.science/hal-01652787},
  doi       = {10.1109/ASYNC.2017.12},
  pdf       = {https://hal.science/hal-01652787/document},
}

@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  = {https://arxiv.org/pdf/1209.3342},
  doi       = {10.1016/j.dam.2016.11.003},
  pdf       = {https://arxiv.org/pdf/1209.3342},
}

@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.science/hal-01395576},
  doi        = {10.4230/LIPIcs.ICALP.2016.137},
  arxiv_long = {https://arxiv.org/abs/1512.04222},
  pdf        = {https://hal.science/hal-01395576/document},
}

@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{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},
  pdf           = {http://arxiv.org/pdf/1611.02496},
}

@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.science/hal-01231501},
  doi       = {10.1109/TC.2015.2435791},
  pdf       = {https://hal.science/hal-01231501/document},
}

@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.science/hal-01107422},
  arxiv_long = {https://arxiv.org/abs/1408.0620},
  doi        = {10.1007/978-3-662-47666-6_42},
  pdf        = {https://hal.science/hal-01107422/document},
}

@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.science/hal-01231513},
  doi       = {10.1109/CISS.2015.7086841},
  pdf       = {https://hal.science/hal-01231513/document},
}

@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.science/hal-01231509},
  publisher = {ACM},
  doi       = {10.1145/2742060.2742081},
  pdf       = {https://hal.science/hal-01231509/document},
}

@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},
  pdf       = {https://bulletin.eatcs.org/index.php/beatcs/article/download/348/330},
}

@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.science/hal-01231498},
  doi       = {10.1016/j.peva.2015.08.002},
  pdf       = {https://hal.science/hal-01231498/document},
}

@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{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.science/hal-01107436},
  doi       = {10.7873/DATE.2015.0799},
  pdf       = {https://hal.science/hal-01107436/document},
}

@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   = {Journal of the ACM (JACM)},
  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},
  pdf       = {https://people.csail.mit.edu/clenzen/pubs/DFLStick.pdf},
}

@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},
  pdf       = {https://people.csail.mit.edu/clenzen/pubs/DFLPSS14rigorously.pdf},
}

@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},
  pdf       = {https://link.springer.com/content/pdf/10.1007/s10703-013-0199-z.pdf},
}

@inproceedings{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},
  pdf       = {https://hal.science/hal-00993885/document},
  hal       = {https://hal.science/hal-00993885},
}

@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},
  pdf       = {https://people.csail.mit.edu/clenzen/pubs/FHLS13efficient.pdf},
}

@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},
  pdf       = {https://people.csail.mit.edu/clenzen/pubs/DFLPS13hex.pdf},
}

@inproceedings{CFN13:eurocomb,
  author    = {Charron-Bost, Bernadette and
               F{\"u}gger, Matthias and
               Nowak, Thomas},
  title     = {New transience bounds for long walks in weighted digraphs},
  booktitle = {The Seventh European Conference on Combinatorics, Graph Theory and Applications},
  editor    = {Ne{\v s}et{\v r}il, Jaroslav and
               Pellegrini, Marco},
  series    = {CRM Series},
  volume    = {16},
  publisher = {Edizioni della Normale},
  address   = {Pisa},
  year      = {2013},
  pages     = {623--624},
  doi       = {10.1007/978-88-7642-475-5_103},
  url       = {https://link.springer.com/chapter/10.1007/978-88-7642-475-5_103},
  hal       = {https://hal.science/hal-00993814},
  pdf       = {https://hal.science/hal-00993814/document},
}

@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.science/hal-00993470},
  doi       = {10.1016/j.tcs.2012.04.035},
  pdf       = {https://hal.science/hal-00993470/document},
}

@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.science/hal-00993785},
  doi       = {10.1007/978-3-642-40229-6_6},
  pdf       = {https://hal.science/hal-00993785/document},
}

@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.science/hal-00993796},
  doi       = {10.1109/ASYNC.2013.9},
  pdf       = {https://hal.science/hal-00993796/document},
}

@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},
  pdf       = {https://hal.science/hal-00993869/document},
  hal       = {https://hal.science/hal-00993869},
}

@inproceedings{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},
  pdf       = {https://citeseerx.ist.psu.edu/document?doi=abeadfbcb2883b655d6ec8836ebf6cbfbc69804f&repid=rep1&type=pdf},
}

@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{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},
  pdf       = {https://link.springer.com/content/pdf/10.1007/s00446-011-0151-7.pdf},
}

@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},
}

@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},
  pdf       = {https://people.csail.mit.edu/clenzen/pubs/DFLS11robust.pdf},
}

@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{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},
  pdf       = {https://hal.science/hal-00993805/document},
  hal       = {https://hal.science/hal-00993805},
}

@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},
}

@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},
  pdf       = {https://repositum.tuwien.at/bitstream/20.500.12708/14747/2/Fuegger%20Matthias%20-%202010%20-%20Analysis%20of%20on-chip%20fault-tolerant%20distributed...pdf},
}

@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},
  pdf       = {https://citeseerx.ist.psu.edu/document?doi=9fd9ff1dbaeef4a45ed0d0175d6e0becd17b0775&repid=rep1&type=pdf},
}

@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},
}

@inproceedings{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},
  booktitle = {3rd Workshop on Dependable and Secure Nanocomputing},
  year      = {2009},
  month     = {June},
  url       = {https://pdfs.semanticscholar.org/3adf/4d5c0425d35cdfe5f6b738f4e558cc5b4256.pdf},
}

@inproceedings{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},
  booktitle = {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},
}

@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},
}

@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},
}

@inproceedings{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},
  booktitle = {7th {IEEE} International Workshop on Factory Communication Systems (WFCS)},
  year      = {2008},
  month     = {May},
  pages     = {277--286},
  doi       = {10.1109/WFCS.2008.4638707},
}

@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},
}

@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},
}

@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},
  pdf       = {https://www.sne-journal.org/fileadmin/user_upload_sne/SNE_Issues_OA/SNE_15/sne.15.44-45.pdf#page=28},
}

@inproceedings{RFS04:wises,
  author    = {Rahbaran, Babak and
               F{\"u}gger, Matthias and
               Steininger, Andreas},
  title     = {Embedded Real-Time-Tracer -- An Approach with {IDE}},
  booktitle = {Workshop on Intelligent Solutions in Embedded Systems (WISES)},
  year      = {2004},
  pages     = {25--35},
  url       = {https://dblp.org/rec/conf/wises/RahbaranFS04},
}

@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},
}