Publications

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

Currently viewing all publications in category Conference Papers - back to overwiew...

Conference Papers

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

S. Bachl, M. Tomitsch, K. Kappel, T. Grechenig: The Effects of Personal Displays and Transfer Techniques on Collaboration Strategies in Multi-touch Based Multi-display Environments
Human-Computer Interaction - INTERACT 2011, Lissabon, PT; in: Proceedings of 13th IFIP TC13 Conference on Human-Computer Interaction (INTERACT ´11), P. Campos et al. (ed.); Springer Berlin / Heidelberg, Part III (2011), p. 373 - 390
bib details

M. J. Kofler, C. Reinisch, W. Kastner: A Knowledge Representation for Energy Parameters in Sustainable Smart Homes
Third International Conference on Applied Energy (ICAE '11), Perugia, Italy; in: Third International Conference on Applied Energy (ICAE '11), 2011, p. 1065 - 1078
bib details

W. Kastner, C. Reinisch, M. J. Kofler: ThinkHome
e-nova: Nachhaltige Gebäude, Pinkafeld; in: e-nova: Nachhaltige Gebäude - Innovative Technologien & Konzepte für Gebäude der Zukunft, 2011, p. 101 - 110
bib details

F. Iglesias Vazquez, W. Kastner, S. Gaceo, C. Reinisch: Electricity Load Management in Smart Home Control
12th Conference of International Building Performance Simulation Association, Sydney, Australia; in: 12th Conference of 12th Conference of International Building Performance Simulation Association, 2011, p. 957 - 964
bib details

D. Dolev, M Függer, C. Lenzen, U. Schmid: Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract]
Stabilization, Safety, and Security of Distributed Systems, Grenoble, France; in: Stabilization, Safety, and Security of Distributed Systems, Springer Berlin / Heidelberg, 2011, ISBN: 978-3642051173, p. 163 - 177
bib details doi

B. Charron-Bost, M Függer, L. Welch, J. Widder: Partial is Full
Structural Information and Communication Complexity, Gdansk; in: Structural Information and Communication Complexity, Springer Berlin / Heidelberg, 2011, ISBN: 978-3-642-22211-5, p. 113 - 124
bib details doi

B. Charron-Bost, M Függer, L. Welch, J. Widder: Full Reversal Routing as a Linear Dynamical System
Structural Information and Communication Complexity, Gdansk; in: Structural Information and Communication Complexity, Springer Berlin / Heidelberg, 2011, ISBN: 978-3-642-22211-5, p. 101 - 112
bib details doi

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