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, W. Gansterer, J. Träff: How to Make the Preconditioned Conjugate Gradient Method Resilient Against Multiple Node Failures
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 67:1 - 67:10
bib details doi

J. Träff, S. Hunold: Cartesian Collective Communication
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 48:1 - 48:11
bib details doi

W. Kastner, S. Gaida, H. Tellioglu: Knowledge-based building management combining human perception and building automation systems
First International Conference on Societal Automation (SA 2019), Krakow, Poland; in: Proceedings of the First International Conference on Societal Automation (SA 2019), 2019
bib details pdf

M. Schäffer, M. Di Angelo, G. Salzer: Performance and Scalability of Private Ethereum Blockchains
BPM Blockchain and Central and Eastern Europe Forum, Springer, 2019, p. 1 - 15
bib details pdf

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa: Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; in: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), L. Moss (ed.); Electronic Proceedings in Theoretical Computer Science, 297 (2019), ISSN: 2075-2180, p. 293 - 312
bib details doi pdf

more...

Presentations

C. Pachajoa, M. Levonyak, W. Gansterer, J. Träff: How to Make the Preconditioned Conjugate Gradient Method Resilient Against Multiple Node Failures
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 67:1 - 67:10
bib details doi

J. Träff, S. Hunold: Cartesian Collective Communication
48th International Conference on Parallel Processing (ICPP 2019), Kyoto, Japan; in: Proceedings of the 48th International Conference on Parallel Processing (ICPP 2019), ACM, 2019, ISBN: 978-1-4503-6295-5, p. 48:1 - 48:11
bib details doi

W. Kastner, S. Gaida, H. Tellioglu: Knowledge-based building management combining human perception and building automation systems
First International Conference on Societal Automation (SA 2019), Krakow, Poland; in: Proceedings of the First International Conference on Societal Automation (SA 2019), 2019
bib details pdf

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa: Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; in: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), L. Moss (ed.); Electronic Proceedings in Theoretical Computer Science, 297 (2019), ISSN: 2075-2180, p. 293 - 312
bib details doi pdf

S. Yang, S. Jeong, B. Min, Y. Kim, B. Burgstaller, J. Blieberger: Blocking versus Non-Blocking Shared-Memory Multicore Synchronization: Programmability, Scalability and Performance
Reliable Software Technologies - Ada-Europe, Warsaw
bib details

more...

Reports, Miscellaneous

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

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

Journal Papers

J. Träff: On Optimal Trees for Irregular Gather and Scatter Collectives
IEEE Transactions on Parallel and Distributed Systems, Volume 30 (2019), p. 2060 - 2074
bib details doi

M. Kronegger, S. Ordyniak, A. Pfandler: Backdoors to planning
Artificial Intelligence, 269 (2019), p. 49 - 75
bib details doi

J. Fichte, M. Kronegger, S. Woltran (invited): A Multiparametric View on Answer Set Programming
Annals of Mathematics and Artificial Intelligence, 86 (2019), p. 121 - 147
bib details doi

Q. Kang, J. Träff, R. Al-Bahrani, A. Agrawal, A. Choudhary, W. Liao: Scalable Algorithms for MPI Intergroup Allgather and Allgatherv
Parallel Computing, Volume 85 (2019), p. 220 - 230
bib details doi

F. Huemer, A. Steininger: Novel Approaches for Efficient Delay-Insensitive Communication
Journal of Low Power Electronics and Applications, 9 (2019); 41 pages
bib details doi

more...

Books

R. Kuznets, T. Studer: Logics of Proofs and Justifications
College Publications, London, 2019, ISBN: 978-1-84890-168-1; 246 pages
bib details

R. Willmann, W. Kastner: More Deterministic Product Ramp-up in Cloud Manufacturing Scenarios
Mit Innovationsmanagement zu Industrie 4.0: Grundlagen, Strategien, Erfolgsfaktoren und Praxisbeispiele, Springer-Verlag, Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature, 2018, ISBN: 978-3-658-11666-8, p. 125 - 137
bib details doi

S. Pagani, J. Chen, M. Shafique, J. Henkel: Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Springer International Publishing, Switzerland, 2018, ISBN: 978-3-319-77478-7; 250 pages
bib details doi

K. Khdr, S. Pagani, M. Shafique, J. Henkel: Dark Silicon Aware Resource Management for Many-Core Systems
Dark Silicon and Future On-chip Systems, Elsevier, United States, 110 (2018), ISBN: 978-0-12-815358-1, p. 127 - 170
bib details doi

E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 135 - 175
bib details doi

more...

Theses

M. Kainer: More Parallelism in Single-Source Shortest Path Algorithms: Simulation and Implementation (Master's Thesis)
reviewer: J. Träff; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2019-01-24
bib details

M. Spiegel: Linking Simulation and Automation Infrastructure A Study Based on the FMI and IEC 61499 (Master's Thesis)
reviewers: W. Kastner, B. Heinzl; Institute of Computer Engineering, 2018; oral examination: 2018-04-12
bib details

C. Kudera: Negative voltage fault injection attacks on microcontrollers (Master's Thesis)
reviewers: W. Kastner, M. Kammerstetter; Institute of Computer Engineering, 2018; oral examination: 2018-04-12
bib details

A. Ismail: Service oriented manufacturing infrastructure (PhD Thesis)
reviewers: W. Kastner, P. Pop, D. Timmermann; Institute of Computer Engineering, 2018; oral examination: 2018-03-09
bib details

C. Zanabria: Adaptable Engineering Support Framework for Multi-Functional Battery Energy Storage Systems (PhD Thesis)
reviewers: T. Strasser, W. Kastner, A. Zoitl; Institut für Mechanik und Mechatronik, 2018; oral examination: 2018-12-13
bib details pdf

more...

Editorials

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

E. Bartocci, Y. Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 15 (2018), p. 1122 - 1123
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

M. Shafique, S. Garg, V. Chandra: Guest Editors´ Introduction: Computing in the Dark Silicon Era
Ieee Design & Test, 34 (2017); 3 pages
bib details doi

more...

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