Publications

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

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

S. Kandl, S. Chandrashekar: Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation
Computing, 607 (2014)
bib details doi

O. Höftberger, R. Obermaisser: Runtime Evaluation of Ontology-based Reconfiguration of Distributed Embedded Real-Time Systems
12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil; in: Proc. of the 12th IEEE International Conference on Industrial Informatics, 2014, ISBN: 978-1-4799-4906-9, p. 544 - 550
bib details doi

S. Hunold (invited): One Step towards Bridging the Gap between Theory and Practice in Moldable Task Scheduling with Precedence Constraints
9th Scheduling for Large Scale Systems Workshop, Lyon, France
bib details

C. Siebert, J. Träff: Perfectly Load-Balanced, Stable, Synchronization-Free Parallel Merge
Parallel Processing Letters, Volume 24 (2014), p. 1 - 11
bib details doi

J. Träff, S. Benkner: Preface: Selected Papers from EuroMPI 2012
Computing, Volume 96, Special Issue on EuroMPI 2012 (2014), p. 259 - 261
bib details doi

L. Krammer, S. Seifried, W. Kastner: A fault-tolerant Backbone for IEEE 802.15.4 based Networks
2014 IEEE International Conference on Industrial Technology (ICIT), Busan, Korea; in: IEEE Proceedings of the 15th International Conference on Industrial Technology (ICIT 2014), IEEE, 2014, ISBN: 978-1-4799-3939-8, p. 736 - 742
bib details

L. Krammer, D. Bunyai, W. Kastner: Hierarchical concept for IP-based resilient communication in building automation
23rd IEEE International Symposium on Industrial Electronics, Istanbul, Türkei; in: Proceedings - ISIE2013 - 23rd IEEE International Symposium on Industrial Electronics, IEEE, 2014, ISBN: 978-1-4799-2398-4, p. 2654 - 2659
bib details

S. Kandl, M. Elshuber: A Formal Approach to System Integration Testing
Tenth European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK; in: Proceedings of the Tenth European Dependable Computing Conference (EDCC 2014), 2014
bib details

W. Kastner (invited): Intelligenz in den eigenen vier Wänden
Zukunft Wohnen - intelligent und lebenswert, Linz
bib details

W. Kastner, M. Jung (invited): Semantic Web of Automation
IMAGINE, Wien
bib details

M. Kofler: An Ontology as Shared Vocabulary for Distributed Intelligence in Smart Homes (PhD Thesis)
reviewers: W. Kastner, G. Suter; Rechnergestützte Automation, 2014; oral examination: 2014-03-24
bib details

J. Kasberger: Reliable IP based communication for Fire Alarm Systems (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2014; oral examination: 2014-01-14
bib details

A. Judmayer: Security of Building Automation Systems based on KNX and KNXnet/IP Secure (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2014; oral examination: 2014-01-14
bib details

D. Schachinger: Model-Driven Engineering for Building Automation Systems (Master's Thesis)
reviewers: W. Kastner, M. Jung; Rechnergestützte Automation, 2014; oral examination: 2014-06-02
bib details

I. Friedberg: Anomaly Detection Through Massive Event Correlation in ICT Networks (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2014; oral examination: 2014-06-02
bib details

H. Oberhumer: Simulation-based evaluation of a fault-tolerant IP communication system (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2014; oral examination: 2014-06-04
bib details

A. Jara, A. Olivieri, Y. Bocchi, M. Jung, W. Kastner, A. Skarmeta: Semantic Web of Things: an analysis of the application semantics for the IoT moving towards the IoT convergence
International Journal of Web and Grid Services, 10 (2014), p. 242 - 272
bib details doi

M. Jung, E. Hajdarevic, W. Kastner, A. Jara: Short paper: A scripting-free control logic editor for the Internet of Things
IEEE World Forum on Internet of Things (WF-IoT), Seoul, Korea; in: Proceedings IEEE World Forum on Internet of Things (WF-IoT), 2014, p. 193 - 194
bib details doi

B. Heinzl, W. Kastner, I. Leobner, F. Dür, F. Bleicher, I. Kovacic: Using coupled simulation for planning of energy efficient production facilities
Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), Berlin, Germany; in: Proceedings Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2014, p. 21 - 26
bib details doi

A. Judmayer, L. Krammer, W. Kastner: On the security of security extensions for IP-based KNX networks
10th IEEE Workshop on Factory Communication Systems (WFCS), Toulouse, France; in: Proceedings 10th IEEE Workshop on Factory Communication Systems (WFCS), 2014, p. 1 - 10
bib details doi

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