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