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

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

T. Nowak, M Függer, A. Kößler: On the Performance of a Retransmission-Based Synchronizer
Structural Information and Communication Complexity, Gdansk; in: Structural Information and Communication Complexity, Springer Berlin / Heidelberg, 2011, ISBN: 978-3-642-22211-5, p. 234 - 245
bib details

B. Charron-Bost, M Függer, L. Welch, J. Widder: Brief announcement: full reversal routing as a linear dynamical system
SPAA '11, San Jose, California, USA; in: Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures, ACM, 2011, ISBN: 978-1-4503-0743-7, p. 129 - 130
bib details doi

M. Ferringer: Investigating the Impact of Process Variations on an Asynchronous Time-Triggered-Protocol Controller
Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on, Hong-Kong; in: Dependable Systems and Networks Workshops, 2011, ISBN: 978-1-4577-0374-4, p. 47 - 52
bib details doi

M. Ferringer: Conversion and Interfacing Techniques for Asynchronous Circuits
14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011), Cottbus, Germany; in: Design and Diagnostics of Electronic Circuits & Systems, 2011, ISBN: 978-1-4244-9755-3, p. 11 - 16
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 >   >>