Publications

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

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

T. Reinbacher, J. Geist, P. Moosbrugger, M. Horauer, A. Steininger: Parallel Runtime Verification of Temporal Properties for Embedded Software
Mechatronics and Embedded Systems and Applications (MESA), 2012 IEEE/ASME International Conference on, Suzhou, China; in: Mechatronics and Embedded Systems and Applications (MESA), 2012 IEEE/ASME International Conference on, 2012, ISBN: 978-1-4673-2347-5, p. 224 - 231
bib details

T. Reinbacher, M. Horauer, A. Steininger: A Runtime Verification Unit for Microcontrollers
System, Software, SoC and Silicon Debug Conference (S4D), 2012, Vienna, Austria; in: System, Software, SoC and Silicon Debug Conference (S4D), 2012, 2012, ISSN: 2114-3684, p. 1 - 6
bib details

M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger: Supply Voltage Dependent On-chip Single Event Transient Pulse Shape Measurements in 90 nm Bulk CMOS under Alpha Irradiation
21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12), Biarritz, FRANCE; in: Proceedings 21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12), 2012
bib details

V. S. Veeravalli, A. Steininger, U. Schmid, T. Polzer: Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip
15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD 2012), Izmir, Turkey; in: Proceedings 15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD'12), 2012, p. 8 - 17
bib details

D. Dolev, M Függer, C. Lenzen, U. Schmid (invited): Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation in Systems-on-Chip
NITRD Workshop, Baltimore, USA
bib details

M. Biely, P. Robinson, U. Schmid: Agreement in Directed Dynamic Networks
19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12), Reykjavik, Iceland; in: Proceedings 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12), 2012, p. 73 - 84
bib details

K. John, A. Ehringfeld, G. Fischer: Quality Assurance Case Study of an ICT Supported Legally Binding Election in Austria
6th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2012), Albany, US; in: Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2012), J. Gil-Garcia, N. Helbig, O. Adegboyega (ed.); The Association for Computing Machinery, New York (2012), ISBN: 978-1-4503-1200-4, p. 500 - 501
bib details

K. John, A. Ehringfeld: Concepts of E-participation at a Case Study of Mobile Phone Apps
Virtual International Conference on Advanced Research in Scientific Fields (ARSA 2012), Slovakia; in: Proceedings of the Virtual International Conference on Advanced Research in Scientific Fields (ARSA 2012), 2012, ISBN: 978-80-554-0606-0
bib details

A. Ehringfeld: ITIL als Methode gegen Attacken eines Social Engineers im IT-Betrieb (PhD Thesis)
reviewers: T. Grechenig, K. Adlassnig; E183/1, 2012; oral examination: 2012-03-16
bib details

J. Lechner, M. Lampacher: Protecting Pipelined Asynchronous Communication Channels Against Single Event Upsets
IEEE 30th International Conference on Computer Design (ICCD 2012), Montreal, Canada; in: Computer Design (ICCD), 2012 IEEE 30th International Conference on, 2012, ISSN: 1063-6404, p. 480 - 481
bib details

J. Lechner, M. Lampacher, T. Polzer: A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding
2012 International Conference on Application of Concurrency to System Design (ACSD 2012), Hamburg, Germany; in: Application of Concurrency to System Design (ACSD), 2012 12th International Conference on, 2012, ISSN: 1550-4808, p. 122 - 131
bib details

J. Lechner: Designing Robust GALS Circuits with Triple Modular Redundancy
2012 European Dependable Computing Conference (EDCC 2012), Sibiu, Romania; in: Dependable Computing Conference (EDCC), 2012 Ninth European, 2012, p. 227 - 236
bib details

N. Ostermann, J. Blieberger, P. Tauschitz: Projektbericht Verfügbarkeitsberechnung
SCHIG mbH, 2012; 33 pages
bib details

S. Naqvi, V. S. Veeravalli, A. Steininger: Protecting an Asynchronous NoC against Transient Channel Faults
DSD 2012 (Euromicro Conference on Digital System Design), Cesme, Izmir, Turkey; in: Proc. of 15th Euromicro Conference on Digital System Design, 2012; 8 pages
bib details

S. Naqvi: An Asynchronous Router Architecture using Four-Phase Bundled Handshake Protocol
ICCGI 2012 : The Seventh International Multi-Conference on Computing in the Global Information Technology, Venice, Italy; in: Proc. of The Seventh International Multi-Conference on Computing in the Global Information Technology, 2012, ISBN: 978-1-61208-202-8; 6 pages
bib details

T. Reinbacher, M Függer, J. Brauer: Real-Time Runtime Verification on Chip
RV 2012: the 3rd International Conference on Runtime Verification, Istanbul; in: Proc. of RV 2012: the 3rd International Conference on Runtime Verification, LNCS / Springer, 7687 (2012)
bib details

M Függer, A. Kößler, T. Nowak, M. Zeiner: Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer
14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), Toronto, Canada; in: Stabilization, Safety, and Security of Distributed Systems, Lecture Notes in Computer Science, 7596 (2012), ISBN: 978-3-642-33535-8, p. 90 - 91
bib details

M Függer, U. Schmid: Reconciling fault-tolerant distributed computing and systems-on-chip
Distributed Computing, 24 (2012), p. 323 - 355
bib details

A. Fernbach, W. Kastner (invited): Informationsmodellierung in Gebäudeautomationssystemen: Ein BACnet Informationsmodell für OPC Unified Architecture
Light and Building, Frankfurt
bib details

W. Kastner (invited): CCTV-Integration in BACnet: Case Study BACdroid
Light and Building, Frankfurt
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 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 143 >   >>