Publications

Shows all publications by members of the Institute of Computer Engineering.

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

Conference Papers

C. Pachajoa, M. Levonyak, C. Pacher, J. Träff, W. Gansterer: Classical and pipelined preconditioned conjugate gradient methods with node-failure resilience
Austrian HPC Meeting 2020 (AHPC 2020), Klosterneuburg, Austria; in: Austrian High-Performance-Computing Meeting (AHPC 2020), A. Schlögl, J. Kiss, S. Elefante (ed.); IST Austria, 2020, ISBN: 978-3-99078-004-6, p. 13
bib details doi

M. Lehr, K. von Kirchbach: Improved Cartesian Topology Mapping in MPI
Austrian HPC Meeting 2020 (AHPC 2020), Klosterneuburg, Austria; in: Austrian High-Performance-Computing Meeting (AHPC 2020), A. Schlögl, J. Kiss, S. Elefante (ed.); IST Austria, 2020, ISBN: 978-3-99078-004-6, p. 27
bib details doi

J. Träff: Exploiting Multi-lane Communication in MPI Collectives
Austrian HPC Meeting 2020 (AHPC 2020), Klosterneuburg, Austria; in: Austrian High-Performance-Computing Meeting (AHPC 2020), A. Schlögl, J. Kiss, S. Elefante (ed.); IST Austria, 2020, ISBN: 978-3-99078-004-6, p. 30
bib details doi

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

M. Di Angelo, G. Salzer: Characterizing Types of Smart Contracts in the Ethereum Landscape
4th Workshop on Trusted Smart Contracts, Financial Cryptography 2020, Kota Kinabalu, Malaysia; in: Proc. 4th Workshop on Trusted Smart Contracts, Financial Cryptography 20, Springer, LNCS (2020); 15 pages
bib details pdf

more...

Presentations

C. Pachajoa, M. Levonyak, C. Pacher, J. Träff, W. Gansterer: Classical and pipelined preconditioned conjugate gradient methods with node-failure resilience
Austrian HPC Meeting 2020 (AHPC 2020), Klosterneuburg, Austria; in: Austrian High-Performance-Computing Meeting (AHPC 2020), A. Schlögl, J. Kiss, S. Elefante (ed.); IST Austria, 2020, ISBN: 978-3-99078-004-6, p. 13
bib details doi

M. Lehr, K. von Kirchbach: Improved Cartesian Topology Mapping in MPI
Austrian HPC Meeting 2020 (AHPC 2020), Klosterneuburg, Austria; in: Austrian High-Performance-Computing Meeting (AHPC 2020), A. Schlögl, J. Kiss, S. Elefante (ed.); IST Austria, 2020, ISBN: 978-3-99078-004-6, p. 27
bib details doi

J. Träff: Exploiting Multi-lane Communication in MPI Collectives
Austrian HPC Meeting 2020 (AHPC 2020), Klosterneuburg, Austria; in: Austrian High-Performance-Computing Meeting (AHPC 2020), A. Schlögl, J. Kiss, S. Elefante (ed.); IST Austria, 2020, ISBN: 978-3-99078-004-6, p. 30
bib details doi

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

M. Di Angelo, G. Salzer: Characterizing Types of Smart Contracts in the Ethereum Landscape
4th Workshop on Trusted Smart Contracts, Financial Cryptography 2020, Kota Kinabalu, Malaysia; in: Proc. 4th Workshop on Trusted Smart Contracts, Financial Cryptography 20, Springer, LNCS (2020); 15 pages
bib details pdf

more...

Journal Papers

R. Ganian, M. Kronegger, A. Pfandler, A. Popa: Parameterized Complexity of Asynchronous Border Minimization
Algorithmica, 81 (2019), p. 201 - 223
bib details doi

M. Landauer, F. Skopik, M. Wurzenberger, A. Rauber: System Log Clustering Approaches for Cyber Security Applications: A Survey
Computers & Security, 92 (2020), p. 1 - 17
bib details doi

P. Puschner, R. Kirner: Asynchronous vs. synchronous interfacing to time-triggered communication systems
Journal of Systems Architecture, 103 (2020)
bib details doi pdf

A. Islam, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka: Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
Theoretical Computer Science, . (2019), p. 158 - 169
bib details

S. Grünbacher, J. Cyranka, A. Islam, M. Tschaikowski, S. Smolka, R. Grosu: Under the Hood of a Stand-Alone Lagrangian Reachability Tool
EPiC Series in Computing, . (2019), p. 211 - 219
bib details

more...

Editorials

H. Kopetz: Simplicity is Complex
Springer, 2019, ISBN: 978-3-030-20410-5; 148 pages
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

E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 978-3-030-31513-9; 301 pages
bib details doi

more...

Books

A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu: Statistical model checking
Computing and Software Science, Springer LNCS, 2019, p. 478 - 504
bib details

N. Stifter, A. Judmayer, E. Weippl: Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies
Security and Quality in Cyber-Physical Systems Engineering, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-030-25311-0
bib details doi

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

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

M. Kratochwill: Increased Efficiency through Test Automation in Electronics Development (Master's Thesis)
reviewers: S. Poledna, W. Steiner; E191, 2019; oral examination: 2019-11-20
bib details

T. Preindl: Selecting sensor redundancies in cyber physical systems for fault detection using ontological information (Master's Thesis)
reviewer: W. Kastner; Institute of Computer Engineering, 2019; oral examination: 2019-10-08
bib details pdf

D. Ramsauer: OPC UA/DDS Gateway (Master's Thesis)
reviewer: W. Kastner; Institute of Computer Engineering, 2019; oral examination: 2019-06-05
bib details pdf

more...

Reports, Miscellaneous

J. Träff: Decomposing Collectives for Exploiting Multi-lane Communication
CoRR - Computing Research Repository, arXiv:1910.13373, 2019; 77 pages
bib details

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

C. Pachajoa, M. Levonyak, W. Gansterer, J. Träff: How to Make the Preconditioned Conjugate Gradient Method Resilient Against Multiple Node Failures
CoRR - Computing Research Repository, arXiv:1907.13077, 2019; 10 pages
bib details

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

M. Kainer, J. Träff: More Parallelism in Dijkstra's Single-Source Shortest Path Algorithm
CoRR - Computing Research Repository, arXiv:1903.12085, 2019; 29 pages
bib details

more...

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