Publications

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

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

Y. Hren: Identifikation und Analyse sicherheitsrelevanter Kriterien für Mobile Contactless Payment-Systeme zur Förderung der Akzeptanz beim Endanwender (Master's Thesis)
reviewers: T. Grechenig, A. Ehringfeld; 183/1, 2008
bib details

D. Lederer: Untersuchung über die Anwendbarkeit einer EPK-Referenzmodellierung am prototypischen Beispiel der Kreditprozesse einer Universalbank (Master's Thesis)
reviewers: T. Grechenig, A. Ehringfeld; 183/1, 2008
bib details

M. Schoeberl: JOP: A Java Optimized Processor for Embedded Real-Time Systems
VDM - Verlag Dr. Müller, 2008, ISBN: 978-3-8364-8086-4; 256 pages
bib details

B. Huber, C. El Salloum, R. Obermaisser: A Resource Management Framework for Mixed-Criticality Embedded Systems
34th Annual Conference of the IEEE Industrial Electronics Society (IECON'08), Orlando, FL, U.S.A.; in: 34th Annual Conference of the IEEE Industrial Electronics Society (IECON'08), IEEE Computer Society, 2008, ISBN: 978-1-4244-1766-7, p. 2425 - 2431
bib details

R. Kirner: Compiler Support for Timing Analysis of Optimized Code - Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code
VDM - Verlag Dr. Müller, 2008, ISBN: 978-3836468831; 224 pages
bib details

I. Wenzel, R. Kirner, B. Rieder, P. Puschner: Measurement-Based Timing Analysis
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; in: Leveraging Applications of Formal Methods, Verification and Validation, Springer Berlin Heidelberg, 2008, ISBN: 978-3-540-88478-1, p. 430 - 444
bib details doi

R. Kirner, S. Kandl: Test Coverage Analysis and Preservation for Requirements-Based Testing of Safety-Critical Systems
ERCIM NEWS, 75 (2008), p. 40 - 41
bib details

W. Puffitsch: Decoupled Root Scanning in Multi-Processor Systems
Embedded Systems Week 2008 (ESWEEK08), Atlanta, Georgia, USA; in: Embedded Systems Week, ACM, 2008, ISBN: 978-1-60558-471-3; 8 pages
bib details

A. Wasicek, C. El Salloum: End-to-End Encryption in the TTSoC Architecture
Embedded Systems Week 2008 (ESWEEK08), Atlanta, Georgia, USA; in: Ebedded Systems Week, ACM, 2008, ISBN: 978-1-60558-471-3; 6 pages
bib details

M. Opitz: Stickware - Portable Applikationen (Fachdidaktische Betrachtungen zum Einsatz von Stickware in der Lehre und Weiterbildung) (Master's Thesis)
reviewer: M. Di Angelo; 183, 2008; oral examination: 2008-01-01
bib details

A. Prein: Didaktische Entwürfe zum Pflichtgegenstand "Angewandte Programmierung" des ersten Jahrganges einer HTL für Informationstechnologie (Master's Thesis)
reviewer: M. Di Angelo; 183, 2008; oral examination: 2008-01-01
bib details

A.S. Metzger, W. Kastner: Performance of Wireless Systems in Sustainable Building Operation and Maintenance
Buildings and Environment 2008, Bratislava; in: Proceedings Buildings and Environment 2008, 2008, p. ?? - ##
bib details

W. Kastner (invited): Gebäude- und Heimautomation: State of the Art, offene Standards, Systemkopplung und Systemaufschaltung
Telekom Austria Meeting, Wien
bib details

G. Neugschwandtner, W. Kastner (invited): Integration in der Gebäudeautomation
Jahrbuch TGA-Planung 2008, WEKA, 2008, p. 60 - 61
bib details

C. Stögerer, W. Kastner: Extending the Watchdog Pattern for Multi-threaded Windows based Traffic Management and Control Applications
IEEE International Conference on Emerging Technologies and Factory Automation, Hamburg, Deutschland; in: Proc. of 13th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '08), 2008, p. 854 - 860
bib details

W. Kastner (invited): KNX IP Simulation: First Insights
Konnex Scientific Conference, St. Katelijne-Waver, Belgien; in: Proc. of Konnex Scientific Conference 2008, 2008; 27 pages
bib details

B. Huber: Resource Management in an Integrated Time-Triggered Architecture (PhD Thesis)
reviewers: H. Kopetz, J. Blieberger; Institut 182, 2008; oral examination: 2008-01-01
bib details

J. Blieberger (invited): Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms
Dagstuhl Seminar 08161 Scalable Program Analysis, Dagstuhl, Germany; in: Scalable Program Analysis, Leibniz-Zentrum für Informatik, 8161 (2008), ISSN: 1862-4405
bib details

R. Mittermayr, J. Blieberger: Static Partial-Order Reduction of Concurrent Systems in Polynomial Time
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; in: Leveraging Applications of Formal Methods, Verification and Validation, Springer Berlin Heidelberg, 17 (2008), ISBN: 978-3-540-88478-1, p. 619 - 633
bib details

A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop: Towards a Common WCET Annotation Language: Essential Ingredients
25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; in: Programmiersprachen und Rechenkonzepte, Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008); 12 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 >   >>