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

L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin: Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; in: Quantitative Evaluation of Systems - 15th International Conference, A. McIver, A. Horvath (ed.); Springer, Beijing, China (2018), ISBN: 978-3-319-99153-5, p. 104 - 121
bib details doi pdf

E. Bartocci, Y. Falcone: RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)
Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Limassol, Cyprus; in: Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Springer International Publishing, 11247 (2018), p. 3 - 8
bib details doi

S. Silvetti, L. Nenzi, E. Bartocci, L. Bortolussi: Signal Convolution Logic
Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, CA, USA; in: Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, 11138 (2018), p. 267 - 283
bib details doi

C. Fan, Y. Meng, J. Maier, E. Bartocci, S. Mitra, U. Schmid: Verifying nonlinear analog and mixed-signal circuits with inputs
Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK; in: Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, IFAC-PapersOnLine, 51 / 16 (2018), p. 241 - 246
bib details doi

R. Konoth, E. Vineti, V. Moonsamy, M. Lindorfer, C. Krügel, H. Bos, G. Vigna: MineSweeper: An In-depth Look into Drive-by Cryptocurrency Mining and Its Defense
Proceedings of the 2018 ACM Conference on Computer and Communications Security (CCS), ACM (ed.); ACM, 2018, ISBN: 978-1-4503-5693-0, p. 1714 - 1730
bib details doi pdf

Y. Afek, I. Keidar, B. Patt-Shamir, S. Rajsbaum, U. Schmid, G. Taubenfeld: 2018 Edsger W. Dijkstra Prize in Distributed Computing
Proceedings 2018 ACM Symposium on Principles of Distributed Computing (PODC'18), ACM Press, 2018, ISBN: 978-1-4503-5795-1, p. 1
bib details doi

D. Pfleger, U. Schmid: On Knowledge and Communication Complexity in Distributed Systems
25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018), Ma'ale HaHamisha, Israel; in: Proceedings 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018), Springer International Publishing, 2018, ISSN: 0302-9743, p. 312 - 330
bib details doi

M. Zeiner, M. Schwarz, U. Schmid: On linear-time data dissemination in dynamic trees
CSASC 2018, Bratislava; in: CSASC 2018 - Book of Abstracts, 2018, p. 113
bib details pdf

H. Kong, E. Bartocci, T. Henzinger: Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Oxford, UK; in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, 10981 (2018), p. 449 - 467
bib details doi

E. Bartocci, R. Bloem, D. Nickovic, F. Roeck: A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Oxford, UK; in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, 10981 (2018), p. 547 - 564
bib details doi

E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic: Localizing Faults in Simulink/Stateflow Models with {STL}
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), Porto, Portugal; in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), 2018, p. 197 - 206
bib details doi

S. Arming, E. Bartocci, K. Chatterjee, J. Katoen, A. Sokolova: Parameter-Independent Strategies for pMDPs via POMDPs
Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; in: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, 11024 (2018), p. 53 - 70
bib details doi

L. Nenzi, S. Silvetti, E. Bartocci, L. Bortolussi: A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, Beijing, China; in: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems, 11024 (2018), p. 323 - 338
bib details doi

E. Bartocci: Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)
Proc. of RV 2018: the 18th International Conference on Runtime Verification, Limassol, Cyprus; in: Proc. of RV 2018: the 18th International Conference on Runtime Verification, 11237 (2018), p. 35 - 42
bib details doi

U. Schmid, M. Schwarz, K. Winkler: On the Strongest Message Adversary for Consensus in Directed Dynamic Networks
25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018), Ma'ale HaHamisha, Israel; in: Structural Information and Communication Complexity, Springer International Publishing, 2018, ISSN: 0302-9743, p. 102 - 120
bib details doi

A. Judmayer, N. Stifter, P. Schindler, E. Weippl: Pitchforks in Cryptocurrencies: Enforcing rule changes through offensive forking- and consensus techniques
2018 International Workshop on Cryptocurrencies and Blockchain Technology (CBT 2018), Barcelona, Catalonia; in: Springer Data Privacy Management, Cryptocurrencies and Blockchain Technology, Springer Lecture Notes in Computer Science, 11025 (2018), p. 197 - 206
bib details

S. Hunold, A. Carpen-Amarie: Hierarchical Clock Synchronization in MPI
IEEE International Conference on Cluster Computing, CLUSTER 2018, Belfast, United Kingdom; in: Proceedings of the IEEE International Conference on Cluster Computing, CLUSTER 2018, IEEE, 2018, ISBN: 978-1-5386-8319-4, p. 325 - 336
bib details doi

A. Schöbel, C. Schöbel, M. Stefan, J. Blieberger: Kronecker Algebra for Optimization of Rail Traffic Flow on Zagreb--Rijeka Line
Scientific Expert Conference on Railways, Nis, Serbia; in: Proceedings Railcon 2018, 2018, p. 41 - 44
bib details

A. Schöbel, C. Schöbel, M. Stefan, J. Blieberger: Enhancing Performance in Railway Operation by Application of Kronecker Algebra
International Conference On Traffic And Transport Engineering, Beograd; in: Proceedings ICTTE 2018, ?, Beograd (2018), ISBN: 978-86-916153-4-5, p. 113 - 117
bib details

J. Ullrich, N. Stifter, A. Judmayer, A. Dabrowski, E. Weippl: Proof-of-Blackouts? How Proof-of-Work Cryptocurrencies Could Affect Power Grids
21st International Symposium on Research in Attacks, Intrusions, and Defenses (RAID 2018), Heraklion, Crete, Greece; in: Research in Attacks, Intrusions, and Defenses, Springer in the Lecture Notes in Computer Science series, 11050 (2018), p. 184 - 203
bib details

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