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

V. Mikolasek, H. Kopetz: Roll-Forward Recovery with State Estimation
14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), Newport Beach, California, USA; in: 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), IEEE, 2011, ISBN: 978-1-61284-433-6, p. 179 - 186
bib details

A. Wasicek, C. El Salloum, H. Kopetz: Authentication in Time-Triggered Systems using Time-delayed Release of Keys
14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), Newport Beach, California, USA; in: 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), IEEE, 2011, ISBN: 978-1-61284-433-6, p. 31 - 39
bib details

S. Bünte, M. Zolda, M. Tautschnig, R. Kirner: Improving the Confidence in Measurement-Based Timing Analysis
14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), Newport Beach, California, USA; in: 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2011), IEEE, 2011, ISBN: 978-1-61284-433-6, p. 144 - 151
bib details

C. Stögerer, I. Brandic, V. Emeakaroha, W. Kastner, T. Novak: Applying availability SLAs to Traffic Management Systems
Intelligent Transportation Systems (ITSC), 2011 14th International IEEE Conference, Washington, DC, USA; in: Intelligent Transportation Systems (ITSC), 2011 14th International IEEE Conference Proceedings, IEEE Computer Society, 2011, ISBN: 978-1-4577-2198-4, p. 1501 - 1506
bib details doi

M. Szydlowski, B. Zhao, E. Kirda, Ch. Krügel: BTLab: A System-Centric, Data-Driven Analysis and Measurement Platform for BitTorrent Clients
20th International Conference on Computer Communication Networks (ICCCN 2011), Maui, HI; in: Proceedings of the 20th International Conference on Computer Communication Networks (ICCCN 2011), IEEE, 2011; 6 pages
bib details pdf

P. Ferschin, M. Di Angelo: An Approach to Formalize Traditional Balinese Architecture with Design Grammars
International Symposium Insular Diversity: Architecture, Culture, and Identity in Indonesia, Vienna; in: Proc. International Symposium Insular Diversity: Architecture, Culture, and Identity in Indonesia, E. Lehner, I. Doubrawa, A. Ikaputra (ed.); IVA-ICRA, Wien (2011), ISBN: 978-3-900265-14-4, p. 151 - 158
bib details pdf

J. Hong, K. Hong, B. Burgstaller, J. Blieberger: AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005
Reliable Software Technologies - Ada-Europe, Valencia; in: Reliable Software Technologies - Ada Europe 2010, Springer-Verlag, LNCS 6106 (2010), ISBN: 978-3-642-13549-1, p. 208 - 221
bib details pdf

A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan: Towards an Orchestrated Approach for Annotation Verification
27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", M. Hanus, F. Reck (ed.); Christian-Albrechts-Universität Kiel, Deutschland, Kiel, Bericht Nr. 1010, 2010, p. 71 - 85
bib details

R. Krimmer, A. Ehringfeld, M. Traxl: The Use of E-Voting in the Austrian Federation of Students Elections 2009
4th International Conference on Electronic Voting 2010 (EVOTE 2010), Bregenz, Austria; in: Electronic Voting, R. Krimmer, R. Grimm (ed.); Gi, Lni, 167 (2010), ISBN: 978-3-88579-261-1, p. 33 - 44
bib details

A. Ehringfeld, L. Naber, T. Grechenig, R. Krimmer, M. Traxl, G. Fischer: Analysis of Recommendation Rec(2004)11 Based on the Experiences of Specific Attacks Against the First Legally Binding Implementation of E-Voting in Austria
4th International Conference on Electronic Voting 2010 (EVOTE 2010), Bregenz, Austria; in: Electronic Voting, R. Krimmer, R. Grimm (ed.); Gi, Lni, 167 (2010), ISBN: 978-3-88579-261-1, p. 225 - 237
bib details

U. Schmid (invited): Synchrony and Time in Fault-Tolerant Distribiuted Algorithms
FORMATS 2010 (Formal Modeling and Analysis of Times Systems), Klosterneuburg, Austria; in: Formal Modeling and Analysis of Timed Systems, Springer, 6246 (2010), ISBN: 9783642152962
bib details

T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
MEMICS 2010 (Mathematical and Engineering Methods in Computer Science), Mikulov, Czech Republic; in: MEMICS proceedings, 2010, p. 151 - 158
bib details

S. Bachl, M. Tomitsch, C. Wimmer, T. Grechenig: Challenges for Designing the User Experience of Multi-touch Interfaces
Engineering Patterns for Multi-Touch Interfaces 2010, Berlin; in: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM, New York, NY, USA (2010), ISBN: 978-1-4503-0083-4
bib details

W. Friesenbichler, T. Panhofer, A. Steininger: Reliability Estimation and Experimental Results of a Self-Healing Asynchronous Circuit: A Case Study
NASA/ESA 2010 (Conference on Adaptive Hardware and Systems), Anaheim, CA, USA; in: NASA/ESA 2010 Proceedings, IEEE Computer Society, 2010, ISBN: 9781424458882, p. 97 - 104
bib details doi

W. Friesenbichler, T. Panhofer, A. Steininger: Implementation of Self-Healing Asynchronous Circuits at the Example of a Video-Processing Algorithm
WSDN 2010 (4th Workshop on Dependable and Secure Nanocomputing, Chicago, IL, USA; in: WSDN - Full Program, IEEE Computer Socitey, 2010, ISBN: 9781424477289, p. 129 - 134
bib details doi

W. Friesenbichler, T. Panhofer, A. Steininger: A Deterministic Approach for Hardware Fault Injection in Asynchronous QDI Logic
DDECS 2010 (Design and Diagnostics of Electronic Circuits and Systems), Vienna, Austria; in: 13th IEEE International Symposium On Design And Diagnostics Of Electronic Cicruits And Systems, IEEE, 2010, ISBN: 9781424466108, p. 317 - 322
bib details doi

A. Goiser, S. Khattab, G. Fassl, U. Schmid: A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Optimization
CTRQ-2010, IEEE Computer Society, 2010, ISBN: 978-0-7695-4070-2; 5 pages
bib details doi pdf

M. J. Kofler, W. Kastner: A Knowledge Base for Energy-Efficient Smart Homes
IEEE International Energy Conference & Exhibition, Manama, Bahrain; in: Proceedings IEEE International Energy Conference & Exhibition, 2010
bib details

F. Praus, C. Reinisch, P. Leitner, W. Kastner: Open Source Approaches to Integrate KNX into Media Centers
KNX Scientific Conference 2010, Pamplona, Navarra, Spain; in: Proceedings KNX Scientific Conference 2010, 2010
bib details

W. Kastner (invited): No-new-wires technologies for control
Broadband Home today and tomorrow: technical challenges and developments, Delft, Netherlands; in: Broadband Home today and tomorrow: technical challenges and developments, 2010
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 >   >>