Publications

Shows publications by members of the Embedded Systems group.

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

Conference Papers

T. Schlögl, U. Schmid, R. Kuznets: The Persistence of False Memory: Brain in a Vat despite Perfect Clocks
PRIMA 2020, Japan; in: PRIMA 2020: Principles and Practice of Multi-Agent Systems, Springer Nature Switzerland AG, 2020, ISBN: 978-3-030-69322-0, p. 403 - 411
bib details doi

F. Khalid, M. Hanif, M. Shafique: Exploiting Vulnerabilities in Deep Neural Networks: Adversarial and Fault-Injection Attacks
The Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, Nice, France; in: Proceedings of the Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, 2020, ISBN: 978-1-61208-818-1, p. 24 - 29
bib details

M. Morid Ahmadi, F. Khalid, M. Shafique: Side-Channel Attacks on RISC-V Processors: Current Progress, Challenges, and Opportunities
The Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, Nice, France; in: Proceedings of the Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, 2020, ISBN: 978-1-61208-818-1, p. 1 - 6
bib details

R. Putra, M. Hanif, M. Shafique: DRMap: A Generic DRAM Data Mapping Policy for Energy-Efficient Processing of Convolutional Neural Networks
2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA (Virtual); in: Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC), IEEE, 2020, ISSN: 0738-100x, p. 1 - 6
bib details doi

M. Brandalero, B. Lignati, A. C. S. Beck, M. Shafique, M. Hübner: Proactive Aging Mitigation in CGRAs through Utilization-Aware Allocation
2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA (Virtual); in: Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC), IEEE, 2020, ISSN: 0738-100x, p. 1 - 6
bib details

more...

Presentations

T. Schlögl, U. Schmid, R. Kuznets: The Persistence of False Memory: Brain in a Vat despite Perfect Clocks
PRIMA 2020, Japan; in: PRIMA 2020: Principles and Practice of Multi-Agent Systems, Springer Nature Switzerland AG, 2020, ISBN: 978-3-030-69322-0, p. 403 - 411
bib details doi

F. Khalid, M. Hanif, M. Shafique: Exploiting Vulnerabilities in Deep Neural Networks: Adversarial and Fault-Injection Attacks
The Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, Nice, France; in: Proceedings of the Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, 2020, ISBN: 978-1-61208-818-1, p. 24 - 29
bib details

M. Morid Ahmadi, F. Khalid, M. Shafique: Side-Channel Attacks on RISC-V Processors: Current Progress, Challenges, and Opportunities
The Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, Nice, France; in: Proceedings of the Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, 2020, ISBN: 978-1-61208-818-1, p. 1 - 6
bib details

R. Putra, M. Hanif, M. Shafique: DRMap: A Generic DRAM Data Mapping Policy for Energy-Efficient Processing of Convolutional Neural Networks
2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA (Virtual); in: Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC), IEEE, 2020, ISSN: 0738-100x, p. 1 - 6
bib details doi

M. Brandalero, B. Lignati, A. C. S. Beck, M. Shafique, M. Hübner: Proactive Aging Mitigation in CGRAs through Utilization-Aware Allocation
2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA (Virtual); in: Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC), IEEE, 2020, ISSN: 0738-100x, p. 1 - 6
bib details

more...

Journal Papers

M. Zeiner, U. Schmid, K. Chatterjee: Optimal strategies for selecting coordinators
Discrete Applied Mathematics, 289 (2021), p. 392 - 415
bib details doi

A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee: Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), p. 3981 - 3992
bib details doi

M Függer, T. Nowak, K. Winkler: On the radius of nonsplit graphs and information dissemination in dynamic networks
Discrete Applied Mathematics, 282 (2020), p. 257 - 264
bib details doi

Z. Yahya, M. Hassan, S. Younis, M. Shafique: Probabilistic Analysis of Targeted Attacks Using Transform-Domain Adversarial Examples
IEEE Access, 8 (2020), p. 33855 - 33869
bib details doi

V. Rathore, V. Chaturvedi, A. K. Singh, T. Srikanthan, M. Shafique: Longevity Framework: Leveraging Online Integrated Aging-Aware Hierarchical Mapping and VF-Selection for Lifetime Reliability Optimization in Manycore Processors
IEEE Transactions on Computers, Early Access (2020), p. 1 - 14
bib details doi

more...

Editorials

T. Theocharides, M. Shafique, J. Choi, O. Mutlu: Guest Editors´ Introduction: Robust Resource-Constrained Machine Learning
Ieee Design & Test, 37 (2020), p. 5 - 7
bib details doi

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

more...

Books

M. Hanif, F. Khalid, R. Putra, M. T. Teimoori, F. Kriebel, J. Zhang, K. Liu, S. Rehman, T. Theocharides, A. Artusi, S. Garg, M. Shafique: Robust Computing for Machine Learning-Based Systems
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 479 - 503
bib details doi

M. Salehi, F. Kriebel, S. Rehman, M. Shafique: Power-Aware Fault-Tolerance for Embedded Systems
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 565 - 588
bib details doi

F. Kriebel, F. Khalid, B. Prabakaran, S. Rehman, M. Shafique: Fault-Tolerant Computing with Heterogeneous Hardening Modes
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 161 - 180
bib details doi

F. Kriebel, K. Chen, S. Rehman, J. Henkel, J. Chen, M. Shafique: Dependable Software Generation and Execution on Embedded Systems
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 139 - 160
bib details doi

A. Herkersdorf, M. Engel, M. Glaß, J. Henkel, V. Kleeberger, J. Kühn, P. Marwedel, D. Mueller-Gritschneder, S. Nassif, S. Rehman, W. Rosenstiel, U. Schlichtmann, M. Shafique, J. Teich, N. Wehn, C. Weis: RAP Model-Enabling Cross-Layer Analysis and Optimization for System-on-Chip Resilience
Dependable Embedded Systems, J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, p. 1 - 27
bib details doi

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

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.