Publications

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

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

C. Mauser: Traffic control in industrial automation networks (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2012; oral examination: 2012-11-20
bib details

T. Hofer: Secure and privacy aware data exchange in a service-oriented architecture (Master's Thesis)
reviewers: W. Kastner, M. Jung; Rechnergestützte Automation, 2012; oral examination: 2012-11-20
bib details

D. Bunyai: ZigBee Network Layer Simulation on top of IEEE 802.15.4 (Master's Thesis)
reviewers: W. Kastner, L. Krammer; Rechnergestützte Automation, 2012; oral examination: 2013-01-14
bib details

B. Löwenstein, M. Di Angelo: Lego Mindstorms-Roboter - Coole Klassenkameraden im Programmierunterricht
Edu|days 2012, Krems; in: Zukunft des Lernens, E. Blaschitz, G. Brandhofer, C. Nosko, G. Schwed (ed.); vwh, 2012, ISBN: 978-3-86488-028-5, p. 293 - 313
bib details pdf

F. Iglesias Vazquez: Smart Home Control Based on Behavioural Profiles (PhD Thesis)
reviewers: W. Kastner, D. Dietrich; E384, 2012; oral examination: 2012-12-17
bib details

M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, U. Giesen: Messung der Auswirkungen von ionisierender Strahlung auf 90 nm CMOS Schaltungen
Physikalisch Technische Bundesanstalt, 2012
bib details

M. Jung, J. Weidinger, W. Kastner: A seamless integration of KNX into Constrained RESTful Environments
KNX Scientific Conference 2012, Las Palmas, Spain; in: Proceedings KNX Scientific Conference 2012, 2012; 13 pages
bib details

M. Jung, T. Hofer, G. Kienesberger, F. Judex, W. Kastner: Access control for a Smart Grid SOA
The 8th International Conference for Internet Technology and Secured Transactions, London, UK; in: Proceedings of the 8th International Conference for Internet Technology and Secured Transactions, 2012, p. 1 - 7
bib details

M. Jung, J. Weidinger, C. Reinisch, W. Kastner, C. Crettaz, A. Olivieri, Y. Bocchi: A transparent IPv6 multi-protocol gateway to integrate Building Automation Systems in the Internet of Things
The IEEE International Conference on Internet of Things, Besançon, France; in: Proceedings of the 2012 IEEE International Conference on Gree Computing and Communications, Conference on Internet of Things, and Conference on Cyber, Physical and Social Computing, 2012, ISBN: 978-0-7695-4865-4, p. 225 - 233
bib details doi

M. Jung, J. Weidinger, D. Bunyai, C. Reinisch, W. Kastner, A. Olivieri: Demonstration of an IPv6 multi-protocol gateway for seamless integration of Building Automation Systems into Constrained RESTful Environments
2012 International Conference on the Internet of Things, Wuxi, China; in: Proceedings of 2012 International Conference on the Internet of Things, IEEE Press, 2012, ISBN: 978-1-4673-1346-9, p. 211 - 212
bib details

M. Jung, W. Kastner, G. Kienesberger, M. Leithner: A comparison of Web service technologies for smart meter data exchange
2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe), Berlin, Berlin, Deutschland; in: Proceedings of 2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe), Berlin, IEEE, 2012, ISBN: 978-1-4673-2597-4, p. 1 - 8
bib details

M. Jung, C. Reinisch, W. Kastner: Integrating Building Automation Systems and IPv6 in the Internet of Things
Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, Palermo, Italien; in: Proceedings of the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IEEE Computer Society, 2012, ISBN: 978-0-7695-4684-1, p. 683 - 688
bib details doi

M. Jung, C. Mauser, W. Kastner: BACdroid: A versatile platform for building automation
Droidcon 2012, Berlin
bib details pdf

R. Kammerer, R. Obermaisser, B. Frömel: A router for the containment of timing and value failures in CAN
EURASIP Journal on Embedded Systems, 2012 (2012)
bib details doi pdf

S. Bogomolov, G. Frehse, R. Grosu, H. Ladan, A. Podelski: A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx
CAV'12, the 24th International Conference on Computer Aided Verification, Berkeley, California, USA; in: Proceedings of CAV'12, the 24th International Conference on Computer Aided Verification, LNCS / Springer, 7358 (2012), ISBN: 978-3-642-31423-0, p. 479 - 494
bib details doi pdf

X. Huang, J. Seyster, S. Callanan, K. Dixit, R. Grosu, S. Smolka, S. Stoller, E. Zadok: Software monitoring with controllable overhead
International Journal on Software Tools for Technology Transfer, 14 (2012), p. 327 - 347
bib details doi

E. Bartocci, D. Cacciagrano, M. Di Berardini, E. Merelli, L. Vito: UBioLab: a web-LABoratory for Ubiquitous in-silico experiments
Journal of Integrative Bioinformatics, 9 (2012), p. 1 - 20
bib details doi pdf

D. Donze, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S. Smolka: On Temporal Logic and Signal Processing
Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India; in: Proceedings of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis, LNCS/Springer, vol. 7561 (2012), ISBN: 978-3-642-33385-9, p. 92 - 106
bib details doi

A. Murthy, I. Ariful, E. Bartocci, E. Cherry, F. Fenton, J. Glimm, S. Smolka, R. Grosu: Approximate Bisimulations for Sodium Channel Dynamics
The 10th ACM International Conference on Computational Methods in Systems Biology (CMSB 2012), London, UK; in: Proc. of CMSB 2012: the 10th ACM International Conference on Computational Methods in Systems Biology, LNCS / Springer, vol. 7605 (2012), ISBN: 978-3-642-33635-5, p. 267 - 287
bib details doi

E. Bartocci, R. Grosu, A. Karmarkar, S. Smolka, S. Stoller, J. Seyster: Adaptive Runtime Verification
RV 2012: the 3rd International Conference on Runtime Verification, Istanbul; in: Proc. of RV 2012: the 3rd International Conference on Runtime Verification, LNCS / Springer, vol. 7687 (2012), ISSN: 0302-9743, p. 168 - 182
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 >   >>