Publications

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

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

S. Hunold (invited): The Art of MPI Benchmarking
Lunchtime Seminar, Department of Computer Science, University of Innsbruck, Innsbruck, Austria
bib details

O. Höftberger: Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS)
2016
bib details pdf

R. Mittermayr, J. Blieberger: A Generic Graph Model for WCET Analysis of Multi-core Concurrent Applications
Journal of Software Engineering and Applications, 9 (2016), p. 182 - 198
bib details doi

R. Mittermayr, J. Blieberger: Kronecker Algebra for Static Analysis of Barriers in Ada
Reliable Software Technologies - Ada-Europe, Pisa, Italy; in: Ada-Europe'2016 International Conference on Reliable Software Technologies, Springer-Verlag, 2016, p. 145 - 159
bib details

K. Pollhammer: Automated Buildings as Energy Storages (PhD Thesis)
reviewers: D. Dietrich, W. Elmenreich; E384, 2016; oral examination: 2016-02-05
bib details

D. Dolev, M Függer, C. Lenzen, M. Perner, U. Schmid: HEX: Scaling Honeycombs is Easier than Scaling Clock Trees
Journal of Computer and System Sciences, 82 (2016), p. 929 - 956
bib details doi

A. Mazak, M. Wimmer, C. Huemer, G. Kappel, W. Kastner: Rahmenwerk zur modellbasierten horizontalen und vertikalen Integration von Standards für Industrie 4.0
Handbuch Industrie 4.0, B. Vogel-Heuser et al. (ed.); Springer-Verlag Berlin Heidelberg, 2016, ISBN: 978-3-662-45537-1, p. 22
bib details doi pdf

S. Hunold (invited): The art of benchmarking MPI libraries
Austrian HPC Meeting 2016 - AHPC16, Grundlsee, Austria
bib details

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner: Semi-formal Representation of Requirements for Automotive Solutions Using SysML
Languages, Design Methods, and Tools for Electronic System Design, Springer International Publishing, Lecture Notes in Electrical Engineering 361 (2016), ISBN: 978-3-319-24457-0, p. 57 - 81
bib details doi

I. Leobner: Modeling of Energy Systems for Complex Simulations (PhD Thesis)
reviewers: K. Ponweiser, W. Kastner; E302 - Institut für Energietechnik und Thermodynamik, 2016; oral examination: 2016-01-26
bib details pdf

S. Hunold (invited): Clock Synchronization Algorithms and SimGrid
SimGrid User Days, CNRS center Villa Clythia, Fréjus, France
bib details

J. Träff (invited): Effective MPI Programming: Concepts, Advanced Features, Do's and Don'ts
Vienna Scientific Cluster: VSC School Seminar, TU Wien, Vienna, Austria
bib details

M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli, B. Frömel: A holistic viewpoint-based SysML Profile to Design Systems-of-Systems
17th IEEE International Symposium on High Assurance Systems Engineering, Orlando, Florida, USA; in: High Assurance Systems Engineering (HASE), 2016 IEEE 17th International Symposium on, 2016, ISSN: 1530-2059, p. 276 - 283
bib details doi

P. Domingues, P. Carreira, R. Vieira, W. Kastner: Building automation systems: Concepts and technology review
Computer Standards & Interfaces, 45 (2016), p. 1 - 12
bib details doi

E. Bartocci, P. Lio: Computational modeling, formal analysis and tools for systems biology
PLoS Computational Biology, 12 (2016), p. 1 - 22
bib details doi

M. Suchi: Meta-heuristic local planning (Master's Thesis)
reviewers: M. Vincze, M. Bader; Automation and Control Institute (ACIN), 2015
bib details

M. Lindorfer, M. Neugschwandtner, Ch. Platzer: Marvin: Efficient and Comprehensive Mobile App Classification Through Static and Dynamic Analysis
Proceedings of the IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), IEEE, 2015, ISBN: 978-1-4673-6564-2, p. 422 - 433
bib details doi pdf

M. Bader, A. Richtsfeld, M. Suchi, G. Todoran, W. Holl, W. Kastner, M. Vincze: Balancing Centralized Control with Vehicle Autonomy in AGV Systems
International Academy, Research and Industry Association (IARIA), Italien, Rom; in: Conference on Autonomic and Autonomous Systems (ICAS), Rom (2015), ISBN: 978-1-61208-405-3, p. 37 - 43
bib details

J. Schumann, P. Moosbrugger, K. Rozier: R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
RV 2015, the 6th International Conference on Runtime Verification, Vienna, Austria; in: Proc. of RV 2015, the 6th International Conference on Runtime Verification, Springer, 9333 (2015), p. 233 - 249
bib details doi pdf

F. Pauker, T. Frühwirth, R. Hinterbichler, T. Bachmayr (invited): OPC4Factory - Flexibel automatisierte Fertigungszellen
Blickpunkt Forschung: Energie@TU Wien, Wien
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 >   >>