Publications

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

Currently viewing all publications chronologically - back to overwiew...

A. Fernbach: Semantic Evolution in Automation Systems Integration (PhD Thesis)
reviewers: W. Kastner, A. Mahdavi, M. Wollschläger; Fakultät für Informatik - Automation Systems Group, 2018; oral examination: 2018-06-27
bib details pdf

A. Schöbel, J. Blieberger, C. Schöbel: Application of Kronecker Algebra for Railway Line Zagreb-Rijeka
CETRA 2018, Zadar; in: CETRA 2018, Department of Transportation, Faculty of Ciivil Engineering, University of Zagreb, 2018, ISSN: 1848-9850, p. 1261 - 1264
bib details doi

J. Blieberger, B. Burgstaller: Safe Non-blocking Synchronization in Ada2x
Reliable Software Technologies - Ada-Europe, Lissabon; in: Ada-Europe'2018 International Conference on Reliable Software Technologies, A. Casimiro, P. Ferreira (ed.); Springer-Verlag, LNCS 10873 (2018), ISSN: 0302-9743, p. 53 - 69
bib details doi

M. Pöter, J. Träff: Stamp-it: A more Thread-efficient, Concurrent Memory Reclamation Scheme in the C++ Memory Model
CoRR - Computing Research Repository, arXiv:1805.08639, 2018; 27 pages
bib details

J. Träff: Parallel Quicksort without Pairwise Element Exchange
CoRR - Computing Research Repository, arXiv:1804.07494, 2018; 4 pages
bib details

G. Zucker, A. Sporr, S. Kollmann, A. Wendt, L. Siafara, A. Fernbach: A Cognitive System Architecture for Building Energy Management
IEEE Transactions on Industrial Informatics, 14 (2018), p. 2521 - 2529
bib details doi

M. Pöter, J. Träff: Stamp-it, Amortized Constant-time Memory Reclamation in Comparison to five other Schemes
23rd Symposium on Principles and Practice of Parallel Programming (PPoPP 2018), Vienna, Austria; in: Proceedings of the 23rd Symposium on Principles and Practice of Parallel Programming (PPoPP 2018), ACM, 2018, ISBN: 978-1-4503-4982-6, p. 413 - 414
bib details doi

M. Pöter, J. Träff: Memory Models for C/C++ Programmers
CoRR - Computing Research Repository, arXiv:1803.04432, 2018; 15 pages
bib details

M Függer, J. Maier, R. Najvirt, T. Nowak, U. Schmid: A Faithful Binary Circuit Model with Adversarial Noise
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; in: Proceedings of the 2018 Design, Automation & Test in Europe (DATE), 2018, ISBN: 978-3-9819263-1-6, p. 1327 - 1332
bib details

D. Ratasich, T. Preindl, K. Selyunin, R. Grosu: Self-Healing by Property-Guided Structural Adaptation
1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), St. Petersburg; in: 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018), IEEE, 2018, ISBN: 978-1-5386-6531-2, p. 199 - 205
bib details doi

D. Pfleger, U. Schmid: On Knowledge and Communication Complexity in Distributed Systems
Institute of Computer Engineering, TUW-269752, 2018
bib details pdf

M. Schwarz, U. Schmid: On the Strongest Message Adversary for Consensus in Directed Dynamic Networks
TUW-269285, 2018
bib details pdf

A. Schöbel, C. Schöbel, J. Blieberger: Kronecker Algebra for Managing Rail Capacity
ISEP2018 -- 26th International Symposium on Electronics in Transport, ISEP2018, Ljubljana, 2018, ISBN: 978-961-6187-69-5
bib details

F. Pröstl Andrén: Model-Driven Engineering for Smart Grid Automation (PhD Thesis)
reviewers: W. Kastner, T. Strasser; Institut für Computer Engineering, 2018; oral examination: 2018-03-14
bib details pdf

B. Aminof, S. Rubin, I. Stoilkovska, J. Widder, F. Zuleger: Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles; in: VMCAI, LNCS/Springer, 10747 (2018), p. 1 - 24
bib details doi pdf

T. Polzer, F. Huemer, A. Steininger: Refined Metastability Characterization Using a Time-to-Digital Converter
Microelectronics Reliability, 80 (2018), p. 91 - 99
bib details doi

H. Isakovic, R. Grosu (invited): A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform
Solutions for Cyber-Physical Systems Ubiquity, IGI Global, Hershey PA, USA 17033, 1 (2018), ISBN: 9781522528456, p. 169 - 194
bib details doi

E. Bartocci, E. Aydin Gol, I. Haghighi, C. Belta: A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
IEEE Transactions on Control of Network Systems, 5 (2018), p. 308 - 320
bib details doi pdf

A. Continella, Y. Fratantonio, M. Lindorfer, A. Puccetti, A. Zand, C. Krügel, G. Vigna: Obfuscation-Resilient Privacy Leak Detection for Mobile Apps Through Differential Analysis
Network and Distributed System Security Symposium (NDSS), Internet Society, 2017
bib details doi pdf

Y. Zhu, D. Liu, R. Grosu, X. Wang, H. Duan, G. Wang: A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres
Sensors, 17 (2017)
bib details doi

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 >   >>