|
| | Preview | Author(s) | Title | Type | Issue Date |
| 401 | | Biely, Martin ; Robinson, Peter ; Schmid, Ulrich ; Schwarz, Manfred ; Winkler, Kyrill | Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks | Bericht Report | 2016 |
| 402 | | Zeiner, Martin ; Schmid, Ulrich ; Schilcher, Udo ; Bettstetter, Christian | FWF-Proposal SPRG: Structural Properties of Random Graphs | Bericht Report | 2016 |
| 403 | | Steininger, Andreas | Fifty Shades of Synchrony | Buchbeitrag Book Contribution | 2016 |
| 404 | | Charron-Bost, Bernadette ; Függer, Matthias ; Nowak, Thomas | Fast, Robust, Quantizable Approximate Consensus | Konferenzbeitrag Inproceedings  | 2016 |
| 405 | | Pfleger, Daniel ; Schmid, Ulrich | A Framework for Connectivity Monitoring in Wireless Sensor Networks | Konferenzbeitrag Inproceedings | 2016 |
| 406 | | Zeiner, Martin ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich | Optimal Strategies for Repeated Leader Election | Präsentation Presentation | 2015 |
| 407 | | Schwarz, Manfred ; Winkler, Kyrill ; Schmid, Ulrich | Fast Consensus under Eventually Stabilizing Message Adversaries | Bericht Report | 2015 |
| 408 | | Najvirt, Robert ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich ; Hofbauer, Michael ; Schweiger, Kurt | Experimental Validation of a Faithful Binary Circuit Model | Konferenzbeitrag Inproceedings | 2015 |
| 409 | | Konnov, Igor ; Veith, Helmut ; Widder, Josef | SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms | Konferenzbeitrag Inproceedings | 2015 |
| 410 | | Polzer, Thomas ; Steininger, Andreas | Measuring the Distribution of Metastable Upsets over Time | Konferenzbeitrag Inproceedings | 2015 |
| 411 | | Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef | Decidability of Parameterized Verification | Buch Book | 2015 |
| 412 | | Dolev, Danny ; Függer, Matthias ; Lenzen, Christoph ; Schmid, Ulrich ; Steininger, Andreas | Fault-tolerant Distributed Systems in Hardware | Artikel Article | 2015 |
| 413 | | Függer, Matthias ; Najvirt, Robert ; Nowak, Thomas ; Schmid, Ulrich | Towards binary circuit models that faithfully capture physical solvability | Konferenzbeitrag Inproceedings | 2015 |
| 414 | | Polzer, Thomas ; Najvirt, Robert ; Beck, Florian ; Steininger, Andreas | On the Appropriate Handling of Metastable Voltages in FPGAs | Artikel Article | 2015 |
| 415 | | Függer, Matthias ; Kößler, Alexander ; Nowak, Thomas ; Schmid, Ulrich ; Zeiner, Martin | The effect of forgetting on the performance of a synchronizer | Artikel Article | 2015 |
| 416 | | Steininger, Andreas ; Zimmermann, Horst ; Jantsch, Axel ; Hofbauer, Michael ; Schmid, Ulrich ; Schweiger, Kurt ; Savulimedu Veeravalli, Varadan | Building reliable systems-on-chip in nanoscale technologies | Artikel Article | 2015 |
| 417 | | Resch, Stefan ; Steininger, Andreas ; Scherrer, Christoph | A Composable Real-Time Architecture for Replicated Railway Applications | Artikel Article | 2015 |
| 418 | | Biely, Martin ; Robinson, Peter ; Schmid, Ulrich ; Schwarz, Manfred ; Winkler, Kyrill | Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks | Konferenzbeitrag Inproceedings | 2015 |
| 419 | | Veeravalli, Varadan Savulimedu ; Steininger, Andreas | Can we trust SET Injection Models? | Konferenzbeitrag Inproceedings | 2015 |
| 420 | | Lechner, Jakob ; Steininger, Andreas ; Huemer, Florian | Methods for Analysing and Improving the Fault Resilience of Delay-Insensitive Codes | Konferenzbeitrag Inproceedings | 2015 |
