Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter P. Puschner
2010 – today
- 2013
[c58]Benedikt Huber, Daniel Prokesch, Peter P. Puschner: Combined WCET analysis of bitcode and machine code using control-flow relation graphs. LCTES 2013: 163-172- 2012
[c57]Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch: Compiling for Time Predictability. SAFECOMP Workshops 2012: 382-391
[c56]Benedikt Huber, Daniel Prokesch, Peter P. Puschner: A Formal Framework for Precise Parametric WCET Formulas. WCET 2012: 91-102- 2011
[j12]Albrecht Kadlec, Raimund Kirner, Peter P. Puschner: Code transformations to prevent timing anomalies. Comput. Syst. Sci. Eng. 26(6) (2011)
[j11]Andreas Ermedahl, Peter P. Puschner: Preface to the special issue on worst-case execution-time analysis. Journal of Systems Architecture - Embedded Systems Design 57(7): 675-676 (2011)- 2010
[j10]Raimund Kirner, Peter P. Puschner, Adrian Prantl: Transforming flow information during code optimization for timing analysis. Real-Time Systems 45(1-2): 72-105 (2010)
[c55]Albrecht Kadlec, Raimund Kirner, Peter P. Puschner: Avoiding Timing Anomalies Using Code Transformations. ISORC 2010: 123-132
[c54]
[c53]Benedikt Huber, Peter P. Puschner: A Code Policy Guaranteeing Fully Automated Path Analysis. WCET 2010: 77-88
[e2]Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer (Eds.): Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings. Lecture Notes in Computer Science 6399, Springer 2010, ISBN 978-3-642-16255-8
2000 – 2009
- 2009
[c52]Raimund Kirner, Albrecht Kadlec, Peter P. Puschner: Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. ECRTS 2009: 119-128
[c51]Peter P. Puschner, Raimund Kirner: Model-Driven Design and Organic Computing -- Combinable Strategies?. ISORC 2009: 101
[c50]Martin Schoeberl, Peter P. Puschner, Raimund Kirner: A Single-Path Chip-Multiprocessor System. SEUS 2009: 47-57
[c49]Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm: Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET 2009
[c48]Martin Schoeberl, Peter P. Puschner: Is Chip-Multiprocessing the End of Real-Time Scheduling?. WCET 2009- 2008
[j9]Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. 7(3) (2008)
[c47]Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner: Measurement-Based Timing Analysis. ISoLA 2008: 430-444
[c46]Raimund Kirner, Peter P. Puschner: Obstacles in Worst-Case Execution Time Analysis. ISORC 2008: 333-339
[c45]Guenter Khyo, Peter P. Puschner, Martin Delvai: An Operating System for a Time-Predictable Computing Node. SEUS 2008: 150-161
[c44]Peter P. Puschner, Martin Schoeberl: On Composable System Timing, Task Timing, and WCET Analysis. WCET 2008
[c43]Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel: Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis. WISES 2008: 1-7- 2007
[c42]Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter P. Puschner: Using a Runtime Measurement Device with Measurement-Based WCET Analysis. IESS 2007: 15-26
[c41]Raimund Kirner, Peter P. Puschner: Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. ISORC 2007: 87-93
[c40]Susanne Kandl, Raimund Kirner, Peter P. Puschner: Automated Formal Verification and Testing of C Programs for Embedded Systems. ISORC 2007: 373-381
[c39]Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner: Cross-Platform Verification Framework for Embedded Systems. SEUS 2007: 137-148
[e1]Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig (Eds.): Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers. Lecture Notes in Computer Science 4761, Springer 2007, ISBN 978-3-540-75663-7- 2006
[j8]Moon Kim, Peter P. Puschner: Guest Editorial: Introduction to the Special Issue. Real-Time Systems 32(3): 171-173 (2006)
[j7]Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner: Code Analysis for Temporal Predictability. Real-Time Systems 32(3): 253-277 (2006)
[c38]Peter P. Puschner, Raimund Kirner: From Time-Triggered to Time-Deterministic Real-Time Systems. DIPES 2006: 115-124
[c37]Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder: Portable Data Exchange for Remote-Testing Frameworks. ISORC 2006: 476-484
[c36]Raimund Kirner, Markus Grössing, Peter P. Puschner: Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. WCET 2006- 2005
[j6]
[c35]Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner: utomatic Timing Model Generation by CFG Partitioning and Model Checking. DATE 2005: 606-611
[c34]
[c33]Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder: Principles of Timing Anomalies in Superscalar Processors. QSIC 2005: 295-306
[c32]Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner: Measurement-Based Worst-Case Execution Time Analysis. SEUS 2005: 7-10
[c31]Raimund Kirner, Peter P. Puschner: Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. WCET 2005
[c30]Peter P. Puschner: Experiments with WCET-Oriented Programming and the Single-Path Architecture. WORDS 2005: 205-210- 2004
[c29]Stefan Pitzek, Peter P. Puschner: Function Test Environment for Embedded Driver Components. ISORC 2004: 237-244- 2003
[j5]Andy J. Wellings, Peter P. Puschner: Evaluating the Expressive Power of the Real-Time Specification for Java. Real-Time Systems 24(3): 319-359 (2003)
[c28]Martin Delvai, Wolfgang Huber, Peter P. Puschner, Andreas Steininger: Processor Support for Temporal Predictability - The SPEAR Design Example. ECRTS 2003: 169-176
[c27]Janosch Fauster, Raimund Kirner, Peter P. Puschner: Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. EMSOFT 2003: 190-205
[c26]
[c25]Raimund Kirner, Peter P. Puschner: Transformation of Meta-Information by Abstract Co-interpretation. SCOPES 2003: 298-312
[c24]Raimund Kirner, Peter P. Puschner: Discussion of Misconceptions about WCET Analysis. WCET 2003: 61-64
[c23]Raimund Kirner, Peter P. Puschner: A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development. WISES 2003: 15-24
[c22]Stefan Pitzek, Peter P. Puschner: Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Applications. WISES 2003: 85-96
[c21]
[c20]Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner: Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall 2003: 53-60
[c19]
[c18]Peter P. Puschner, Raimund Kirner: Avoiding Timing Problems in Real-Time Software. WSTFEUS 2003: 75-78- 2002
[c17]Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner: Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. ECRTS 2002: 31-40
[c16]Peter P. Puschner: Transforming Execution-Time Boundable Code into Temporally Predictable Code. DIPES 2002: 163-172
[c15]Iain Bate, Guillem Bernat, Peter P. Puschner: Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 83-90
[c14]- 2001
[c13]Raimund Kirner, Peter P. Puschner: Transformation of Path Information for WCET Analysis during Compilation. ECRTS 2001: 29-36
[c12]
[c11]Günther Bauer, Hermann Kopetz, Peter P. Puschner: Assumption coverage under different failure modes in the time-triggered architecture. ETFA (1) 2001: 333-341
[c10]Peter P. Puschner, Andy J. Wellings: A Profile for High-Integrity Real-Time Java Programs. ISORC 2001: 15-22
[c9]Radu Dobrin, Gerhard Fohler, Peter P. Puschner: Translating Off-Line Schedules into Task Attributes for Fixed Priority Scheduling. RTSS 2001: 225-234- 2000
[j4]Peter P. Puschner, Alan Burns: Guest Editorial: A Review of Worst-Case Execution-Time Analysis. Real-Time Systems 18(2/3): 115-128 (2000)
[c8]Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner: Low-level analysis of a portable Java byte code WCET analysis framework. RTCSA 2000: 39-
1990 – 1999
- 1999
[j3]Peter P. Puschner: Real-Time Performance of Sorting Algorithms. Real-Time Systems 16(1): 63-79 (1999)
[c7]Peter P. Puschner, Alan Burns: Time-constrained sorting-a comparison of different algorithms. ECRTS 1999: 78-85- 1998
[c6]Peter P. Puschner: A tool for high-level language analysis of worst-case execution times. ECRTS 1998: 130-137
[c5]Peter P. Puschner, Roman Nossal: Testing the Results of Static Worst-Case Execution-Time Analysis. RTSS 1998: 134-143- 1997
[j2]Peter P. Puschner, Anton V. Schedl: Computing Maximum Task Execution Times - A Graph-Based Approach. Real-Time Systems 13(1): 67-91 (1997)
[c4]Peter P. Puschner, Alexander Vrchoticky: Problems in Static Worst-Case Execution Time Analysis. MMB (Kurzbeiträge) 1997: 18-25- 1992
[c3]Hermann Kopetz, Gerhard Fohler, Günter Grünsteidl, Heinz Kantz, G. Pospischil, Peter P. Puschner, Johannes Reisinger, R. Schlatterbeck, Werner Schütz, Alexander Vrchoticky, R. Zainlinger: The programmer's view of MARS. RTSS 1992: 223-226- 1991
[c2]Hermann Kopetz, R. Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz: An Engineering Approach to Hard Real-Time System Design. ESEC 1991: 166-188- 1990
[c1]Hermann Kopetz, Heinz Kantz, Günter Grünsteidl, Peter P. Puschner, Johannes Reisinger: Tolerating transient faults in MARS. FTCS 1990: 466-473
1980 – 1989
- 1989
[j1]Peter P. Puschner, Christian Koza: Calculating the Maximum Execution Time of Real-Time Programs. Real-Time Systems 1(2): 159-176 (1989)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 21:34 CEST by the dblp team



