Publications

Shows publications by members of the Embedded Systems group.

Currently giving an overview of all categories - show all...

Reports, Miscellaneous

M. Perner, U. Schmid: Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures
Institut für Technische Informatik, TUW-268547, 2018
bib details pdf

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
Institut für Computer Engineering E191-02, TUW-281149, 2019
bib details pdf

R. Kuznets (invited): Extrapolating Interpolation
Proof Theory in Logic workshop, Utrecht
bib details

A. Kinali, C. Lenzen, M. Perner: Fault-tolerant High-Performance Clock Distribution
TUW-278925, 2019
bib details pdf

L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux: Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone
Institut für Technische Informatik, TUW-260549, 2019
bib details pdf

more...

Theses

W. Ramsl: Fault Masking in Synchronous and in Asynchronous Logic - A Comparison (Master's Thesis)
reviewer: A. Steininger; 191-02, 2019
bib details

J. Obermüller: SoC FPGA Oszilloskop - Implementierung eines Oszilloskops auf einem FPGA mit eingebettetem Prozessor (Master's Thesis)
reviewer: A. Steininger; 191-02, 2018
bib details

B. Fritz: Operation and Verification Framework for the FRad Experimental ASIC (Master's Thesis)
reviewer: A. Steininger; 191-02, 2018
bib details

M. Schütz: COTS FPGAs in Space -- From old Concerns to new Possibilities (Master's Thesis)
reviewer: A. Steininger; 191-02, 2018
bib details

S. Resch: Hardware Description with Timing Requirements (Master's Thesis)
reviewer: A. Steininger; 191-02, 2011
bib details

more...

Conference Papers

A. Paverd, M. Völp, F. Brasser, M. Schunter, N. Asokan, A. Sadeghi, P. Esteves-Verissimo, A. Steininger, T. Holz: Sustainable Security & Safety: Challenges andOpportunities
4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019), Stuttgart; in: Proceedings 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019), 2019, ISBN: 978-3-95977-119-1; 13 pages
bib details doi pdf

K. Fruzsa: Hope for Epistemic Reasoning with Faulty Agents!
31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, Latvia; in: ESSLLI 2019 Student Session, 2019, p. 169 - 180
bib details

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa: Epistemic Reasoning with Byzantine-Faulty Agents
FroCoS 2019: Frontiers of Combining Systems, London, UK; in: Frontiers of Combining Systems, 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, A. Herzig, A. Popescu (ed.); Springer, 2019, ISBN: 978-3-030-29006-1, p. 259 - 276
bib details doi

A. Steininger, M. Schwendinger: A Systematic Approach to Clock Failure Detection
Austrochip Workshop on Microelectronics, Wien; in: 2019 Austrochip Workshop on Microelectronics (Austrochip), 2019, ISBN: 978-1-7281-1953-3, p. 35 - 42
bib details doi

A. Marchisio, G. Nanfa, M. Martina, M. Shafique: Security Vulnerabilities of Deep, Capsule and Spiking Neural Networks against Adversarial Attacks
IEEE International Workshop on Robust and Trustworthy Machine Learning (RTML) 2019, Washington DC, USA; in: Proceedings of IEEE International Workshop on Robust and Trustworthy Machine Learning (RTML) 2019, 2019, p. 1 - 4
bib details

more...

Presentations

A. Paverd, M. Völp, F. Brasser, M. Schunter, N. Asokan, A. Sadeghi, P. Esteves-Verissimo, A. Steininger, T. Holz: Sustainable Security & Safety: Challenges andOpportunities
4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019), Stuttgart; in: Proceedings 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019), 2019, ISBN: 978-3-95977-119-1; 13 pages
bib details doi pdf

K. Fruzsa: Hope for Epistemic Reasoning with Faulty Agents!
31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, Latvia; in: ESSLLI 2019 Student Session, 2019, p. 169 - 180
bib details

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa: Epistemic Reasoning with Byzantine-Faulty Agents
FroCoS 2019: Frontiers of Combining Systems, London, UK; in: Frontiers of Combining Systems, 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, A. Herzig, A. Popescu (ed.); Springer, 2019, ISBN: 978-3-030-29006-1, p. 259 - 276
bib details doi

R. Kuznets, B. Lellmann (invited): Translating Quantitative Semantic Bounds into Nested Sequents
Fifth TICAMORE MEETING, Wien
bib details

R. Kuznets: Time and Retrocausality in Distributed Systems
Goedel's Legacy, Wien
bib details

more...

Books

A. Steininger: A Measuring Methodology for Fault-Injection Experiments in Computing Systems
Österreichischer Kunst- und Kulturverlag, Wien, 1994, ISBN: 3-85437-079-2; 113 pages
bib details

M. Hanif, M. Javed, R. Hafiz, S. Rehman, M. Shafique: Hardware-Software Approximations for Deep Neural Networks
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 269 - 288
bib details doi

B. Prabakaran, W. El-Harouni, S. Rehman, M. Shafique: Approximate Multi-Accelerator Tiled Architecture for Energy-Efficient Motion Estimation
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 249 - 268
bib details doi

S. Mazahir, M. Ayub, O. Hasan, M. Shafique: Probabilistic Error Analysis of Approximate Adders and Multipliers
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 99 - 120
bib details doi

S. Rehman, B. Prabakaran, W. El-Harouni, M. Shafique, J. Henkel: Heterogeneous Approximate Multipliers: Architectures and Design Methodologies
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 45 - 66
bib details doi

more...

Journal Papers

U. Schmid: Design and Implementation of the Bachelor with Honors Program at TU Wien
Journal of the European Honors Council, 3 (2019); 9 pages
bib details doi pdf

T. Polzer, F. Huemer, A. Steininger: An Experimental Study of Metastability-Induced Glitching Behavior
Journal of Circuits, Systems, and Computers, 28 (2019); 21 pages
bib details doi pdf

M. Zeiner, M. Schwarz, U. Schmid: On Linear-Time Data Dissemination in Dynamic Rooted Trees
Discrete Applied Mathematics, 255 (2019), p. 307 - 319
bib details doi pdf

M. Hanif, M. Shafique: SalvageDNN: Salvaging Deep Neural Network Accelerators with Permanent Faults through Saliency-driven Fault-aware Mapping
Philosophical Transactions of The Royal Society A, 378 (2019), p. 1 - 23
bib details doi

J. Castro-Godinez, M. Shafique, J. Henkel: ECAx: Balancing Error Correction Costs in Approximate Accelerators
ACM Transactions on Embedded Computing Systems, 18 (2019), p. 1 - 20
bib details doi

more...

Editorials

P. Jayanti, N. Lynch, B. Patt-Shamir, U. Schmid: 2019 Principles of Distributed Computing Doctoral Dissertation Award
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC'19), ACM, 2019, p. 2
bib details doi pdf

M. Krstic, I. Jones, A. Steininger, M Függer: Special Issue "Selected Papers from the 24th IEEE International Symposium on Asynchronous Circuits and Systems - ASYNC 2018"
Journal of Low Power Electronics and Applications, 9 (2019); 2 pages
bib details

S. Reda, M. Shafique: Approximate Circuits: Methodologies and CAD
Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8; 495 pages
bib details doi

D. Zhu, M. Shafique, M. Lin, S. Pasricha: Guest Editorial: Special Issue on Low-Power Dependable Computing
IEEE Transactions on Sustainable Computing, 3 (2018), p. 137 - 138
bib details doi

U. Schmid, J. Widder: Proceedings 32nd International Symposium on Distributed Computing
Dagstuhl Publishing LIPICS, 2018, ISBN: 978-3-95977-092-7; 736 pages
bib details doi pdf

more...

Older Publications

Older and additional publications may be found on an external server at http://www.vmars.tuwien.ac.at/papers/papers.html.