Publications

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

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

L. Nenzi, S. Silvetti, E. Bartocci, L. Bortolussi: A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; in: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, 11024 (2018), p. 323 - 338
bib details doi

E. Bartocci: Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)
Proc. of RV 2018: the 18th International Conference on Runtime Verification, Limassol, Cyprus; in: Proc. of RV 2018: the 18th International Conference on Runtime Verification, 11237 (2018), p. 35 - 42
bib details doi

U. Schmid, M. Schwarz, K. Winkler: On the Strongest Message Adversary for Consensus in Directed Dynamic Networks
25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018), Ma'ale HaHamisha, Israel; in: Structural Information and Communication Complexity, Springer International Publishing, 2018, ISSN: 0302-9743, p. 102 - 120
bib details doi

D. Rupprecht, A. Dabrowski, T. Holz, E. Weippl, C. Pöpper: On Security Research towards Future Mobile Network Generations
IEEE Communications Surveys & Tutorials, 20 (2018); 24 pages
bib details doi

A. Judmayer, N. Stifter, P. Schindler, E. Weippl: Pitchforks in Cryptocurrencies: Enforcing rule changes through offensive forking- and consensus techniques
2018 International Workshop on Cryptocurrencies and Blockchain Technology (CBT 2018), Barcelona, Catalonia; in: Springer Data Privacy Management, Cryptocurrencies and Blockchain Technology, Springer Lecture Notes in Computer Science, 11025 (2018), p. 197 - 206
bib details

M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler: Gracefully degrading consensus and k-set agreement in directed dynamic networks
Theoretical Computer Science, 726 (2018), p. 41 - 77
bib details doi

S. Hunold, A. Carpen-Amarie: Hierarchical Clock Synchronization in MPI
IEEE International Conference on Cluster Computing, CLUSTER 2018, Belfast, United Kingdom; in: Proceedings of the IEEE International Conference on Cluster Computing, CLUSTER 2018, IEEE, 2018, ISBN: 978-1-5386-8319-4, p. 325 - 336
bib details doi

A. Schöbel, C. Schöbel, M. Stefan, J. Blieberger: Kronecker Algebra for Optimization of Rail Traffic Flow on Zagreb--Rijeka Line
Scientific Expert Conference on Railways, Nis, Serbia; in: Proceedings Railcon 2018, 2018, p. 41 - 44
bib details

A. Schöbel, C. Schöbel, M. Stefan, J. Blieberger: Enhancing Performance in Railway Operation by Application of Kronecker Algebra
International Conference On Traffic And Transport Engineering, Beograd; in: Proceedings ICTTE 2018, ?, Beograd (2018), ISBN: 978-86-916153-4-5, p. 113 - 117
bib details

J. Ullrich, N. Stifter, A. Judmayer, A. Dabrowski, E. Weippl: Proof-of-Blackouts? How Proof-of-Work Cryptocurrencies Could Affect Power Grids
21st International Symposium on Research in Attacks, Intrusions, and Defenses (RAID 2018), Heraklion, Crete, Greece; in: Research in Attacks, Intrusions, and Defenses, Springer in the Lecture Notes in Computer Science series, 11050 (2018), p. 184 - 203
bib details

Q. Kang, J. Träff, R. Al-Bahrani, A. Agrawal, A. Choudhary, W. Liao: Full-Duplex Inter-Group All-to-All Broadcast Algorithms with Optimal Bandwidth
25th European MPI Users' Group Meeting (EuroMPI 2018), Barcelona, Spain; in: Proceedings of the 25th European MPI Users' Group Meeting (EuroMPI 2018), ACM, 2018, ISBN: 978-1-4503-6492-8, p. 1:1 - 1:10
bib details doi

D. Schachinger: Building Energy Management Optimization ​ based on a Semantic Abstraction Layer​ (PhD Thesis)
reviewers: W. Kastner, J. Plönnigs, A. Fay; Computer Engineering, 2018; oral examination: 2018-10-15
bib details

J. Pannosch: Reliable Data Forecasting for Building Automation Systems (Master's Thesis)
reviewers: W. Kastner, D. Schachinger; Computer Engineering, 2018; oral examination: 2018-04-12
bib details

D. Schachinger, W. Kastner: Context-aware optimization strategies for universal application in smart building energy management
IEEE 16th International Conference on Industrial Informatics (INDIN 2018), Porto, Portugal; in: Proceedings of the IEEE 16th International Conference on Industrial Informatics, IEEE, 2018, ISBN: 978-1-5386-4829-2; 6 pages
bib details doi pdf

D. Schachinger, J. Pannosch, W. Kastner: Adaptive learning-based time series prediction framework for building energy management
IEEE International Conference on Industrial Electronics for Sustainable Energy Systems (IESES 2018), Hamilton, New Zealand; in: Proceedings of the IEEE International Conference on Industrial Electronics for Sustainable Energy Systems, IEEE, 2018, ISBN: 978-1-5090-4974-5; 6 pages
bib details doi pdf

M. Pöter: Effective Memory Reclamation for Lock-Free Data Structures in C++ (Master's Thesis)
reviewer: J. Träff; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2018-03-01
bib details

W. Sihn, T. Sobottka, B. Heinzl, F. Kamhuber: Interdisciplinary multi-criteria optimization using hybrid simulation to pursue energy efficiency through production planning
68th CIRP General Assembly, Tokyo
bib details doi pdf

W. Sihn, T. Sobottka, B. Heinzl, F. Kamhuber: Interdisciplinary multi-criteria optimization using hybrid simulation to pursue energy efficiency through production planning
CIRP Annals-Manufacturing Technology, 67 (2018), p. 447 - 450
bib details doi pdf

T. Kainrad: Providing Transparent Remote Access to HPC Resources for Graphical Desktop Applications (Master's Thesis)
reviewer: S. Hunold; Institute of Computer Engineering, Research Division of Parallel Computing, 2018; oral examination: 2018-06-12
bib details

M. Landauer, M. Wurzenberger, F. Skopik, G. Settanni, P. Filzmoser: Time series analysis: Unsupervised anomaly detection beyond outlier detection
Information Security Practice and Experience, C. Su, H. Kikuch (ed.); Springer, 2018, p. 16 - 36
bib details

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