sic.bib

@inproceedings{NS14:patmos,
  author = {Najvirt, Robert and Steininger, Andreas},
  title = {Equivalence of Clock Gating and Synchronization with Applicability to GALS Communication},
  booktitle = {Proceedings of the 24th International Workshop on Power and Timing Modeling, Optimization and Simulation},
  year = {2014},
  publisher = {IEEE},
  numpages = {8},
  eid = {29},
  isbn = {978-1-4799-5412-4},
  doi = {10.1109/PATMOS.2014.6951873}
}
@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}
}
@article{DFSL14:jacm,
  author = {Danny Dolev and
               Matthias F\"{u}gger and
               Ulrich Schmid and
               Christoph Lenzen},
  title = {Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation},
  journal = {J.\ ACM},
  volume = {61},
  number = {5},
  month = sep,
  year = {2014},
  pages = {30:1--30:74},
  articleno = {30},
  url = {http://doi.acm.org/10.1145/2560561},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{FNNS15:date,
  author = {Matthias F\"ugger and
               Robert Najvirt and
               Thomas Nowak and
               Ulrich Schmid},
  title = {Towards Binary Circuit Models That Faithfully Capture Physical Solvability},
  pages = {1455--1460},
  booktitle = {Design, Automation \& Test in Europe (DATE)},
  year = {2015},
  url = {http://ieeexplore.ieee.org/document/7092619/},
  hal = {https://hal.archives-ouvertes.fr/hal-01107436}
}
@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},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@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}
}
@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}
}
@inproceedings{BRSSW15:netsys,
  author = {Martin Biely and
               Peter Robinson and
               Ulrich Schmid and
               Manfred Schwarz and
               Kyrill Winkler},
  title = {Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic
               Networks},
  booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
               Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
  pages = {109--124},
  year = {2015},
  url = {https://doi.org/10.1007/978-3-319-26850-7\_8},
  doi = {10.1007/978-3-319-26850-7\_8}
}
@inproceedings{NS15:async,
  author = {Robert Najvirt and Andreas Steininger},
  booktitle = {21st IEEE International Symposium on Asynchronous Circuits and Systems},
  title = {How to Synchronize a Pausible Clock to a Reference},
  year = {2015},
  pages = {9--16},
  doi = {10.1109/ASYNC.2015.10},
  issn = {1522-8681},
  month = {May}
}
@article{PNBS15:jcsc,
  author = {Polzer, Thomas and Najvirt, Robert and Beck, Florian and Steininger, Andreas},
  title = {On the Appropriate Handling of Metastable Voltages in FPGAs},
  journal = {Journal of Circuits, Systems and Computers},
  volume = {25},
  number = {03},
  year = {2016},
  doi = {10.1142/S021812661640020X},
  url = {http://www.worldscientific.com/doi/abs/10.1142/S021812661640020X},
  eprint = {http://www.worldscientific.com/doi/pdf/10.1142/S021812661640020X}
}
@inproceedings{NS15:patmos,
  author = {Robert Najvirt and Andreas Steininger},
  booktitle = {Power and Timing Modeling, Optimization and Simulation (PATMOS), 2015 25th International Workshop on},
  title = {A versatile and reliable glitch filter for clocks},
  year = {2015},
  pages = {140--147},
  doi = {10.1109/PATMOS.2015.7347599},
  month = {Sept}
}
@inproceedings{NS15:ecctd,
  author = {Robert Najvirt and Andreas Steininger},
  booktitle = {Circuit Theory and Design (ECCTD), 2015 European Conference on},
  title = {A pausible clock with crystal oscillator accuracy},
  year = {2015},
  pages = {1--4},
  doi = {10.1109/ECCTD.2015.7300051},
  month = {Aug}
}
@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}
}
@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}
}
@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}
}
@inproceedings{SMN16:async,
  author = {Andreas Steininger and J\"urgen Maier and Robert Najvirt},
  booktitle = {22nd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  title = {The Metastable Behavior of a Schmitt-Trigger},
  year = {2016},
  pages = {57--64},
  doi = {10.1109/ASYNC.2016.19},
  month = {May}
}
@inproceedings{SWS16:icdcn,
  author = {Schwarz, Manfred and Winkler, Kyrill and Schmid, Ulrich},
  title = {Fast Consensus Under Eventually Stabilizing Message Adversaries},
  booktitle = {Proceedings of the 17th International Conference on Distributed Computing and Networking},
  series = {ICDCN '16},
  year = {2016},
  isbn = {978-1-4503-4032-8},
  location = {Singapore, Singapore},
  pages = {7:1--7:10},
  articleno = {7},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/2833312.2833323},
  doi = {10.1145/2833312.2833323},
  acmid = {2833323},
  publisher = {ACM},
  address = {New York, NY, USA}
}
@inproceedings{SNM16:dsd,
  author = {Andreas Steininger and Robert Najvirt and J\"urgen Maier},
  booktitle = {2016 Euromicro Conference on Digital System Design (DSD)},
  title = {Does Cascading Schmitt-Trigger Stages Improve the Metastable Behavior?},
  year = {2016},
  pages = {372-379},
  doi = {10.1109/DSD.2016.56},
  month = {Aug}
}
@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 = {https://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 = {https://www.lsv.fr/~mfuegger/papers/FKLP17_async.pdf},
  hal = {https://hal.archives-ouvertes.fr/hal-01652787}
}
@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)},
  doi = {10.4230/LIPIcs.DISC.2017.51},
  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 = {https://www.lsv.fr/~mfuegger/papers/FNS18_disc.pdf}
}
@inproceedings{NPS17:async,
  author = {Robert Najvirt and Thomas Polzer and Andreas Steininger},
  booktitle = {23rd IEEE International Symposium on Asynchronous Circuits
  and Systems (ASYNC)},
  title = {Measuring Metastability with Free-Running Clocks},
  year = {2017},
  pages = {18-24},
  doi = {10.1109/ASYNC.2017.18},
  month = {May}
}
@inproceedings{PHS17:ddecs,
  author = {Thomas Polzer and Florian Huemer and Andreas Steininger},
  booktitle = {IEEE 20th International Symposium on Design and Diagnostics
  of Electronic Circuits Systems (DDECS)},
  title = {Measuring metastability using a time-to-digital converter},
  year = {2017},
  pages = {116-121},
  doi = {10.1109/DDECS.2017.7934582},
  month = {April}
}
@article{PS17:jcsc,
  title = {A Model for the Metastability Delay of Sequential Elements},
  author = {Thomas Polzer and Andreas Steininger},
  year = {2017},
  doi = {https://doi.org/10.1142/S0218126617400102},
  researchr = {https://researchr.org/publication/PolzerS17},
  cites = {0},
  citedby = {0},
  journal = {Journal of Circuits, Systems, and Computers},
  volume = {26},
  number = {8},
  pages = {1-22}
}
@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 = {https://www.lsv.fr/~mfuegger/papers/FMNNS18_date.pdf},
  url = {https://ieeexplore.ieee.org/abstract/document/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},
  doi = {10.1109/TC.2018.2808185},
  issn = {0018-9340},
  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}
}
@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},
  pages = {68-77},
  doi = {10.1109/ASYNC.2018.00025},
  issn = {1522-8681},
  month = {May},
  booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  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)},
  year = {2018},
  isbn = {978-1-4503-5795-1},
  location = {Egham, United Kingdom},
  pages = {325--334},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/3212734.3212762},
  doi = {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}
}
@article{BRSSW18:tcs,
  author = {Martin Biely and Peter Robinson and Ulrich Schmid and Manfred Schwarz and Kyrill Winkler},
  title = {Gracefully degrading consensus and k-set agreement in directed dynamic networks},
  journal = {Theoretical Computer Science},
  volume = {726},
  pages = {41--77},
  year = {2018},
  issn = {0304-3975},
  doi = {https://doi.org/10.1016/j.tcs.2018.02.019},
  url = {http://www.sciencedirect.com/science/article/pii/S0304397518301166}
}
@article{PHS18:mr,
  author = {Thomas Polzer and Florian Huemer and Andreas Steininger},
  title = {Refined metastability characterization using a time-to-digital converter},
  journal = {Microelectronics Reliability},
  volume = {80},
  pages = {91 - 99},
  year = {2018},
  issn = {0026-2714},
  doi = {https://doi.org/10.1016/j.microrel.2017.11.017},
  url = {http://www.sciencedirect.com/science/article/pii/S0026271417305462}
}
@inproceedings{HPS18:ddecs,
  author = {Florian Huemer and Thomas Polzer and Andreas Steininger},
  booktitle = {2018 IEEE 21st International Symposium on Design and Diagnostics of Electronic Circuits Systems (DDECS)},
  title = {Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA},
  year = {2018},
  pages = {141--146},
  doi = {10.1109/DDECS.2018.00032},
  issn = {2473-2117},
  month = {April}
}
@inproceedings{PS18:otrs,
  author = {Martin Perner and
               Ulrich Schmid},
  title = {Self-Stabilizing High-Speed Communication in Multi-Synchronous {GALS}
               Architectures},
  booktitle = {24th {IEEE} International Symposium on On-Line Testing And Robust
               System Design, {IOLTS} 2018, Platja D'Aro, Spain, July 2-4, 2018},
  pages = {157--164},
  year = {2018},
  url = {https://doi.org/10.1109/IOLTS.2018.8474221},
  doi = {10.1109/IOLTS.2018.8474221}
}
@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 = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  pages = {},
  notes = {to appear}
}
@inproceedings{MS19:async,
  author = {J\"urgen Maier and
                Andreas Steininger},
  title = {Efficient Metastability Characterization for Schmitt-Triggers},
  year = {2019},
  booktitle = {IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)},
  pages = {},
  notes = {to appear}
}