Publications

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

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

I. Wenzel, R. Kirner, B. Rieder, P. Puschner: Cross-Platform Verification Framework for Embedded Systems
Lecture Notes in Computer Science, 4761 (2007), p. 137 - 148
bib details

A. Ademaj, A. Hanzlik, H. Kopetz: Tolerating Arbitrary Failures in a Master-Slave Clock-Rate Correction Mechanism for Time-Triggered Fault-Tolerant Distributed Systems with Atomic Broadcast
International Conference on Real-Time and Network Systems (RTNS), Nancy, Frankreich; in: Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07), Institut National Polytechnique de Lorraine, Nancy, Frankreich (2007), ISBN: 2-905267-53-4, p. 215 - 224
bib details

S. Kandl: Abstraction Techniques for Extracted Automata Models
International Conference on Real-Time and Network Systems (RTNS), Nancy; in: Junior Researcher Workshop on Real-Time Computing 2007 (JRWRTC´07), 2007, p. 35 - 38
bib details

W. Elmenreich, M. Rosenblattl, A. Wolf: Fixed Point Library According to ISO/IEC Standard DTR 18037 for Atmel AVR Processors
5th Workshop on Intelligent Solutions in Embedded Systems - (WISES'07), Madrid; in: Proceedings of the Fifth International Workshop on Intelligent Solutions in Embedded Systems, IEEE, 2007, ISBN: 978-84-89315-47-1, p. 101 - 113
bib details doi

B. Huber, R. Obermaisser: Model-Based Development of Integrated Computer Systems: Modeling the Execution Platform
5th Workshop on Intelligent Solutions in Embedded Systems - (WISES'07), Madrid, Spanien; in: Proceedings of the Fifth International Workshop on intelligent Solutions in Embedded Systems, IEEE, 2007, ISBN: 978-84-89315-47-1, p. 151 - 164
bib details doi

P. Jahn, T. Polzer: Graphical Microcontroller Programming (GMCP)
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria
bib details

G. Klingler, W. Elmenreich: Design of a Universal Gateway for theTime-Triggered Fieldbus Protocol TTP/A
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria
bib details

R. Leidenfrost, W. Elmenreich: Establishing Wireless Time-triggered Communication using a Firefly Clock Synchronization Approach
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria
bib details

A. Kößler, M. Hofer, T. Mair, W. Elmenreich: A Platform for Teaching and Research on Distributed Real-Time Systems
IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria
bib details

U. Schmid, A. Steininger, H. Veith: Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf, München; in: Fachtagung Zuverlässigkeit und Entwurf, VDE Verlag, 2007, ISBN: 978-3-8007-3023-0, p. 173 - 174
bib details

W. Elmenreich, H. Piontek, J. Kaiser: Interface Design for Real-Time Smart Transducer Networks - Examining COSMIC, LIN, and TTP/A as Case Study
International Conference on Real-Time and Network Systems (RTNS), Nancy, France; in: Proceedings of the 15th International Conference on Real-Time and Network Systems, Institut National Polytechnique de Lorraine, Nancy, France (2007), ISBN: 2-905267-53-4, p. 195 - 204
bib details

T. Kottke, A. Steininger: Vergleich zweier zwischen Sicherheit und Performanz rekonfigurierbarer Prozessorsysteme
19. ITG/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Errlangen; in: 19. Workshop - Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2007
bib details

T. Handl, A. Steininger, G. Kempf: An Efficient Test Strategy for a Fault-Tolerant Clock Generator for Systems-on-Chip
19. ITG/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Errlangen; in: 19. Workshop - Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2007, p. 66 - 70
bib details

K. Steinhammer: Design of an FPGA-Based Time-Triggered Ethernet System (PhD Thesis)
reviewers: H. Kopetz, R. Eier; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
bib details

J. Trojer: Requirement Classification of Dependable Real-Time Systems (Master's Thesis)
reviewers: P. Puschner, R. Kirner; Institut für Technische Informatik, 2007
bib details

J. Blieberger, B. Burgstaller, R. Mittermayr: Static Detection of Livelocks in Ada Multitasking Programs
Reliable Software Technologies - Ada-Europe, Geneva, Switzerland; in: Proc. Ada-Europe 2007, Springer-Verlag, LNCS 4498 (2007), ISBN: 978-3-540-73229-7, p. 69 - 83
bib details doi

B. Scholz, J. Blieberger: A new Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees
International Conference on Compiler Construction, Braga, Portugal; in: Proc. ETAPS'07, LNCS, Springer-Verlag, 4420 (2007), ISBN: 978-3-540-71228-2, p. 202 - 217
bib details doi

I. Wenzel: Measurement-Based Timing Analysis of Superscalar Processors (PhD Thesis)
reviewers: P. Puschner, J. Knoop; Institut für Technische Informatik, 2007; oral examination: 2007-01-16
bib details

D. Dietrich, G. Fodor, W. Kastner, M. Ulieru: Considering a technical realization of a neuro-psychoanalytical model of the mind
1st International Engineering & Neuro-Psychoanalysis Forum (ENF 2007), Wien; in: Proceedings of ENF 2007 - 1st International Engineering & Neuro-Psychoanalysis Forum, 2007, p. 13 - 20
bib details

E. Kirda, Ch. Krügel, G. Banks, G. Vigna, R. Kemmerer: Bahavior-based Spyware Detection
Usenix Security Symposium, Vancouver, Canada; in: Proc. 15th USENIX Security Symposium, 2006, ISBN: 1-931971-45-5, p. 273 - 288
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 >   >>