Publications

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

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

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; in: Robotics and Automation (ICRA), IEEE International Conference on, 2019, p. 87 - 94
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; in: 2019 IEEE International Joint Conference on Neural Networks (IJCNN), 2019, ISSN: 2161-4407, p. 1 - 8
bib details doi

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; in: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019, 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, 2019, ISSN: 2374-3468, p. 9472 - 9477
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

P. Puschner, R. Kirner: Interfacing to Time-Triggered Communication Systems
IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), Valencia, Spain; in: Proceedings IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC), IEEE, 2019, ISSN: 2375-5261; 8 pages
bib details doi pdf

A. Dabrowski, G. Merzdovnik, J. Ullrich, G. Sendera, E. Weippl: Measuring Cookies and Web Privacy in a Post-GDPR World
2019 International Conference on Passive and Active Network Measurement (PAM), Puerto Varas, Chile; in: Passive and Active Measurement, Springer, Cham, 2019, p. 258 - 270
bib details

P. Schindler, A. Judmayer, N. Stifter, E. Weippl: Distributed Key Generation with Ethereum Smart Contracts
Consumer Identity World EU 2019, Amsterdam, Netherland; in: Consumer Identity World EU 2019, Springer, 2019
bib details

N. Stifter, P. Schindler, A. Judmayer, A. Zamyatin, A. Kern, E. Weippl: Echoes of the Past: Recovering Blockchain Metrics from Merged mining
23rd International Conference, FC 2019, St. Kitts; in: Financial Cryptography and Data Security, Springer, 2019, ISBN: 978-3-030-32101-7
bib details

M. Messner, G. Mauthner, F. Pauker, T. Frühwirth, J. Mangler: Closed Loop Cycle Time Feedback to Optimize High-Mix / Low-Volume Production Planning
52nd CIRP Conference on Manufacturing Systems, Ljubljana, Slovenia; in: Proceedings of the 52nd CIRP Conference on Manufacturing Systems (CIRP-CMS 2019), 2019, p. 689 - 694
bib details doi pdf

N. Stifter, A. Judmayer, E. Weippl: Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies
Security and Quality in Cyber-Physical Systems Engineering, Springer International Publishing, Switzerland, 2019, ISBN: 978-3-030-25311-0
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 >   >>