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

S. Kandl, R. Kirner, P. Puschner: Automated Formal Verification and Testing of C Programs for Embedded Systems
The Tenth IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2007), Santorini, Greece; in: 10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), IEEE, 2007, ISBN: 0-7695-2765-5, p. 373 - 381
bib details

A. Ademaj, H. Kopetz: Time-Triggered Ethernet and IEEE 1588 Clock Synchronization
2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, Vienna; in: ISPCS 2007 Proceedings, 2007, ISBN: 1-4244-1064-9; 3 pages
bib details

H. Kopetz: Why do we need a Sparse Global Time-Base in Dependable Real-time Systems?
2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, Vienna; in: ISPCS Proceedings, 2007, ISBN: 1-4244-1064-9; 5 pages
bib details

W. Steiner: Advancements in Dependable Time-Triggered Communication
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 10 pages
bib details

M. Schlager, R. Obermaisser, W. Elmenreich: A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 20 pages
bib details

M. Schoeberl: Mission Modes for Safety Critical Java
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 10 pages
bib details

W. Elmenreich: A Review on System Architectures for Sensor Fusion Applications
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 12 pages
bib details

I. Wenzel, R. Kirner, B. Rieder, P. Puschner: Cross-Platform Verification Framework for Embedded Systems
5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), Santorini, Greece; in: The 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems, 2007; 12 pages
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

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

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

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 >   >>