Publications

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

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

K. Pados: Design and Evaluation of an AXI4 Bus System (Master's Thesis)
reviewer: A. Steininger; Institut für technische Informatik, 2013
bib details

O. Hechinger: Analysis of the Failure Behavior of Memory Management Units (Master's Thesis)
reviewer: A. Steininger; Institut für technische Informatik, 2013
bib details

M. Zeiner, M Függer, U. Schmid, A. Kößler, T. Nowak: The Effect of Forgetting on the Performance of a Synchronizer
18th ÖMG Congress and Annual DMV Meeting, Innsbruck
bib details

T. Bednar, F. Bleicher, F. Dür, K. Eder, T. Flatz, B. Heinzl, W. Kastner, K. Kiesel, I. Kovacic, I. Leobner, K. Orehounig, K. Ponweiser, L. Waltenberger, D. Wiegand, S. Emrich: Roadmap für Energieeffiziente Fertigungsbetriebe
Konsortium Projekt INFO, Wien, 2013; 66 pages
bib details

M. Perner: Self-Stabilizing Byzantine Fault-Tolerant Clock Distribution in Grids (Master's Thesis)
reviewer: U. Schmid; Institut für technische Informatik, 2013; oral examination: 2013-10-08
bib details pdf

M. Schwarz: Solving k-Set Agreement in Dynamic Networks (Master's Thesis)
reviewer: U. Schmid; Institut für technische Informatik, 2013; oral examination: 2013-10-08
bib details pdf

K. Winkler: Easy Impossibility Proofs for k-Set Agreement (Master's Thesis)
reviewer: U. Schmid; Institut für technische Informatik, 2013; oral examination: 2013-11-22
bib details pdf

M. Hofstätter: Solving the Labeling Problem - A Byzantine Fault-Tolerant Self-Stabilizing FPGA Prototype based on the FATAL+ Protocol (Master's Thesis)
reviewers: U. Schmid, M Függer; Institut für technische Informatik, 2013; oral examination: 2013-10-08
bib details pdf

D. Dolev, M Függer, M. Hofstätter, C. Lenzen, M. Perner, M. Posch, U. Schmid, M. Sigl, A. Steininger: FATAL+HEX: Fault-Tolerant Self-Stabilizing Clock Generation+Distribution
Poster Session at the CSAIL Industry Affiliates Program (CSAIL-IAP) Annual Meeting, Cambridge, MA, USA
bib details

T. Nowak, M Függer, A. Kößler: On the performance of a retransmission-based synchronizer
Theoretical Computer Science, 509 (2013), p. 25 - 39
bib details doi

M Függer, T. Nowak, U. Schmid: Unfaithful Glitch Propagation in existing Binary Circuit Models
19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; in: Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on, 2013, ISSN: 1522-8681, p. 191 - 199
bib details doi

B. Charron-Bost, M Függer, T. Nowak: Transience Bounds for Distributed Algorithms
11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Buenos Aires, Argentina; in: Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, 8053 (2013), ISBN: 978-3-642-40228-9, p. 77 - 90
bib details doi

C. Lenzen, M Függer, M. Hofstätter, U. Schmid: Efficient Construction of Global Time in SoCs despite Arbitrary Faults
16th Euromicro Conference on Digital System Design (DSD 2013), Santander, Spain; in: Dependable, Digital System Design (DSD), 2013 Euromicro Conference on, 2013, p. 142 - 151
bib details doi

T. Reinbacher, M Függer, J. Brauer: Runtime verification of embedded real-time systems
Formal Methods in System Design, Nov 2013 (2013), p. 1 - 37
bib details doi

M. Perner, U. Schmid, C. Lenzen, M. Sigl: Byzantine Self-Stabilizing Clock Distribution with HEX: Implementation, Simulation, Clock Multiplication
DEPEND 2013, The Sixth International Conference on Dependability, Barcelona, Spain; in: Proceedings of the 6th IARA International Conference on Dependability (DEPEND'13), IARA, 2013, ISBN: 978-1-61208-301-8, p. 6 - 15
bib details

M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner: The Effect of Forgetting on the Performance of a Synchronizer
ALGOSENSORS 2013 (9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics), Sophia Antipolis, France; in: Algorithms for Sensor Systems, 2013, p. 185 - 200
bib details doi

D. Dolev, C. Lenzen, M Függer, U. Schmid, M. Perner: HEX: Scaling Honeycombs is Easier than Scaling Clock Trees
SPAA '13, Montreal, Canada; in: Proceedings of the 25th ACM symposium on Parallelism in Algorithms and Architectures, ACM, 2013, ISBN: 978-1-4503-1572-2, p. 164 - 175
bib details doi

R. Willmann, E. Serral Asensio, W. Kastner, S. Biffl: Shortening of product ramp-up by using a centralized knowledge base
11th IEEE International Conference on Industrial Informatics (INDIN), Bochum, Germany; in: 11th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2013, ISBN: 978-1-4799-0752-6, p. 516 - 522
bib details doi

I. Haller, A. Slowinska, M. Neugschwandtner, H. Bos: Dowsing for overflows: A guided fuzzer to find buffer boundary violations
Usenix Security Symposium, Washington, DC; in: Usenix Security Symposium, 2013
bib details pdf

M. Lindorfer, B. Miller, M. Neugschwandtner, Ch. Platzer: Take a Bite - Finding the Worm in the Apple
International Conference on Information, Communications and Signal Processing (ICICS), IEEE, 2013
bib details pdf

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