{ "profile": "https://mfuegger.github.io/#person", "source": "https://home.lmf.cnrs.fr/downloads/MatthiasFuegger/mf.bib", "count": 104, "publications": [ { "key": "cravo2026", "type": "article", "title": "A quasi-stationary distribution bound for fault analysis in gene regulatory networks", "authors": [ "Fabricio Cravo", "Matthias Függer", "Thomas Nowak" ], "year": 2026, "venue": "Journal of The Royal Society Interface", "note": "", "doi": "10.1098/rsif.2025.1041", "links": { "url": "https://doi.org/10.1098/rsif.2025.1041", "pdf": "https://www.biorxiv.org/content/early/2025/10/22/2025.10.21.683707.full.pdf", "hal": "https://hal.science/hal-05652063" }, "bibtex": "@article{cravo2026,\n title = {A quasi-stationary distribution bound for fault analysis in gene regulatory networks},\n author = {Cravo, Fabricio and\n Függer, Matthias and\n Nowak, Thomas},\n journal = {Journal of The Royal Society Interface},\n volume = {23},\n number = {239},\n pages = {20251041},\n year = {2026},\n month = {06},\n doi = {10.1098/rsif.2025.1041},\n url = {https://doi.org/10.1098/rsif.2025.1041},\n bioarxiv = {10.1101/2025.10.21.683707v1},\n hal = {https://hal.science/hal-05652063},\n pdf = {https://www.biorxiv.org/content/early/2025/10/22/2025.10.21.683707.full.pdf},\n preprint = {https://www.biorxiv.org/content/early/2025/10/22/2025.10.21.683707.full.pdf},\n}" }, { "key": "FERDOWSI2026102701", "type": "article", "title": "Accurate closed-form delay formulas for interconnected CMOS gates based on first-order thresholded hybrid systems", "authors": [ "Arman Ferdowsi", "Matthias Függer", "Josef Salzmann", "Ulrich Schmid" ], "year": 2026, "venue": "Integration", "note": "", "doi": "10.1016/j.vlsi.2026.102701", "links": { "url": "https://www.sciencedirect.com/science/article/pii/S0167926026000568", "hal": "https://hal.science/hal-05775317v1" }, "bibtex": "@article{FERDOWSI2026102701,\n author = {Arman Ferdowsi and\n Matthias Függer and\n Josef Salzmann and\n Ulrich Schmid},\n title = {Accurate closed-form delay formulas for interconnected {CMOS} gates based on first-order thresholded hybrid systems},\n journal = {Integration},\n volume = {109},\n pages = {102701},\n year = {2026},\n doi = {10.1016/j.vlsi.2026.102701},\n url = {https://www.sciencedirect.com/science/article/pii/S0167926026000568},\n hal = {https://hal.science/hal-05775317v1},\n}" }, { "key": "fugger2026adding", "type": "article", "title": "Adding “Verified” Badges to Our Paper, One Lemma at a Time", "authors": [ "Matthias Függer", "Thomas Nowak" ], "year": 2026, "venue": "Bulletin of EATCS", "note": "", "doi": "", "links": { "url": "https://bulletin.eatcs.org/index.php/beatcs/article/viewFile/890/955", "pdf": "https://bulletin.eatcs.org/index.php/beatcs/article/viewFile/890/955", "hal": "https://hal.science/hal-05774612" }, "bibtex": "@article{fugger2026adding,\n title = {Adding ``Verified'' Badges to Our Paper, One Lemma at a Time},\n author = {F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n journal = {Bulletin of EATCS},\n number = {149},\n year = {2026},\n url = {https://bulletin.eatcs.org/index.php/beatcs/article/viewFile/890/955},\n hal = {https://hal.science/hal-05774612},\n pdf = {https://bulletin.eatcs.org/index.php/beatcs/article/viewFile/890/955},\n}" }, { "key": "BFNZ26:preprint", "type": "article", "title": "Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity", "authors": [ "Benedikt Bollig", "Matthias Függer", "Thomas Nowak", "Paul Zeinaty" ], "year": 2026, "venue": "arXiv preprint arXiv:2607.13981", "note": "", "doi": "10.48550/arXiv.2607.13981", "links": { "url": "https://arxiv.org/abs/2607.13981", "pdf": "https://arxiv.org/pdf/2607.13981" }, "bibtex": "@article{BFNZ26:preprint,\n author = {Bollig, Benedikt and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Zeinaty, Paul},\n title = {Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity},\n journal = {arXiv preprint arXiv:2607.13981},\n year = {2026},\n archivePrefix = {arXiv},\n eprint = {2607.13981},\n doi = {10.48550/arXiv.2607.13981},\n url = {https://arxiv.org/abs/2607.13981},\n pdf = {https://arxiv.org/pdf/2607.13981},\n}" }, { "key": "FN26:sand", "type": "inproceedings", "title": "Asymptotic Subspace Consensus in Dynamic Networks", "authors": [ "Matthias Függer", "Thomas Nowak" ], "year": 2026, "venue": "5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)", "note": "", "doi": "10.4230/LIPIcs.SAND.2026.10", "links": { "pdf": "https://drops.dagstuhl.de/storage/00lipics/lipics-vol373-sand2026/LIPIcs.SAND.2026.10/LIPIcs.SAND.2026.10.pdf", "hal": "https://hal.science/hal-05774068v1", "arxiv_long": "https://arxiv.org/abs/2602.19121" }, "bibtex": "@InProceedings{FN26:sand,\n author = {F\\\"{u}gger, Matthias and\n Nowak, Thomas},\n title = {{Asymptotic Subspace Consensus in Dynamic Networks}},\n booktitle = {5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)},\n pages = {10:1--10:18},\n series = {Leibniz International Proceedings in Informatics (LIPIcs)},\n ISBN = {978-3-95977-427-7},\n ISSN = {1868-8969},\n year = {2026},\n volume = {373},\n editor = {Mertzios, George B. and\n Richa, Andr\\'{e}a W.},\n publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\\\"u}r Informatik},\n address = {Dagstuhl, Germany},\n URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2026.10},\n doi = {10.4230/LIPIcs.SAND.2026.10},\n arxiv_long = {https://arxiv.org/abs/2602.19121},\n hal = {https://hal.science/hal-05774068v1},\n pdf = {https://drops.dagstuhl.de/storage/00lipics/lipics-vol373-sand2026/LIPIcs.SAND.2026.10/LIPIcs.SAND.2026.10.pdf},\n}" }, { "key": "xu2026centralized", "type": "inproceedings", "title": "Centralized Yet Scalable: Revisiting Policy Design for Cooperative Multi-agent Learning", "authors": [ "Zhuofan Xu", "Benedikt Bollig", "Matthias Függer", "Thomas Nowak", "Vincent Le Dréau" ], "year": 2026, "venue": "Joint European Conference on Machine Learning and Knowledge Discovery in Databases", "note": "", "doi": "10.1007/978-3-032-37670-1_16", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-032-37670-1_16", "pdf": "https://arxiv.org/pdf/2508.11706", "arxiv_long": "https://arxiv.org/abs/2508.11706" }, "bibtex": "@inproceedings{xu2026centralized,\n title = {Centralized Yet Scalable: Revisiting Policy Design for Cooperative Multi-agent Learning},\n author = {Xu, Zhuofan and\n Bollig, Benedikt and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Le Dr{\\'e}au, Vincent},\n booktitle = {Joint European Conference on Machine Learning and Knowledge Discovery in Databases},\n pages = {272--288},\n year = {2026},\n organization = {Springer},\n url = {https://link.springer.com/chapter/10.1007/978-3-032-37670-1_16},\n doi = {10.1007/978-3-032-37670-1_16},\n arxiv_long = {https://arxiv.org/abs/2508.11706},\n pdf = {https://arxiv.org/pdf/2508.11706},\n hal = {},\n}" }, { "key": "ZBFN26:ijait", "type": "article", "title": "Deep Reinforcement Learning with Permutation Equivariant Neural Network for Multi-Armed Bandit", "authors": [ "Zhuofan Xu", "Benedikt Bollig", "Matthias Függer", "Thomas Nowak" ], "year": 2026, "venue": "International Journal on Artificial Intelligence Tools", "note": "", "doi": "10.1142/S0218213026500016", "links": { "url": "https://www.worldscientific.com/doi/abs/10.1142/S0218213026500016", "hal": "https://hal.science/hal-05651639v1" }, "bibtex": "@article{ZBFN26:ijait,\n author = {Xu, Zhuofan and\n Bollig, Benedikt and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n title = {Deep Reinforcement Learning with Permutation Equivariant Neural Network for Multi-Armed Bandit},\n journal = {International Journal on Artificial Intelligence Tools},\n pages = {2650001},\n year = {2026},\n publisher = {World Scientific},\n url = {https://www.worldscientific.com/doi/abs/10.1142/S0218213026500016},\n hal = {https://hal.science/hal-05651639v1},\n volume = {35},\n number = {2},\n doi = {10.1142/S0218213026500016},\n}" }, { "key": "ferdowsi2026efficient", "type": "inproceedings", "title": "Efficient Stochastic Trace Generation for Transcription", "authors": [ "Arman Ferdowsi", "Matthias Függer", "Thomas Nowak" ], "year": 2026, "venue": "International Conference on Computational Methods in Systems Biology", "note": "", "doi": "10.1007/978-3-032-30870-2_6", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-032-30870-2_6", "pdf": "https://www.biorxiv.org/content/10.64898/2026.05.05.722871v1.full.pdf", "hal": "https://hal.science/hal-05774639", "arxiv_long": "https://www.biorxiv.org/content/10.64898/2026.05.05.722871v1" }, "bibtex": "@inproceedings{ferdowsi2026efficient,\n title = {Efficient Stochastic Trace Generation for Transcription},\n author = {Ferdowsi, Arman and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n booktitle = {International Conference on Computational Methods in Systems Biology},\n pages = {104--121},\n year = {2026},\n organization = {Springer},\n url = {https://link.springer.com/chapter/10.1007/978-3-032-30870-2_6},\n doi = {10.1007/978-3-032-30870-2_6},\n arxiv_long = {https://www.biorxiv.org/content/10.64898/2026.05.05.722871v1},\n hal = {https://hal.science/hal-05774639},\n pdf = {https://www.biorxiv.org/content/10.64898/2026.05.05.722871v1.full.pdf},\n}" }, { "key": "pietri2026embedding", "type": "article", "title": "Embedding response surfaces in kinetic models predicts microalgae growth across light and nutrient gradients", "authors": [ "Mélanie Pietri", "Thomas Rodet", "Bruno Le Pioufle", "Thomas Nowak", "Matthias Függer", "Sakina Bensalem" ], "year": 2026, "venue": "Bioresource Technology", "note": "", "doi": "10.1016/j.biortech.2026.135364", "links": { "url": "https://www.sciencedirect.com/science/article/pii/S096085242601446X", "hal": "https://hal.science/hal-05774563v1" }, "bibtex": "@article{pietri2026embedding,\n title = {Embedding response surfaces in kinetic models predicts microalgae growth across light and nutrient gradients},\n author = {Pietri, M{\\'e}lanie and\n Rodet, Thomas and\n Le Pioufle, Bruno and\n Nowak, Thomas and\n F{\\\"u}gger, Matthias and\n Bensalem, Sakina},\n journal = {Bioresource Technology},\n pages = {135364},\n year = {2026},\n publisher = {Elsevier},\n doi = {10.1016/j.biortech.2026.135364},\n url = {https://www.sciencedirect.com/science/article/pii/S096085242601446X},\n hal = {https://hal.science/hal-05774563v1},\n}" }, { "key": "FN26:artifact", "type": "misc", "title": "Lean Proofs and Video Creation Scripts for the Paper “Asymptotic Subspace Consensus in Dynamic Networks”", "authors": [ "Matthias Függer", "Thomas Nowak" ], "year": 2026, "venue": "", "note": "Software, source code", "doi": "10.4230/artifacts.26596", "links": { "url": "https://drops.dagstuhl.de/entities/artifact/10.4230/artifacts.26596" }, "bibtex": "@misc{FN26:artifact,\n author = {F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n title = {{Lean Proofs and Video Creation Scripts for the Paper ``Asymptotic Subspace Consensus in Dynamic Networks''}},\n howpublished = {Schloss Dagstuhl -- Leibniz-Zentrum f{\\\"u}r Informatik},\n note = {Software, source code},\n year = {2026},\n month = jun,\n doi = {10.4230/artifacts.26596},\n url = {https://drops.dagstuhl.de/entities/artifact/10.4230/artifacts.26596},\n github = {BioDisCo/roots},\n}" }, { "key": "bollig2026promoting", "type": "inproceedings", "title": "Promoting Simple Agents: Ensemble Methods for Event-Log Prediction", "authors": [ "Benedikt Bollig", "Matthias Függer", "Thomas Nowak", "Paul Zeinaty" ], "year": 2026, "venue": "Optimization, Learning Algorithms and Applications: 6th International Conference, OL2A 2026, Proceedings, Part I", "note": "To appear", "doi": "", "links": { "pdf": "https://arxiv.org/pdf/2604.21629", "hal": "https://hal.science/hal-05774598", "arxiv_long": "https://arxiv.org/abs/2604.21629" }, "bibtex": "@inproceedings{bollig2026promoting,\n title = {Promoting Simple Agents: Ensemble Methods for Event-Log Prediction},\n author = {Bollig, Benedikt and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Zeinaty, Paul},\n booktitle = {Optimization, Learning Algorithms and Applications: 6th International Conference, OL2A 2026, Proceedings, Part I},\n series = {Communications in Computer and Information Science},\n publisher = {Springer},\n arxiv_long = {https://arxiv.org/abs/2604.21629},\n year = {2026},\n note = {To appear},\n hal = {https://hal.science/hal-05774598},\n pdf = {https://arxiv.org/pdf/2604.21629},\n}" }, { "key": "BFN26:isola", "type": "inproceedings", "title": "Provable Coordination for LLM Agents via Message Sequence Charts", "authors": [ "Benedikt Bollig", "Matthias Függer", "Thomas Nowak" ], "year": 2026, "venue": "International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)", "note": "Accepted, to appear", "doi": "", "links": { "url": "https://arxiv.org/abs/2604.17612", "pdf": "https://hal.science/hal-05596574/document", "hal": "https://hal.science/hal-05596574", "arxiv_long": "https://arxiv.org/abs/2604.17612" }, "bibtex": "@inproceedings{BFN26:isola,\n author = {Bollig, Benedikt and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n title = {Provable Coordination for {LLM} Agents via Message Sequence Charts},\n booktitle = {International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},\n year = {2026},\n note = {Accepted, to appear},\n url = {https://arxiv.org/abs/2604.17612},\n arxiv_long = {https://arxiv.org/abs/2604.17612},\n pdf = {https://hal.science/hal-05596574/document},\n hal = {https://hal.science/hal-05596574},\n}" }, { "key": "andaur2026reaching:nc", "type": "article", "title": "Reaching agreement in competitive microbial systems", "authors": [ "Victoria Andaur", "Janna Burman", "Matthias Függer", "Bilal Manssouri", "Thomas Nowak", "Joel Rybicki" ], "year": 2026, "venue": "Natural Computing", "note": "", "doi": "10.1007/s11047-026-10070-z", "links": { "url": "https://link.springer.com/article/10.1007/s11047-026-10070-z", "pdf": "https://link.springer.com/content/pdf/10.1007/s11047-026-10070-z.pdf", "hal": "https://hal.science/hal-05774166v1", "arxiv_long": "https://arxiv.org/abs/2103.07450" }, "bibtex": "@article{andaur2026reaching:nc,\n title = {Reaching agreement in competitive microbial systems},\n author = {Andaur, Victoria and\n Burman, Janna and\n F{\\\"u}gger, Matthias and\n Manssouri, Bilal and\n Nowak, Thomas and\n Rybicki, Joel},\n journal = {Natural Computing},\n volume = {25},\n number = {1},\n pages = {18},\n year = {2026},\n publisher = {Springer},\n arxiv_long = {https://arxiv.org/abs/2103.07450},\n url = {https://link.springer.com/article/10.1007/s11047-026-10070-z},\n doi = {10.1007/s11047-026-10070-z},\n hal = {https://hal.science/hal-05774166v1},\n pdf = {https://link.springer.com/content/pdf/10.1007/s11047-026-10070-z.pdf},\n}" }, { "key": "xu2025centralized", "type": "article", "title": "Centralized Permutation Equivariant Policy for Cooperative Multi-Agent Reinforcement Learning", "authors": [ "Zhuofan Xu", "Benedikt Bollig", "Matthias Függer", "Thomas Nowak", "Vincent Le Dréau" ], "year": 2025, "venue": "arXiv preprint arXiv:2508.11706", "note": "", "doi": "", "links": { "url": "https://arxiv.org/abs/2508.11706", "pdf": "https://arxiv.org/pdf/2508.11706" }, "bibtex": "@article{xu2025centralized,\n title = {Centralized Permutation Equivariant Policy for Cooperative Multi-Agent Reinforcement Learning},\n author = {Xu, Zhuofan and\n Bollig, Benedikt and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Le Dr{\\'e}au, Vincent},\n journal = {arXiv preprint arXiv:2508.11706},\n year = {2025},\n url = {https://arxiv.org/abs/2508.11706},\n pdf = {https://arxiv.org/pdf/2508.11706},\n}" }, { "key": "fugger2025distributed", "type": "article", "title": "Distributed computing inspired by biology", "authors": [ "Matthias Függer", "Thomas Nowak", "Kerian Thuillier" ], "year": 2025, "venue": "Seminars in Cell & Developmental Biology", "note": "", "doi": "10.1016/j.semcdb.2025.103666", "links": { "url": "https://www.sciencedirect.com/science/article/pii/S108495212500076X", "pdf": "https://hal.science/hal-05375376/document", "hal": "https://hal.science/hal-05375376" }, "bibtex": "@article{fugger2025distributed,\n title = {Distributed computing inspired by biology},\n author = {F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Thuillier, Kerian},\n journal = {Seminars in Cell \\& Developmental Biology},\n volume = {175},\n pages = {103666},\n year = {2025},\n publisher = {Elsevier},\n hal = {https://hal.science/hal-05375376},\n doi = {10.1016/j.semcdb.2025.103666},\n url = {https://www.sciencedirect.com/science/article/pii/S108495212500076X},\n pdf = {https://hal.science/hal-05375376/document},\n}" }, { "key": "FFNSD25:na", "type": "article", "title": "Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs", "authors": [ "Arman Ferdowsi", "Matthias Függer", "Thomas Nowak", "Ulrich Schmid", "Michael Drmota" ], "year": 2025, "venue": "Nonlinear Analysis: Hybrid Systems", "note": "", "doi": "10.1016/j.nahs.2024.101572", "links": { "url": "https://www.sciencedirect.com/science/article/pii/S1751570X24001092", "pdf": "https://hal.science/hal-05406496/document", "hal": "https://hal.science/hal-05406496", "arxiv_long": "https://arxiv.org/abs/2403.03235" }, "bibtex": "@article{FFNSD25:na,\n author = {Ferdowsi, Arman and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Schmid, Ulrich and\n Drmota, Michael},\n title = {Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched {ODEs}},\n journal = {Nonlinear Analysis: Hybrid Systems},\n volume = {56},\n pages = {101572},\n year = {2025},\n publisher = {Elsevier},\n doi = {10.1016/j.nahs.2024.101572},\n arxiv_long = {https://arxiv.org/abs/2403.03235},\n url = {https://www.sciencedirect.com/science/article/pii/S1751570X24001092},\n hal = {https://hal.science/hal-05406496},\n pdf = {https://hal.science/hal-05406496/document},\n}" }, { "key": "EFHS25:async", "type": "inproceedings", "title": "Investigating the Effects of Permanent Faults in QDI Circuits: A Formal Perspective", "authors": [ "Raghda El Shehaby", "Matthias Függer", "Florian Huemer", "Andreas Steininger" ], "year": 2025, "venue": "2025 29th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", "note": "", "doi": "10.1109/ASYNC65240.2025.00027", "links": { "url": "https://ieeexplore.ieee.org/document/11021098", "pdf": "https://hal.science/hal-05187822/document", "hal": "https://hal.science/hal-05187822" }, "bibtex": "@inproceedings{EFHS25:async,\n author = {El Shehaby, Raghda and\n F{\\\"u}gger, Matthias and\n Huemer, Florian and\n Steininger, Andreas},\n title = {Investigating the Effects of Permanent Faults in {QDI} Circuits: A Formal Perspective},\n booktitle = {2025 29th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},\n pages = {142--150},\n year = {2025},\n organization = {IEEE},\n url = {https://ieeexplore.ieee.org/document/11021098},\n doi = {10.1109/ASYNC65240.2025.00027},\n hal = {https://hal.science/hal-05187822},\n pdf = {https://hal.science/hal-05187822/document},\n}" }, { "key": "cravo2025mobspy", "type": "article", "title": "MobsPy: A programming language for biochemical reaction networks", "authors": [ "Fabricio Cravo", "Gayathri Prakash", "Matthias Függer", "Thomas Nowak" ], "year": 2025, "venue": "PLOS Computational Biology", "note": "", "doi": "10.1371/journal.pcbi.1013024", "links": { "url": "https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1013024", "pdf": "https://hal.science/hal-05389427/document", "hal": "https://hal.science/hal-05389427" }, "bibtex": "@article{cravo2025mobspy,\n title = {{MobsPy}: A programming language for biochemical reaction networks},\n author = {Cravo, Fabricio and\n Prakash, Gayathri and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n journal = {PLOS Computational Biology},\n volume = {21},\n number = {5},\n pages = {e1013024},\n year = {2025},\n publisher = {Public Library of Science San Francisco, CA USA},\n doi = {10.1371/journal.pcbi.1013024},\n url = {https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1013024},\n hal = {https://hal.science/hal-05389427},\n pdf = {https://hal.science/hal-05389427/document},\n}" }, { "key": "PPHPCFNK24:nar", "type": "article", "title": "Phage-mediated intercellular CRISPRi for biocomputation in bacterial consortia", "authors": [ "Abhinav Pujar", "Amit Pathania", "Corbin Hopper", "Amir Pandi", "Cristian Ruiz Calderón", "Matthias Függer", "Thomas Nowak", "Manish Kushwaha" ], "year": 2025, "venue": "Nucleic Acids Research", "note": "", "doi": "10.1093/nar/gkae1256", "links": { "url": "https://academic.oup.com/nar/article/53/3/gkae1256/7933600", "pdf": "https://hal.science/hal-04857279/document", "hal": "https://hal.science/hal-04857279", "arxiv_long": "https://www.biorxiv.org/content/10.1101/2024.09.02.610857v2.abstract" }, "bibtex": "@article{PPHPCFNK24:nar,\n author = {Pujar, Abhinav and\n Pathania, Amit and\n Hopper, Corbin and\n Pandi, Amir and\n Ruiz Calder{\\'o}n, Cristian and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Kushwaha, Manish},\n title = {Phage-mediated intercellular {CRISPRi} for biocomputation in bacterial consortia},\n journal = {Nucleic Acids Research},\n pages = {gkae1256},\n year = {2025},\n volume = {53},\n publisher = {Oxford University Press},\n doi = {10.1093/nar/gkae1256},\n url = {https://academic.oup.com/nar/article/53/3/gkae1256/7933600},\n arxiv_long = {https://www.biorxiv.org/content/10.1101/2024.09.02.610857v2.abstract},\n hal = {https://hal.science/hal-04857279},\n number = {3},\n pdf = {https://hal.science/hal-04857279/document},\n}" }, { "key": "shehaby2025:icecs", "type": "inproceedings", "title": "SeAL: A Provably Complete Fault-Injection Tool for Asynchronous Circuits", "authors": [ "Raghda El Shehaby", "Matthias Függer", "Florian Huemer", "Andreas Steininger" ], "year": 2025, "venue": "2025 32nd IEEE International Conference on Electronics, Circuits and Systems (ICECS)", "note": "", "doi": "10.1109/ICECS66544.2025.11270590", "links": { "url": "https://ieeexplore.ieee.org/document/11270590", "hal": "https://hal.science/hal-05772797v1" }, "bibtex": "@inproceedings{shehaby2025:icecs,\n author = {El Shehaby, Raghda and\n Függer, Matthias and\n Huemer, Florian and\n Steininger, Andreas},\n booktitle = {2025 32nd IEEE International Conference on Electronics, Circuits and Systems (ICECS)},\n title = {{SeAL}: A Provably Complete Fault-Injection Tool for Asynchronous Circuits},\n year = {2025},\n volume = {},\n number = {},\n pages = {1--6},\n doi = {10.1109/ICECS66544.2025.11270590},\n url = {https://ieeexplore.ieee.org/document/11270590},\n hal = {https://hal.science/hal-05772797v1},\n}" }, { "key": "bollig2024:preprint", "type": "article", "title": "A Framework for Streaming Event-Log Prediction in Business Processes", "authors": [ "Benedikt Bollig", "Matthias Függer", "Thomas Nowak" ], "year": 2024, "venue": "arXiv preprint arXiv:2412.16032", "note": "", "doi": "", "links": { "url": "https://arxiv.org/abs/2412.16032", "pdf": "https://hal.science/hal-04866045/document", "hal": "https://hal.science/hal-04866045" }, "bibtex": "@article{bollig2024:preprint,\n author = {Bollig, Benedikt and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n title = {A Framework for Streaming Event-Log Prediction in Business Processes},\n journal = {arXiv preprint arXiv:2412.16032},\n year = {2024},\n url = {https://arxiv.org/abs/2412.16032},\n pdf = {https://hal.science/hal-04866045/document},\n hal = {https://hal.science/hal-04866045},\n}" }, { "key": "CFN24:npj", "type": "article", "title": "An Allee-based distributed algorithm for microbial whole-cell sensors", "authors": [ "Fabricio Cravo", "Matthias Függer", "Thomas Nowak" ], "year": 2024, "venue": "npj Systems Biology and Applications", "note": "", "doi": "10.1038/s41540-024-00363-3", "links": { "url": "https://www.nature.com/articles/s41540-024-00363-3", "pdf": "https://www.nature.com/articles/s41540-024-00363-3.pdf", "hal": "https://hal.science/hal-04786979", "arxiv_long": "https://www.biorxiv.org/content/early/2023/08/26/2023.08.25.554781" }, "bibtex": "@article{CFN24:npj,\n author = {Cravo, Fabricio and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n title = {An {Allee}-based distributed algorithm for microbial whole-cell sensors},\n journal = {npj Systems Biology and Applications},\n volume = {10},\n number = {1},\n pages = {43},\n year = {2024},\n publisher = {Nature Publishing Group UK London},\n arxiv_long = {https://www.biorxiv.org/content/early/2023/08/26/2023.08.25.554781},\n url = {https://www.nature.com/articles/s41540-024-00363-3},\n doi = {10.1038/s41540-024-00363-3},\n hal = {https://hal.science/hal-04786979},\n pdf = {https://www.nature.com/articles/s41540-024-00363-3.pdf},\n}" }, { "key": "FNR24:podc", "type": "inproceedings", "title": "Majority consensus thresholds in competitive Lotka–Volterra populations", "authors": [ "Matthias Függer", "Thomas Nowak", "Joel Rybicki" ], "year": 2024, "venue": "Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing (PODC)", "note": "", "doi": "10.1145/3662158.3662823", "links": { "url": "https://dl.acm.org/doi/abs/10.1145/3662158.3662823", "pdf": "https://hal.science/hal-04786996/document", "hal": "https://hal.science/hal-04786996", "arxiv_long": "https://arxiv.org/abs/2405.03568" }, "bibtex": "@inproceedings{FNR24:podc,\n author = {F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Rybicki, Joel},\n title = {Majority consensus thresholds in competitive {Lotka--Volterra} populations},\n booktitle = {Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing (PODC)},\n pages = {76--86},\n year = {2024},\n url = {https://dl.acm.org/doi/abs/10.1145/3662158.3662823},\n doi = {10.1145/3662158.3662823},\n arxiv_long = {https://arxiv.org/abs/2405.03568},\n hal = {https://hal.science/hal-04786996},\n pdf = {https://hal.science/hal-04786996/document},\n}" }, { "key": "BFNX24:ictai", "type": "inproceedings", "title": "Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit", "authors": [ "Zhuofan Xu", "Benedikt Bollig", "Matthias Függer", "Thomas Nowak" ], "year": 2024, "venue": "Proceedings of the IEEE International Conference on Tools with Artificial Intelligence (ICTAI)", "note": "", "doi": "10.1109/ICTAI62512.2024.00140", "links": { "url": "https://ieeexplore.ieee.org/abstract/document/10849487", "pdf": "https://hal.science/hal-04787072/document", "hal": "https://hal.science/hal-04787072" }, "bibtex": "@inproceedings{BFNX24:ictai,\n author = {Xu, Zhuofan and\n Bollig, Benedikt and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n title = {Permutation Equivariant Deep Reinforcement Learning for Multi-Armed Bandit},\n booktitle = {Proceedings of the IEEE International Conference on Tools with Artificial Intelligence (ICTAI)},\n pages = {975--983},\n year = {2024},\n url = {https://ieeexplore.ieee.org/abstract/document/10849487},\n doi = {10.1109/ICTAI62512.2024.00140},\n hal = {https://hal.science/hal-04787072},\n pdf = {https://hal.science/hal-04787072/document},\n}" }, { "key": "FFSS23:dsd", "type": "inproceedings", "title": "A hybrid delay model for interconnected multi-input gates", "authors": [ "Arman Ferdowsi", "Matthias Függer", "Josef Salzmann", "Ulrich Schmid" ], "year": 2023, "venue": "2023 26th Euromicro Conference on Digital System Design (DSD)", "note": "", "doi": "10.1109/DSD60849.2023.00060", "links": { "url": "https://ieeexplore.ieee.org/abstract/document/10456854", "pdf": "https://hal.science/hal-04786960/document", "hal": "https://hal.science/hal-04786960", "arxiv_long": "https://arxiv.org/abs/2403.10540" }, "bibtex": "@inproceedings{FFSS23:dsd,\n author = {Ferdowsi, Arman and\n F{\\\"u}gger, Matthias and\n Salzmann, Josef and\n Schmid, Ulrich},\n title = {A hybrid delay model for interconnected multi-input gates},\n booktitle = {2023 26th Euromicro Conference on Digital System Design (DSD)},\n pages = {381--390},\n year = {2023},\n organization = {IEEE},\n arxiv_long = {https://arxiv.org/abs/2403.10540},\n url = {https://ieeexplore.ieee.org/abstract/document/10456854},\n doi = {10.1109/DSD60849.2023.00060},\n hal = {https://hal.science/hal-04786960},\n pdf = {https://hal.science/hal-04786960/document},\n}" }, { "key": "FFNS23:hscc", "type": "inproceedings", "title": "Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models", "authors": [ "Arman Ferdowsi", "Matthias Függer", "Thomas Nowak", "Ulrich Schmid" ], "year": 2023, "venue": "Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)", "note": "", "doi": "10.1145/3575870.3587125", "links": { "url": "https://dl.acm.org/doi/abs/10.1145/3575870.3587125", "pdf": "https://hal.science/hal-03973076/document", "hal": "https://hal.science/hal-03973076", "arxiv_long": "https://arxiv.org/abs/2303.14048" }, "bibtex": "@InProceedings{FFNS23:hscc,\n title = {Continuity of Thresholded Mode-Switched {ODEs} and Digital Circuit Delay Models},\n author = {Ferdowsi, Arman and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Schmid, Ulrich},\n booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)},\n year = {2023},\n hal = {https://hal.science/hal-03973076},\n arxiv_long = {https://arxiv.org/abs/2303.14048},\n url = {https://dl.acm.org/doi/abs/10.1145/3575870.3587125},\n doi = {10.1145/3575870.3587125},\n pdf = {https://hal.science/hal-03973076/document},\n}" }, { "key": "EFS23:formats", "type": "inproceedings", "title": "On the Susceptibility of QDI Circuits to Transient Faults", "authors": [ "Raghda El Shehaby", "Matthias Függer", "Andreas Steininger" ], "year": 2023, "venue": "Formal Modeling and Analysis of Timed Systems (FORMATS)", "note": "", "doi": "10.1007/978-3-031-42626-1_5", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-031-42626-1_5", "pdf": "https://hal.science/hal-04266002/document", "hal": "https://hal.science/hal-04266002", "arxiv_long": "https://arxiv.org/abs/2303.14106" }, "bibtex": "@InProceedings{EFS23:formats,\n title = {On the Susceptibility of {QDI} Circuits to Transient Faults},\n author = {El Shehaby, Raghda and\n F{\\\"u}gger, Matthias and\n Steininger, Andreas},\n editor = {Petrucci, Laure and\n Sproston, Jeremy},\n booktitle = {Formal Modeling and Analysis of Timed Systems (FORMATS)},\n publisher = {Springer Nature Switzerland},\n address = {Cham},\n pages = {69--85},\n year = {2023},\n arxiv_long = {https://arxiv.org/abs/2303.14106},\n url = {https://link.springer.com/chapter/10.1007/978-3-031-42626-1_5},\n doi = {10.1007/978-3-031-42626-1_5},\n hal = {https://hal.science/hal-04266002},\n pdf = {https://hal.science/hal-04266002/document},\n}" }, { "key": "BFM23:tvlsi", "type": "article", "title": "PALS: Distributed Gradient Clocking on Chip", "authors": [ "Johannes Bund", "Matthias Függer", "Moti Medina" ], "year": 2023, "venue": "IEEE Transactions on Very Large Scale Integration (VLSI) Systems", "note": "", "doi": "10.1109/TVLSI.2023.3311178", "links": { "url": "https://ieeexplore.ieee.org/abstract/document/10251393", "pdf": "https://hal.science/hal-04266029/document", "hal": "https://hal.science/hal-04266029", "arxiv_long": "https://arxiv.org/abs/2308.15098" }, "bibtex": "@article{BFM23:tvlsi,\n author = {Bund, Johannes and\n F{\\\"u}gger, Matthias and\n Medina, Moti},\n title = {{PALS}: Distributed Gradient Clocking on Chip},\n journal = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},\n year = {2023},\n publisher = {IEEE},\n arxiv_long = {https://arxiv.org/abs/2308.15098},\n url = {https://ieeexplore.ieee.org/abstract/document/10251393},\n doi = {10.1109/TVLSI.2023.3311178},\n hal = {https://hal.science/hal-04266029},\n volume = {31},\n number = {11},\n pages = {1740--1753},\n pdf = {https://hal.science/hal-04266029/document},\n}" }, { "key": "PHPFNK22:preprint", "type": "article", "title": "A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission", "authors": [ "Amit Pathania", "Corbin Hopper", "Amir Pandi", "Matthias Függer", "Thomas Nowak", "Manish Kushwaha" ], "year": 2022, "venue": "bioRxiv", "note": "", "doi": "10.1101/2022.05.11.491355", "links": { "url": "https://www.biorxiv.org/content/10.1101/2022.05.11.491355v2", "pdf": "https://hal.science/hal-03670575/document", "hal": "https://hal.science/hal-03670575" }, "bibtex": "@article{PHPFNK22:preprint,\n title = {A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission},\n author = {Pathania, Amit and\n Hopper, Corbin and\n Pandi, Amir and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Kushwaha, Manish},\n journal = {bioRxiv},\n year = {2022},\n publisher = {Cold Spring Harbor Laboratory},\n elocation-id = {2022.05.11.491355},\n doi = {10.1101/2022.05.11.491355},\n url = {https://www.biorxiv.org/content/10.1101/2022.05.11.491355v2},\n eprint = {https://www.biorxiv.org/content/10.1101/2022.05.11.491355v2.full.pdf},\n pdf = {https://hal.science/hal-03670575/document},\n hal = {https://hal.science/hal-03670575},\n}" }, { "key": "fuegger:habil", "type": "phdthesis", "title": "Computing at the border of abstractions: the power of timed, non-binary, distributed circuits", "authors": [ "Matthias Függer" ], "year": 2022, "venue": "ENS Paris-Saclay, France", "note": "", "doi": "", "links": { "url": "https://hal.science/tel-04308490", "pdf": "https://hal.science/tel-04308490/document", "hal": "https://hal.science/tel-04308490" }, "bibtex": "@phdthesis{fuegger:habil,\n title = {{Computing at the border of abstractions: the power of timed, non-binary, distributed circuits}},\n author = {F{\\\"u}gger, Matthias},\n url = {https://hal.science/tel-04308490},\n hal = {https://hal.science/tel-04308490},\n school = {{ENS Paris-Saclay, France}},\n year = {2022},\n month = Jan,\n type = {Habilitation {\\`a} diriger des recherches},\n pdf = {https://hal.science/tel-04308490/document},\n}" }, { "key": "LFWKM22:patent", "type": "misc", "title": "Delay element, delay element chain and fast all-digital clock frequency adaptation circuit for voltage droop tolerance", "authors": [ "Christoph Lenzen", "Matthias Függer", "Ben Wiederhake", "Attila Kinali", "Mordechai Medina" ], "year": 2022, "venue": "", "note": "", "doi": "", "links": { "url": "https://patents.google.com/patent/US11520370B2/en" }, "bibtex": "@misc{LFWKM22:patent,\n author = {Lenzen, Christoph and\n F{\\\"u}gger, Matthias and\n Wiederhake, Ben and\n Kinali, Attila and\n Medina, Mordechai},\n title = {Delay element, delay element chain and fast all-digital clock frequency adaptation circuit for voltage droop tolerance},\n howpublished = {US Patent 11,520,370 B2},\n year = {2022},\n month = dec,\n url = {https://patents.google.com/patent/US11520370B2/en},\n}" }, { "key": "CFHKNS21:growth", "type": "article", "title": "Distributed computation with continual population growth", "authors": [ "Da-Jung Cho", "Matthias Függer", "Corbin Hopper", "Manish Kushwaha", "Thomas Nowak", "Quentin Soubeyran" ], "year": 2022, "venue": "Distributed Computing", "note": "", "doi": "10.1007/s00446-021-00404-8", "links": { "url": "https://link.springer.com/article/10.1007/s00446-021-00404-8", "pdf": "https://inria.hal.science/hal-03519002/document", "hal": "https://hal.science/hal-03519002" }, "bibtex": "@article{CFHKNS21:growth,\n title = {Distributed computation with continual population growth},\n author = {Da-Jung Cho and\n Matthias F\\\"ugger and\n Corbin Hopper and\n Manish Kushwaha and\n Thomas Nowak and\n Quentin Soubeyran},\n year = {2022},\n volume = {35},\n number = {6},\n pages = {547--569},\n doi = {10.1007/s00446-021-00404-8},\n url = {https://link.springer.com/article/10.1007/s00446-021-00404-8},\n journal = {Distributed Computing},\n OPTarxiv_long = {},\n hal = {https://hal.science/hal-03519002},\n pdf = {https://inria.hal.science/hal-03519002/document},\n}" }, { "key": "FKLW21:tcad", "type": "article", "title": "Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance", "authors": [ "Matthias Függer", "Attila Kinali", "Christoph Lenzen", "Ben Wiederhake" ], "year": 2022, "venue": "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems", "note": "", "doi": "10.1109/TCAD.2021.3097599", "links": { "url": "https://ieeexplore.ieee.org/document/9486921", "pdf": "https://hal.science/hal-03536906/document", "hal": "https://hal.science/hal-03536906" }, "bibtex": "@article{FKLW21:tcad,\n author = {Matthias F\\\"ugger and\n Attila Kinali and\n Christoph Lenzen and\n Ben Wiederhake},\n journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},\n title = {Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance},\n year = {2022},\n volume = {41},\n number = {8},\n pages = {2518--2531},\n doi = {10.1109/TCAD.2021.3097599},\n url = {https://ieeexplore.ieee.org/document/9486921},\n hal = {https://hal.science/hal-03536906},\n pdf = {https://hal.science/hal-03536906/document},\n}" }, { "key": "CFNP22:mobspy", "type": "inproceedings", "title": "MobsPy: A Meta-Species Language for Chemical Reaction Networks", "authors": [ "Fabricio Cravo", "Matthias Függer", "Thomas Nowak", "Gayathri Prakash" ], "year": 2022, "venue": "Computational Methods in Systems Biology", "note": "", "doi": "10.1007/978-3-031-15034-0_14", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-031-15034-0_14#citeas", "pdf": "https://hal.science/hal-03876041/document", "hal": "https://hal.science/hal-03876041", "biorxiv_long": "https://www.biorxiv.org/content/10.1101/2022.05.05.490768v1" }, "bibtex": "@InProceedings{CFNP22:mobspy,\n title = {{MobsPy}: A Meta-Species Language for Chemical Reaction Networks},\n author = {Cravo, Fabricio and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Prakash, Gayathri},\n editor = {Petre, Ion and\n P{\\u{a}}un, Andrei},\n booktitle = {Computational Methods in Systems Biology},\n publisher = {Springer International Publishing},\n year = {2022},\n pages = {277--285},\n doi = {10.1007/978-3-031-15034-0_14},\n url = {https://link.springer.com/chapter/10.1007/978-3-031-15034-0_14#citeas},\n biorxiv_long = {https://www.biorxiv.org/content/10.1101/2022.05.05.490768v1},\n hal = {https://hal.science/hal-03876041},\n pdf = {https://hal.science/hal-03876041/document},\n}" }, { "key": "FLS22:henzinger", "type": "incollection", "title": "On Specifications and Proofs of Timed Circuits", "authors": [ "Matthias Függer", "Christoph Lenzen", "Ulrich Schmid" ], "year": 2022, "venue": "", "note": "", "doi": "10.1007/978-3-031-22337-2_6", "links": { "url": "https://doi.org/10.1007/978-3-031-22337-2_6", "pdf": "https://arxiv.org/pdf/2208.08147", "hal": "https://hal.science/hal-03935679v1", "arxiv_long": "https://arxiv.org/abs/2208.08147" }, "bibtex": "@incollection{FLS22:henzinger,\n title = {On Specifications and Proofs of Timed Circuits},\n author = {F{\\\"u}gger, Matthias and\n Lenzen, Christoph and\n Schmid, Ulrich},\n editor = {Raskin, Jean-Fran{\\c{c}}ois and\n Chatterjee, Krishnendu and\n Doyen, Laurent and\n Majumdar, Rupak},\n bookTitle = {Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday},\n year = {2022},\n publisher = {Springer Nature Switzerland},\n address = {Cham},\n pages = {107--130},\n doi = {10.1007/978-3-031-22337-2_6},\n url = {https://doi.org/10.1007/978-3-031-22337-2_6},\n hal = {https://hal.science/hal-03935679v1},\n arxiv_long = {https://arxiv.org/abs/2208.08147},\n pdf = {https://arxiv.org/pdf/2208.08147},\n}" }, { "key": "BBBFS21:dynamic", "type": "article", "title": "Synthesis in Presence of Dynamic Links", "authors": [ "Béatrice Bérard", "Benedikt Bollig", "Patricia Bouyer", "Matthias Függer", "Nathalie Sznajder" ], "year": 2022, "venue": "Information and Computation", "note": "", "doi": "10.1016/j.ic.2021.104856", "links": { "url": "https://www.sciencedirect.com/science/article/pii/S0890540121001887", "pdf": "https://inria.hal.science/hal-03518879/document", "hal": "https://hal.science/hal-03518879" }, "bibtex": "@article{BBBFS21:dynamic,\n title = {Synthesis in Presence of Dynamic Links},\n author = {Béatrice Bérard and\n Benedikt Bollig and\n Patricia Bouyer and\n Matthias Függer and\n Nathalie Sznajder},\n journal = {Information and Computation},\n volume = {289},\n year = {2022},\n doi = {10.1016/j.ic.2021.104856},\n url = {https://www.sciencedirect.com/science/article/pii/S0890540121001887},\n hal = {https://hal.science/hal-03518879},\n pages = {104856},\n pdf = {https://inria.hal.science/hal-03518879/document},\n}" }, { "key": "MOSFN21:glsvlsi", "type": "inproceedings", "title": "A Composable Glitch-Aware Delay Model", "authors": [ "Jürgen Maier", "Daniel Öhlinger", "Ulrich Schmid", "Matthias Függer", "Thomas Nowak" ], "year": 2021, "venue": "Proceedings of the 2021 on Great Lakes Symposium on VLSI", "note": "", "doi": "10.1145/3453688.3461519", "links": { "url": "https://doi.org/10.1145/3453688.3461519", "pdf": "https://hal.science/hal-03451070/document", "hal": "https://hal.science/hal-03451070", "arxiv_long": "https://arxiv.org/abs/2104.10966" }, "bibtex": "@inproceedings{MOSFN21:glsvlsi,\n author = {Maier, J\\\"{u}rgen and\n \\\"{O}hlinger, Daniel and\n Schmid, Ulrich and\n F\\\"{u}gger, Matthias and\n Nowak, Thomas},\n title = {A Composable Glitch-Aware Delay Model},\n year = {2021},\n publisher = {Association for Computing Machinery},\n url = {https://doi.org/10.1145/3453688.3461519},\n booktitle = {Proceedings of the 2021 on Great Lakes Symposium on VLSI},\n pages = {147--154},\n doi = {10.1145/3453688.3461519},\n arxiv_long = {https://arxiv.org/abs/2104.10966},\n hal = {https://hal.science/hal-03451070},\n pdf = {https://hal.science/hal-03451070/document},\n}" }, { "key": "DFS21:mr", "type": "article", "title": "Generation of a fault-tolerant clock through redundant crystal oscillators", "authors": [ "Wolfgang Dür", "Matthias Függer", "Andreas Steininger" ], "year": 2021, "venue": "Microelectronics Reliability", "note": "", "doi": "10.1016/j.microrel.2021.114088", "links": { "url": "https://www.sciencedirect.com/science/article/pii/S0026271421000548", "pdf": "https://inria.hal.science/hal-03329844/document", "hal": "https://hal.science/hal-03329844" }, "bibtex": "@article{DFS21:mr,\n title = {Generation of a fault-tolerant clock through redundant crystal oscillators},\n author = {D{\\\"u}r, Wolfgang and\n F{\\\"u}gger, Matthias and\n Steininger, Andreas},\n journal = {Microelectronics Reliability},\n volume = {120},\n pages = {114088},\n year = {2021},\n publisher = {Elsevier},\n doi = {10.1016/j.microrel.2021.114088},\n url = {https://www.sciencedirect.com/science/article/pii/S0026271421000548},\n hal = {https://hal.science/hal-03329844},\n pdf = {https://inria.hal.science/hal-03329844/document},\n}" }, { "key": "DMFU21:integration", "type": "article", "title": "The Involution Tool for Accurate Digital Timing and Power Analysis", "authors": [ "Daniel Öhlinger", "Jürgen Maier", "Matthias Függer", "Ulrich Schmid" ], "year": 2021, "venue": "Integration", "note": "", "doi": "10.1016/j.vlsi.2020.09.007", "links": { "url": "http://www.sciencedirect.com/science/article/pii/S0167926020302777", "pdf": "https://hal.science/hal-03070269/document", "hal": "https://hal.science/hal-03070269" }, "bibtex": "@article{DMFU21:integration,\n author = {Daniel \\\"Ohlinger and\n J\\\"urgen Maier and\n Matthias F\\\"ugger and\n Ulrich Schmid},\n title = {The Involution Tool for Accurate Digital Timing and Power Analysis},\n journal = {Integration},\n volume = {76},\n pages = {87--98},\n year = {2021},\n doi = {10.1016/j.vlsi.2020.09.007},\n url = {http://www.sciencedirect.com/science/article/pii/S0167926020302777},\n hal = {https://hal.science/hal-03070269},\n pdf = {https://hal.science/hal-03070269/document},\n}" }, { "key": "FNS21:jacm", "type": "article", "title": "Tight Bounds for Asymptotic and Approximate Consensus", "authors": [ "Matthias Függer", "Thomas Nowak", "Manfred Schwarz" ], "year": 2021, "venue": "Journal of the ACM (JACM)", "note": "", "doi": "10.1145/3485242", "links": { "url": "https://dl.acm.org/doi/10.1145/3485242", "pdf": "https://hal.science/hal-03408731/document", "hal": "https://hal.science/hal-03408731" }, "bibtex": "@article{FNS21:jacm,\n title = {Tight Bounds for Asymptotic and Approximate Consensus},\n author = {F{\\\"u}gger, Matthias and\n Nowak, Thomas and\n Schwarz, Manfred},\n journal = {Journal of the ACM (JACM)},\n publisher = {Association for Computing Machinery},\n year = {2021},\n month = Oct,\n doi = {10.1145/3485242},\n url = {https://dl.acm.org/doi/10.1145/3485242},\n hal = {https://hal.science/hal-03408731},\n volume = {68},\n number = {6},\n pages = {46:1--46:35},\n articleno = {46},\n pdf = {https://hal.science/hal-03408731/document},\n}" }, { "key": "FNNS19:tcad", "type": "article", "title": "A Faithful Binary Circuit Model", "authors": [ "Matthias Függer", "Robert Najvirt", "Thomas Nowak", "Ulrich Schmid" ], "year": 2020, "venue": "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems", "note": "", "doi": "10.1109/TCAD.2019.2937748", "links": { "pdf": "https://inria.hal.science/hal-02395251/document", "hal": "https://hal.science/hal-02395251" }, "bibtex": "@article{FNNS19:tcad,\n author = {Matthias F{\\\"u}gger and\n Robert Najvirt and\n Thomas Nowak and\n Ulrich Schmid},\n title = {A Faithful Binary Circuit Model},\n journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},\n year = {2020},\n publisher = {IEEE},\n volume = {39},\n number = {10},\n pages = {2784--2797},\n doi = {10.1109/TCAD.2019.2937748},\n hal = {https://hal.science/hal-02395251},\n pdf = {https://inria.hal.science/hal-02395251/document},\n}" }, { "key": "advances_chapter", "type": "incollection", "title": "Digital Circuit Design for Biological and Silicon Computers", "authors": [ "Matthias Függer", "Manish Kushwaha", "Thomas Nowak" ], "year": 2020, "venue": "Advances in Synthetic Biology", "note": "", "doi": "10.1007/978-981-15-0081-7_9", "links": { "url": "https://link.springer.com/chapter/10.1007%2F978-981-15-0081-7_9", "pdf": "https://hal.inrae.fr/hal-02549707/document", "hal": "https://hal.science/hal-02549707" }, "bibtex": "@incollection{advances_chapter,\n author = {F\\\"ugger, Matthias and\n Kushwaha, Manish and\n Nowak, Thomas},\n editor = {Singh, Vijai},\n booktitle = {Advances in Synthetic Biology},\n title = {Digital Circuit Design for Biological and Silicon Computers},\n month = {March},\n publisher = {Springer},\n address = {Heidelberg},\n pages = {153--171},\n url = {https://link.springer.com/chapter/10.1007%2F978-981-15-0081-7_9},\n year = {2020},\n doi = {10.1007/978-981-15-0081-7_9},\n hal = {https://hal.science/hal-02549707},\n pdf = {https://hal.inrae.fr/hal-02549707/document},\n}" }, { "key": "CFHKNS20:growth", "type": "inproceedings", "title": "Distributed Computation with Continual Population Growth", "authors": [ "Da-Jung Cho", "Matthias Függer", "Corbin Hopper", "Manish Kushwaha", "Thomas Nowak", "Quentin Soubeyran" ], "year": 2020, "venue": "34th International Symposium on Distributed Computing (DISC)", "note": "", "doi": "10.4230/LIPIcs.DISC.2020.7", "links": { "url": "https://drops.dagstuhl.de/opus/volltexte/2020/13085/", "pdf": "https://hal.science/hal-02946883/document", "hal": "https://hal.science/hal-02946883", "arxiv_long": "https://arxiv.org/abs/2003.09972" }, "bibtex": "@inproceedings{CFHKNS20:growth,\n title = {Distributed Computation with Continual Population Growth},\n author = {Da-Jung Cho and\n Matthias F\\\"ugger and\n Corbin Hopper and\n Manish Kushwaha and\n Thomas Nowak and\n Quentin Soubeyran},\n year = {2020},\n doi = {10.4230/LIPIcs.DISC.2020.7},\n url = {https://drops.dagstuhl.de/opus/volltexte/2020/13085/},\n booktitle = {34th International Symposium on Distributed Computing (DISC)},\n pages = {7:1--7:17},\n series = {Leibniz International Proceedings in Informatics (LIPIcs)},\n volume = {179},\n editor = {Hagit Attiya},\n publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\\\"u}r Informatik},\n address = {Dagstuhl, Germany},\n arxiv_long = {https://arxiv.org/abs/2003.09972},\n video = {https://www.youtube.com/watch?v=JFBWMsfck7U&t=0s},\n hal = {https://hal.science/hal-02946883},\n pdf = {https://hal.science/hal-02946883/document},\n}" }, { "key": "FNW20:dam", "type": "article", "title": "On the radius of nonsplit graphs and information dissemination in dynamic networks", "authors": [ "Matthias Függer", "Thomas Nowak", "Kyrill Winkler" ], "year": 2020, "venue": "Discrete Applied Mathematics", "note": "", "doi": "10.1016/j.dam.2020.02.013", "links": { "url": "http://www.sciencedirect.com/science/article/pii/S0166218X20300809", "pdf": "https://hal.science/hal-02946849/document", "hal": "https://hal.science/hal-02946849" }, "bibtex": "@article{FNW20:dam,\n author = {Matthias F{\\\"u}gger and\n Thomas Nowak and\n Kyrill Winkler},\n title = {On the radius of nonsplit graphs and information dissemination in dynamic networks},\n doi = {10.1016/j.dam.2020.02.013},\n journal = {Discrete Applied Mathematics},\n volume = {282},\n pages = {257--264},\n year = {2020},\n url = {http://www.sciencedirect.com/science/article/pii/S0166218X20300809},\n hal = {https://hal.science/hal-02946849},\n pdf = {https://hal.science/hal-02946849/document},\n}" }, { "key": "BFLMR:async", "type": "inproceedings", "title": "PALS: Plesiochronous and Locally Synchronous Systems", "authors": [ "Johannes Bund", "Matthias Függer", "Christoph Lenzen", "Moti Medina", "Will Rosenbaum" ], "year": 2020, "venue": "26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", "note": "", "doi": "10.1109/ASYNC49171.2020.00013", "links": { "url": "https://doi.ieeecomputersociety.org/10.1109/ASYNC49171.2020.00013", "pdf": "https://hal.science/hal-03070326/document", "hal": "https://hal.science/hal-03070326", "arxiv_long": "https://arxiv.org/abs/2003.05542" }, "bibtex": "@inproceedings{BFLMR:async,\n author = {Johannes Bund and\n Matthias F{\\\"u}gger and\n Christoph Lenzen and\n Moti Medina and\n Will Rosenbaum},\n title = {{PALS}: Plesiochronous and Locally Synchronous Systems},\n year = {2020},\n pages = {36--43},\n booktitle = {26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},\n arxiv_long = {https://arxiv.org/abs/2003.05542},\n doi = {10.1109/ASYNC49171.2020.00013},\n url = {https://doi.ieeecomputersociety.org/10.1109/ASYNC49171.2020.00013},\n publisher = {IEEE Computer Society},\n address = {Los Alamitos, CA, USA},\n hal = {https://hal.science/hal-03070326},\n pdf = {https://hal.science/hal-03070326/document},\n}" }, { "key": "BFLM20:cas1", "type": "article", "title": "Synchronizer-Free Digital Link Controller", "authors": [ "Johannes Bund", "Matthias Függer", "Christoph Lenzen", "Moti Medina" ], "year": 2020, "venue": "IEEE Transactions on Circuits and Systems I", "note": "", "doi": "10.1109/TCSI.2020.2989552", "links": { "url": "https://ieeexplore.ieee.org/document/9085899", "pdf": "https://hal.science/hal-03070312/document", "hal": "https://hal.science/hal-03070312", "arxiv_long": "https://arxiv.org/abs/2010.02017" }, "bibtex": "@article{BFLM20:cas1,\n author = {Johannes Bund and\n Matthias F{\\\"u}gger and\n Christoph Lenzen and\n Moti Medina},\n title = {Synchronizer-Free Digital Link Controller},\n journal = {IEEE Transactions on Circuits and Systems I},\n year = {2020},\n volume = {67},\n number = {10},\n pages = {3562--3573},\n url = {https://ieeexplore.ieee.org/document/9085899},\n doi = {10.1109/TCSI.2020.2989552},\n arxiv_long = {https://arxiv.org/abs/2010.02017},\n hal = {https://hal.science/hal-03070312},\n pdf = {https://hal.science/hal-03070312/document},\n}" }, { "key": "BBBFS20:synthesis", "type": "inproceedings", "title": "Synthesis in Presence of Dynamic Links", "authors": [ "Béatrice Bérard", "Benedikt Bollig", "Patricia Bouyer", "Matthias Függer", "Nathalie Sznajder" ], "year": 2020, "venue": "Proceedings of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'20)", "note": "", "doi": "", "links": { "url": "https://arxiv.org/abs/2002.07545", "pdf": "https://hal.science/hal-02917542/document", "hal": "https://hal.science/hal-02917542", "arxiv_long": "https://hal.archives-ouvertes.fr/hal-02917542" }, "bibtex": "@inproceedings{BBBFS20:synthesis,\n title = {Synthesis in Presence of Dynamic Links},\n author = {B{\\'e}atrice B{\\'e}rard and\n Benedikt Bollig and\n Patricia Bouyer and\n Matthias F{\\\"u}gger and\n Nathalie Sznajder},\n address = {Brussels, Belgium},\n month = sep,\n series = {Electronic Proceedings in Theoretical Computer Science},\n editor = {Bresolin, Davide and\n Raskin, Jean-Fran\\c{c}ois},\n acronym = {{GandALF}},\n booktitle = {{P}roceedings of the 11th {I}nternational {S}ymposium\n on {G}ames, {A}utomata, {L}ogics, and {F}ormal {V}erification\n ({GandALF}'20)},\n year = {2020},\n url = {https://arxiv.org/abs/2002.07545},\n hal = {https://hal.science/hal-02917542},\n video = {https://www.youtube.com/watch?v=88AyNexKens&t=2s},\n arxiv_long = {https://hal.archives-ouvertes.fr/hal-02917542},\n pdf = {https://hal.science/hal-02917542/document},\n}" }, { "key": "LFKFM19:patent", "type": "misc", "title": "Efficient and dependable clock synchronization in hardware", "authors": [ "Christoph Lenzen", "Matthias Függer", "Attila Kinali", "Stephan Friedrichs", "Moti Medina" ], "year": 2019, "venue": "", "note": "", "doi": "", "links": { "url": "https://patents.google.com/patent/US10411720B2/en" }, "bibtex": "@misc{LFKFM19:patent,\n author = {Lenzen, Christoph and\n F{\\\"u}gger, Matthias and\n Kinali, Attila and\n Friedrichs, Stephan and\n Medina, Moti},\n title = {Efficient and dependable clock synchronization in hardware},\n howpublished = {US Patent 10,411,720 B2},\n year = {2019},\n month = sep,\n url = {https://patents.google.com/patent/US10411720B2/en},\n}" }, { "key": "MFNS19:patmos", "type": "inproceedings", "title": "The Involution Tool for Accurate Digital Timing and Power Analysis", "authors": [ "Daniel Öhlinger", "Jürgen Maier", "Matthias Függer", "Ulrich Schmid" ], "year": 2019, "venue": "29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)", "note": "", "doi": "10.1109/PATMOS.2019.8862165", "links": { "pdf": "https://inria.hal.science/hal-02395242/document", "hal": "https://hal.science/hal-02395242" }, "bibtex": "@inproceedings{MFNS19:patmos,\n author = {Daniel \\\"Ohlinger and\n J\\\"urgen Maier and\n Matthias F\\\"ugger and\n Ulrich Schmid},\n title = {The Involution Tool for Accurate Digital Timing and Power Analysis},\n year = {2019},\n booktitle = {29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)},\n pages = {1--8},\n doi = {10.1109/PATMOS.2019.8862165},\n month = {July},\n hal = {https://hal.science/hal-02395242},\n pdf = {https://inria.hal.science/hal-02395242/document},\n}" }, { "key": "MFNS19:async", "type": "inproceedings", "title": "Transistor-Level Analysis of Dynamic Delay Models", "authors": [ "Jürgen Maier", "Matthias Függer", "Thomas Nowak", "Ulrich Schmid" ], "year": 2019, "venue": "25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", "note": "", "doi": "10.1109/ASYNC.2019.00019", "links": { "pdf": "https://inria.hal.science/hal-02395229/document", "hal": "https://hal.science/hal-02395229" }, "bibtex": "@inproceedings{MFNS19:async,\n author = {J\\\"urgen Maier and\n Matthias F\\\"ugger and\n Thomas Nowak and\n Ulrich Schmid},\n title = {Transistor-Level Analysis of Dynamic Delay Models},\n year = {2019},\n booktitle = {25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},\n pages = {76--85},\n doi = {10.1109/ASYNC.2019.00019},\n month = {May},\n hal = {https://hal.science/hal-02395229},\n pdf = {https://inria.hal.science/hal-02395229/document},\n}" }, { "key": "FMNNS18:date", "type": "inproceedings", "title": "A Faithful Binary Circuit Model with Adversarial Noise", "authors": [ "Matthias Függer", "Jürgen Maier", "Robert Najvirt", "Thomas Nowak", "Ulrich Schmid" ], "year": 2018, "venue": "Design, Automation & Test in Europe (DATE)", "note": "", "doi": "10.23919/DATE.2018.8342219", "links": { "url": "https://ieeexplore.ieee.org/abstract/document/8342219/", "pdf": "https://hal.science/hal-01738254/document", "hal": "https://hal.science/hal-01738254" }, "bibtex": "@inproceedings{FMNNS18:date,\n author = {Matthias F{\\\"u}gger and\n J\\\"urgen Maier and\n Robert Najvirt and\n Thomas Nowak and\n Ulrich Schmid},\n title = {A Faithful Binary Circuit Model with Adversarial Noise},\n year = {2018},\n booktitle = {Design, Automation \\& Test in Europe (DATE)},\n pages = {1327--1332},\n organization = {IEEE},\n hal = {https://hal.science/hal-01738254},\n preprint = {http://www.lsv.fr/~mfuegger/papers/FMNNS18_date.pdf},\n url = {https://ieeexplore.ieee.org/abstract/document/8342219/},\n doi = {10.23919/DATE.2018.8342219},\n pdf = {https://hal.science/hal-01738254/document},\n}" }, { "key": "FKLW18:async", "type": "inproceedings", "title": "Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance", "authors": [ "Matthias Függer", "Attila Kinali", "Christoph Lenzen", "Ben Wiederhake" ], "year": 2018, "venue": "IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", "note": "", "doi": "10.1109/ASYNC.2018.00025", "links": { "url": "https://ieeexplore.ieee.org/document/8589986", "pdf": "https://inria.hal.science/hal-01936403/document", "hal": "https://hal.science/hal-01936403" }, "bibtex": "@inproceedings{FKLW18:async,\n author = {Matthias F\\\"ugger and\n Attila Kinali and\n Christoph Lenzen and\n Ben Wiederhake},\n title = {Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance},\n year = {2018},\n booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},\n pages = {68--77},\n doi = {10.1109/ASYNC.2018.00025},\n ISSN = {1522-8681},\n month = {May},\n hal = {https://hal.science/hal-01936403},\n url = {https://ieeexplore.ieee.org/document/8589986},\n pdf = {https://inria.hal.science/hal-01936403/document},\n}" }, { "key": "FN18:disc", "type": "inproceedings", "title": "Fast Multidimensional Asymptotic and Approximate Consensus", "authors": [ "Matthias Függer", "Thomas Nowak" ], "year": 2018, "venue": "32nd International Symposium on Distributed Computing (DISC)", "note": "", "doi": "10.4230/LIPIcs.DISC.2018.27", "links": { "url": "http://drops.dagstuhl.de/opus/volltexte/2018/9816/", "pdf": "https://hal.science/hal-01936316/document", "hal": "https://hal.science/hal-01936316", "arxiv_long": "https://arxiv.org/abs/1805.04923" }, "bibtex": "@inproceedings{FN18:disc,\n author = {Matthias F\\\"ugger and\n Thomas Nowak},\n title = {Fast Multidimensional Asymptotic and Approximate Consensus},\n year = {2018},\n booktitle = {32nd International Symposium on Distributed Computing (DISC)},\n pages = {27:1--27:15},\n series = {Leibniz International Proceedings in Informatics (LIPIcs)},\n doi = {10.4230/LIPIcs.DISC.2018.27},\n arxiv_long = {https://arxiv.org/abs/1805.04923},\n hal = {https://hal.science/hal-01936316},\n url = {http://drops.dagstuhl.de/opus/volltexte/2018/9816/},\n pdf = {https://hal.science/hal-01936316/document},\n}" }, { "key": "FFL18:toc", "type": "article", "title": "Metastability-Containing Circuits", "authors": [ "Stephan Friedrichs", "Matthias Függer", "Christoph Lenzen" ], "year": 2018, "venue": "IEEE Transactions on Computers", "note": "", "doi": "10.1109/TC.2018.2808185", "links": { "url": "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8314764", "pdf": "https://inria.hal.science/hal-01936292/document", "hal": "https://hal.science/hal-01936292", "arxiv_long": "https://arxiv.org/abs/1606.06570" }, "bibtex": "@Article{FFL18:toc,\n author = {Stephan Friedrichs and\n Matthias F{\\\"{u}}gger and\n Christoph Lenzen},\n title = {Metastability-Containing Circuits},\n journal = {{IEEE} Transactions on Computers},\n year = {2018},\n volume = {67},\n number = {8},\n arxiv_long = {https://arxiv.org/abs/1606.06570},\n url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8314764},\n hal = {https://hal.science/hal-01936292},\n doi = {10.1109/TC.2018.2808185},\n pdf = {https://inria.hal.science/hal-01936292/document},\n}" }, { "key": "FNS18:podc", "type": "inproceedings", "title": "Tight Bounds for Asymptotic and Approximate Consensus", "authors": [ "Matthias Függer", "Thomas Nowak", "Manfred Schwarz" ], "year": 2018, "venue": "ACM Symposium on Principles of Distributed Computing (PODC)", "note": "", "doi": "10.1145/3212734.3212762", "links": { "url": "http://doi.acm.org/10.1145/3212734.3212762", "pdf": "https://hal.science/hal-01799039/document", "hal": "https://hal.science/hal-01799039", "arxiv_long": "https://arxiv.org/abs/1705.02898" }, "bibtex": "@inproceedings{FNS18:podc,\n author = {Matthias F\\\"ugger and\n Thomas Nowak and\n Manfred Schwarz},\n title = {Tight Bounds for Asymptotic and Approximate Consensus},\n year = {2018},\n booktitle = {ACM Symposium on Principles of Distributed Computing (PODC)},\n isbn = {978-1-4503-5795-1},\n location = {Egham, United Kingdom},\n pages = {325--334},\n url = {http://doi.acm.org/10.1145/3212734.3212762},\n acmid = {3212762},\n publisher = {ACM},\n address = {New York, NY, USA},\n arxiv_long = {https://arxiv.org/abs/1705.02898},\n hal = {https://hal.science/hal-01799039},\n doi = {10.1145/3212734.3212762},\n pdf = {https://hal.science/hal-01799039/document},\n}" }, { "key": "FNS17:disc", "type": "inproceedings", "title": "Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks", "authors": [ "Matthias Függer", "Thomas Nowak", "Manfred Schwarz" ], "year": 2017, "venue": "31st International Symposium on Distributed Computing (DISC)", "note": "", "doi": "10.4230/LIPIcs.DISC.2017.51", "links": { "url": "http://drops.dagstuhl.de/opus/volltexte/2017/7992/", "pdf": "https://hal.science/hal-01652851/document", "hal": "https://hal.science/hal-01652851", "arxiv_long": "https://arxiv.org/abs/1705.02898" }, "bibtex": "@inproceedings{FNS17:disc,\n author = {Matthias F{\\\"u}gger and\n Thomas Nowak and\n Manfred Schwarz},\n title = {Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks},\n year = {2017},\n booktitle = {31st International Symposium on Distributed Computing (DISC)},\n pages = {51:1--51:3},\n series = {Leibniz International Proceedings in Informatics (LIPIcs)},\n url = {http://drops.dagstuhl.de/opus/volltexte/2017/7992/},\n arxiv_long = {https://arxiv.org/abs/1705.02898},\n hal = {https://hal.science/hal-01652851},\n preprint = {http://www.lsv.fr/~mfuegger/papers/FNS18_disc.pdf},\n doi = {10.4230/LIPIcs.DISC.2017.51},\n pdf = {https://hal.science/hal-01652851/document},\n}" }, { "key": "TFL17:async", "type": "inproceedings", "title": "Metastability Tolerant Computing", "authors": [ "Ghaith Tarawneh", "Matthias Függer", "Christoph Lenzen" ], "year": 2017, "venue": "IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", "note": "", "doi": "10.1109/ASYNC.2017.9", "links": { "url": "http://ieeexplore.ieee.org/abstract/document/8097381/", "pdf": "https://hal.science/hal-01652772/document", "hal": "https://hal.science/hal-01652772" }, "bibtex": "@inproceedings{TFL17:async,\n author = {Ghaith Tarawneh and\n Matthias F\\\"ugger and\n Christoph Lenzen},\n title = {Metastability Tolerant Computing},\n year = {2017},\n booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},\n pages = {25--32},\n doi = {10.1109/ASYNC.2017.9},\n url = {http://ieeexplore.ieee.org/abstract/document/8097381/},\n preprint = {http://www.lsv.fr/~mfuegger/papers/TFL17_async.pdf},\n hal = {https://hal.science/hal-01652772},\n pdf = {https://hal.science/hal-01652772/document},\n}" }, { "key": "FKLP17:async", "type": "inproceedings", "title": "Metastability-Aware Memory-Efficient Time-to-Digital Converter", "authors": [ "Matthias Függer", "Attila Kinali", "Christoph Lenzen", "Thomas Polzer" ], "year": 2017, "venue": "IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", "note": "", "doi": "10.1109/ASYNC.2017.12", "links": { "url": "http://ieeexplore.ieee.org/abstract/document/8097384/", "pdf": "https://hal.science/hal-01652787/document", "hal": "https://hal.science/hal-01652787" }, "bibtex": "@inproceedings{FKLP17:async,\n author = {Matthias F\\\"ugger and\n Attila Kinali and\n Christoph Lenzen and\n Thomas Polzer},\n title = {Metastability-Aware Memory-Efficient Time-to-Digital Converter},\n year = {2017},\n booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},\n pages = {49--56},\n url = {http://ieeexplore.ieee.org/abstract/document/8097384/},\n preprint = {http://www.lsv.fr/~mfuegger/papers/FKLP17_async.pdf},\n hal = {https://hal.science/hal-01652787},\n doi = {10.1109/ASYNC.2017.12},\n pdf = {https://hal.science/hal-01652787/document},\n}" }, { "key": "CFN17:dam", "type": "article", "title": "New transience bounds for max-plus linear systems", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Thomas Nowak" ], "year": 2017, "venue": "Discrete Applied Mathematics", "note": "", "doi": "10.1016/j.dam.2016.11.003", "links": { "url": "http://www.sciencedirect.com/science/article/pii/S0166218X16305078", "pdf": "https://arxiv.org/pdf/1209.3342", "hal": "https://hal.archives-ouvertes.fr/hal-01738257" }, "bibtex": "@article{CFN17:dam,\n author = {Bernadette Charron-Bost and\n Matthias F{\\\"u}gger and\n Thomas Nowak},\n title = {New transience bounds for max-plus linear systems},\n journal = {Discrete Applied Mathematics},\n pages = {83--99},\n volume = {219},\n year = {2017},\n hal = {https://hal.archives-ouvertes.fr/hal-01738257},\n url = {http://www.sciencedirect.com/science/article/pii/S0166218X16305078},\n preprint = {https://arxiv.org/pdf/1209.3342},\n doi = {10.1016/j.dam.2016.11.003},\n pdf = {https://arxiv.org/pdf/1209.3342},\n}" }, { "key": "CFN16:icalp", "type": "inproceedings", "title": "Fast, Robust, Quantizable Approximate Consensus", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Thomas Nowak" ], "year": 2016, "venue": "43rd International Colloquium on Automata, Languages, and Programming (ICALP)", "note": "", "doi": "10.4230/LIPIcs.ICALP.2016.137", "links": { "url": "http://drops.dagstuhl.de/opus/volltexte/2016/6281/", "pdf": "https://hal.science/hal-01395576/document", "hal": "https://hal.science/hal-01395576", "arxiv_long": "https://arxiv.org/abs/1512.04222" }, "bibtex": "@InProceedings{CFN16:icalp,\n author = {Bernadette Charron-Bost and\n Matthias F{\\\"u}gger and\n Thomas Nowak},\n title = {Fast, Robust, Quantizable Approximate Consensus},\n booktitle = {43rd International Colloquium on Automata, Languages, and Programming (ICALP)},\n pages = {137:1--137:14},\n year = {2016},\n volume = {55},\n url = {http://drops.dagstuhl.de/opus/volltexte/2016/6281/},\n hal = {https://hal.science/hal-01395576},\n doi = {10.4230/LIPIcs.ICALP.2016.137},\n arxiv_long = {https://arxiv.org/abs/1512.04222},\n pdf = {https://hal.science/hal-01395576/document},\n}" }, { "key": "DFLPS16:jcss", "type": "article", "title": "HEX: Scaling honeycombs is easier than scaling clock trees", "authors": [ "Danny Dolev", "Matthias Függer", "Christoph Lenzen", "Martin Perner", "Ulrich Schmid" ], "year": 2016, "venue": "Journal of Computer and System Sciences", "note": "", "doi": "10.1016/j.jcss.2016.03.001", "links": { "url": "https://www.sciencedirect.com/science/article/pii/S002200001600026X" }, "bibtex": "@article{DFLPS16:jcss,\n author = {Danny Dolev and\n Matthias F{\\\"u}gger and\n Christoph Lenzen and\n Martin Perner and\n Ulrich Schmid},\n title = {{HEX}: Scaling honeycombs is easier than scaling clock trees},\n journal = {Journal of Computer and System Sciences},\n volume = {82},\n number = {5},\n pages = {929--956},\n year = {2016},\n url = {https://www.sciencedirect.com/science/article/pii/S002200001600026X},\n doi = {10.1016/j.jcss.2016.03.001},\n}" }, { "key": "CFN16:arxiv", "type": "article", "title": "Multidimensional Asymptotic Consensus in Dynamic Networks", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Thomas Nowak" ], "year": 2016, "venue": "CoRR", "note": "", "doi": "", "links": { "url": "http://arxiv.org/abs/1611.02496", "pdf": "http://arxiv.org/pdf/1611.02496" }, "bibtex": "@article{CFN16:arxiv,\n author = {Bernadette Charron{-}Bost and\n Matthias F{\\\"{u}}gger and\n Thomas Nowak},\n title = {Multidimensional Asymptotic Consensus in Dynamic Networks},\n journal = {CoRR},\n volume = {abs/1611.02496},\n year = {2016},\n archivePrefix = {arXiv},\n eprint = {1611.02496},\n url = {http://arxiv.org/abs/1611.02496},\n pdf = {http://arxiv.org/pdf/1611.02496},\n}" }, { "key": "FNS16:ieeetc", "type": "article", "title": "Unfaithful Glitch Propagation in Existing Binary Circuit Models", "authors": [ "Matthias Függer", "Thomas Nowak", "Ulrich Schmid" ], "year": 2016, "venue": "IEEE Transactions on Computers", "note": "", "doi": "10.1109/TC.2015.2435791", "links": { "url": "http://ieeexplore.ieee.org/abstract/document/7110587/", "pdf": "https://hal.science/hal-01231501/document", "hal": "https://hal.science/hal-01231501" }, "bibtex": "@article{FNS16:ieeetc,\n author = {Matthias F{\\\"u}gger and\n Thomas Nowak and\n Ulrich Schmid},\n title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},\n journal = {{IEEE} Transactions on Computers},\n volume = {65},\n number = {3},\n pages = {964--978},\n year = {2016},\n url = {http://ieeexplore.ieee.org/abstract/document/7110587/},\n hal = {https://hal.science/hal-01231501},\n doi = {10.1109/TC.2015.2435791},\n pdf = {https://hal.science/hal-01231501/document},\n}" }, { "key": "CFN15:icalp", "type": "inproceedings", "title": "Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Thomas Nowak" ], "year": 2015, "venue": "42nd International Colloquium on Automata, Languages, and Programming (ICALP)", "note": "", "doi": "10.1007/978-3-662-47666-6_42", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-662-47666-6_42", "pdf": "https://hal.science/hal-01107422/document", "hal": "https://hal.science/hal-01107422", "arxiv_long": "https://arxiv.org/abs/1408.0620" }, "bibtex": "@InProceedings{CFN15:icalp,\n author = {Bernadette Charron{-}Bost and\n Matthias F{\\\"{u}}gger and\n Thomas Nowak},\n title = {Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms},\n booktitle = {42nd International Colloquium on Automata, Languages, and Programming (ICALP)},\n pages = {528--539},\n year = {2015},\n url = {https://link.springer.com/chapter/10.1007/978-3-662-47666-6_42},\n hal = {https://hal.science/hal-01107422},\n arxiv_long = {https://arxiv.org/abs/1408.0620},\n doi = {10.1007/978-3-662-47666-6_42},\n pdf = {https://hal.science/hal-01107422/document},\n}" }, { "key": "FNC15:ciss", "type": "inproceedings", "title": "Diffusive clock synchronization in highly dynamic networks", "authors": [ "Matthias Függer", "Thomas Nowak", "Bernadette Charron-Bost" ], "year": 2015, "venue": "2015 49th Annual Conference on Information Sciences and Systems (CISS)", "note": "", "doi": "10.1109/CISS.2015.7086841", "links": { "url": "http://ieeexplore.ieee.org/document/7086841/", "pdf": "https://hal.science/hal-01231513/document", "hal": "https://hal.science/hal-01231513" }, "bibtex": "@INPROCEEDINGS{FNC15:ciss,\n author = {Matthias F{\\\"u}gger and\n Thomas Nowak and\n Bernadette Charron-Bost},\n booktitle = {2015 49th Annual Conference on Information Sciences and Systems (CISS)},\n title = {Diffusive clock synchronization in highly dynamic networks},\n year = {2015},\n month = {March},\n pages = {1--6},\n url = {http://ieeexplore.ieee.org/document/7086841/},\n hal = {https://hal.science/hal-01231513},\n doi = {10.1109/CISS.2015.7086841},\n pdf = {https://hal.science/hal-01231513/document},\n}" }, { "key": "NFNSHS15:glsvlsi", "type": "inproceedings", "title": "Experimental Validation of a Faithful Binary Circuit Model", "authors": [ "Robert Najvirt", "Matthias Függer", "Thomas Nowak", "Ulrich Schmid", "Michael Hofbauer", "Kurt Schweiger" ], "year": 2015, "venue": "Proceedings of the 25th Edition on Great Lakes Symposium on VLSI (GLSVLSI)", "note": "", "doi": "10.1145/2742060.2742081", "links": { "url": "http://doi.acm.org/10.1145/2742060.2742081", "pdf": "https://hal.science/hal-01231509/document", "hal": "https://hal.science/hal-01231509" }, "bibtex": "@InProceedings{NFNSHS15:glsvlsi,\n author = {Robert Najvirt and\n Matthias F{\\\"u}gger and\n Thomas Nowak and\n Ulrich Schmid and\n Michael Hofbauer and\n Kurt Schweiger},\n title = {Experimental Validation of a Faithful Binary Circuit Model},\n booktitle = {Proceedings of the 25th Edition on Great Lakes Symposium on VLSI (GLSVLSI)},\n year = {2015},\n location = {Pittsburgh, Pennsylvania, USA},\n pages = {355--360},\n url = {http://doi.acm.org/10.1145/2742060.2742081},\n hal = {https://hal.science/hal-01231509},\n publisher = {ACM},\n doi = {10.1145/2742060.2742081},\n pdf = {https://hal.science/hal-01231509/document},\n}" }, { "key": "DFLSS:eatcs", "type": "article", "title": "Fault-tolerant Distributed Systems in Hardware", "authors": [ "Danny Dolev", "Matthias Függer", "Christoph Lenzen", "Ulrich Schmid", "Andreas Steininger" ], "year": 2015, "venue": "Bulletin of EATCS", "note": "", "doi": "", "links": { "url": "http://bulletin.eatcs.org/index.php/beatcs/article/view/348", "pdf": "https://bulletin.eatcs.org/index.php/beatcs/article/download/348/330" }, "bibtex": "@article{DFLSS:eatcs,\n author = {Dolev, Danny and\n F{\\\"u}gger, Matthias and\n Lenzen, Christoph and\n Schmid, Ulrich and\n Steininger, Andreas},\n title = {Fault-tolerant Distributed Systems in Hardware},\n journal = {Bulletin of EATCS},\n volume = {2},\n number = {116},\n year = {2015},\n url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/348},\n pdf = {https://bulletin.eatcs.org/index.php/beatcs/article/download/348/330},\n}" }, { "key": "FKNSZ15:pe", "type": "article", "title": "The effect of forgetting on the performance of a synchronizer", "authors": [ "Matthias Függer", "Alexander Kößler", "Thomas Nowak", "Ulrich Schmid", "Martin Zeiner" ], "year": 2015, "venue": "Performance Evaluation", "note": "", "doi": "10.1016/j.peva.2015.08.002", "links": { "url": "http://www.sciencedirect.com/science/article/pii/S0166531615000826", "pdf": "https://hal.science/hal-01231498/document", "hal": "https://hal.science/hal-01231498" }, "bibtex": "@article{FKNSZ15:pe,\n author = {Matthias F{\\\"u}gger and\n Alexander K{\\\"o}{\\ss}ler and\n Thomas Nowak and\n Ulrich Schmid and\n Martin Zeiner},\n title = {The effect of forgetting on the performance of a synchronizer},\n journal = {Performance Evaluation},\n volume = {93},\n number = {},\n pages = {1--16},\n year = {2015},\n url = \"http://www.sciencedirect.com/science/article/pii/S0166531615000826\",\n hal = {https://hal.science/hal-01231498},\n doi = {10.1016/j.peva.2015.08.002},\n pdf = {https://hal.science/hal-01231498/document},\n}" }, { "key": "CFWW15:talg", "type": "article", "title": "Time Complexity of Link Reversal Routing", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Jennifer L. Welch", "Josef Widder" ], "year": 2015, "venue": "ACM Transactions on Algorithms", "note": "", "doi": "10.1145/2644815", "links": { "url": "http://doi.acm.org/10.1145/2644815" }, "bibtex": "@article{CFWW15:talg,\n author = {Bernadette Charron-Bost and\n Matthias F{\\\"u}gger and\n Jennifer L.\\ Welch and\n Josef Widder},\n title = {Time Complexity of Link Reversal Routing},\n journal = {ACM Transactions on Algorithms},\n volume = {11},\n number = {3},\n month = jan,\n year = {2015},\n pages = {18:1--18:39},\n articleno = {18},\n url = {http://doi.acm.org/10.1145/2644815},\n doi = {10.1145/2644815},\n publisher = {ACM},\n address = {New York, NY, USA},\n}" }, { "key": "FNNS15:date", "type": "inproceedings", "title": "Towards Binary Circuit Models That Faithfully Capture Physical Solvability", "authors": [ "Matthias Függer", "Robert Najvirt", "Thomas Nowak", "Ulrich Schmid" ], "year": 2015, "venue": "Design, Automation & Test in Europe (DATE)", "note": "", "doi": "10.7873/DATE.2015.0799", "links": { "url": "http://ieeexplore.ieee.org/document/7092619/", "pdf": "https://hal.science/hal-01107436/document", "hal": "https://hal.science/hal-01107436" }, "bibtex": "@InProceedings{FNNS15:date,\n author = {Matthias F\\\"ugger and\n Robert Najvirt and\n Thomas Nowak and\n Ulrich Schmid},\n title = {Towards Binary Circuit Models That Faithfully Capture Physical Solvability},\n pages = {1455--1460},\n booktitle = {Design, Automation \\& Test in Europe (DATE)},\n year = {2015},\n url = {http://ieeexplore.ieee.org/document/7092619/},\n hal = {https://hal.science/hal-01107436},\n doi = {10.7873/DATE.2015.0799},\n pdf = {https://hal.science/hal-01107436/document},\n}" }, { "key": "DFSL14:jacm", "type": "article", "title": "Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation", "authors": [ "Danny Dolev", "Matthias Függer", "Ulrich Schmid", "Christoph Lenzen" ], "year": 2014, "venue": "Journal of the ACM (JACM)", "note": "", "doi": "10.1145/2560561", "links": { "url": "http://doi.acm.org/10.1145/2560561", "pdf": "https://people.csail.mit.edu/clenzen/pubs/DFLStick.pdf" }, "bibtex": "@article{DFSL14:jacm,\n author = {Danny Dolev and\n Matthias F\\\"{u}gger and\n Ulrich Schmid and\n Christoph Lenzen},\n title = {Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation},\n journal = {Journal of the ACM (JACM)},\n volume = {61},\n number = {5},\n month = {September},\n year = {2014},\n pages = {30:1--30:74},\n articleno = {30},\n url = {http://doi.acm.org/10.1145/2560561},\n publisher = {ACM},\n address = {New York, NY, USA},\n doi = {10.1145/2560561},\n pdf = {https://people.csail.mit.edu/clenzen/pubs/DFLStick.pdf},\n}" }, { "key": "DFPSSL14:jcss", "type": "article", "title": "Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip", "authors": [ "Danny Dolev", "Matthias Függer", "Markus Posch", "Ulrich Schmid", "Andreas Steininger", "Christoph Lenzen" ], "year": 2014, "venue": "Journal of Computer and System Sciences", "note": "", "doi": "10.1016/j.jcss.2014.01.001", "links": { "url": "http://www.sciencedirect.com/science/article/pii/S0022000014000026", "pdf": "https://people.csail.mit.edu/clenzen/pubs/DFLPSS14rigorously.pdf" }, "bibtex": "@article{DFPSSL14:jcss,\n author = {Danny Dolev and\n Matthias F{\\\"u}gger and\n Markus Posch and\n Ulrich Schmid and\n Andreas Steininger and\n Christoph Lenzen},\n title = {Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip},\n journal = {Journal of Computer and System Sciences},\n volume = {80},\n number = {4},\n pages = {860--900},\n year = {2014},\n url = {http://www.sciencedirect.com/science/article/pii/S0022000014000026},\n doi = {10.1016/j.jcss.2014.01.001},\n pdf = {https://people.csail.mit.edu/clenzen/pubs/DFLPSS14rigorously.pdf},\n}" }, { "key": "RFB14:fmsd", "type": "article", "title": "Runtime verification of embedded real-time systems", "authors": [ "Thomas Reinbacher", "Matthias Függer", "Jörg Brauer" ], "year": 2014, "venue": "Formal Methods in System Design", "note": "", "doi": "10.1007/s10703-013-0199-z", "links": { "url": "http://dx.doi.org/10.1007/s10703-013-0199-z", "pdf": "https://link.springer.com/content/pdf/10.1007/s10703-013-0199-z.pdf" }, "bibtex": "@article{RFB14:fmsd,\n author = {Thomas Reinbacher and\n Matthias F{\\\"u}gger and\n J{\\\"o}rg Brauer},\n title = {Runtime verification of embedded real-time systems},\n journal = {Formal Methods in System Design},\n volume = {44},\n number = {3},\n year = {2014},\n pages = {203--239},\n url = {http://dx.doi.org/10.1007/s10703-013-0199-z},\n doi = {10.1007/s10703-013-0199-z},\n pdf = {https://link.springer.com/content/pdf/10.1007/s10703-013-0199-z.pdf},\n}" }, { "key": "FKNSZ14:algosensors", "type": "inproceedings", "title": "The Effect of Forgetting on the Performance of a Synchronizer", "authors": [ "Matthias Függer", "Alexander Kößler", "Thomas Nowak", "Ulrich Schmid", "Martin Zeiner" ], "year": 2014, "venue": "Algorithms for Sensor Systems", "note": "", "doi": "10.1007/978-3-642-45346-5_14", "links": { "url": "http://dx.doi.org/10.1007/978-3-642-45346-5_14", "pdf": "https://hal.science/hal-00993885/document", "hal": "https://hal.science/hal-00993885" }, "bibtex": "@inproceedings{FKNSZ14:algosensors,\n author = {F{\\\"u}gger, Matthias and\n K{\\\"o}{\\ss}ler, Alexander and\n Nowak, Thomas and\n Schmid, Ulrich and\n Zeiner, Martin},\n title = {The Effect of Forgetting on the Performance of a Synchronizer},\n year = {2014},\n booktitle = {Algorithms for Sensor Systems},\n series = {Lecture Notes in Computer Science},\n editor = {Flocchini, Paola and\n Gao, Jie and\n Kranakis, Evangelos and\n Meyer auf der Heide, Friedhelm},\n url = {http://dx.doi.org/10.1007/978-3-642-45346-5_14},\n doi = {10.1007/978-3-642-45346-5_14},\n publisher = {Springer Berlin Heidelberg},\n pages = {185--200},\n pdf = {https://hal.science/hal-00993885/document},\n hal = {https://hal.science/hal-00993885},\n}" }, { "key": "LFHS13:dsd", "type": "inproceedings", "title": "Efficient Construction of Global Time in SoCs Despite Arbitrary Faults", "authors": [ "Christoph Lenzen", "Matthias Függer", "Markus Hofstätter", "Ulrich Schmid" ], "year": 2013, "venue": "2013 Euromicro Conference on Digital System Design (DSD)", "note": "", "doi": "10.1109/DSD.2013.97", "links": { "url": "https://ieeexplore.ieee.org/document/6628271/", "pdf": "https://people.csail.mit.edu/clenzen/pubs/FHLS13efficient.pdf" }, "bibtex": "@inproceedings{LFHS13:dsd, \n author = {Christoph Lenzen and\n Matthias F{\\\"u}gger and\n Markus Hofst{\\\"a}tter and\n Ulrich Schmid},\n booktitle = {2013 Euromicro Conference on Digital System Design (DSD)},\n title = {Efficient Construction of Global Time in {SoCs} Despite Arbitrary Faults},\n year = {2013},\n pages = {142--151},\n url = {https://ieeexplore.ieee.org/document/6628271/},\n doi = {10.1109/DSD.2013.97},\n pdf = {https://people.csail.mit.edu/clenzen/pubs/FHLS13efficient.pdf},\n}" }, { "key": "DFLPS13:spaa", "type": "inproceedings", "title": "HEX: scaling honeycombs is easier than scaling clock trees", "authors": [ "Danny Dolev", "Matthias Függer", "Christoph Lenzen", "Martin Perner", "Ulrich Schmid" ], "year": 2013, "venue": "Proceedings of the 25th ACM symposium on Parallelism in algorithms and architectures (SPAA)", "note": "", "doi": "10.1145/2486159.2486192", "links": { "url": "http://doi.acm.org/10.1145/2486159.2486192", "pdf": "https://people.csail.mit.edu/clenzen/pubs/DFLPS13hex.pdf" }, "bibtex": "@inproceedings{DFLPS13:spaa,\n author = {Dolev, Danny and\n F\\\"{u}gger, Matthias and\n Lenzen, Christoph and\n Perner, Martin and\n Schmid, Ulrich},\n title = {{HEX}: scaling honeycombs is easier than scaling clock trees},\n booktitle = {Proceedings of the 25th ACM symposium on Parallelism in algorithms and architectures (SPAA)},\n year = {2013},\n location = {Montr\\&\\#233;al, Qu\\&\\#233;bec, Canada},\n pages = {164--175},\n url = {http://doi.acm.org/10.1145/2486159.2486192},\n publisher = {ACM},\n address = {New York, NY, USA},\n doi = {10.1145/2486159.2486192},\n pdf = {https://people.csail.mit.edu/clenzen/pubs/DFLPS13hex.pdf},\n}" }, { "key": "CFN13:eurocomb", "type": "inproceedings", "title": "New transience bounds for long walks in weighted digraphs", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Thomas Nowak" ], "year": 2013, "venue": "The Seventh European Conference on Combinatorics, Graph Theory and Applications", "note": "", "doi": "10.1007/978-88-7642-475-5_103", "links": { "url": "https://link.springer.com/chapter/10.1007/978-88-7642-475-5_103", "pdf": "https://hal.science/hal-00993814/document", "hal": "https://hal.science/hal-00993814" }, "bibtex": "@inproceedings{CFN13:eurocomb,\n author = {Charron-Bost, Bernadette and\n F{\\\"u}gger, Matthias and\n Nowak, Thomas},\n title = {New transience bounds for long walks in weighted digraphs},\n booktitle = {The Seventh European Conference on Combinatorics, Graph Theory and Applications},\n editor = {Ne{\\v s}et{\\v r}il, Jaroslav and\n Pellegrini, Marco},\n series = {CRM Series},\n volume = {16},\n publisher = {Edizioni della Normale},\n address = {Pisa},\n year = {2013},\n pages = {623--624},\n doi = {10.1007/978-88-7642-475-5_103},\n url = {https://link.springer.com/chapter/10.1007/978-88-7642-475-5_103},\n hal = {https://hal.science/hal-00993814},\n pdf = {https://hal.science/hal-00993814/document},\n}" }, { "key": "NFK13", "type": "article", "title": "On the performance of a retransmission-based synchronizer", "authors": [ "Thomas Nowak", "Matthias Függer", "Alexander Kößler" ], "year": 2013, "venue": "Theoretical Computer Science", "note": "", "doi": "10.1016/j.tcs.2012.04.035", "links": { "url": "http://www.sciencedirect.com/science/article/pii/S0304397512004008", "pdf": "https://hal.science/hal-00993470/document", "hal": "https://hal.science/hal-00993470" }, "bibtex": "@article{NFK13, \n author = {Thomas Nowak and\n Matthias F{\\\"u}gger and\n Alexander K{\\\"o}{\\ss}ler},\n title = {On the performance of a retransmission-based synchronizer},\n journal = {Theoretical Computer Science},\n volume = {509},\n pages = {25--39},\n year = {2013},\n url = {http://www.sciencedirect.com/science/article/pii/S0304397512004008},\n hal = {https://hal.science/hal-00993470},\n doi = {10.1016/j.tcs.2012.04.035},\n pdf = {https://hal.science/hal-00993470/document},\n}" }, { "key": "CNF13", "type": "inproceedings", "title": "Transience Bounds for Distributed Algorithms", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Thomas Nowak" ], "year": 2013, "venue": "Formal Modeling and Analysis of Timed Systems (FORMATS)", "note": "", "doi": "10.1007/978-3-642-40229-6_6", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-642-40229-6_6", "pdf": "https://hal.science/hal-00993785/document", "hal": "https://hal.science/hal-00993785" }, "bibtex": "@inproceedings{CNF13, \n author = {Bernadette Charron-Bost and\n Matthias F{\\\"u}gger and\n Thomas Nowak},\n title = {Transience Bounds for Distributed Algorithms},\n year = {2013},\n booktitle = {Formal Modeling and Analysis of Timed Systems (FORMATS)},\n volume = {8053},\n series = {Lecture Notes in Computer Science},\n editor = {Braberman, Victor and\n Fribourg, Laurent},\n publisher = {Springer Berlin Heidelberg},\n pages = {77--90},\n url = {https://link.springer.com/chapter/10.1007/978-3-642-40229-6_6},\n hal = {https://hal.science/hal-00993785},\n doi = {10.1007/978-3-642-40229-6_6},\n pdf = {https://hal.science/hal-00993785/document},\n}" }, { "key": "FNS13", "type": "inproceedings", "title": "Unfaithful Glitch Propagation in Existing Binary Circuit Models", "authors": [ "Matthias Függer", "Thomas Nowak", "Ulrich Schmid" ], "year": 2013, "venue": "2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems (ASYNC)", "note": "", "doi": "10.1109/ASYNC.2013.9", "links": { "url": "https://ieeexplore.ieee.org/document/6546194/", "pdf": "https://hal.science/hal-00993796/document", "hal": "https://hal.science/hal-00993796" }, "bibtex": "@inproceedings{FNS13,\n author = {Matthias F{\\\"u}gger and\n Thomas Nowak and\n Ulrich Schmid},\n title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},\n booktitle = {2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems (ASYNC)},\n year = {2013},\n pages = {191--199},\n url = {https://ieeexplore.ieee.org/document/6546194/},\n hal = {https://hal.science/hal-00993796},\n doi = {10.1109/ASYNC.2013.9},\n pdf = {https://hal.science/hal-00993796/document},\n}" }, { "key": "FKNZ12", "type": "inproceedings", "title": "Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer", "authors": [ "Matthias Függer", "Alexander Kößler", "Thomas Nowak", "Martin Zeiner" ], "year": 2012, "venue": "International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)", "note": "", "doi": "10.1007/978-3-642-33536-5_9", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-642-33536-5_9", "pdf": "https://hal.science/hal-00993869/document", "hal": "https://hal.science/hal-00993869" }, "bibtex": "@inproceedings{FKNZ12,\n author = {Matthias F{\\\"u}gger and\n Alexander K{\\\"o}{\\ss}ler and\n Thomas Nowak and\n Martin Zeiner},\n title = {Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer},\n booktitle = {International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)},\n year = {2012},\n pages = {90--91},\n url = {https://link.springer.com/chapter/10.1007/978-3-642-33536-5_9},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n volume = {7596},\n doi = {10.1007/978-3-642-33536-5_9},\n pdf = {https://hal.science/hal-00993869/document},\n hal = {https://hal.science/hal-00993869},\n}" }, { "key": "FW12", "type": "inproceedings", "title": "Efficient Checking of Link-Reversal-Based Concurrent Systems", "authors": [ "Matthias Függer", "Josef Widder" ], "year": 2012, "venue": "International Conference on Concurrency Theory (CONCUR)", "note": "", "doi": "10.1007/978-3-642-32940-1_34", "links": { "url": "http://dx.doi.org/10.1007/978-3-642-32940-1_34", "pdf": "https://citeseerx.ist.psu.edu/document?doi=abeadfbcb2883b655d6ec8836ebf6cbfbc69804f&repid=rep1&type=pdf" }, "bibtex": "@inproceedings{FW12,\n author = {Matthias F{\\\"u}gger and\n Josef Widder},\n title = {Efficient Checking of Link-Reversal-Based Concurrent Systems},\n year = {2012},\n booktitle = {International Conference on Concurrency Theory (CONCUR)},\n volume = {7454},\n series = {Lecture Notes in Computer Science},\n editor = {Koutny, Maciej and\n Ulidowski, Irek},\n url = {http://dx.doi.org/10.1007/978-3-642-32940-1_34},\n publisher = {Springer Berlin Heidelberg},\n pages = {486--499},\n doi = {10.1007/978-3-642-32940-1_34},\n pdf = {https://citeseerx.ist.psu.edu/document?doi=abeadfbcb2883b655d6ec8836ebf6cbfbc69804f&repid=rep1&type=pdf},\n}" }, { "key": "RFB12", "type": "inproceedings", "title": "Real-Time Runtime Verification on Chip", "authors": [ "Thomas Reinbacher", "Matthias Függer", "Jörg Brauer" ], "year": 2012, "venue": "International Conference on Runtime Verification (RV)", "note": "", "doi": "10.1007/978-3-642-35632-2_13", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-642-35632-2_13" }, "bibtex": "@inproceedings{RFB12,\n author = {Thomas Reinbacher and\n Matthias F{\\\"u}gger and\n J{\\\"o}rg Brauer},\n title = {Real-Time Runtime Verification on Chip},\n booktitle = {International Conference on Runtime Verification (RV)},\n year = {2012},\n pages = {110--125},\n url = {https://link.springer.com/chapter/10.1007/978-3-642-35632-2_13},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n volume = {7687},\n doi = {10.1007/978-3-642-35632-2_13},\n}" }, { "key": "FS12", "type": "article", "title": "Reconciling fault-tolerant distributed computing and systems-on-chip", "authors": [ "Matthias Függer", "Ulrich Schmid" ], "year": 2012, "venue": "Distributed Computing", "note": "", "doi": "10.1007/s00446-011-0151-7", "links": { "url": "https://link.springer.com/article/10.1007/s00446-011-0151-7", "pdf": "https://link.springer.com/content/pdf/10.1007/s00446-011-0151-7.pdf" }, "bibtex": "@article{FS12,\n author = {Matthias F{\\\"u}gger and\n Ulrich Schmid},\n title = {Reconciling fault-tolerant distributed computing and systems-on-chip},\n journal = {Distributed Computing},\n volume = {24},\n number = {6},\n year = {2012},\n pages = {323--355},\n url = {https://link.springer.com/article/10.1007/s00446-011-0151-7},\n doi = {10.1007/s00446-011-0151-7},\n pdf = {https://link.springer.com/content/pdf/10.1007/s00446-011-0151-7.pdf},\n}" }, { "key": "CFWW11:spaa", "type": "inproceedings", "title": "Brief announcement: full reversal routing as a linear dynamical system", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Jennifer L. Welch", "Josef Widder" ], "year": 2011, "venue": "23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)", "note": "", "doi": "10.1145/1989493.1989510", "links": {}, "bibtex": "@inproceedings{CFWW11:spaa,\n author = {Bernadette Charron-Bost and\n Matthias F{\\\"u}gger and\n Jennifer L. Welch and\n Josef Widder},\n title = {Brief announcement: full reversal routing as a linear dynamical\n system},\n booktitle = {23rd Annual ACM Symposium\n on Parallelism in Algorithms and Architectures (SPAA)},\n publisher = {ACM},\n year = {2011},\n pages = {129--130},\n doi = {10.1145/1989493.1989510},\n}" }, { "key": "DFLS11", "type": "inproceedings", "title": "Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract]", "authors": [ "Danny Dolev", "Matthias Függer", "Christoph Lenzen", "Ulrich Schmid" ], "year": 2011, "venue": "International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)", "note": "", "doi": "10.1007/978-3-642-24550-3_14", "links": { "pdf": "https://people.csail.mit.edu/clenzen/pubs/DFLS11robust.pdf" }, "bibtex": "@inproceedings{DFLS11,\n author = {Danny Dolev and\n Matthias F{\\\"u}gger and\n Christoph Lenzen and\n Ulrich Schmid},\n title = {Fault-Tolerant Algorithms for Tick-Generation in Asynchronous\n Logic: Robust Pulse Generation - [Extended Abstract]},\n booktitle = {International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n year = {2011},\n pages = {163--177},\n doi = {10.1007/978-3-642-24550-3_14},\n pdf = {https://people.csail.mit.edu/clenzen/pubs/DFLS11robust.pdf},\n}" }, { "key": "CFWW11:fr", "type": "inproceedings", "title": "Full Reversal Routing as a Linear Dynamical System", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Jennifer L. Welch", "Josef Widder" ], "year": 2011, "venue": "Structural Information and Communication Complexity - 18th International Colloquium (SIROCCO)", "note": "", "doi": "10.1007/978-3-642-22212-2_10", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-642-22212-2_10" }, "bibtex": "@inproceedings{CFWW11:fr,\n author = {Bernadette Charron-Bost and\n Matthias F{\\\"u}gger and\n Jennifer L. Welch and\n Josef Widder},\n title = {Full Reversal Routing as a Linear Dynamical System},\n booktitle = {Structural Information and Communication Complexity - 18th\n International Colloquium (SIROCCO)},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n year = {2011},\n pages = {101--112},\n url = {https://link.springer.com/chapter/10.1007/978-3-642-22212-2_10},\n doi = {10.1007/978-3-642-22212-2_10},\n}" }, { "key": "NFK11", "type": "inproceedings", "title": "On the Performance of a Retransmission-Based Synchronizer", "authors": [ "Thomas Nowak", "Matthias Függer", "Alexander Kößler" ], "year": 2011, "venue": "Structural Information and Communication Complexity - 18th International Colloquium (SIROCCO)", "note": "", "doi": "10.1007/978-3-642-22212-2_21", "links": { "pdf": "https://hal.science/hal-00993805/document", "hal": "https://hal.science/hal-00993805" }, "bibtex": "@inproceedings{NFK11,\n author = {Thomas Nowak and\n Matthias F{\\\"u}gger and\n Alexander K{\\\"o}{\\ss}ler},\n title = {On the Performance of a Retransmission-Based Synchronizer},\n booktitle = {Structural Information and Communication Complexity - 18th\n International Colloquium (SIROCCO)},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n year = {2011},\n pages = {234--245},\n doi = {10.1007/978-3-642-22212-2_21},\n pdf = {https://hal.science/hal-00993805/document},\n hal = {https://hal.science/hal-00993805},\n}" }, { "key": "CFWW11:pr", "type": "inproceedings", "title": "Partial is Full", "authors": [ "Bernadette Charron-Bost", "Matthias Függer", "Jennifer L. Welch", "Josef Widder" ], "year": 2011, "venue": "Structural Information and Communication Complexity - 18th International Colloquium (SIROCCO)", "note": "", "doi": "10.1007/978-3-642-22212-2_11", "links": { "url": "https://link.springer.com/chapter/10.1007/978-3-642-22212-2_11" }, "bibtex": "@inproceedings{CFWW11:pr,\n author = {Bernadette Charron-Bost and\n Matthias F{\\\"u}gger and\n Jennifer L. Welch and\n Josef Widder},\n title = {Partial is Full},\n booktitle = {Structural Information and Communication Complexity - 18th\n International Colloquium (SIROCCO)},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n year = {2011},\n pages = {113--124},\n url = {https://link.springer.com/chapter/10.1007/978-3-642-22212-2_11},\n doi = {10.1007/978-3-642-22212-2_11},\n}" }, { "key": "fuegger:2010", "type": "phdthesis", "title": "Analysis of On-Chip Fault-Tolerant Distributed Algorithms", "authors": [ "Matthias Függer" ], "year": 2010, "venue": "Technische Universität Wien, Institut für Technische Informatik", "note": "", "doi": "", "links": { "pdf": "https://repositum.tuwien.at/bitstream/20.500.12708/14747/2/Fuegger%20Matthias%20-%202010%20-%20Analysis%20of%20on-chip%20fault-tolerant%20distributed...pdf" }, "bibtex": "@phdthesis{fuegger:2010,\n author = {Matthias F{\\\"u}gger},\n title = {Analysis of On-Chip Fault-Tolerant Distributed Algorithms},\n address = {Treitlstr. 3/3/182-2, 1040 Vienna, Austria},\n school = {Technische Universit{\\\"a}t Wien, Institut f{\\\"u}r Technische Informatik},\n year = {2010},\n pdf = {https://repositum.tuwien.at/bitstream/20.500.12708/14747/2/Fuegger%20Matthias%20-%202010%20-%20Analysis%20of%20on-chip%20fault-tolerant%20distributed...pdf},\n}" }, { "key": "FDS10:EDCC", "type": "inproceedings", "title": "How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining", "authors": [ "Matthias Függer", "Andreas Dielacher", "Ulrich Schmid" ], "year": 2010, "venue": "Eighth European Dependable Computing Conference (EDCC)", "note": "", "doi": "10.1109/EDCC.2010.35", "links": { "pdf": "https://citeseerx.ist.psu.edu/document?doi=9fd9ff1dbaeef4a45ed0d0175d6e0becd17b0775&repid=rep1&type=pdf" }, "bibtex": "@inproceedings{FDS10:EDCC,\n author = {Matthias F{\\\"u}gger and\n Andreas Dielacher and\n Ulrich Schmid},\n title = {How to Speed-Up Fault-Tolerant Clock Generation in {VLSI}\n Systems-on-Chip via Pipelining},\n booktitle = {Eighth European Dependable Computing Conference (EDCC)},\n address = {Valencia, Spain},\n year = {2010},\n month = {April},\n pages = {230--239},\n doi = {10.1109/EDCC.2010.35},\n pdf = {https://citeseerx.ist.psu.edu/document?doi=9fd9ff1dbaeef4a45ed0d0175d6e0becd17b0775&repid=rep1&type=pdf},\n}" }, { "key": "DFS09", "type": "inproceedings", "title": "Brief announcement: How to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining", "authors": [ "Andreas Dielacher", "Matthias Függer", "Ulrich Schmid" ], "year": 2009, "venue": "Symposium on Principles of Distributed Computing (PODC)", "note": "", "doi": "10.1145/1582716.1582762", "links": { "url": "https://dl.acm.org/citation.cfm?id=1582762" }, "bibtex": "@inproceedings{DFS09,\n author = {Andreas Dielacher and\n Matthias F{\\\"u}gger and\n Ulrich Schmid},\n title = {Brief announcement: How to speed-up fault-tolerant clock\n generation in {VLSI} systems-on-chip via pipelining},\n booktitle = {Symposium on Principles of Distributed Computing (PODC)},\n year = {2009},\n pages = {276--277},\n url = {https://dl.acm.org/citation.cfm?id=1582762},\n doi = {10.1145/1582716.1582762},\n}" }, { "key": "FFSS09:WDSN", "type": "inproceedings", "title": "On the Stability and Robustness of Non-Synchronous Circuits with Timing Loops", "authors": [ "Matthias Függer", "Gottfried Fuchs", "Ulrich Schmid", "Andreas Steininger" ], "year": 2009, "venue": "3rd Workshop on Dependable and Secure Nanocomputing", "note": "", "doi": "", "links": { "url": "https://pdfs.semanticscholar.org/3adf/4d5c0425d35cdfe5f6b738f4e558cc5b4256.pdf" }, "bibtex": "@inproceedings{FFSS09:WDSN,\n author = {Matthias F{\\\"u}gger and\n Gottfried Fuchs and\n Ulrich Schmid and\n Andreas Steininger},\n title = {On the Stability and Robustness of Non-Synchronous Circuits with Timing Loops},\n booktitle = {3rd Workshop on Dependable and Secure Nanocomputing},\n year = {2009},\n month = {June},\n url = {https://pdfs.semanticscholar.org/3adf/4d5c0425d35cdfe5f6b738f4e558cc5b4256.pdf},\n}" }, { "key": "FFS09", "type": "inproceedings", "title": "On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme", "authors": [ "Gottfried Fuchs", "Matthias Függer", "Andreas Steininger" ], "year": 2009, "venue": "15th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", "note": "", "doi": "10.1109/ASYNC.2009.15", "links": { "url": "https://ieeexplore.ieee.org/document/5010343/" }, "bibtex": "@inproceedings{FFS09,\n author = {Gottfried Fuchs and\n Matthias F{\\\"u}gger and\n Andreas Steininger},\n title = {On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme},\n booktitle = {15th {IEEE} International Symposium on Asynchronous Circuits and Systems (ASYNC)},\n year = {2009},\n month = {May},\n url = {https://ieeexplore.ieee.org/document/5010343/},\n doi = {10.1109/ASYNC.2009.15},\n pages = {127--136},\n}" }, { "key": "FAS09", "type": "article", "title": "Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems–A Combined Formal and Experimental Approach", "authors": [ "Matthias Függer", "Eric Armengaud", "Andreas Steininger" ], "year": 2009, "venue": "IEEE Transactions on Industrial Informatics", "note": "", "doi": "10.1109/TII.2009.2017526", "links": { "url": "https://ieeexplore.ieee.org/document/4895704/" }, "bibtex": "@ARTICLE{FAS09,\n title = {Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems--A Combined Formal and Experimental Approach},\n author = {Matthias F{\\\"u}gger and\n Eric Armengaud and\n Andreas Steininger},\n journal = {{IEEE} Transactions on Industrial Informatics},\n year = {2009},\n month = {May},\n volume = {5},\n number = {2},\n pages = {132--146},\n url = {https://ieeexplore.ieee.org/document/4895704/},\n doi = {10.1109/TII.2009.2017526},\n}" }, { "key": "FFSS:DSD08", "type": "inproceedings", "title": "Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip", "authors": [ "Gottfried Fuchs", "Matthias Függer", "Ulrich Schmid", "Andreas Steininger" ], "year": 2008, "venue": "11th Euromicro conference on Digital System Design Architectures, Methods and Tools (DSD)", "note": "", "doi": "10.1109/DSD.2008.65", "links": {}, "bibtex": "@inproceedings{FFSS:DSD08,\n author = {Gottfried Fuchs and\n Matthias F{\\\"u}gger and\n Ulrich Schmid and\n Andreas Steininger},\n title = {Mapping a Fault-Tolerant Distributed Algorithm to {Systems on Chip}},\n booktitle = {11th Euromicro conference on Digital System Design Architectures, Methods and Tools (DSD)},\n year = {2008},\n month = {September},\n pages = {242--249},\n address = {Parma, Italy},\n doi = {10.1109/DSD.2008.65},\n}" }, { "key": "armengaud:2008-20", "type": "inproceedings", "title": "Safe Deterministic Replay for Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems", "authors": [ "Eric Armengaud", "Matthias Függer", "Andreas Steininger" ], "year": 2008, "venue": "7th IEEE International Workshop on Factory Communication Systems (WFCS)", "note": "", "doi": "10.1109/WFCS.2008.4638707", "links": {}, "bibtex": "@inproceedings{armengaud:2008-20,\n author = {Eric Armengaud and\n Matthias F{\\\"u}gger and\n Andreas Steininger},\n title = {Safe Deterministic Replay for Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems},\n booktitle = {7th {IEEE} International Workshop on Factory Communication Systems (WFCS)},\n year = {2008},\n month = {May},\n pages = {277--286},\n doi = {10.1109/WFCS.2008.4638707},\n}" }, { "key": "FHSWT06:austro", "type": "inproceedings", "title": "An Efficient Test for a Transition Signalling based Up-/Down-Counter", "authors": [ "Matthias Függer", "Thomas Handl", "Andreas Steininger", "Josef Widder", "Christian Toegel" ], "year": 2006, "venue": "The Austrian National Conference on the Design of Integrated Circuits and Systems (Austrochip)", "note": "", "doi": "", "links": { "url": "https://www.researchgate.net/profile/Matthias_Fuegger/publication/267697147_An_Efficient_Test_for_a_Transition_Signalling_based_Up-Down-Counter/links/54f4728b0cf2f9e34f0a43ff.pdf" }, "bibtex": "@inproceedings{FHSWT06:austro,\n author = {Matthias F{\\\"u}gger and\n Thomas Handl and\n Andreas Steininger and\n Josef Widder and\n Christian Toegel},\n title = {An Efficient Test for a Transition Signalling based Up-/Down-Counter},\n booktitle = {The Austrian National Conference on the Design of Integrated Circuits and Systems (Austrochip)},\n year = {2006},\n month = {October},\n url = {https://www.researchgate.net/profile/Matthias_Fuegger/publication/267697147_An_Efficient_Test_for_a_Transition_Signalling_based_Up-Down-Counter/links/54f4728b0cf2f9e34f0a43ff.pdf},\n}" }, { "key": "FFSZ06:WDES", "type": "inproceedings", "title": "Analysis of Constraints in a Fault-Tolerant Distributed Clock Generation Scheme", "authors": [ "Gottfried Fuchs", "Matthias Függer", "Andreas Steininger", "Franz Zangerl" ], "year": 2006, "venue": "3rd International Workshop on Dependable Embedded Systems (WDES)", "note": "", "doi": "", "links": {}, "bibtex": "@inproceedings{FFSZ06:WDES,\n author = {Gottfried Fuchs and\n Matthias F{\\\"u}gger and\n Andreas Steininger and\n Franz Zangerl},\n title = {Analysis of Constraints in a Fault-Tolerant Distributed Clock Generation Scheme},\n booktitle = {3rd International Workshop on Dependable Embedded Systems (WDES)},\n year = {2006},\n month = {October},\n}" }, { "key": "SFSF06:DSN", "type": "inproceedings", "title": "Fault-Tolerant Algorithms on SoCs–A case study", "authors": [ "Andreas Steininger", "Matthias Függer", "Ulrich Schmid", "Gottfried Fuchs" ], "year": 2006, "venue": "Supplemental Proceedings of the International Conference on Dependable Systems and Networks (DSN)", "note": "", "doi": "", "links": {}, "bibtex": "@inproceedings{SFSF06:DSN,\n author = {Andreas Steininger and\n Matthias F{\\\"u}gger and\n Ulrich Schmid and\n Gottfried Fuchs},\n title = {Fault-Tolerant Algorithms on {SoCs}--A case study},\n booktitle = {Supplemental Proceedings of the International Conference on Dependable Systems and Networks (DSN)},\n year = {2006},\n month = {June},\n address = {Philadelphia, USA},\n pages = {190--191},\n}" }, { "key": "FSFK06:EDCC", "type": "inproceedings", "title": "Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip", "authors": [ "Matthias Függer", "Ulrich Schmid", "Gottfried Fuchs", "Gerald Kempf" ], "year": 2006, "venue": "Sixth European Dependable Computing Conference (EDCC)", "note": "", "doi": "10.1109/EDCC.2006.11", "links": { "url": "https://ieeexplore.ieee.org/document/4020838" }, "bibtex": "@inproceedings{FSFK06:EDCC,\n author = {Matthias F{\\\"u}gger and\n Ulrich Schmid and\n Gottfried Fuchs and\n Gerald Kempf},\n title = {Fault-Tolerant Distributed Clock Generation in {VLSI} {Systems-on-Chip}},\n booktitle = {Sixth European Dependable Computing Conference (EDCC)},\n year = {2006},\n month = {October},\n address = {Coimbra, Portugal},\n pages = {87--96},\n url = {https://ieeexplore.ieee.org/document/4020838},\n doi = {10.1109/EDCC.2006.11},\n}" }, { "key": "AFBLT06:sne", "type": "article", "title": "Small PC-Network Simulation–A Comprehensive Performance Case Study", "authors": [ "Daniel Albeseder", "Matthias Függer", "Felix Breitenecker", "Thomas Löscher", "Shabnam Tauböck" ], "year": 2005, "venue": "Simulation News Europe", "note": "", "doi": "", "links": { "pdf": "https://www.sne-journal.org/fileadmin/user_upload_sne/SNE_Issues_OA/SNE_15/sne.15.44-45.pdf#page=28" }, "bibtex": "@article{AFBLT06:sne,\n author = {Daniel Albeseder and\n Matthias F{\\\"u}gger and\n Felix Breitenecker and\n Thomas L{\\\"o}scher and\n Shabnam Taub{\\\"o}ck},\n title = {Small {PC}-Network Simulation--A Comprehensive Performance Case Study},\n journal = {Simulation News Europe},\n year = {2005},\n month = {December},\n pdf = {https://www.sne-journal.org/fileadmin/user_upload_sne/SNE_Issues_OA/SNE_15/sne.15.44-45.pdf#page=28},\n}" }, { "key": "RFS04:wises", "type": "inproceedings", "title": "Embedded Real-Time-Tracer – An Approach with IDE", "authors": [ "Babak Rahbaran", "Matthias Függer", "Andreas Steininger" ], "year": 2004, "venue": "Workshop on Intelligent Solutions in Embedded Systems (WISES)", "note": "", "doi": "", "links": { "url": "https://dblp.org/rec/conf/wises/RahbaranFS04" }, "bibtex": "@inproceedings{RFS04:wises,\n author = {Rahbaran, Babak and\n F{\\\"u}gger, Matthias and\n Steininger, Andreas},\n title = {Embedded Real-Time-Tracer -- An Approach with {IDE}},\n booktitle = {Workshop on Intelligent Solutions in Embedded Systems (WISES)},\n year = {2004},\n pages = {25--35},\n url = {https://dblp.org/rec/conf/wises/RahbaranFS04},\n}" }, { "key": "RFS04:tel", "type": "article", "title": "Embedded Real-Time-Tracer–An Approach with IDE", "authors": [ "Babak Rahbaran", "Matthias Függer", "Andreas Steininger" ], "year": 2004, "venue": "Telematik", "note": "", "doi": "", "links": { "url": "https://www.researchgate.net/profile/Matthias_Fuegger/publication/221333689_Embedded_Real-Time-Tracer_-_An_Approach_with_IDE/links/54f472900cf2f9e34f0a4418.pdf" }, "bibtex": "@article{RFS04:tel,\n author = {Babak Rahbaran and\n Matthias F{\\\"u}gger and\n Andreas Steininger},\n title = {Embedded Real-Time-Tracer--An Approach with {IDE}},\n journal = {Telematik},\n year = {2004},\n month = {December},\n url = {https://www.researchgate.net/profile/Matthias_Fuegger/publication/221333689_Embedded_Real-Time-Tracer_-_An_Approach_with_IDE/links/54f472900cf2f9e34f0a4418.pdf},\n}" } ] }