Publications

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

Currently viewing all publications in category Conference Papers - back to overwiew...

Conference Papers

T. van Ede, R. Bortolameotti, A. Continella, J. Ren, D. Dubois, M. Lindorfer, D. Choffnes, M. van Steen, A. Peter: FlowPrint: Semi-Supervised Mobile-App Fingerprinting on Encrypted Network Traffic
Network and Distributed System Security Symposium (NDSS), Internet Society, 2020, ISBN: 1-891562-61-4
bib details pdf

H. Aghakhani, F. Gritti, F. Mecca, M. Lindorfer, S. Ortolani, D. Balzarotti, G. Vigna, C. Krügel: When Malware is Packin' Heat; Limits of Machine Learning Classifiers Based on Static Analysis Features
Network and Distributed System Security Symposium (NDSS), Internet Society, 2020, ISBN: 1-891562-61-4
bib details pdf

R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu: A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits
2020 International Conference on Machine Learning (ICML), Virtual; in: Proceedings of machine learning research, Volume 119: International Conference on Machine Learning (ICML), 2020, p. 4082 - 4093
bib details pdf

M. Lechner, R. Hasani, D. Rus, R. Grosu: Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme
2020 IEEE International Conference on Robotics and Automation (ICRA), Virtual - Paris France; in: 2020 IEEE International Conference on Robotics and Automation (ICRA), 2020, p. 5446 - 5452
bib details doi pdf

G. Steindl, W. Kastner: Ontology-Based Model Identification of Industrial Energy Systems
2020 IEEE 29th International Symposium on Industrial Electronics (ISIE), Delft; in: Proceedings 2020 IEEE 29th International Symposium on Industrial Electronics (ISIE), 2020, p. 1217 - 1223
bib details doi

M. Platzer, P. Puschner: An Instruction Filter for Time-Predictable Code Execution on Standard Processors
International Conference on Computer Safety, Reliability, and Security, online; in: International Conference on Computer Safety, Reliability, and Security, Springer Verlag (ed.); Springer, LNCS, volume 12235 (2020), ISBN: 978-3-030-55583-2, p. 111 - 122
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
25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2020) - Hybrid Conference, Vienna, Austria; in: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, Vienna, Austria (2020), ISBN: 978-1-7281-8956-7, 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

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