| Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Vilanek, Johann | Zutrittskontrolle und Überwachung der Laborräume des Instituts für Technische Informatik | Bericht Report | 2002 |
| 2 | | Prabakaran, Bharath Srinivas ; Rehman, Semeen ; Shafique, Muhammad | XBioSiP | Konferenzbeitrag Inproceedings  | 2019 |
| 3 | | Brunvand, Erik ; Stevens, Ken ; Moreira, Matheus ; Steininger, Andreas | Welcome Message: ASYNC 2020 | Konferenzbeitrag Inproceedings | 2020 |
| 4 | | Biely, Martin ; Robinson, Peter ; Schmid, Ulrich | Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement | Konferenzbeitrag Inproceedings | 2009 |
| 5 | | Stratil, Hannes | Voronoi supported communication in Wireless ad-hoc Networks | Konferenzbeitrag Inproceedings | 2005 |
| 6 | | Ferringer, Markus ; Fuchs, Gottfried ; Steininger, Andreas ; Kempf, Gerald | VLSI Implementation of a Fault-Tolerant Distributed Clock Generation | Konferenzbeitrag Inproceedings | 2006 |
| 7 | | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking | Konferenzbeitrag Inproceedings | 2019 |
| 8 | | Fan, Chuchu ; Meng, Yu ; Maier, Jürgen ; Bartocci, Ezio ; Mitra, Sayan ; Schmid, Ulrich | Verifying nonlinear analog and mixed-signal circuits with inputs | Konferenzbeitrag Inproceedings | 2018 |
| 9 | | Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef | Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries | Konferenzbeitrag Inproceedings | 2019 |
| 10 | | Kottke, Thomas ; Steininger, Andreas | Vergleich zweier zwischen Sicherheit und Performanz rekonfigurierbarer Prozessorsysteme | Konferenzbeitrag Inproceedings | 2007 |
| 11 | | Winkler, Kyrill ; Schmid, Ulrich ; Nowak, Thomas | Valency-Based Consensus Under Message Adversaries Without Limit-Closure | Konferenzbeitrag Inproceedings | 2021 |
| 12 | | Huemer, Florian ; Polzer, Thomas ; Steininger, Andreas | Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA | Konferenzbeitrag Inproceedings | 2018 |
| 13 | | Alrahis, Lilas ; Patnaik, Satwik ; Hanif, Muhammad Abdullah ; Shafique, Muhammad ; Sinanoglu, Ozgur | UNTANGLE: Unlocking Routing and Logic Obfuscation Using Graph Neural Networks-based Link Prediction | Konferenzbeitrag Inproceedings | 2021 |
| 14 | | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Uniform interpolation via nested sequents and hypersequents | Bericht Report | 2021 |
| 15 | | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Uniform Interpolation via Nested Sequents | Konferenzbeitrag Inproceedings | 2021 |
| 16 | | Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich | Unfaithful Glitch Propagation in Existing Binary Circuit Models | Konferenzbeitrag Inproceedings | 2013 |
| 17 | | Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef | Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms | Buchbeitrag Book Contribution | 2014 |
| 18 | | Abbassi, Imran Hafeez ; Khalid, Faiq ; Rehman, Semeen ; Kamboh, Awais Mehmood ; Jantsch, Axel ; Garg, Siddharth ; Shafique, Muhammad | TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint | Konferenzbeitrag Inproceedings | 2019 |
| 19 | | Khalid, Faiq ; Hanif, Muhammad Abdullah ; Rehman, Semeen ; Ahmed, Rehan ; Shafique, Muhammad | TrISec: Training Data-Unaware Imperceptible Security Attacks on Deep Neural Networks | Konferenzbeitrag Inproceedings | 2019 |
| 20 | | Hoang, Le-Ha ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | TRe-Map: Towards Reducing the Overheads of Fault-Aware Retraining of Deep Neural Networks by Merging Fault Maps | Konferenzbeitrag Inproceedings | 2021 |
