Publications

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

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

T. Frühwirth, F. Pauker, A. Fernbach, I. Ayatollahi, W. Kastner, B. Kittl: Guarded state machines in OPC UA
41st Annual Conference of the IEEE Industrial Electronics Society (IECON 2015), Yokohama, Japan; in: Proceedings of the 41st Annual Conference of the IEEE Industrial Electronics Society (IECON), 2015; 6 pages
bib details

T. Frühwirth, L. Krammer, W. Kastner: Dependability Demands and State of the Art in the Internet of Things
20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015), Luxembourg; in: Proceedings of the 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2015; 4 pages
bib details

T. Frühwirth, W. Steiner, B. Stangl: TTEthernet SW-based End System for AUTOSAR
10th IEEE International Symposium on Industrial Embedded Systems (SIES 2015), Siegen, Germany; in: Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 2015; 8 pages
bib details

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder: Decidability of Parameterized Verification
Morgan & Claypool Publishers, San Rafael, CA, USA, 2015, ISBN: 9781627057431; 170 pages
bib details doi

I. Konnov, H. Veith, J. Widder: SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms
International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA; in: Computer Aided Verification, LNCS Springer, 9206 (2015), ISBN: 978-3-319-21689-8, p. 85 - 102
bib details doi

B. Charron-Bost, M Függer, L. Welch, J. Widder: Time Complexity of Link Reversal Routing
ACM Transactions on Algorithms, 11 (2015), p. 1 - 39
bib details doi pdf

S. Hunold: A Survey on Reproducibility in Parallel Computing
CoRR - Computing Research Repository, arXiv:1511.04217, 2015; 15 pages
bib details

J. Träff (invited): MPI Datatype reconstruction (for vector and index types)
Compilers and Languages Group, Institute of Computer Languages, TU Wien, Vienna, Austria
bib details

D. Schachinger, W. Kastner (invited): Future Energy - Diskussion & Zukunftsbild
IMAGINE15, Vienna, Austria
bib details

D. Schachinger, C. Stampfel, W. Kastner: Interoperable integration of building automation systems using RESTful BACnet Web services
41st Annual Conference of the IEEE Industrial Electronics Society (IECON 2015), Yokohama, Japan; in: Proceedings of the Conference of the IEEE Industrial Electronics Society, 2015; 6 pages
bib details

D. Schachinger, W. Kastner: Model-Driven Integration of Building Automation Systems into Web Service Gateways
11th IEEE World Conference on Factory Communication Systems (WFCS 2015), Palma de Mallorca; in: Proceedings of the IEEE World Conference on Factory Communication Systems, 2015; 8 pages
bib details doi

D. Schachinger, S. Gaida, W. Kastner: Smart grid communication at the interface of customer buildings with focus on demand response
International Symposium on Smart Electric Distribution Systems and Technologies (EDST 2015), Vienna, Austria; in: Proceedings of the International Symposium on Smart Electric Distribution Systems and Technologies, 2015; 6 pages
bib details doi

A. Steininger, H. Zimmermann, A. Jantsch, M. Hofbauer, U. Schmid, K. Schweiger, V. S. Veeravalli: Building reliable systems-on-chip in nanoscale technologies
E&I Elektrotechnik und Informationstechnik, 132 (2015), p. 301 - 306
bib details doi

S. Hunold (invited): Reproducibility in Parallel Computing
Session: Performance Reproducibility in HPC - Challenges and State-of-the-Art at the 27th International Conference for High Performance Computing, Networking, Storage and Analysis (SC 2015), Austin, Texas
bib details

S. Hunold, A. Carpen-Amarie: MPI Benchmarking Revisited: Experimental Design and Reproducibility
CoRR - Computing Research Repository, arXiv:1505.07734, 2015; 40 pages
bib details

T. Ferhatbegovic, W. Gawlik, R. Haas, M. Hartl, S. Hauer, M. Heimberger, S. Henein, A Hiesl, P. Jasek, R. Klug, B. Kodre, M. Kozek, F. Kupzog, M. Leitner, I. Leobner, K. Ponweiser, S. Schidler, A. Schirrer, J. Stockinger, H. Taus, M. Volcic, G. Zucker: SmartCityGrid: CoOpt Koordinierte Optimierung von erneuerbarer Energie in Netz und Gebäude bei Planung und Betrieb
FFG, 2015; 415 pages
bib details

M. Zeiner, M Függer, T. Nowak, U. Schmid: Optimal Strategies for Repeated Leader Election
Joint Austrian-Hungarian Mathematical Conference 2015, Györ
bib details

M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner: The effect of forgetting on the performance of a synchronizer
Performance Evaluation, 93 (2015), p. 1 - 16
bib details doi

Kieu Giang, P. Ferschin, M. Di Angelo: Medieval Craftsmen at Castle Waldenfels
Digital Heritage 2015, Granada, Spain; in: 2nd International Congress on Digital Heritage, IEEE Computer Society, 2015, ISBN: 978-1-5090-0047-0
bib details pdf

P. Ferschin, M. Di Angelo, G. Brunner: Rapid Prototyping for Kinetic Architecture
7th International Conference on Robotics, Automation and Mechatronics (RAM), Angkor Wat, Cambodia; in: 7th International Conference on Robotics, Automation and Mechatronics (RAM), IEEE Computer Society, 2015, ISBN: 978-1-4673-7336-4, p. 118 - 123
bib details pdf

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