Publications

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

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

I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger: Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2019, p. 357 - 374
bib details pdf

N. Bertrand, I. Konnov, M. Lazić, J. Widder: Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries
30th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2019, p. 33:1 - 33:15
bib details doi pdf

J. Träff (invited): Cartesian Collective Communication: "Advice to users", "Advice to implementers", and "Advice to Standardizers"
University of Bordeaux, Bordeaux, France
bib details

I. Haghighi, N. Mehdipour, E. Bartocci, C. Belta (invited): Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
2019 IEEE Conference on Decision and Control (CDC), Nice, France; in: Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control, IEEE, 2019
bib details pdf

E. Bartocci, D. Beyer, P. Black et al.: TOOLympics 2019: An Overview of Competitions in Formal Methods
Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; in: Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, 11429 (2019), p. 3 - 24
bib details doi pdf

E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 978-3-030-31513-9; 301 pages
bib details doi

E. Bartocci, Y. Falcone, G. Reger (invited): International Competition on Runtime Verification (CRV)
Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; in: Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, 11429 (2019), p. 41 - 49
bib details doi pdf

E. Bartocci, N. Manjunath, L. Mariani, C. Mateis, D. Nickovic (invited): Automatic Failure Explanation in CPS Models
17th International Conference on Software Engineering and Formal Methods, Oslo, Norway; in: Proc. of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods, 11724 (2019), p. 69 - 86
bib details doi pdf

H. Kong, E. Bartocci, Y. Jiang, T. Henzinger (invited): Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands; in: Proc. of FORMATS 2019: the 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750 (2019), p. 123 - 141
bib details doi pdf

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 Timingand Power Analysis
2019 IEEE 29th International Symposium onPower and Timing Modeling, Optimization and Simulation (PATMOS 2019), Rhodos; in: 2019 IEEE 29thInternational Symposium onPower 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

D. Ratasich, M. Platzer, R. Grosu, E. Bartocci (invited): Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time
13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Umeå, Sweden; in: 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), IEEE, 2019, p. 23 - 32
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 143 >   >>