Publications

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

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

Presentations

P. Ferschin, M. Di Angelo: Procedural Modelling of Traditional Balinese Settlements
CHNT 2011 16th International Conference on Cultural Heritage and New Technologies, Wien, Österreich; in: Proc. 16th International Conference on Cultural Heritage and New Technologies, W. Börner et al. (ed.); 2011, p. 304 - 313
bib details pdf

M Függer, J. Widder: On Efficient Checking of Link-reversal-based Concurrent Systems
PUMA/RISE Seminar, Traunkirchen
bib details

W. Gropp, T. Hoefler, R. Thakur, J. Träff: Performance Expectations and Guidelines for MPI Derived Datatypes
EuroMPI 2011, Santorini, Greece
bib details

E. Bajrovic, J. Träff: Using MPI Derived Datatypes in Numerical Libraries
EuroMPI 2011, Santorini, Greece
bib details

M. Biely, P. Robinson, U. Schmid: Brief Announcement: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC'11), San Jose; in: PODC'11, ACM, 2011, p. 227 - 228
bib details

H. Moser, U. Schmid: Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing
Structural Information and Communication Complexity, Gdansk; in: Proceedings 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11), Springer Berlin / Heidelberg, 2011, ISBN: 978-3-642-22211-5, p. 42 - 53
bib details doi

M. Biely, P. Robinson, U. Schmid: Solving k-Set Agreement with Stable Skeleton Graphs
International Parallel and Distributed Processing Symposium (IPDPS), Anachorage, Alaska; in: IPDPS Workshops, 2011, ISBN: 978-1-61284-425-1, p. 1488 - 1495
bib details doi

M. Biely, P. Robinson, U. Schmid: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems
International Conference On Principles Of Distributed Systems (OPODIS), Toulouse; in: OPODIS'11, Springer Berlin / Heidelberg, 2011, p. 299 - 312
bib details pdf

R. Planinc, E. Wetzinger, M. Di Angelo: Information Technology Education Add-on: "Improving Media Literacy"
ISSEP2011, Bratislava; in: Informatics in Schools: Situation, Evolution and Perspectives, D. Bezakova, I. Kalas (ed.); 2011, ISBN: 978-80-89186-90-7, p. 32
bib details

P. Smejkal, M. Di Angelo: Informatics Classes in Austria´s Lower Secondary Schools - a Survey
ISSEP2011, Bratislava; in: Informatics in Schools: Situation, Evolution and Perspectives, D. Bezakova, I. Kalas (ed.); 2011, ISBN: 978-80-89186-90-7, p. 37
bib details pdf

G. Kurz, M. Di Angelo: Unterrichtsveränderungen in Notebook-Klassen
INFOS 2011, Münster; in: Informatik mit Kopf, Herz und Hand - Praxisbeiträge zur INFOS 2011, M. Weigend, F. Otte, M. Thomas (ed.); ZfL-Verlag Münster, 2011, ISBN: 978-3-86877-009-4, p. 111 - 120
bib details pdf

T. Reinbacher, D. Gückel, M. Horauer: Testing microcontroller software simulators
WS4C 2011, Berlin; in: Workshop on Software Language Engineering for Cyber-physical Systems, 2011
bib details

T. Reinbacher, A. Steininger, T. Müller, M. Horauer, J. Brauer, S. Kowalewski: Hardware support for efficient testing of embedded software
The 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Washington; in: International Conference on Mechatronic and Embedded Systems and Applications, ASME, 2011
bib details

T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski: Past time LTL runtime verification for microcontroller binary code
FMICS 2011, Trento; in: Formal Methods for Industrial Critical Systems, Springer Berlin / Heidelberg, 2011, ISBN: 978-3-642-24430-8, p. 37 - 51
bib details doi

T. Reinbacher, J. Brauer: Precise control flow reconstruction using boolean logic
EMSOFT2011, ACM international conference on Embedded software, Taipei; in: EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software, ACM New York, 2011, ISBN: 978-1-4503-0714-7, p. 117 - 126
bib details doi

T. Reinbacher, J. Brauer, D. Schachinger, A. Steininger, S. Kowalewski: Automated test-trace inspection for microcontroller binary code
2nd International Conference on Runtime Verification (RV 2011), San Francisco; in: Runtime Verification, 2011, p. 239 - 244
bib details

M. Neugschwandtner, P. Milani Comparetti, Ch. Platzer: Detecting malware's failover C&C strategies with SQUEEZE
Annual Computer Security Applications Conference (ACSAC), Orlando, Florida; in: Proceedings of the 27th Annual Computer Security Applications Conference, ACM, 27 (2011), ISBN: 978-1-4503-0672-0
bib details doi pdf

M. Neugschwandtner, P. Milani Comparetti, G. Jacob, C. Krügel: ForeCast - Skimming off the Malware Cream
Annual Computer Security Applications Conference (ACSAC), Orlando, Florida; in: Proceedings of the 27th Annual Computer Security Applications Conference, ACM, New York (2011), ISBN: 978-1-4503-0672-0
bib details doi pdf

A. Ehringfeld, L. Naber, K. Kappel, G. Fischer, T. Grechenig: Toward a Management Catalog of Security Measures against Social Engineering Attacks
The International Conference on Engineering and Information Management (ICEIM 2011), Chengdu, China; in: Proceedings of the International Conference on Engineering and Information Management, 2011, ISBN: 978-1-4244-9770-6, p. 1 - 5
bib details

A. Ehringfeld, L. Naber, K. Kappel, G. Fischer, E. Pichl, T. Grechenig: Learning from a Distributed Denial of Service Attack against a Legally Binding Electronic Election: Scenario, Operational Experience, Legal Consequences
The Second international conference on Electronic government and the information systems perspective (EGOVIS'11), Toulouse, France; in: Proceedings of the Second international conference on Electronic government and the information systems perspective (EGOVIS'11), K. Andersen, E. Francesconi, Å. Grönlund, T. van Engers (ed.); Springer-Verlag, Berlin, Heidelberg (2011), ISBN: 978-3-642-22960-2, p. 56 - 67
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 >   >>