Publications

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

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

M. Kofler, F. Iglesias Vazquez, W. Kastner: An ontology for representation of user habits and building context in future smart homes
20th Workshop on Intelligent Computing in Engineering, Vienna; in: Proceedings EG-ICE 2013, 2013, p. 1 - 10
bib details

F. Iglesias Vazquez, W. Kastner: Analysis of similarity measures in times series clustering for the discovery of building energy patterns
ENERGIES, 6 (2013), p. 579 - 597
bib details doi pdf

F. Iglesias Vazquez, W. Kastner: A Global Approach of Habit Profiles for Smart Home Control
13th International Conference of the International Building Performance Simulation Association, Chambéry, France; in: Proceedings BS2013, 2013; 8 pages
bib details pdf

F. Iglesias Vazquez, W. Kastner, M. Kofler: Holistic smart home models for air quality and thermal comfort management
International Journal of Intelligent Decision Technologies, 7 (2013), p. 23 - 43
bib details doi pdf

M. Elshuber, R. Obermaisser: Dependable and predictable time-triggered Ethernet networks with COTS components
Journal of Systems Architecture, Volume 59, Issue 9 (2013), p. 667 - 690
bib details doi

S. Kandl, S. Chandrashekar: Reasonability of MC/DC for Safety-Relevant Software Implemented in Programming Languages with Short-Circuit Evaluation
9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), Paderborn, Deutschland; in: Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, IEEE Proceedings, 2013
bib details pdf

M. Wimmer (invited): The Pheet Task-Scheduling Framework
Massachusetts Institute of Technology - Group CSAIL, Cambridge, Massachusetts, USA
bib details

J. Träff (invited): Unique Features of MPI: Collective Operations on Structured Data
20th European MPI Users' Group Meeting, EuroMPI 2013, Madrid, Spain
bib details

M. Wimmer: Wait-free Hyperobjects for Task-parallel Programming Systems
IEEE 27th International Symposium on Parallel and Distributed Processing (IPDPS 2013), Boston, Massachusetts, USA; in: Proceedings of the IEEE 27th International Symposium on Parallel and Distributed Processing (IPDPS 2013), IEEE Computer Society, 2013, ISBN: 978-1-4673-6066-1, p. 803 - 812
bib details doi

M. Wimmer, D. Cederman, J. Träff, P. Tsigas: Work-stealing with Configurable Scheduling Strategies
MADALGO Summer School on DATA STRUCTURES, Aarhus University, Denmark
bib details

E. Bartocci, L. Bortolussi, L. Nenzi: A temporal logic approach to modular design of synthetic biological circuits
CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, Klosterneuburg, Austria; in: Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, LNCS/Springer, vol. 8130 (2013), ISBN: 978-3-642-40707-9, p. 164 - 178
bib details doi

K. Kalajdzic, E. Bartocci, S. Stoller, S. Smolka, R. Grosu: Runtime Verification with Particle Filtering
RV 2013, the Fourth International Conference on Runtime Verification, RENNES, France; in: Proc. of RV 2013, the Fourth International Conference on Runtime Verification, LNCS/Springer, 8174 (2013), ISBN: 978-3-642-40786-4, p. 149 - 166
bib details doi

M. Volcic, J. Blieberger, A. Schöbel: Kronecker Algebra as a Frame for Optimisation of Railway Operation
21st International Scientific Conference - Transport 2013, Sofia; in: Mechanics Transport Communications, Mechanics Transport Communications/VTU Print, 11/3/Sofia (2013), ISSN: 1312-3823, p. 57 - 63
bib details

O. Höftberger, R. Obermaisser: Ontology-based Runtime Reconfiguration of Distributed Embedded Real-Time Systems
16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), Paderborn, Deutschland; in: Proc. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013), 2013
bib details doi pdf

P. Puschner, D. Prokesch, B. Huber, J. Knoop, S Hepp, G. Gebhard (invited): The platin Toolkit: A Core Component of the T-CREST Approach for Compiler and WCET-Analysis Integration
July'13 Meeting of the EU FP7 Cost Action no. IC1202 Timing Analysis on Code-Level (TACLe)", Paris
bib details

M. Elshuber, S. Kandl, P. Puschner: Improving System-Level Verification of SystemC Models with SPIN
1st French Singaporean Workshop on Formal Methods and Applications, Singapore; in: 1st French Singaporean Workshop on Formal Methods and Applications, 2013, ISBN: 978-3-939897-56-9; 6 pages
bib details doi

B. Huber, D. Prokesch, P. Puschner: Combined WCET analysis of bitcode and machine code using control-flow relation graphs
Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, WA, USA; in: Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, The Association for Computing Machinery, 2013, ISBN: 978-1-4503-2085-6, p. 163 - 172
bib details doi

J. Träff (invited): Challenges in Message-Passing Interfaces for Large-Scale Parallel Systems
UPMARC Summer School on Multicore Computing, Uppsala University, Uppsala, Sweden
bib details

C. Eisserer: Embedded Real-Time 3D Stereo Vision on Multicore Digital Signal Processors (Master's Thesis)
reviewer: J. Träff; Institut für Informationssysteme, Arbeitsbereich Parallel Computing, 2013; oral examination: 2013-06-07
bib details

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms
International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; in: SPIN, LNCS, Springer, 7976 (2013), ISBN: 978-3-642-39175-0, p. 209 - 226
bib details doi 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 >   >>