Publications

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

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

L. Reier: Security Konzept und Evaluierung einer Off-Highway Electronic Control Unit (Master's Thesis)
reviewer: W. Steiner; E191, 2020; oral examination: 2020-09-24
bib details

S. Sturm: Industrietaugliche Umsetzung von komplexen Reglern auf Automatisierungsplattformen (Master's Thesis)
reviewers: W. Kastner, A. Zoitl; E191, 2020; oral examination: 2020-06-19
bib details

X. Xu, Z. Zao, X. Xu, J. Yang, L. Chang, X. Yan, G. Wang: Machine learning-based wear fault diagnosis for marine diesel engine by fusing multiple data-driven models
Knowledge-Based Systems, 190 (2019)
bib details doi pdf

X. Xu, Z. Yu, J. Zeng, W. Xiong, Y. Hu, G. Wang: A Bayesian Belief-Rule-Based Inference Multivariate Alarm System for Nonlinear Time-Varying Processes
SCIENCE CHINA Information Sciences, . (2020), p. ##
bib details doi pdf

R. Grosu, A. Lukina, S. Smolka, A. Tiwari, V. Varadarajan, X. Wang: V-Formation via Model Predictive Control
ArXiv, . (2020); 33 pages
bib details pdf

R. Grosu: ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks
ArXiv, . (2020); 9 pages
bib details pdf

U. Mehmood, S. Roy, R. Grosu, S. Smolka, S. Stoller, A. Tiwari: Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
FoSSaCS: International Conference on Foundations of Software Science and Computation Structures, virtuell; in: Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Springer, . (2020), ISBN: 978-3-030-45231-5, p. 1 - 16
bib details pdf

D. Phan, R. Grosu, N. Jansen, N. Paoletti, S. Smolka, S. Stoller: Neural simplex architecture
NASA Formal Methods (NFM), virtuell; in: Neural simplex architecture, Springer, . (2020), ISBN: 978-3-030-55754-6, p. 97 - 114
bib details pdf

S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari: Learning Distributed Controllers for V-Formation
ArXiv, . (2020); 10 pages
bib details pdf

R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu: Liquid Time-constant Networks
ArXiv, . (2020); 25 pages
bib details pdf

X. Zhang, X. Xu, X. Xu, D. Gao, H. Gao, G. Wang, R. Grosu: Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule
Multidisciplinary Digital Publishing Institute (MDPI), . (2020); 25 pages
bib details pdf

S. Grünbacher, J. Cyranka, M. Lechner, A. Islam, S. Smolka, R. Grosu: Lagrangian Reachtubes: The Next Generation
ArXiv, . (2020)
bib details pdf

S. Grünbacher, R. Hasani, M. Lechner, J. Cyranka, S. Smolka, R. Grosu: On The Verification of Neural ODEs with Stochastic Guarantees
ArXiv, . (2020); 12 pages
bib details pdf

U. Mehmood, S. Stoller, R. Grosu, S. Roy, A. Damare: A Distributed Simplex Architecture for Multi-Agent Systems
ArXiv, . (2020); 17 pages
bib details pdf

B. Heinzl: Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning
TU Verlag, Vienna, Wien, 2020, ISBN: 978-3-903311-11-4; 212 pages
bib details

B. Heinzl: Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning (PhD Thesis)
reviewers: F. Breitenecker, W. Kastner, T. Pawletta; Institut für Analysis und Scientific Computing, 2020; oral examination: 2020-06-16
bib details

D. Fellner: Data Driven Detection of Malfunctions in Power Systems
9th DACH+ Conference on Energy Informatics, virtuelle; in: Proceedings 9th DACH+ Conference on Energy Informatics, 2020, p. 1 - 4
bib details

T. Sobottka, F. Kamhuber, B. Heinzl: Simulation-Based Multi-Criteria Optimization of Parallel Heat Treatment Furnaces at a Casting Manufacturer
Journal of Manufacturing and Materials Processing, 4 (2020)
bib details doi

B. Heinzl: Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning (PhD Thesis)
reviewers: F. Breitenecker, T. Pawletta, W. Kastner; 101, 2002; oral examination: 2020-06-16
bib details

M. Wurzenberger, G. Höld, M. Landauer, F. Skopic, W. Kastner: Creating Character-based Templates for Log Data to EnableSecurity Event Classification
15th ACM ASIA Conference on Computer and Communications Security, Taipei, Taiwan; in: Proceedings 15th ACM ASIA Conference on Computer and Communications Security, 2020, p. 141 - 152
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 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 >   >>