Publications

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

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

R. Kammerer, B. Frömel, R. Obermaisser, P. Milbredt: Composability and Compositionality in CAN-Based Automotive Systems based on Bus and Star Topologies
IEEE 11th International Conference on Industrial Informatics INDIN´2013, Bochum, Germany; in: Proceedings of the 11th International Conference on Industrial Informatics INDIN2013, 2013, p. 116 - 122
bib details doi pdf

E. Bartocci, R. Grosu (invited): Monitoring with uncertainty
HAS 2013, Rome, Italy; in: Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems, Electronic Proceedings in Theoretical Computer Science, vol. 124 (2013), ISSN: 2075-2180; 4 pages
bib details doi

E. Bartocci: Sampling-based Decentralized Monitoring for Networked Embedded Systems
HAS 2013, Rome, Italy; in: Proc. of HAS 2013: the Third International Workshop on Hybrid Autonomous Systems, Electronic Proceedings in Theoretical Computer Science, vol. 124 (2013), ISSN: 2075-2180, p. 85 - 99
bib details doi

S. Bogomolov, D. Donze, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle: Abstraction-Based Guided Search for Hybrid Systems
International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; in: SPIN, LNCS, Springer, 7976 (2013), p. 117 - 134
bib details doi

H. Isakovic, A. Wasicek: Secure Channels in an Integrated MPSoC Architecture
39th Annual Conference of the IEEE Industrial Electronics Society, Wien; in: Industrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE, 2013, ISSN: 1553-572x, p. 4488 - 4493
bib details doi pdf

C. El Salloum, M. Elshuber, O. Höftberger, H. Isakovic, A. Wasicek: The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems
Microprocessors and Microsystems, 37 (2013), p. 1020 - 1032
bib details doi

G. Tzenakis, A. Papatriantafyllou, H. Vandierendonck, P. Pratikakis, D. Nikolopoulos: BDDT: Block-Level Dynamic Dependence Analysis for Task-Based Parallelism
10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, Stockholm, Sweden; in: Advanced Parallel Processing Technologies, 10th International Symposium, APPT 2013, Revised Selected Papers, C. Wu, A. Cohen (ed.); Springer, LNCS 8299 (2013), ISBN: 978-3-642-45292-5, p. 17 - 31
bib details doi

E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti: On the Robustness of Temporal Properties for Stochastic Models
HSB 2013: the 2nd International Workshop on Hybrid Systems and Biology, Taormina, Italy; in: Proceedings of the Second International Workshop on Hybrid Systems and Biology, Electronic Proceedings on Theoretical Computer Science, vol. 125 (2013), ISSN: 2075-2180, p. 3 - 19
bib details doi pdf

R. Bertin, S. Hunold, A. Legrand, C. Touati: Fair scheduling of bag-of-tasks applications using distributed Lagrangian optimization
Journal of Parallel and Distributed Computing, Available online 23 August 2013 (2013), p. 1 - 16
bib details

J. Träff (invited): Large-scale message passing concepts in EPiGRAM
Workshop on Exascale MPI (ExaMPI 2013) at Supercomputing Conference 2013, Denver, Colorado, USA
bib details

S. Hunold (invited): On the Scalability of Moldable Task Scheduling Algorithms
Dagstuhl Seminar 13381: Algorithms and Scheduling Techniques for Exascale Systems, Schloss Dagstuhl, Wadern, Germany
bib details

S. Hunold (invited): Can I repeat your parallel computing experiment? Yes, you can´t
Technische Universität Dresden, Zentrale für Informationsdienste und Hochleistungsrechnen (ZIH), Dresden, Deutschland
bib details

M. Wimmer, M. Pöter, J. Träff: The Pheet Task-Scheduling Framework on the Intel(R) Xeon Phi(TM)Coprocessor and other Multicore Architectures
Workshop on Multithreaded Architectures and Applications (MTAAP 2013) in conjunction with IPDPS 2013, Boston, Massachusetts, USA; in: Proceedings of the 2013 IEEE 27th International Symposium on Parallel and Distributed Processing Workshops and PhD Forum, IEEE Computer Society, 2013, ISBN: 978-0-7695-4979-8, p. 1587 - 1596
bib details doi

M. Volcic, A. Schöbel, J. Blieberger: Kronecker Algebra based Modelling of Railway Operation
MT-ITS, Dresden; in: Proceedings of the MT-ITS 2013, TUDpress, Verkehrstelematik 3 (2013), ISBN: 978-3-944331-34-8, p. 345 - 356
bib details

J. Galler: Content Aware Smart Routing (Master's Thesis)
reviewers: W. Kastner, G. Gridling; Rechnergestützte Automation, 2013; oral examination: 2013-11-20
bib details

V. Habsburg-Lothringen: Extracting economic information from underground marketplaces (Master's Thesis)
reviewers: W. Kastner, G. Wondracek; Rechnergestützte Automation, 2013; oral examination: 2013-03-06
bib details

M. Stütz: Detecting Illicit content in picture streams (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2013; oral examination: 2013-06-14
bib details

J. Weidinger: Integration der Gebäudeautomation in das Internet der Dinge (Master's Thesis)
reviewers: W. Kastner, M. Jung; Rechnergestützte Automation, 2013; oral examination: 2013-05-06
bib details

C. Pfeifhofer: Silent Installs - Studying the Dark Side of the Pay-Per-Install Business (Master's Thesis)
reviewers: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2013; oral examination: 2013-11-10
bib details

P. Staroch: A Weather Ontology for Predictive Control in Smart Homes (Master's Thesis)
reviewers: W. Kastner, M. Kofler; Rechnergestützte Automation, 2013; oral examination: 2013-10-10
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 >   >>