Publications

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

Currently viewing all publications in category Presentations - back to overwiew...

Presentations

I. Haller, A. Slowinska, M. Neugschwandtner, H. Bos: Dowsing for overflows: A guided fuzzer to find buffer boundary violations
Usenix Security Symposium, Washington, DC; in: Usenix Security Symposium, 2013
bib details pdf

M. Lindorfer, M. Neumayr, J. Caballero, Ch. Platzer: POSTER: Cross-Platform Malware: Write Once, Infect Everywhere
ACM Conference on Computer and Communications Security (CCS), Berlin; in: ACM Conference on Computer and Communications Security (CCS), 2013
bib details pdf

M. Kofler, W. Kastner: Towards an ontology representing building physics parameters for increased energy efficiency in smart home operation
2nd Central European Symposium on Building Physics, Vienna; in: Proceedings of the 2nd Central European Symposium on Building Physics, Vienna University of Technology, Vienna, Austria (2013), ISBN: 978-3-85437-321-6, p. 51 - 58
bib details

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Montreal, Kanada; in: PODC, ACM, 2013, ISBN: 978-1-4503-2065-8, p. 119 - 121
bib details doi

P. Ferschin, M. Di Angelo, G. Paskaleva: Parametric Balinese Rumah - Procedural Modeling of Traditional Balinese Architecture
2013 Digital Heritage International Congress, Marseille, France; in: 2013 Digital Heritage International Congress, A. Addison, G. Guidi, L. De Luca, S. Pescarin (ed.); IEEE, CFP1308W-USB (2013), ISBN: 978-1-4799-3169-9, p. 199 - 206
bib details pdf

A. John, I. Konnov, U. Schmid, H. Veith, J. Widder: Parameterized model checking of fault-tolerant distributed algorithms by abstraction
International Conference on Formal Methods in Computer-Aided Design (FMCAD), Portland, OR, USA; in: FMCAD, 2013, ISBN: 978-0-9835678-3-7, p. 201 - 209
bib details pdf

B. Cilku, R. Kammerer, P. Puschner: Aligning Single Path Loops to Reduce the Number of Capacity Cache Misses
6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Vancouver, Canada; in: Proceedings of the 34th IEEE Real-Time Systems Symposium, 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2013
bib details pdf

B. Cilku, P. Puschner: Towards Temporal and Spatial Isolation in Memory Hierarchies for Mixed-Criticality Systems with Hypervisors
1st Workshop on Real-Time Mixed Criticality Systems, Taipei, Taiwan; in: Proceedings of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 1st workshop on Real-Time Mixed Criticality Systems, 2013
bib details pdf

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

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

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

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