Publications

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

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

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

M. Volcic, J. Blieberger, A. Schöbel: Kronecker Algebra and its Broad Applications in Railway Systems
EURO-ZEL 2013, Zilina; in: EURO-ZEL 2013: Recent Challenges for European Railways, University of Zilina, Zilina (2013), ISBN: 978-80-263-0380-0, p. 275 - 282
bib details

M. Wimmer, D. Cederman, J. Träff, P. Tsigas: Work-stealing with Configurable Scheduling Strategies
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China; in: Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, ACM, 2013, ISBN: 978-1-4503-1922-5, p. 315 - 316
bib details doi

T. Polzer, A. Steininger, J. Lechner: Muller C-Element Metastability Containment
International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012, Newcastle upon Tyne; in: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, Lecture Notes in Computer Science, 7606 (2013), ISBN: 978-3-642-36156-2, p. 103 - 112
bib details

J. Lechner, R. Najvirt: A Generic Architecture for Robust Asynchronous Communication Links
International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012, Newcastle upon Tyne; in: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, Lecture Notes in Computer Science, 7606 (2013), ISBN: 978-3-642-36156-2, p. 121 - 130
bib details

M. Einhorn, F.V. Conte, C. Kral, J. Fleig: Comparison, Selection and Parameterization of Electrical Battery Models for Automotive Applications
IEEE Transactions on Power Electronics, 28 (2013), p. 1429 - 1437
bib details doi

A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, E. Cherry, S. Smolka, R. Grosu: Curvature Analysis of Cardiac Excitation Wavefronts
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10 (2013), p. 323 - 336
bib details doi

M. Schoeberl, B. Huber, W. Puffitsch: Data cache organization for accurate timing analysis
Real-Time Systems, 49 (2013), p. 1 - 28
bib details doi

S. Stoller, E. Bartocci, J. Seyster, R. Grosu, K Havelund, S. Smolka, E. Zadok: Runtime Verification with State Estimation
RV 2011: Proc. of the 2nd International Conference on Runtime Verification, San Francisco (CA), USA; in: RV 2011: Proc. of the 2nd International Conference on Runtime Verification, LNCS / Springer Berlin Heidelberg, vol. 7186 (2012), ISBN: 978-3-642-29859-2, p. 193 - 207
bib details doi

E. Bartocci, L. Bortolussi: Proceedings First International Workshop on Hybrid Systems and Biology
Electronic Proceedings in Theoretical Computer Science, 2012, ISSN: 2075-2180
bib details doi

W. Friesenbichler: Effects and Mitigation of Transient Faults in Quasi Delay-Insensitive Logic (PhD Thesis)
reviewers: A. Steininger, H. Vierhaus; Institut für Technische Informatik, 2012
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 >   >>