Peter P. Puschner

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 27

Top Venues

Publications

Emad Jacob Maroun, Eva Dengler, Christian Dietrich, Stefan Hepp, Henriette Herzog, Benedikt Huber, Jens Knoop, Daniel Wiltsche-Prokesch, Peter P. Puschner, Phillip Raffeck, Martin Schoeberl, Simon Schuster, Peter Wägemann
The Platin Multi-Target Worst-Case Analysis Tool. WCET (2024)
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
Two-Step Register Allocation for Implementing Single-Path Code. ISORC (2024)
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
Predictable and optimized single-path code for predicated processors. J. Syst. Archit. 154 (2024)
Raimund Kirner, Peter P. Puschner
A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems. J. Syst. Archit. 136 (2023)
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
Compiler-Directed Constant Execution Time on Flat Memory Systems. ISORC (2023)
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
Constant-Loop Dominators for Single-Path Code Optimization. WCET (2023)
Raimund Kirner, Peter P. Puschner
A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. IEEE/ACM Trans. Netw. 29 (4) (2021)
Michael Platzer, Peter P. Puschner
Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation. ECRTS (2021)
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
Compiling for time-predictability with dual-issue single-path code. J. Syst. Archit. 118 (2021)
Eleftherios Kyriakakis, Jens Sparsø, Peter P. Puschner, Martin Schoeberl
Synchronizing Real-Time Tasks in Time-Triggered Networks. ISORC (2021)
Raimund Kirner, Peter P. Puschner
Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten. Echtzeit (2021)
Michael Platzer, Peter P. Puschner
A Processor Extension for Time-Predictable Code Execution. ISORC (2021)
Eleftherios Kyriakakis, Jens Sparsø, Peter P. Puschner, Martin Schoeberl
Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress. EMSOFT (2020)
Michael Platzer, Peter P. Puschner
An Instruction Filter for Time-Predictable Code Execution on Standard Processors. SAFECOMP Workshops (2020)
Michael Platzer, Peter P. Puschner
A Real-Time Application with Fully Predictable Task Timing. ISORC (2020)
Peter P. Puschner, Raimund Kirner
Asynchronous vs. synchronous interfacing to time-triggered communication systems. J. Syst. Archit. 103 (2020)
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
Towards Dual-Issue Single-Path Code. ISORC (2020)
Peter P. Puschner, Bernhard Frömel
Composable Component Interfaces for Time-Triggered Systems. MECO (2019)
Siddhartha Verma, Thomas Gruber, Christoph Schmittner, Peter P. Puschner
Combined Approach for Safety and Security. SAFECOMP Workshops (2019)
Peter P. Puschner, Raimund Kirner
Interfacing to Time-Triggered Communication Systems. ISORC (2019)
Siddhartha Verma, Thomas Gruber, Peter P. Puschner, Christoph Schmittner, Erwin Schoitsch
A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities. SAFECOMP Workshops (2018)
Dieter Steiner, Peter P. Puschner
Error detection based on execution-time monitoring. MECO (2017)
Martin Schoeberl, Bekim Cilku, Daniel Prokesch, Peter P. Puschner
Best Practice for Caching of Single-Path Code. WCET (2017)
Bekim Cilku, Wolfgang Puffitsch, Daniel Prokesch, Martin Schoeberl, Peter P. Puschner
Improving Performance of Single-Path Code through a Time-Predictable Memory Hierarchy. ISORC (2017)
Christoph Schmittner, Zhendong Ma, Carolina Reyes, Oliver Dillinger, Peter P. Puschner
Using SAE J3061 for Automotive Security Requirement Engineering. SAFECOMP Workshops (2016)
Peter P. Puschner, Bekim Cilku, Daniel Prokesch
Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control. MCSoC (2016)
Christoph Schmittner, Zhendong Ma, Peter P. Puschner
Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis. SAFECOMP Workshops (2016)
Bekim Cilku, Roland Kammerer, Peter P. Puschner
Aligning single path loops to reduce the number of capacity cache misses. SIGBED Rev. 12 (1) (2015)
Bekim Cilku, Alfons Crespo, Peter P. Puschner, Javier Coronel, Salvador Peiró
A TDMA-Based arbitration scheme for mixed-criticality multicore platforms. EBCCSP (2015)
Martin Schoeberl, Sahar Abbaspour, Benny Akesson, Neil C. Audsley, Raffaele Capasso, Jamie Garside, Kees Goossens, Sven Goossens, Scott Hansen, Reinhold Heckmann, Stefan Hepp, Benedikt Huber, Alexander Jordan, Evangelia Kasapaki, Jens Knoop, Yonghui Li, Daniel Prokesch, Wolfgang Puffitsch, Peter P. Puschner, André Rocha, Cláudio Silva, Jens Sparsø, Alessandro Tocchi
T-CREST: Time-predictable multi-core architecture for embedded systems. J. Syst. Archit. 61 (9) (2015)
Bekim Cilku, Peter P. Puschner
Designing a time predictable memory hierarchy for single-path code. SIGBED Rev. 12 (2) (2015)
Bekim Cilku, Daniel Prokesch, Peter P. Puschner
A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking. ISORC Workshops (2015)
Daniel Prokesch, Stefan Hepp, Peter P. Puschner
A Generator for Time-Predictable Code. ISORC (2015)
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
A novel modeling framework for time-triggered safety-critical embedded systems. FDL (2014)
Liana Musat, Markus Hubl, Andi Buzo, Georg Pelz, Susanne Kandl, Peter P. Puschner
Semi-formal representation of requirements for automotive solutions using sysML. FDL (2014)
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems. ISORC (2014)
Iban Ayestaran, Carlos F. Nicolás, Jon Pérez, Peter P. Puschner
Modeling logical execution time based safety-critical embedded systems in SystemC. MECO (2014)
Christoph Schmittner, Thomas Gruber, Peter P. Puschner, Erwin Schoitsch
Security Application of Failure Mode and Effect Analysis (FMEA). SAFECOMP (2014)
Daniel Prokesch, Benedikt Huber, Peter P. Puschner
Towards Automated Generation of Time-Predictable Code. WCET (2014)
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. SAFECOMP (2014)
Bekim Cilku, Bernhard Frömel, Peter P. Puschner
A dual-layer bus arbiter for mixed-criticality systems with hypervisors. INDIN (2014)
Peter P. Puschner
Constructing time-critical embedded systems: Decide before runtime. MECO (2013)
Clemens B. Geyer, Benedikt Huber, Daniel Prokesch, Peter P. Puschner
Time-predictable code execution - Instruction-set support for the single-path approach. ISORC (2013)
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
Combined WCET analysis of bitcode and machine code using control-flow relation graphs. LCTES (2013)
Peter P. Puschner
Embedded systems for safety-critical and mixed-criticality applications. MECO (2013)
Martin Elshuber, Susanne Kandl, Peter P. Puschner
Improving System-Level Verification of SystemC Models with SPIN. FSFMA (2013)
Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard
The T-CREST approach of compiler and WCET-analysis integration. ISORC (2013)
Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch
Compiling for Time Predictability. SAFECOMP Workshops (2012)
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
A Formal Framework for Precise Parametric WCET Formulas. WCET (2012)
Bekim Cilku, Peter P. Puschner
Using a Local Prefetch Strategy to Obtain Temporal Time Predictability. ISORC Workshops (2011)
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
Code transformations to prevent timing anomalies. Comput. Syst. Sci. Eng. 26 (6) (2011)
Andreas Ermedahl, Peter P. Puschner
Preface to the special issue on worst-case execution-time analysis. J. Syst. Archit. 57 (7) (2011)
Benedikt Huber, Peter P. Puschner
A Code Policy Guaranteeing Fully Automated Path Analysis. WCET (2010)
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
Avoiding Timing Anomalies Using Code Transformations. ISORC (2010)
Raimund Kirner, Peter P. Puschner, Adrian Prantl
Transforming flow information during code optimization for timing analysis. Real Time Syst. 45 (1-2) (2010)
Raimund Kirner, Peter P. Puschner
Time-Predictable Computing. SEUS (2010)
Bekim Cilku, Peter P. Puschner
Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored. ISORC Workshops (2010)
Raimund Kirner, Albrecht Kadlec, Peter P. Puschner
Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. ECRTS (2009)
Martin Schoeberl, Peter P. Puschner, Raimund Kirner
A Single-Path Chip-Multiprocessor System. SEUS (2009)
Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm
Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET (2009)
Peter P. Puschner, Raimund Kirner
Model-Driven Design and Organic Computing -- Combinable Strategies?. ISORC (2009)
Martin Schoeberl, Peter P. Puschner
Is Chip-Multiprocessing the End of Real-Time Scheduling?. WCET (2009)
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. Embed. Comput. Syst. 7 (3) (2008)
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
Measurement-Based Timing Analysis. ISoLA (2008)
Peter P. Puschner, Martin Schoeberl
On Composable System Timing, Task Timing, and WCET Analysis. WCET (2008)
Raimund Kirner, Peter P. Puschner
Obstacles in Worst-Case Execution Time Analysis. ISORC (2008)
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)
Guenter Khyo, Peter P. Puschner, Martin Delvai
An Operating System for a Time-Predictable Computing Node. SEUS (2008)
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
Cross-Platform Verification Framework for Embedded Systems. SEUS (2007)
Susanne Kandl, Raimund Kirner, Peter P. Puschner
Automated Formal Verification and Testing of C Programs for Embedded Systems. ISORC (2007)
Raimund Kirner, Peter P. Puschner
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. ISORC (2007)
Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter P. Puschner
Using a Runtime Measurement Device with Measurement-Based WCET Analysis. IESS (2007)
Peter P. Puschner, Raimund Kirner
From Time-Triggered to Time-Deterministic Real-Time Systems. DIPES (2006)
Susanne Kandl, Raimund Kirner, Peter P. Puschner
Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems. WISES (2006)
Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder
Portable Data Exchange for Remote-Testing Frameworks. ISORC (2006)
Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
Code Analysis for Temporal Predictability. Real Time Syst. 32 (3) (2006)
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)
Moon Kim, Peter P. Puschner
Guest Editorial: Introduction to the Special Issue. Real Time Syst. 32 (3) (2006)
Raimund Kirner, Peter P. Puschner
Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. WCET (2005)
Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner
Automatic Timing Model Generation by CFG Partitioning and Model Checking. DATE (2005)
Raimund Kirner, Peter P. Puschner
Classification of WCET Analysis Techniques. ISORC (2005)
Peter P. Puschner
Guest Editorial. Real Time Syst. 30 (1-2) (2005)
Peter P. Puschner
Experiments with WCET-Oriented Programming and the Single-Path Architecture. WORDS (2005)
Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder
Principles of Timing Anomalies in Superscalar Processors. QSIC (2005)
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
Measurement-Based Worst-Case Execution Time Analysis. SEUS (2005)
Stefan Pitzek, Peter P. Puschner
Function Test Environment for Embedded Driver Components. ISORC (2004)
Janosch Fauster, Raimund Kirner, Peter P. Puschner
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. EMSOFT (2003)
Andy J. Wellings, Peter P. Puschner
Evaluating the Expressive Power of the Real-Time Specification for Java. Real Time Syst. 24 (3) (2003)
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)
Martin Delvai, Wolfgang Huber, Peter P. Puschner, Andreas Steininger
Processor Support for Temporal Predictability - The SPEAR Design Example. ECRTS (2003)
Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall (2003)
Raimund Kirner, Peter P. Puschner
Discussion of Misconceptions about WCET Analysis. WCET (2003)
Raimund Kirner, Peter P. Puschner
Transformation of Meta-Information by Abstract Co-interpretation. SCOPES (2003)
Raimund Kirner, Peter P. Puschner
A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development. WISES (2003)
Peter P. Puschner
Hard Real-Time Programming is Different. IPDPS (2003)
Peter P. Puschner, Raimund Kirner
Avoiding Timing Problems in Real-Time Software. WSTFES (2003)
Peter P. Puschner
Algorithms for Dependable Hard Real-Time Systems. WORDS (2003)
Raimund Kirner, Peter P. Puschner
Timing Analysis of Optimised Code. WORDS (2003)
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)
Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. ECRTS (2002)

Peter P. Puschner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter P. Puschner