Publications

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

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

S. Bachl, A. Mauczka, W. Schramm, F. Fankhauser: Exemplarische Vertiefungen
Softwaretechnik. Mit Fallbeispielen aus realen Entwicklungsprojekten., Pearson Studium, München, Germany, 2009, ISBN: 978-3-8689-4007-7, p. 651 - 668
bib details

K. Kappel, C. Wimmer, S. Bachl: Usability Engineering in der Softwareentwicklung
Softwaretechnik. Mit Fallbeispielen aus realen Entwicklungsprojekten., Pearson Studium, München, Germany, 2009, ISBN: 978-3-8689-4007-7, p. 523 - 592
bib details

Å. Realfsen: Developing an IT management system compliance assessment model for didactical learning (Master's Thesis)
reviewers: T. Grechenig, A. Ehringfeld; 183/1, 2009
bib details

G. Kienesberger: Detecting Busy Waiting by Means of Static Control Flow Analysis (Master's Thesis)
reviewer: J. Blieberger; 183/1, 2009
bib details pdf

A. Benz: Terahertz Quantum-Cascade Lasers: Carrier Transport and Photonic Crystal Cavities (PhD Thesis)
reviewers: K. Unterrainer, G. Bauer; Institut für Photonik, 2009; oral examination: 2009-12-15
bib details

M. Schoeberl, P. Puschner, R. Kirner: A Single-Path Chip-Multiprocessor System
Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; in: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Lecture Notes in Computer Science / Springer Verlag, 5860 (2009), ISBN: 978-3-642-10264-6, p. 47 - 57
bib details doi

M. Schoeberl, W. Puffitsch, B. Huber: Towards Time-predictable Data Caches for Chip-Multiprocessors
Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA; in: Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009, Lecture Notes in Computer Science / Springer Verlag, 5860 (2009), ISBN: 978-3-642-10264-6, p. 180 - 191
bib details doi

H. Paulitsch, C. Paukovits, C. El Salloum: Fault Isolation with Intermediate Checks of End-to-end Checksums in the Time-Triggered System-on-Chip Architecture
2009 IEEE International Symposium on Industrial Embedded Systems, SIES 2009 Proceedings, Lausanne, Switzerland; in: Industrial Embedded Systems, 2009. SIES '09. IEEE International Symposium on, IEEE, 2009, ISBN: 978-1-4244-4110-5, p. 90 - 99
bib details doi

M. Biely, M. Hutle: Consensus When All Processes May Be Byzantine for Some Time
11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon; in: Stabilization, Safety, and Security of Distributed Systems, Lecture Notes in Conputer Science / Springer Verlag, 5873 (2009), ISBN: 978-3-642-05117-3, p. 120 - 132
bib details doi

B. Malinowsky: Building Information Models in Building Automation Systems (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2009; oral examination: 2009-12-21
bib details

C. Pitter: Time-Predictable Java Chip-Multiprocessor (PhD Thesis)
reviewers: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009
bib details

B. Huber: Worst-Case Execution Time Analysis for Real-Time Java (Master's Thesis)
reviewers: H. Grünbacher, M. Schoeberl; Institut für Technische Informatik - E182, 2009
bib details

M. Zolda, S. Bünte, R. Kirner: Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis
International Conference on Real-Time and Network Systems (RTNS), Paris, France; in: 17th International Conference on Real-Time and Network Systems, Proceedings, 2009; 10 pages
bib details

R. Kirner: Towards Automatic Verification of Structural Code-Coverage Preservation
Timing Analysis and Symbolic Computation, TASCo 2009, Wien; in: Timing Analysis and Symbolic Computation, TASCo 2009, 2009; 1 pages
bib details

R. Obermaisser, H. Kopetz, S. Kuster: GENESYS (GENeric Embedded SYStem) - A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems
ARTEMIS Magazine, 5 (2009), p. 32 - 34
bib details

R. Kirner, W. Zimmermann, D. Richter: On Undecidability Results of Real Programming Languages
15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; in: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), p. 141 - 154
bib details

R. Kirner, W. Haas: Automatic Calculation of Coverage Profiles for Coverage-based Testing
15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; in: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), p. 126 - 140
bib details

B. Huber, R. Obermaisser: A Comparison of NoTA and GENESYS
Embedded Computer Systems: Architectures, Modeling, and Simulation, 9th InternationalWorkshop, SAMOS 2009, Proceedings, Samos, Greece; in: Embedded Computer Systems: Architectures, Modeling, and Simulation, 9th InternationalWorkshop, SAMOS 2009, Proceedings, LNCS / Springer, 5657 (2009), ISBN: 3-642-03137-4, p. 181 - 192
bib details doi

P. Jahn: Automated Regression Testing of Embedded Devices (Master's Thesis)
reviewers: A. Steininger, A. Reisenbauer; Institut für Technische Informatik, 2009
bib details

D. Lechner: Securing backbones for embedded home and building automation networks (Master's Thesis)
reviewers: W. Kastner, W. Granzer; Rechnergestützte Automation, 2009; oral examination: 2009-07-22
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 >   >>