Publications

Shows publications by members of the Embedded Systems group.

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

Journal Papers

D. Öhlinger, J. Maier, M Függer, U. Schmid: The Involution Tool for Accurate Digital Timing and Power Analysis
Integration the VLSI journal, 2021, p. 87 - 98
bib details doi pdf

A. Hassan, F. Khalid, H. Tariq, M. Hanif, R. Ahmed, S. Rehman: SSCNets: Robustifying DNNs using Secure Selective Convolutional Filters.
Ieee Design & Test, 37 (2020), p. 1 - 8
bib details doi

M Függer, R. Najvirt, T. Nowak, U. Schmid: A Faithful Binary Circuit Model
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), p. 2784 - 2797
bib details doi pdf

J. Otepka, G. Mandlburger, M. Schütz, N. Pfeifer, M. Wimmer: Efficient Loading And Visualization Of Massive Feature-Rich Point Clouds Without Hierarchical Acceleration Structures
International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS Archives), XLIII-B2-2020 (2020), p. 293 - 300
bib details doi

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

more...

Presentations

R. Kuznets, B. Lellmann (invited): Interpolation for Intermediate Logics via Injective Nested Sequents
Online Partout Seminar, Online, France
bib details

G. Cignarale, G. Primiero: A Multi-Agent Depth Bounded Boolean Logic
CIFMA-2020, Cognition: Interdisciplinary Foundations, Models and Applications, online; in: CIFMA-2020, Cognition: Interdisciplinary Foundations, Models and Applications, 2020, p. 1 - 16
bib details pdf

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

more...

Conference Papers

F. Khalid, A. Hassan, M. Hanif, S. Rehman, R. Ahmed, M. Shafique: FaDec: A Fast Decision-based Attack for Adversarial Machine Learning
IEEE International Joint Conference on Neural Networks (IJCNN), IJCNN, 2020, ISBN: 978-1-7281-6926-2, p. 1 - 8
bib details doi

G. Cignarale, G. Primiero: A Multi-Agent Depth Bounded Boolean Logic
CIFMA-2020, Cognition: Interdisciplinary Foundations, Models and Applications, online; in: CIFMA-2020, Cognition: Interdisciplinary Foundations, Models and Applications, 2020, p. 1 - 16
bib details pdf

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

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

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.