Publications

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

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

M. Landauer, F. Skopik, M. Wurzenberger, A. Rauber: System Log Clustering Approaches for Cyber Security Applications: A Survey
Computers & Security, 92 (2020), p. 1 - 17
bib details doi

K. Winkler, U. Schmid, Y. Moses: A Characterization of Consensus Solvability for Closed Message Adversaries
23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Neuchâtel, Switzerland; in: 23rd International Conference on Principles of Distributed Systems, 2019, p. 17:1 - 17:16
bib details doi

M. Di Angelo, G. Salzer: Characterizing Types of Smart Contracts in the Ethereum Landscape
4th Workshop on Trusted Smart Contracts, Financial Cryptography 2020, Kota Kinabalu, Malaysia; in: Proc. 4th Workshop on Trusted Smart Contracts, Financial Cryptography 20, Springer, LNCS (2020); 15 pages
bib details pdf

M. Di Angelo, G. Salzer: Tokens, Types, and Standards: Identification and Utilization in Ethereum
International Conference on Decentralized Applications and Infrastructures (IEEE DAPPS 2020), Oxford, UK; in: Proc. IEEE DAPPS 2020, IEEE, 2020; 10 pages
bib details pdf

P. Puschner, R. Kirner: Asynchronous vs. synchronous interfacing to time-triggered communication systems
Journal of Systems Architecture, 103 (2020)
bib details doi pdf

P. Schindler, A. Judmayer, N. Stifter, E. Weippl: HydRand: Practical Continuous Distributed Randomness
2020 IEEE Symposium on Security and Privacy, San Francisco, CA; in: Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
bib details

H. Kopetz: Simplicity is Complex
Springer, 2019, ISBN: 978-3-030-20410-5; 148 pages
bib details doi

A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu: Statistical model checking
Computing and Software Science, Springer LNCS, 2019, p. 478 - 504
bib details

A. Lukina, A. Tiwari, S. Smolka, R. Grosu: Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems
SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Association for Computing Machinery, New YorkNYUnited States, 2019, ISBN: 978-1-4503-5933-7, p. ##
bib details

A. Islam, R. Cleaveland, F. Fenton, R. Grosu, P. Jones, S. Smolka: Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
Theoretical Computer Science, . (2019), p. 158 - 169
bib details

M. Lechner, R. Hasani, Z. Zimmer, T. Henzinger, R. Grosu: Designing Worm-inspired Neural Networks for Interpretable Robotic Control
2019 International Conference on Robotics and Automation (ICRA), Montreal, Canada
bib details

S. Grünbacher, J. Cyranka, A. Islam, M. Tschaikowski, S. Smolka, R. Grosu: Under the Hood of a Stand-Alone Lagrangian Reachability Tool
EPiC Series in Computing, . (2019), p. 211 - 219
bib details

E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson: Sequential Edge Clustering in Temporal Multigraphs
ArXiv, . (2019); 6 pages
bib details

R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus: Response Characterization for Auditing Cell Dynamics in Long Short-term Memory Networks
IEEE International Joint Conference on Neural Networks (IJCNN), Budapest, Hungary
bib details

R. Hasani, G. Wang, R. Grosu: A Machine Learning Suite for Machine Components´ Health-Monitoring
AAAI 2019 - 33rd Conference on Artificial Intelligence, Honolulu, Hawaii, USA
bib details

D. Phan, N. Paoletti, R. Grosu, N. Jansen, S. Smolka, S. Stoller: Neural Simplex Architecture
ArXiv, . (2019)
bib details

S. Roy, U. Mehmood, R. Grosu, S. Smolka, S. Stoller, A. Tiwari: Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
ArXiv, . (2019)
bib details

E. Ghalebi, H. Mayhar, R. Grosu, G. Taylor, S. Williamson: A Nonparametric Bayesian Model for Sparse Temporal Multigraphs
ArXiv, . (2019); 12 pages
bib details

G. Wang, A. Ledwoch, R. Hasani, R. Grosu, A. Brintrup: A generative neural network model for the quality prediction of work in progress products
Applied Soft Computing, 85 (2019), p. ##
bib details doi

P. Puschner, B. Frömel: Composable Component Interfaces for Time-Triggered Systems
8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; in: 8th Mediterranean Conference on Embedded Computing (MECO), IEEE, 2019; 4 pages
bib details doi pdf

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