Publications

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

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

Theses

A. Brandstätter: Local Positioning System for Quadcopters (Master's Thesis)
reviewers: R. Grosu, C. Hirsch, B. Frömel; Institute of Computer Engineering, 2019; oral examination: 2019-06-07
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

M. Lehr: Efficient Process Mapping for Cartesian Topologies (Master's Thesis)
reviewer: J. Träff; Institute of Computer Engineering, Research Division of Parallel Computing, 2019
bib details

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

more...

Conference Papers

C. Hirsch, E. Bartocci, R. Grosu: Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; in: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), 2019, ISSN: 0747-668x, p. 97 - 102
bib details doi

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Pisa, Italy; in: Stabilization, Safety, and Security of Distributed Systems, Lecture Notes in Computer Science / Springer, vol 11914 / Cham (2019), ISSN: 0302-9743, p. 307 - 322
bib details doi

I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger: Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2019, p. 357 - 374
bib details pdf

N. Bertrand, I. Konnov, M. Lazić, J. Widder: Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries
30th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2019, p. 33:1 - 33:15
bib details doi pdf

I. Haghighi, N. Mehdipour, E. Bartocci, C. Belta: Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
2019 IEEE Conference on Decision and Control (CDC), Nice, France; in: Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control, IEEE, 2019
bib details pdf

more...

Presentations

C. Hirsch, E. Bartocci, R. Grosu: Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home
2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), Ancona, Italien; in: 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT), 2019, ISSN: 0747-668x, p. 97 - 102
bib details doi

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Pisa, Italy; in: Stabilization, Safety, and Security of Distributed Systems, Lecture Notes in Computer Science / Springer, vol 11914 / Cham (2019), ISSN: 0302-9743, p. 307 - 322
bib details doi

J. Träff (invited): Cartesian Collective Communication: "Advice to users", "Advice to implementers", and "Advice to Standardizers"
University of Bordeaux, Bordeaux, France
bib details

I. Haghighi, N. Mehdipour, E. Bartocci, C. Belta: Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
2019 IEEE Conference on Decision and Control (CDC), Nice, France; in: Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control, IEEE, 2019
bib details pdf

E. Bartocci, D. Beyer, P. Black et al.: TOOLympics 2019: An Overview of Competitions in Formal Methods
Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; in: Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, 11429 (2019), p. 3 - 24
bib details doi pdf

more...

Editorials

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

J. Träff, T. Hoefler: Foreword EuroMPI 2019
Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019, T. Hoefler, J. Träff (ed.); ACM, New York, NY, USA, 2019, ISBN: 978-1-4503-7175-9, p. 1:1 - 1:2
bib details doi

T. Hoefler, J. Träff: Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019
ACM, New York, NY, USA, 2019, ISBN: 978-1-4503-7175-9; 134 pages
bib details

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

more...

Journal Papers

H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka, R. Grosu: Quantitative Regular Expressions for Arrhythmia Detection
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16 (2019), p. 1586 - 1597
bib details doi pdf

E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, K Havelund, Y. Joshi, K. Felix et al.: First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
International Journal on Software Tools for Technology Transfer, 21 (2019), p. 31 - 70
bib details doi pdf

C. Sánchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstic, J. Lourenço, D. Nickovic, G. Pace, J. Rufino, S. Signoles, D. Traytel, A. Weiss: A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal Methods in System Design, 54 (2019), p. 279 - 335
bib details doi pdf

K. Winkler, U. Schmid: An Overview of Recent Results for Consensus in Directed Dynamic Networks
Bulletin of the EATCS, 128 (2019); 30 pages
bib details

K. Winkler, M. Schwarz, U. Schmid: Consensus in rooted dynamic networks with short-lived stability
Distributed Computing, 32 (2019), p. 443 - 458
bib details doi

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

Books

R. Kuznets: Through an Inference Rule, Darkly
Mathesis Universalis, Computability and Proof, S. Centrone, S. Negri, D. Sarikaya, P. Schuster (ed.); Springer International Publishing, Cham, 2019, ISBN: 978-3-030-20446-4, p. 131 - 158
bib details doi

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

more...

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