cv_fuegger.bib
@article{RFS04:tel,
author = {Babak Rahbaran and
Matthias F{\"u}gger and
Andreas Steininger},
title = {Embedded Real-Time-Tracer--An Approach with {IDE}},
journal = {Telematik},
year = {2004},
month = {December},
url = {https://www.researchgate.net/profile/Matthias_Fuegger/publication/221333689_Embedded_Real-Time-Tracer_-_An_Approach_with_IDE/links/54f472900cf2f9e34f0a4418.pdf}
}
@article{AFBLT06:sne,
author = {Daniel Albeseder and Matthias F{\"u}gger and Felix Breitenecker and Thomas L{\"o}scher and Shabnam Taub{\"o}ck},
title = {Small {PC}-Network Simulation--A Comprehensive Performance Case Study},
journal = {Simulation News Europe},
year = {2005},
month = {December}
}
@inproceedings{FSFK06:EDCC,
author = {Matthias F{\"u}gger and Ulrich Schmid and Gottfried Fuchs and Gerald Kempf},
title = {Fault-Tolerant Distributed Clock Generation in {VLSI} {Systems-on-Chip}},
booktitle = {Sixth European Dependable Computing Conference (EDCC)},
year = {2006},
month = {October},
address = {Coimbra, Portugal},
pages = {87--96},
url = {https://ieeexplore.ieee.org/document/4020838},
doi = {10.1109/EDCC.2006.11}
}
@inproceedings{FHSWT06:austro,
author = {Matthias F{\"u}gger and Thomas Handl and Andreas Steininger and Josef Widder and Christian Toegel},
title = {An Efficient Test for a Transition Signalling based Up-/Down-Counter},
booktitle = {The Austrian National Conference on the Design of Integrated Circuits and Systems (Austrochip)},
year = {2006},
month = {October},
url = {https://www.researchgate.net/profile/Matthias_Fuegger/publication/267697147_An_Efficient_Test_for_a_Transition_Signalling_based_Up-Down-Counter/links/54f4728b0cf2f9e34f0a43ff.pdf}
}
@inproceedings{FFSZ06:WDES,
author = {Gottfried Fuchs and
Matthias F{\"u}gger and
Andreas Steininger and
Franz Zangerl},
title = {Analysis of Constraints in a Fault-Tolerant Distributed Clock Generation Scheme},
booktitle = {3rd International Workshop on Dependable Embedded Systems (WDES)},
year = {2006},
month = {October}
}
@inproceedings{SFSF06:DSN,
author = {Andreas Steininger and
Matthias F{\"u}gger and
Ulrich Schmid and
Gottfried Fuchs},
title = {Fault-Tolerant Algorithms on {SoCs}--A case study},
booktitle = {Supplemental Proceedings of the International Conference on Dependable Systems and Networks (DSN)},
year = {2006},
month = {June},
address = {Philadelphia, USA},
pages = {190--191}
}
@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}
}
@inproceedings{FDS10:EDCC,
author = {Matthias F{\"u}gger and
Andreas Dielacher and
Ulrich Schmid},
title = {How to Speed-Up Fault-Tolerant Clock Generation in {VLSI}
Systems-on-Chip via Pipelining},
booktitle = {Eighth European Dependable Computing Conference (EDCC)},
address = {Valencia, Spain},
year = {2010},
month = {April},
pages = {230--239},
doi = {10.1109/EDCC.2010.35}
}
@inproceedings{CFWW11:fr,
author = {Bernadette Charron-Bost and
Matthias F{\"u}gger and
Jennifer L. Welch and
Josef Widder},
title = {Full Reversal Routing as a Linear Dynamical System},
booktitle = {Structural Information and Communication Complexity - 18th
International Colloquium (SIROCCO)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2011},
pages = {101--112},
url = {https://link.springer.com/chapter/10.1007/978-3-642-22212-2_10},
doi = {10.1007/978-3-642-22212-2_10}
}
@inproceedings{CFWW11:pr,
author = {Bernadette Charron-Bost and
Matthias F{\"u}gger and
Jennifer L. Welch and
Josef Widder},
title = {Partial is Full},
booktitle = {Structural Information and Communication Complexity - 18th
International Colloquium (SIROCCO)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2011},
pages = {113--124},
url = {https://link.springer.com/chapter/10.1007/978-3-642-22212-2_11},
doi = {10.1007/978-3-642-22212-2_11}
}
@inproceedings{NFK11,
author = {Thomas Nowak and
Matthias F{\"u}gger and
Alexander K{\"o}{\ss}ler},
title = {On the Performance of a Retransmission-Based Synchronizer},
booktitle = {Structural Information and Communication Complexity - 18th
International Colloquium (SIROCCO)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2011},
pages = {234--245},
doi = {10.1007/978-3-642-22212-2_21}
}
@inproceedings{CFWW11:spaa,
author = {Bernadette Charron-Bost and
Matthias F{\"u}gger and
Jennifer L. Welch and
Josef Widder},
title = {Brief announcement: full reversal routing as a linear dynamical
system},
booktitle = {23rd Annual ACM Symposium
on Parallelism in Algorithms and Architectures (SPAA)},
publisher = {ACM},
year = {2011},
pages = {129--130},
doi = {10.1145/1989493.1989510}
}
@article{FS12,
author = {Matthias F{\"u}gger and
Ulrich Schmid},
title = {Reconciling fault-tolerant distributed computing and systems-on-chip},
journal = {Distributed Computing},
volume = {24},
number = {6},
year = {2012},
pages = {323--355},
url = {https://link.springer.com/article/10.1007/s00446-011-0151-7},
doi = {10.1007/s00446-011-0151-7}
}
@inproceedings{DFLS11,
author = {Danny Dolev and
Matthias F{\"u}gger and
Christoph Lenzen and
Ulrich Schmid},
title = {Fault-Tolerant Algorithms for Tick-Generation in Asynchronous
Logic: Robust Pulse Generation - [Extended Abstract]},
booktitle = {International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2011},
pages = {163--177},
doi = {10.1007/978-3-642-24550-3_14}
}
@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}
}
@inproceedings{FKNZ12,
author = {Matthias F{\"u}gger and
Alexander K{\"o}{\ss}ler and
Thomas Nowak and
Martin Zeiner},
title = {Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer},
booktitle = {International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)},
year = {2012},
pages = {90--91},
url = {https://link.springer.com/chapter/10.1007/978-3-642-33536-5_9},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7596},
doi = {10.1007/978-3-642-33536-5_9}
}
@inproceedings{RFB12,
author = {Thomas Reinbacher and
Matthias F{\"u}gger and
J{\"o}rg Brauer},
title = {Real-Time Runtime Verification on Chip},
booktitle = {International Conference on Runtime Verification (RV)},
year = {2012},
pages = {110--125},
url = {https://link.springer.com/chapter/10.1007/978-3-642-35632-2_13},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7687},
doi = {10.1007/978-3-642-35632-2_13}
}
@article{NFK13,
author = {Thomas Nowak and
Matthias F{\"u}gger and
Alexander K{\"o}{\ss}ler},
title = {On the performance of a retransmission-based synchronizer},
journal = {Theoretical Computer Science},
volume = {509},
pages = {25--39},
year = {2013},
url = {http://www.sciencedirect.com/science/article/pii/S0304397512004008},
hal = {https://hal.archives-ouvertes.fr/hal-00993470},
doi = {10.1016/j.tcs.2012.04.035}
}
@inproceedings{FNS13,
author = {Matthias F{\"u}gger and
Thomas Nowak and
Ulrich Schmid},
title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},
booktitle = {2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems (ASYNC)},
year = {2013},
pages = {191--199},
url = {https://ieeexplore.ieee.org/document/6546194/},
hal = {https://hal.archives-ouvertes.fr/hal-00993796/}
}
@inproceedings{CNF13,
author = {Bernadette Charron-Bost and
Matthias F{\"u}gger and
Thomas Nowak},
title = {Transience Bounds for Distributed Algorithms},
year = {2013},
booktitle = {Formal Modeling and Analysis of Timed Systems (FORMATS)},
volume = {8053},
series = {Lecture Notes in Computer Science},
editor = {Braberman, Victor and Fribourg, Laurent},
publisher = {Springer Berlin Heidelberg},
pages = {77--90},
url = {https://link.springer.com/chapter/10.1007/978-3-642-40229-6_6},
hal = {https://hal.archives-ouvertes.fr/hal-00993785/},
doi = {10.1007/978-3-642-40229-6_6}
}
@inproceedings{LFHS13:dsd,
author = {Christoph Lenzen and
Matthias F{\"u}gger and
Markus Hofst{\"a}tter and
Ulrich Schmid},
booktitle = {2013 Euromicro Conference on Digital System Design (DSD)},
title = {Efficient Construction of Global Time in {SoCs} Despite Arbitrary Faults},
year = {2013},
pages = {142--151},
url = {https://ieeexplore.ieee.org/document/6628271/},
doi = {10.1109/DSD.2013.97}
}
@inproceedings{DFLPS13:spaa,
author = {Dolev, Danny and
F\"{u}gger, Matthias and
Lenzen, Christoph and
Perner, Martin and
Schmid, Ulrich},
title = {HEX: scaling honeycombs is easier than scaling clock trees},
booktitle = {Proceedings of the 25th ACM symposium on Parallelism in algorithms and architectures (SPAA)},
year = {2013},
location = {Montr\&\#233;al, Qu\&\#233;bec, Canada},
pages = {164--175},
url = {http://doi.acm.org/10.1145/2486159.2486192},
publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2486159.2486192}
}
@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}
}
@article{DFPSSL14:jcss,
author = {Danny Dolev and
Matthias F{\"u}gger and
Markus Posch and
Ulrich Schmid and
Andreas Steininger and
Christoph Lenzen},
title = {Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip},
journal = {Journal of Computer and System Sciences},
volume = {80},
number = {4},
pages = {860--900},
year = {2014},
url = {http://www.sciencedirect.com/science/article/pii/S0022000014000026},
doi = {10.1016/j.jcss.2014.01.001}
}
@article{RFB14:fmsd,
author = {Thomas Reinbacher and
Matthias F{\"u}gger and
J{\"o}rg Brauer},
title = {Runtime verification of embedded real-time systems},
journal = {Formal Methods in System Design},
volume = {44},
number = {3},
year = {2014},
pages = {203--239},
url = {http://dx.doi.org/10.1007/s10703-013-0199-z},
doi = {10.1007/s10703-013-0199-z}
}
@article{DFSL14:jacm,
author = {Danny Dolev and
Matthias F\"{u}gger and
Ulrich Schmid and
Christoph Lenzen},
title = {Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation},
journal = {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}
}
@inproceedings{FNNS15:date,
author = {Matthias F\"ugger and
Robert Najvirt and
Thomas Nowak and
Ulrich Schmid},
title = {Towards Binary Circuit Models That Faithfully Capture Physical Solvability},
pages = {1455--1460},
booktitle = {Design, Automation \& Test in Europe (DATE)},
year = {2015},
url = {http://ieeexplore.ieee.org/document/7092619/},
hal = {https://hal.archives-ouvertes.fr/hal-01107436},
doi = {10.7873/DATE.2015.0799}
}
@article{CFWW15:talg,
author = {Bernadette Charron-Bost and
Matthias F{\"u}gger and
Jennifer L.\ Welch and
Josef Widder},
title = {Time Complexity of Link Reversal Routing},
journal = {ACM Transactions on Algorithms},
volume = {11},
number = {3},
month = jan,
year = {2015},
pages = {18:1--18:39},
articleno = {18},
url = {http://doi.acm.org/10.1145/2644815},
doi = {10.1145/2644815},
publisher = {ACM},
address = {New York, NY, USA}
}
@inproceedings{FNC15:ciss,
author = {Matthias F{\"u}gger and
Thomas Nowak and
Bernadette Charron-Bost},
booktitle = {2015 49th Annual Conference on Information Sciences and Systems (CISS)},
title = {Diffusive clock synchronization in highly dynamic networks},
year = {2015},
month = {March},
pages = {1--6},
url = {http://ieeexplore.ieee.org/document/7086841/},
hal = {https://hal.archives-ouvertes.fr/hal-01231513},
doi = {10.1109/CISS.2015.7086841}
}
@inproceedings{CFN15:icalp,
author = {Bernadette Charron{-}Bost and
Matthias F{\"{u}}gger and
Thomas Nowak},
title = {Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms},
booktitle = {42nd International Colloquium on Automata, Languages, and Programming (ICALP)},
pages = {528--539},
year = {2015},
url = {https://link.springer.com/chapter/10.1007/978-3-662-47666-6_42},
hal = {https://hal.archives-ouvertes.fr/hal-01107422v2},
arxiv_long = {https://arxiv.org/abs/1408.0620},
doi = {10.1007/978-3-662-47666-6_42}
}
@inproceedings{NFNSHS15:glsvlsi,
author = {Robert Najvirt and
Matthias F{\"u}gger and
Thomas Nowak and
Ulrich Schmid and
Michael Hofbauer and
Kurt Schweiger},
title = {Experimental Validation of a Faithful Binary Circuit Model},
booktitle = {Proceedings of the 25th Edition on Great Lakes Symposium on VLSI (GLSVLSI)},
year = {2015},
location = {Pittsburgh, Pennsylvania, USA},
pages = {355--360},
url = {http://doi.acm.org/10.1145/2742060.2742081},
hal = {https://hal.archives-ouvertes.fr/hal-01231509},
publisher = {ACM},
doi = {10.1145/2742060.2742081}
}
@article{DFLSS:eatcs,
author = {Dolev, Danny and
F{\"u}gger, Matthias and
Lenzen, Christoph and
Schmid, Ulrich and
Steininger, Andreas},
title = {Fault-tolerant Distributed Systems in Hardware},
journal = {Bulletin of EATCS},
volume = {2},
number = {116},
year = {2015},
url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/348}
}
@article{FKNSZ15:pe,
author = {Matthias F{\"u}gger and
Alexander K{\"o}{\ss}ler and
Thomas Nowak and
Ulrich Schmid and
Martin Zeiner},
title = {The effect of forgetting on the performance of a synchronizer},
journal = {Performance Evaluation},
volume = {93},
number = {},
pages = {1--16},
year = {2015},
url = {http://www.sciencedirect.com/science/article/pii/S0166531615000826},
hal = {https://hal.archives-ouvertes.fr/hal-01231498},
doi = {10.1016/j.peva.2015.08.002}
}
@article{CFN16:arxiv,
author = {Bernadette Charron{-}Bost and
Matthias F{\"{u}}gger and
Thomas Nowak},
title = {Multidimensional Asymptotic Consensus in Dynamic Networks},
journal = {CoRR},
volume = {abs/1611.02496},
year = {2016},
archiveprefix = {arXiv},
eprint = {1611.02496},
url = {http://arxiv.org/abs/1611.02496}
}
@article{DFLPS16:jcss,
author = {Danny Dolev and
Matthias F{\"u}gger and
Christoph Lenzen and
Martin Perner and
Ulrich Schmid},
title = {{HEX}: Scaling honeycombs is easier than scaling clock trees},
journal = {Journal of Computer and System Sciences},
volume = {82},
number = {5},
pages = {929--956},
year = {2016},
url = {https://www.sciencedirect.com/science/article/pii/S002200001600026X},
doi = {10.1016/j.jcss.2016.03.001}
}
@article{FNS16:ieeetc,
author = {Matthias F{\"u}gger and
Thomas Nowak and
Ulrich Schmid},
title = {Unfaithful Glitch Propagation in Existing Binary Circuit Models},
journal = {{IEEE} Transactions on Computers},
volume = {65},
number = {3},
pages = {964--978},
year = {2016},
url = {http://ieeexplore.ieee.org/abstract/document/7110587/},
hal = {https://hal.archives-ouvertes.fr/hal-01231501},
doi = {10.1109/TC.2015.2435791}
}
@inproceedings{CFN16:icalp,
author = {Bernadette Charron-Bost and
Matthias F{\"u}gger and
Thomas Nowak},
title = {Fast, Robust, Quantizable Approximate Consensus},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming (ICALP)},
pages = {137:1--137:14},
year = {2016},
volume = {55},
url = {http://drops.dagstuhl.de/opus/volltexte/2016/6281/},
hal = {https://hal.archives-ouvertes.fr/hal-01395576},
doi = {10.4230/LIPIcs.ICALP.2016.137},
arxiv_long = {https://arxiv.org/abs/1512.04222}
}
@inproceedings{TFL17:async,
author = {Ghaith Tarawneh and
Matthias F\"ugger and
Christoph Lenzen},
title = {Metastability Tolerant Computing},
year = {2017},
booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
pages = {25--32},
doi = {10.1109/ASYNC.2017.9},
url = {http://ieeexplore.ieee.org/abstract/document/8097381/},
preprint = {http://www.lsv.fr/~mfuegger/papers/TFL17_async.pdf},
hal = {https://hal.archives-ouvertes.fr/hal-01652772}
}
@inproceedings{FKLP17:async,
author = {Matthias F\"ugger and
Attila Kinali and
Christoph Lenzen and
Thomas Polzer},
title = {Metastability-Aware Memory-Efficient Time-to-Digital Converter},
year = {2017},
booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
pages = {49--56},
url = {http://ieeexplore.ieee.org/abstract/document/8097384/},
preprint = {http://www.lsv.fr/~mfuegger/papers/FKLP17_async.pdf},
hal = {https://hal.archives-ouvertes.fr/hal-01652787},
doi = {10.1109/ASYNC.2017.12}
}
@article{CFN17:dam,
author = {Bernadette Charron-Bost and
Matthias F{\"u}gger and
Thomas Nowak},
title = {New transience bounds for max-plus linear systems},
journal = {Discrete Applied Mathematics},
pages = {83--99},
volume = {219},
year = {2017},
hal = {https://hal.archives-ouvertes.fr/hal-01738257},
url = {http://www.sciencedirect.com/science/article/pii/S0166218X16305078},
preprint = {http://www.lsv.fr/~mfuegger/papers/CFN17_dam.pdf},
doi = {10.1016/j.dam.2016.11.003}
}
@inproceedings{FNS17:disc,
author = {Matthias F{\"u}gger and
Thomas Nowak and
Manfred Schwarz},
title = {Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks},
year = {2017},
booktitle = {31st International Symposium on Distributed Computing (DISC)},
pages = {51:1--51:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
url = {http://drops.dagstuhl.de/opus/volltexte/2017/7992/},
arxiv_long = {https://arxiv.org/abs/1705.02898},
hal = {https://hal.archives-ouvertes.fr/hal-01652851},
preprint = {http://www.lsv.fr/~mfuegger/papers/FNS18_disc.pdf},
doi = {10.4230/LIPIcs.DISC.2017.51}
}
@inproceedings{FMNNS18:date,
author = {Matthias F{\"u}gger and
J\"urgen Maier and
Robert Najvirt and
Thomas Nowak and
Ulrich Schmid},
title = {A Faithful Binary Circuit Model with Adversarial Noise},
year = {2018},
booktitle = {Design, Automation \& Test in Europe (DATE)},
pages = {1327--1332},
organization = {IEEE},
hal = {https://hal.archives-ouvertes.fr/hal-01738254/},
preprint = {http://www.lsv.fr/~mfuegger/papers/FMNNS18_date.pdf},
url = {https://ieeexplore.ieee.org/abstract/document/8342219/},
doi = {10.23919/DATE.2018.8342219}
}
@article{FFL18:toc,
author = {Stephan Friedrichs and
Matthias F{\"{u}}gger and
Christoph Lenzen},
title = {Metastability-Containing Circuits},
journal = {{IEEE} Transactions on Computers},
year = {2018},
volume = {67},
number = {8},
arxiv_long = {https://arxiv.org/abs/1606.06570},
url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8314764},
hal = {https://hal.inria.fr/hal-01936292},
doi = {10.1109/TC.2018.2808185}
}
@inproceedings{FKLW18:async,
author = {Matthias F\"ugger and
Attila Kinali and
Christoph Lenzen and
Ben Wiederhake},
title = {Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance},
year = {2018},
booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
pages = {68--77},
doi = {10.1109/ASYNC.2018.00025},
issn = {1522-8681},
month = {May},
hal = {https://hal.inria.fr/hal-01936403},
url = {https://ieeexplore.ieee.org/document/8589986}
}
@inproceedings{FNS18:podc,
author = {Matthias F\"ugger and
Thomas Nowak and
Manfred Schwarz},
title = {Tight Bounds for Asymptotic and Approximate Consensus},
year = {2018},
booktitle = {ACM Symposium on Principles of Distributed Computing (PODC)},
isbn = {978-1-4503-5795-1},
location = {Egham, United Kingdom},
pages = {325--334},
url = {http://doi.acm.org/10.1145/3212734.3212762},
acmid = {3212762},
publisher = {ACM},
address = {New York, NY, USA},
arxiv_long = {https://arxiv.org/abs/1705.02898},
hal = {https://hal.archives-ouvertes.fr/hal-01799039}
}
@inproceedings{FN18:disc,
author = {Matthias F\"ugger and
Thomas Nowak},
title = {Fast Multidimensional Asymptotic and Approximate Consensus},
year = {2018},
booktitle = {32nd International Symposium on Distributed Computing (DISC)},
pages = {27:1--27:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
doi = {10.4230/LIPIcs.DISC.2018.27},
arxiv_long = {https://arxiv.org/abs/1805.04923},
hal = {https://hal.archives-ouvertes.fr/hal-01936316},
url = {http://drops.dagstuhl.de/opus/volltexte/2018/9816/}
}
@inproceedings{MFNS19:async,
author = {J\"urgen Maier and
Matthias F\"ugger and
Thomas Nowak and
Ulrich Schmid},
title = {Transistor-Level Analysis of Dynamic Delay Models},
year = {2019},
booktitle = {25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
pages = {76--85},
doi = {10.1109/ASYNC.2019.00019},
month = {May},
hal = {https://hal.archives-ouvertes.fr/hal-02395229}
}
@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.inria.fr/hal-02395242}
}
@article{FNNS19:tcad,
author = {Matthias F{\"u}gger and
Robert Najvirt and
Thomas Nowak and
Ulrich Schmid},
title = {A Faithful Binary Circuit Model},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
year = {2020},
publisher = {IEEE},
volume = {39},
number = {10},
pages = {2784--2797},
doi = {10.1109/TCAD.2019.2937748},
hal = {https://hal.inria.fr/hal-02395251}
}
@incollection{advances_chapter,
author = {F\"ugger, Matthias and Kushwaha, Manish and Nowak, Thomas},
editor = {Singh, Vijai},
booktitle = {Advances in Synthetic Biology},
title = {Digital Circuit Design for Biological and Silicon Computers},
month = {March},
publisher = {Springer},
address = {Heidelberg},
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.archives-ouvertes.fr/hal-02549707}
}
@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.archives-ouvertes.fr/hal-02946849}
}
@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.archives-ouvertes.fr/hal-03070326}
}
@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.archives-ouvertes.fr/hal-03070312v1}
}
@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.archives-ouvertes.fr/hal-02946883v1}
}
@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.archives-ouvertes.fr/hal-02917542},
video = {https://www.youtube.com/watch?v=88AyNexKens&t=2s},
arxiv_long = {https://hal.archives-ouvertes.fr/hal-02917542}
}
@article{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.archives-ouvertes.fr/hal-02395242}
}
@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}
}
@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.archives-ouvertes.fr/hal-03329844}
}
@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.archives-ouvertes.fr/hal-03408731/file/paper.pdf}
}
@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 = {2021},
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.inria.fr/hal-03519002}
}
@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.inria.fr/hal-03518879}
}
@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.archives-ouvertes.fr/hal-03536906}
}
@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}
}
@inbook{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}
}
@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}
}
@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},
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}
}
@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}
}
@article{andaur2021reaching:preprint,
title = {Reaching Agreement in Competitive Microbial Systems},
author = {Andaur, Victoria and
Burman, Janna and
F{\"u}gger, Matthias and
Kushwaha, Manish and
Manssouri, Bilal and
Nowak, Thomas and
Rybicki, Joel},
journal = {arXiv preprint arXiv:2103.07450},
year = {2021},
url = {https://arxiv.org/abs/2103.07450}
}
@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}
}
@article{CFN23:preprint,
author = {Fabricio Cravo and Matthias F{\"u}gger and Thomas Nowak},
title = {An Allee-based Distributed Algorithm for Microbial Whole-Cell Sensors},
elocation-id = {2023.08.25.554781},
year = {2023},
doi = {10.1101/2023.08.25.554781},
publisher = {Cold Spring Harbor Laboratory},
url = {https://www.biorxiv.org/content/early/2023/08/26/2023.08.25.554781},
eprint = {https://www.biorxiv.org/content/early/2023/08/26/2023.08.25.554781.full.pdf},
journal = {bioRxiv}
}