Publications

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

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

P. Piho, F. Margetiny, E. Bartocci, R. Ribchester, J. Hillston (invited): Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting
17th International Conference on Computational Methods in Systems Biology, Trieste; in: Proc. of CMSB 2019: the 17th International Conference on Computational Methods in Systems Biology, 11773 (2019), p. 120 - 139
bib details doi pdf

E. Bartocci, L. Kovacs, S. Stankovic: Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan; in: Proc. of ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis, 11781 (2019), p. 255 - 276
bib details doi pdf

H. Abbas, A. Rodionova, K. Mamouras, E. Bartocci, S. Smolka, R. Grosu: Quantitative Regular Expressions for Arrhythmia Detection
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16 (2019), p. 1586 - 1597
bib details doi pdf

E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, K Havelund, Y. Joshi, K. Felix et al.: First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
International Journal on Software Tools for Technology Transfer, 21 (2019), p. 31 - 70
bib details doi pdf

D. Öhlinger, J. Maier, M Függer, U. Schmid: The Involution Tool for Accurate Digital Timing and Power Analysis
2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019), Rhodos; in: 2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019), 2019, ISBN: 978-1-7281-2103-1, p. 1 - 8
bib details doi

C. Sánchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstic, J. Lourenço, D. Nickovic, G. Pace, J. Rufino, S. Signoles, D. Traytel, A. Weiss: A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal Methods in System Design, 54 (2019), p. 279 - 335
bib details doi pdf

P. Paulweber, J. Maier, J. Cortadella: Unified (A)Synchronous Circuit Development
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan
bib details

J. Maier, M Függer, T. Nowak, U. Schmid: Transistor-Level Analysis of Dynamic Delay Models
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 76 - 85
bib details doi

J. Maier, A. Steininger: Efficient Metastability Characterization for Schmitt-Triggers
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 124 - 133
bib details doi

J. Träff: Decomposing Collectives for Exploiting Multi-lane Communication
CoRR - Computing Research Repository, arXiv:1910.13373, 2019; 77 pages
bib details

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Pisa, Italy; in: Stabilization, Safety, and Security of Distributed Systems, Lecture Notes in Computer Science / Springer, vol 11914 / Cham (2019), ISSN: 0302-9743, p. 307 - 322
bib details doi

T. Nowak, U. Schmid, K. Winkler: Topological Characterization of Consensus under General Message Adversaries
38th ACM Symposium on Principles of Distributed Computing (PODC'19), Toronto, Canada; in: PODC'19 Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, New York, NY, USA (2019), ISBN: 978-1-4503-6217-7, p. 218 - 227
bib details doi

K. Winkler, U. Schmid: An Overview of Recent Results for Consensus in Directed Dynamic Networks
Bulletin of the EATCS, 128 (2019); 30 pages
bib details

K. Winkler, M. Schwarz, U. Schmid: Consensus in rooted dynamic networks with short-lived stability
Distributed Computing, 32 (2019), p. 443 - 458
bib details doi

J. Träff (invited): On optimal Trees for irregular gather and scatter collectives?
FernUniversität in Hagen, Prof. Dr. Jörg Keller, Hagen, Germany
bib details

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa (invited): Byzantine Causal Cone
Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Budapest, Hungary
bib details

R. Kuznets (invited): Causality in the Age of Fake News
Seminar "Logic and Theoretical Computer Science", University of Bern (2019), Bern
bib details

C. Zanabria, F. Pröstl Andrén, T. Strasser, W. Kastner: A Model-Driven and Ontology-based Engineering Approach for Smart Grid Automation Applications
IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal; in: Proceedings of the IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, IEEE, 2019, ISBN: 978-1-7281-4878-6; 7 pages
bib details pdf

J. Träff, T. Hoefler: Foreword EuroMPI 2019
Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019, T. Hoefler, J. Träff (ed.); ACM, New York, NY, USA, 2019, ISBN: 978-1-4503-7175-9, p. 1:1 - 1:2
bib details doi

T. Hoefler, J. Träff: Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019
ACM, New York, NY, USA, 2019, ISBN: 978-1-4503-7175-9; 134 pages
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 143 144 145 146 147 148 149 150 >   >>