Publications

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

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

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

S. Bachl: Effects of personal displays and transfer techniques on collaboration in multi-touch based multi-display environments (Master's Thesis)
reviewer: T. Grechenig; 183/1, 2011
bib details

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

A. Ehringfeld: ITIL als Methode gegen Social Engineering Attacken
Hakin9, 10 (2011), p. 28 - 34
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

C. Kolbitsch: Behavior Based Malware Analysis and Detection (PhD Thesis)
reviewers: Ch. Krügel, E. Kirda; Rechnergestützte Automation, 2011
bib details

M. Egele: Protecting Web Clients from Internet Threats (PhD Thesis)
reviewers: Ch. Krügel, E. Kirda; Rechnergestützte Automation, 2011
bib details

W. Kastner: Building Automation
Vienna Green Summer Academy, Wien
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 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 >   >>