Publications

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

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

A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel: WCET Annotation Languages Reconsidered: The Annotation Language Challenge
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); 10 pages
bib details

R. Fechete, G. Kienesberger, J. Blieberger: A Framework for CFG-based Static Program Analysis of Ada Programs
Reliable Software Technologies - Ada-Europe, Venice, Italy; in: Ada-Europe'2008 International Conference on Reliable Software Technologies, Springer - LNCS, 5026 (2008), ISBN: 978-3-540-68621-7, p. 130 - 143
bib details doi

B. Burgstaller, B. Scholz, J. Blieberger: Symbolic Analysis: An Algebra-based Approach
VDM - Verlag Dr. Müller, Saarbrücken, 2008, ISBN: 978-3-836-48142-7; 161 pages
bib details

M. Wächter: A Self-Checking Pair Architecture for a TT-Ethernet Switch (Master's Thesis)
reviewer: S. Poledna; Institut für Technische Informatik, 2008; oral examination: 2008-10-10
bib details

H. Muhr: Concepts for Virtual Prototyping of Distributed Embedded Systems (PhD Thesis)
reviewers: D. Dietrich, A. Steininger; Institut für Computertechnik, 2008; oral examination: 2008-12-22
bib details

T. Abinger, W. Kastner, G. Luber, G. Neugschwandtner: Enhancing residential automation systems with artificial intelligence
Konnex Scientific Conference, St. Katelijne-Waver, Belgien; in: Proc. of Konnex Scientific Conference 2008, 2008, ISBN: 907781101x; 13 pages
bib details

G. Neugschwandtner, A. Fernbach: Design of an enhanced TP-UART based KNX PC interface
Konnex Scientific Conference, St. Katelijne-Waver, Belgien; in: Proc. of Konnex Scientific Conference 2008, 2008; 17 pages
bib details

D. Lechner, W. Granzer, W. Kastner: Security for KNXnet/IP
Konnex Scientific Conference, St. Katelijne-Waver, Belgien; in: Proc. of Konnex Scientific Conference 2008, 2008; 17 pages
bib details

F. Praus, W. Kastner: User applications development using embedded java
Konnex Scientific Conference, St. Katelijne-Waver, Belgien; in: Proc. of Konnex Scientific Conference 2008, 2008; 17 pages
bib details

F. Praus, T. Flanitzer, W. Kastner: Secure and customizable software applications in embedded networks
IEEE International Conference on Emerging Technologies and Factory Automation, Hamburg, Deutschland; in: Proc. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008), 2008, p. 1473 - 1480
bib details

W. Granzer, C. Reinisch, W. Kastner: Denial-of-Service in Automation Systems
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. 468 - 471
bib details

C. Reinisch, W. Granzer, W. Kastner: Secure Vertical Integration for Building Automation Networks
IEEE International Workshop on Factory Communication Systems, Dresden, Deutschland; in: Proceedings of 7th IEEE International Workshop on Factory Communication Systems (WFCS '08), 2008, ISBN: 978-1-4244-2349-1, p. 239 - 242
bib details

W. Granzer, C. Reinisch, W. Kastner: Key Set Management in Networked Building Automation Systems using Multiple Key Servers
IEEE International Workshop on Factory Communication Systems, Dresden, Deutschland; in: Proc. 7th IEEE International Workshop on Factory Communication Systems (WFCS '08), 2008, ISBN: 978-1-4244-2349-1, p. 205 - 214
bib details

C. Reinisch, W. Granzer, F. Praus, W. Kastner: Integration of Heterogeneous Building Automation Systems using Ontologies
Annual Conference of the IEEE Industrial Electronics Society, Orlando, FL, USA; in: Proceedings of 34th Annual Conference of the IEEE Industrial Electronics Society (IECON '08), 2008, ISBN: 978-1-4244-1766-7, p. 2736 - 2741
bib details

E. Armengaud: Experimental Evaluation of the FlexRay Clock Synchronization Service
20. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Wien; in: 20. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2008, p. 85 - 89
bib details

S. Hepp, G. Klima, A. Kadlec, L. Krammer, W. Luckner, D. Prokesch, S. Resch, A. Wasicek, J. Wilhelm, P Tummeltshammer, M. Delvai: Exploring Hardware Software Partitioning on the Example of a Fingerprint Verification System
16th Austrian Workshop on Microelectronics (Austrochip), Linz; in: Proc. of the 16th Austrian Workshop on Microelectronics 2008, 2008, p. 7 - 12
bib details

E. Armengaud: A Transparent Online Test Approach for Time-Triggered Communication Protocols (PhD Thesis)
reviewers: A. Steininger, F. Simonot-Lion; Institut für technische Informatik, 2008
bib details

H. Moser, U. Schmid: Optimal Deterministic Remote Clock Estimation in Real-Time Systems
12th International Conference On Principles of Distributed Systems, Luxor, Ägypten; in: Principles of Distributed Systems, Lecture Notes in Computer Science / Springer Verlag, Volume 5401 (2008), ISBN: 978-3-540-92220-9, p. 363 - 387
bib details doi

D. Dietrich, G. Fodor, W. Kastner, M. Ulieru: Considering a Technical Realization of a Neuropsychoanalyti-cal Model of the Mind - A Theoretical Framework
Simulating the Mind - A Technical Neuropsychoanalytical Approach, D. Dietrich, G. Fodor, G. Zucker, D. Bruckner (ed.); Springer-Verlag, Wien - New York, Wien-New York, 2008, ISBN: 9783211094501, p. 99 - 114
bib details

J. Lechner, M. Delvai: Implementation of a Design Tool for Automated Generation of Four State Logic Circuits
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 85 - 86
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 >   >>