Publications

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

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

B. Malinowsky: Ein interaktiver Lernansatz für Netzwerkkommunikation in der Automation (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2015; oral examination: 2015-11-23
bib details

L. Weichselbaum: Dynamic Behavior Monitoring of Android Malware (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2015; oral examination: 2015-06-01
bib details

E. Thamm: 05.10.2015 (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2015; oral examination: 2015-11-10
bib details

M. Meisel: Management von Lastflexibilität im elektrischen Energiesystem 2020 (Master's Thesis)
reviewers: W. Kastner, F. Kupzog; Rechnergestützte Automation, 2015; oral examination: 2015-10-05
bib details pdf

S. Gaida: Interface between Smart Buildings and Smart Grids (Master's Thesis)
reviewers: W. Kastner, D. Schachinger; Rechnergestützte Automation, 2015; oral examination: 2015-10-05
bib details

J. Schober: Tunneling Ethernet Traffic via Redundant Low Bandwidth Communication Links (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-10-05
bib details

S. Seifried: Reliable Control Network Gateways - A Case Study for KNX and ZigBee (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-10-05
bib details

H. Glanzer: Highly available KNX networks (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-11-10
bib details

M. Klein: Reliable devices for safe communication in networks (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-11-10
bib details

S. Steyskal: Defining an Actor Ontology for Increasing Energy Efficiency and User Comfort in Smart Homes (Master's Thesis)
reviewers: W. Kastner, M. Kofler; Rechnergestützte Automation, 2015; oral examination: 2015-01-13
bib details

T. Hassler: Datensicherheit in KNX (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2015; oral examination: 2015-01-12
bib details

P. Raich: Scalability Analysis of a Web-based IoT Stack for Automation Systems (Master's Thesis)
reviewers: W. Kastner, M. Jung; Rechnergestützte Automation, 2015; oral examination: 2015-03-04
bib details

A. Kronabeter: Security and Legal Aspects of Cloud Computing (Master's Thesis)
reviewer: W. Kastner; Rechnergestützte Automation, 2015; oral examination: 2015-03-03
bib details

M. Neumayr: Current State of Browser Extension Security and Extension-based Malware (Master's Thesis)
reviewers: W. Kastner, M. Lindorfer; Rechnergestützte Automation, 2015; oral examination: 2015-04-14
bib details

M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler: Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks
The international Conference on NETworked sYStems, Agadir, Marokko; in: NETYS2015, Springer LNCS, 9466 (2015), ISBN: 978-3-319-26849-1
bib details doi

K. Selyunin, D. Ratasich, E. Bartocci, A. Islam, S. Smolka, R. Grosu: Neural Programming: Towards Adaptive Control in Cyber-Physical Systems
54th IEEE Conference on Decision and Control, Osaka, Japan; in: Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control, IEEE Computer Society, 2015, ISBN: 978-1-4799-7884-7, p. 6978 - 6985
bib details doi

S. Jaksic, E. Bartocci, R. Grosu, R. Kloibhofer, T. Nguyen, D. Nickovic: From Signal Temporal Logic to FPGA Monitors
13th ACM-IEEE International Conference on Formal Methods and Models for System Design, Austin, TX, USA; in: Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2015, p. 218 - 227
bib details doi

S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu: Abstraction-based Parameter Synthesis for Multiaffine Systems
the 11th Haifa Verification Conference (HVC), Haifa, Israel; in: Proc. of HVC 2015: the 11th Haifa Verification Conference, LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4, p. 19 - 35
bib details doi

R. Rajarshi, G. Amit, D. Binayak, E. Bartocci, S. Bogomolov, R. Grosu: XSpeed: Accelerating Reachability Analysis on MultiCore Processors
the 11th Haifa Verification Conference (HVC), Haifa, Israel; in: Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, LNCS / Springer, 9434 (2015), ISBN: 978-3-319-26286-4, p. 3 - 18
bib details doi

E. Bartocci, L. Bortolussi, D. Milos, L. Nenzi, G. Sanguinetti: Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic
4th International Workshop on Hybrid Systems Biology (HSB), Madrid; in: Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology, LNCS / LNBI / Springer, vol. 9271 (2015), p. 1 - 17
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 >   >>