Publications

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

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

D. Öhlinger, J. Maier, M Függer, U. Schmid: The Involution Tool for Accurate Digital Timing and Power Analysis
Integration the VLSI journal, 2021, p. 87 - 98
bib details doi pdf

E. J. Maroun, M. Schöberl, P. Puschner: Towards Dual-Issue Single-Path Code
2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA; in: Proceedings ISORC 2020, 2020, p. 176 - 183
bib details doi

P. Denzler, J. Ruh, M. Kadar, C. Avasalcai, W. Kastner: Towards Consolidating Industrial Use Cases on a Common Fog Computing Platform
2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, Vienna, Austria, 2020, p. 172 - 179
bib details doi pdf

M. Meiyi, E. Bartocci, J. Stankovic, L. Feng: Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract
SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, Virtual Event Japan; in: SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, 2020, p. 711 - 712
bib details doi

J. Träff, S. Hunold: Decomposing MPI Collectives for Exploiting Multi-lane Communication
IEEE International Conference on Cluster Computing (IEEE Cluster 2020) - Online Conference, Kobe, Japan; in: Proceedings of the IEEE International Conference on Cluster Computing (IEEE Cluster 2020), IEEE, 2020, ISBN: 978-1-7281-6678-0, p. 270 - 280
bib details doi

S. Hunold, A. Bhatele, G. Bosilca, P. Knees: Predicting MPI Collective Communication Performance Using Machine Learning
IEEE International Conference on Cluster Computing (IEEE Cluster 2020) - Online Conference, Kobe, Japan; in: Proceedings of the IEEE International Conference on Cluster Computing (IEEE Cluster 2020), IEEE, 2020, ISBN: 978-1-7281-6678-0, p. 259 - 269
bib details doi

K. von Kirchbach, M. Lehr, S. Hunold, C. Schulz, J. Träff: Efficient Process-to-Node Mapping Algorithms for Stencil Computations (Best Paper Award)
IEEE International Conference on Cluster Computing (IEEE Cluster 2020) - Online Conference, Kobe, Japan; in: Proceedings of the IEEE International Conference on Cluster Computing (IEEE Cluster 2020), IEEE, 2020, ISBN: 978-1-7281-6678-0, p. 1 - 11
bib details doi

E. Bartocci, L. Kovacs, S. Stankovic: Analysis of Bayesian Networks via Prob-Solvable Loops
Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing, Macau S.A.R., China; in: Proc. of ICTAC 2020: the 17th International Colloquium on Theoretical Aspects of Computing, Springer, 12545 (2020), ISBN: 978-3-030-64275-4, p. 221 - 241
bib details doi

E. Bartocci, L. Kovacs, S. Stankovic: Mora - Automatic Generation of Moment-Based Invariants
Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland; in: Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 12078 (2020), ISBN: 978-3-030-45189-9, p. 492 - 498
bib details doi

L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti, E. Visconti: Monitoring Spatio-Temporal Properties (Invited Tutorial)
Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); in: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Springer, 12399 (2020), ISBN: 978-3-030-60507-0, p. 21 - 46
bib details doi

E. Bartocci, L. Bortolussi, M. Loreti, L. Nenzi, S. Silvetti: MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); in: Proc. of RV 2020: the 20th International Conference on Runtime Verification, L. Nenzi (ed.); Springer, 12399 (2020), ISBN: 978-3-030-60507-0, p. 417 - 428
bib details doi

E. Zapridou, E. Bartocci, P. Katsaros: Runtime Verification of Autonomous Driving Systems in CARLA
Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); in: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Springer, 12399 (2020), ISBN: 978-3-030-60507-0, p. 172 - 183
bib details doi

E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe: Parameter Synthesis for Probabilistic Hyperproperties
Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming, Alicante, Spain (Virtual due to covid19); in: Proc. of LPAR 2020: the 23rd International Conference on Logic for Programming, 2020, p. 12 - 31
bib details doi

E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic, F. Pastore: CPSDebug: a tool for explanation of failures in cyber-physical systems
Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA; in: Proc. of ISSTA 2020: the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2020, ISBN: 978-1-4503-8008-9, p. 569 - 572
bib details doi

E. Abraham, E. Bartocci, B. Bonakdarpour, O. Dobe: Probabilistic Hyperproperties with Nondeterminism
Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis, Hanoi, Vietnam; in: Proc. of ATVA 2020: the 18th International Symposium on Automated Technology for Verification and Analysis, 12302 (2020), ISBN: 978-3-030-59151-9, p. 518 - 534
bib details doi

M. Meiyi, E. Bartocci, E. Lifland, J. Stankovic, L. Feng: SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems, Sydney, Australia, Australia; in: Proc. of ICCPS 2020: the ACM/IEEE 11th International Conference on Cyber-Physical Systems, IEEE, 2020, ISBN: 978-1-7281-5502-9, p. 51 - 62
bib details doi

F. Shmarov, S. Soudjani, N. Paoletti, E. Bartocci, S. Lin, S. Smolka, P. Zuliani: Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
IEEE Access, 8 (2020), p. 180825 - 180843
bib details doi

E. Bartocci, J. Deshmukh, F. Gliger, C. Mateis, D. Nickovic, X. Qin: Mining Shape Expressions from Positive Examples
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), p. 3809 - 3820
bib details doi

J. Träff, M. Pöter: A more Pragmatic Implementation of the Lock-free, Ordered, Linked List
CoRR - Computing Research Repository, arXiv:2010.15755, 2020; 14 pages
bib details

J. Träff: Signature Datatypes for Type Correct Collective Operations, Revisited
27th European MPI Users' Group Meeting (EuroMPI/USA 2020) - Online Conference, Austin, Texas, USA; in: Proceedings of the 27th European MPI Users' Group Meeting (EuroMPI/USA 2020), IEEE, 2020, ISBN: 978-1-4503-8880-1, p. 81 - 88
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 >   >>