Publications

Shows publications by members of the Embedded Systems group.

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

Conference Papers

K. Winkler, U. Schmid, Y. Moses: A Characterization of Consensus Solvability for Closed Message Adversaries
23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Neuchâtel, Switzerland; in: 23rd International Conference on Principles of Distributed Systems, 2019, p. 17:1 - 17:16
bib details doi

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

more...

Presentations

K. Winkler, U. Schmid, Y. Moses: A Characterization of Consensus Solvability for Closed Message Adversaries
23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Neuchâtel, Switzerland; in: 23rd International Conference on Principles of Distributed Systems, 2019, p. 17:1 - 17:16
bib details doi

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

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

M. Perner: Fault-Tolerant Clock Distribution in Grid-Like Networks (PhD Thesis)
reviewers: U. Schmid, A. Jantsch, M. Krstic; Institut für Computer Engineering (E191-02), 2019; oral examination: 2019-10-16
bib details pdf

K. Winkler: Characterization of Consensus Solvability under Message Adversaries (PhD Thesis)
reviewers: U. Schmid, S. Rajsbaum, S. Schmid; Institut für Computer Engineering, 2019; oral examination: 2019-10-23
bib details pdf

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

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. 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

R. Amjad, R. Hafiz, M. Ilyas, M. Younis, M. Shafique: m-SAAC: Multi-stage Adaptive Approximation Control to Select Approximate Computing Modes for Vision Applications
Microelectronics Journal, 91 (2019), p. 84 - 91
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...

Books

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

M. Hanif, R. Hafiz, M. Shafique: Configurable Models and Design Space Exploration for Low-Latency Approximate Adders
Approximate Circuits: Methodologies and CAD, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, p. 3 - 23
bib details doi

more...

Reports, Miscellaneous

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

D. Öhlinger: Involution Tool
TUW-278633, 2018
bib details 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.