Publications

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

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

E. Bartocci, Y. Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages
bib details doi

A. Gurung, R. Ray, E. Bartocci, S. Bogomolov, R. Grosu: Parallel reachability analysis of hybrid systems in XSpeed
International Journal on Software Tools for Technology Transfer, in press (2018), p. 1 - 23
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 15 (2018), p. 1122 - 1123
bib details doi

S. Jaksic, E. Bartocci, R. Grosu, T. Nguyen, D. Nickovic: Quantitative monitoring of STL with edit distance
Formal Methods in System Design, 53 (2018), p. 83 - 112
bib details doi

S. Jaksic, E. Bartocci, R. Grosu, D. Nickovic: An algebraic framework for runtime verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37 (2018), p. 2233 - 2243
bib details doi

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

U. Schmid, J. Widder: Proceedings 32nd International Symposium on Distributed Computing
Dagstuhl Publishing LIPICS, 2018, ISBN: 978-3-95977-092-7; 736 pages
bib details doi pdf

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

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