Publications

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

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

M. Schwarz: Agreement Algorithms in Directed Dynamic Networks (PhD Thesis)
reviewers: U. Schmid, E. Godard; Institut für Computer Engineering, 2018; oral examination: 2018-06-15
bib details pdf

P. Fimml: Temporal-Epistemic Logic in Byzantine Message-Passing Contexts (Master's Thesis)
reviewer: U. Schmid; Institut für Computer Engineering, 2018; oral examination: 2018-01-08
bib details pdf

D. Pfleger: Knowledge and Communication Complexity in Distributed Systems (Master's Thesis)
reviewer: U. Schmid; Institut für Computer Engineering, 2018; oral examination: 2018-04-11
bib details pdf

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

D. Rupprecht, A. Dabrowski, T. Holz, E. Weippl, C. Pöpper: On Security Research towards Future Mobile Network Generations
IEEE Communications Surveys & Tutorials, 20 (2018); 24 pages
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

M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler: Gracefully degrading consensus and k-set agreement in directed dynamic networks
Theoretical Computer Science, 726 (2018), p. 41 - 77
bib details doi

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

Q. Kang, J. Träff, R. Al-Bahrani, A. Agrawal, A. Choudhary, W. Liao: Full-Duplex Inter-Group All-to-All Broadcast Algorithms with Optimal Bandwidth
25th European MPI Users' Group Meeting (EuroMPI 2018), Barcelona, Spain; in: Proceedings of the 25th European MPI Users' Group Meeting (EuroMPI 2018), ACM, 2018, ISBN: 978-1-4503-6492-8, p. 1:1 - 1:10
bib details doi

D. Schachinger: Building Energy Management Optimization ​ based on a Semantic Abstraction Layer​ (PhD Thesis)
reviewers: W. Kastner, J. Plönnigs, A. Fay; Computer Engineering, 2018; oral examination: 2018-10-15
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 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 >   >>