Publications

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

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

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

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

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