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

B. Rieder, P. Puschner, I. Wenzel: Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis
Workshop on Intelligent Solutions in Embedded Systems (WISES'08), Regensburg, Germany; in: Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems, IEEE Computer Society, 2008, ISBN: 978-3-00-024989-1, p. 3 - 9
bib details

B. Rieder, P. Puschner: Hybrid Timing Analysis for ANSI-C Applications with Loops and Function Calls
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 101 - 102
bib details

E. Suethanuwong, C. El Salloum: A Simulation Environment for Distributed Real-Time Systems in the Presence of Malicious Attacks
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 95 - 96
bib details

M. Zolda, R. Kirner: Divide and Measure: CFG Segmentation for the Measurement-Based Analysis of Resource Consumption
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 117 - 118
bib details

A. Kadlec: Neutralizing Timing Anomalies in Superscalar Microprocessors
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 119 - 120
bib details

S. Bünte, R. Kirner: The Acquaintance of Hardware Timing Effects: A Sine Qua Non to Validate Temporal Requirements in Embedded Real Time Systems
Junior Scientist Conference 2008, Wien; in: Proceedings of the Junior Scientist Conference 2008, 2008, ISBN: 978-3-200-01612-5, p. 115 - 116
bib details

M. Schoeberl: Application Experiences with a Real-Time Java Processor
IFAC World Congress, Seoul, Korea; in: Proceedings of the 17th IFAC World Congress, 2008; 6 pages
bib details doi

M. Tomitsch, R. Schlögl, T. Grechenig, C. Wimmer, T. Költringer: Accessible Real-World Tagging through Audio-Tactile Location Markers
Nordic conference on Human-computer interaction (NordiCHI'08), Lund, Sweden; in: Proceedings of the Nordic conference on Human-computer interaction, 2008, ISBN: 978-1-59593-704-9
bib details

B. Huber, C. El Salloum, R. Obermaisser: A Resource Management Framework for Mixed-Criticality Embedded Systems
34th Annual Conference of the IEEE Industrial Electronics Society (IECON'08), Orlando, FL, U.S.A.; in: 34th Annual Conference of the IEEE Industrial Electronics Society (IECON'08), IEEE Computer Society, 2008, ISBN: 978-1-4244-1766-7, p. 2425 - 2431
bib details

I. Wenzel, R. Kirner, B. Rieder, P. Puschner: Measurement-Based Timing Analysis
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; in: Leveraging Applications of Formal Methods, Verification and Validation, Springer Berlin Heidelberg, 2008, ISBN: 978-3-540-88478-1, p. 430 - 444
bib details doi

W. Puffitsch: Decoupled Root Scanning in Multi-Processor Systems
Embedded Systems Week 2008 (ESWEEK08), Atlanta, Georgia, USA; in: Embedded Systems Week, ACM, 2008, ISBN: 978-1-60558-471-3; 8 pages
bib details

A. Wasicek, C. El Salloum: End-to-End Encryption in the TTSoC Architecture
Embedded Systems Week 2008 (ESWEEK08), Atlanta, Georgia, USA; in: Ebedded Systems Week, ACM, 2008, ISBN: 978-1-60558-471-3; 6 pages
bib details

A.S. Metzger, W. Kastner: Performance of Wireless Systems in Sustainable Building Operation and Maintenance
Buildings and Environment 2008, Bratislava; in: Proceedings Buildings and Environment 2008, 2008, p. ?? - ##
bib details

C. Stögerer, W. Kastner: Extending the Watchdog Pattern for Multi-threaded Windows based Traffic Management and Control Applications
IEEE International Conference on Emerging Technologies and Factory Automation, Hamburg, Deutschland; in: Proc. of 13th IEEE Conference on Emerging Technologies and Factory Automation (ETFA '08), 2008, p. 854 - 860
bib details

W. Kastner (invited): KNX IP Simulation: First Insights
Konnex Scientific Conference, St. Katelijne-Waver, Belgien; in: Proc. of Konnex Scientific Conference 2008, 2008; 27 pages
bib details

J. Blieberger (invited): Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms
Dagstuhl Seminar 08161 Scalable Program Analysis, Dagstuhl, Germany; in: Scalable Program Analysis, Leibniz-Zentrum für Informatik, 8161 (2008), ISSN: 1862-4405
bib details

R. Mittermayr, J. Blieberger: Static Partial-Order Reduction of Concurrent Systems in Polynomial Time
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Griechenland; in: Leveraging Applications of Formal Methods, Verification and Validation, Springer Berlin Heidelberg, 17 (2008), ISBN: 978-3-540-88478-1, p. 619 - 633
bib details

A. Kadlec, R. Kirner, P. Puschner, A. Prantl, M. Schordan, J. Knoop: Towards a Common WCET Annotation Language: Essential Ingredients
25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; in: Programmiersprachen und Rechenkonzepte, Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008); 12 pages
bib details

A. Kadlec, R. Kirner, J. Knoop, A. Prantl, M. Schordan, I. Wenzel: WCET Annotation Languages Reconsidered: The Annotation Language Challenge
25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; in: Programmiersprachen und Rechenkonzepte, Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2008); 10 pages
bib details

R. Fechete, G. Kienesberger, J. Blieberger: A Framework for CFG-based Static Program Analysis of Ada Programs
Reliable Software Technologies - Ada-Europe, Venice, Italy; in: Ada-Europe'2008 International Conference on Reliable Software Technologies, Springer - LNCS, 5026 (2008), ISBN: 978-3-540-68621-7, p. 130 - 143
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 >   >>