Peter P. Puschner

127 papers A 5B 12C 28Misc 2Journal 22Unranked 56
YearRankTypeTitle / Venue / Authors
2025 C conf
Optimized Constant Execution Time Code.
ISORC
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
2024 J jnl
Predictable and optimized single-path code for predicated processors.
J. Syst. Archit.
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
2024 — conf
The Platin Multi-Target Worst-Case Analysis Tool.
WCET
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
2024 C conf
Two-Step Register Allocation for Implementing Single-Path Code.
ISORC
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
2023 J jnl
A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems.
J. Syst. Archit.
Raimund Kirner, Peter P. Puschner
2023 C conf
Compiler-Directed Constant Execution Time on Flat Memory Systems.
ISORC
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
2023 — conf
Constant-Loop Dominators for Single-Path Code Optimization.
WCET
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
2021 C conf
A Processor Extension for Time-Predictable Code Execution.
ISORC
Michael Platzer, Peter P. Puschner
2021 J jnl
A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses.
IEEE/ACM Trans. Netw.
Raimund Kirner, Peter P. Puschner
2021 J jnl
Compiling for time-predictability with dual-issue single-path code.
J. Syst. Archit.
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
2021 C conf
Synchronizing Real-Time Tasks in Time-Triggered Networks.
ISORC
Eleftherios Kyriakakis, Jens Sparsø, Peter P. Puschner, Martin Schoeberl
2021 B conf
Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation.
ECRTS
Michael Platzer, Peter P. Puschner
2021 — conf
Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten.
Echtzeit
Raimund Kirner, Peter P. Puschner
2020 C conf
A Real-Time Application with Fully Predictable Task Timing.
ISORC
Michael Platzer, Peter P. Puschner
2020 — conf
An Instruction Filter for Time-Predictable Code Execution on Standard Processors.
SAFECOMP Workshops
Michael Platzer, Peter P. Puschner
2020 J jnl
Asynchronous vs. synchronous interfacing to time-triggered communication systems.
J. Syst. Archit.
Peter P. Puschner, Raimund Kirner
2020 Misc conf
Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress.
EMSOFT
Eleftherios Kyriakakis, Jens Sparsø, Peter P. Puschner, Martin Schoeberl
2020 C conf
Towards Dual-Issue Single-Path Code.
ISORC
Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner
2019 — conf
Combined Approach for Safety and Security.
SAFECOMP Workshops
Siddhartha Verma, Thomas Gruber, Christoph Schmittner, Peter P. Puschner
2019 — conf
Composable Component Interfaces for Time-Triggered Systems.
MECO
Peter P. Puschner, Bernhard Frömel
2019 C conf
Interfacing to Time-Triggered Communication Systems.
ISORC
Peter P. Puschner, Raimund Kirner
2018 — conf
A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities.
SAFECOMP Workshops
Siddhartha Verma, Thomas Gruber, Peter P. Puschner, Christoph Schmittner, Erwin Schoitsch
2017 — conf
Best Practice for Caching of Single-Path Code.
WCET
Martin Schoeberl, Bekim Cilku, Daniel Prokesch, Peter P. Puschner
2017 — conf
Error detection based on execution-time monitoring.
MECO
Dieter Steiner, Peter P. Puschner
2017 C conf
Improving Performance of Single-Path Code through a Time-Predictable Memory Hierarchy.
ISORC
Bekim Cilku, Wolfgang Puffitsch, Daniel Prokesch, Martin Schoeberl, Peter P. Puschner
2016 — conf
Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control.
MCSoC
Peter P. Puschner, Bekim Cilku, Daniel Prokesch
2016 — conf
Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis.
SAFECOMP Workshops
Christoph Schmittner, Zhendong Ma, Peter P. Puschner
2016 — conf
Using SAE J3061 for Automotive Security Requirement Engineering.
SAFECOMP Workshops
Christoph Schmittner, Zhendong Ma, Carolina Reyes, Oliver Dillinger, Peter P. Puschner
2015 C conf
A Generator for Time-Predictable Code.
ISORC
Daniel Prokesch, Stefan Hepp, Peter P. Puschner
2015 — conf
A TDMA-Based arbitration scheme for mixed-criticality multicore platforms.
EBCCSP
Bekim Cilku, Alfons Crespo, Peter P. Puschner, Javier Coronel, Salvador Peiró
2015 — conf
A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking.
ISORC Workshops
Bekim Cilku, Daniel Prokesch, Peter P. Puschner
2015 J jnl
Aligning single path loops to reduce the number of capacity cache misses.
SIGBED Rev.
Bekim Cilku, Roland Kammerer, Peter P. Puschner
2015 J jnl
Designing a time predictable memory hierarchy for single-path code.
SIGBED Rev.
Bekim Cilku, Peter P. Puschner
2015 J jnl
T-CREST: Time-predictable multi-core architecture for embedded systems.
J. Syst. Archit.
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
2014 B conf
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems.
SAFECOMP
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
2014 C conf
A dual-layer bus arbiter for mixed-criticality systems with hypervisors.
INDIN
Bekim Cilku, Bernhard Frömel, Peter P. Puschner
2014 C conf
A novel modeling framework for time-triggered safety-critical embedded systems.
FDL
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
2014 C conf
Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems.
ISORC
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
2014 — conf
Modeling logical execution time based safety-critical embedded systems in SystemC.
MECO
Iban Ayestaran, Carlos F. Nicolás, Jon Pérez, Peter P. Puschner
2014 B conf
Security Application of Failure Mode and Effect Analysis (FMEA).
SAFECOMP
Christoph Schmittner, Thomas Gruber, Peter P. Puschner, Erwin Schoitsch
2014 C conf
Semi-formal representation of requirements for automotive solutions using sysML.
FDL
Liana Musat, Markus Hubl, Andi Buzo, Georg Pelz, Susanne Kandl, Peter P. Puschner
2014 — conf
Towards Automated Generation of Time-Predictable Code.
WCET
Daniel Prokesch, Benedikt Huber, Peter P. Puschner
2013 B conf
Combined WCET analysis of bitcode and machine code using control-flow relation graphs.
LCTES
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
2013 — conf
Constructing time-critical embedded systems: Decide before runtime.
MECO
Peter P. Puschner
2013 — conf
Embedded systems for safety-critical and mixed-criticality applications.
MECO
Peter P. Puschner
2013 — conf
Improving System-Level Verification of SystemC Models with SPIN.
FSFMA
Martin Elshuber, Susanne Kandl, Peter P. Puschner
2013 C conf
The T-CREST approach of compiler and WCET-analysis integration.
ISORC
Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard
2013 C conf
Time-predictable code execution - Instruction-set support for the single-path approach.
ISORC
Clemens B. Geyer, Benedikt Huber, Daniel Prokesch, Peter P. Puschner
2012 — conf
A Formal Framework for Precise Parametric WCET Formulas.
WCET
Benedikt Huber, Daniel Prokesch, Peter P. Puschner
2012 — conf
Compiling for Time Predictability.
SAFECOMP Workshops
Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch
2011 J jnl
Code transformations to prevent timing anomalies.
Comput. Syst. Sci. Eng.
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
2011 J jnl
Preface to the special issue on worst-case execution-time analysis.
J. Syst. Archit.
Andreas Ermedahl, Peter P. Puschner
2011 — conf
Using a Local Prefetch Strategy to Obtain Temporal Time Predictability.
ISORC Workshops
Bekim Cilku, Peter P. Puschner
2010 — conf
A Code Policy Guaranteeing Fully Automated Path Analysis.
WCET
Benedikt Huber, Peter P. Puschner
2010 C conf
Avoiding Timing Anomalies Using Code Transformations.
ISORC
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
2010 — ed.
Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
SEUS
Sang Lyul Min, Robert G. Pettit IV, Peter P. Puschner, Theo Ungerer
2010 — conf
Time-Predictable Computing.
SEUS
Raimund Kirner, Peter P. Puschner
2010 — conf
Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored.
ISORC Workshops
Bekim Cilku, Peter P. Puschner
2010 J jnl
Transforming flow information during code optimization for timing analysis.
Real Time Syst.
Raimund Kirner, Peter P. Puschner, Adrian Prantl
2009 — conf
A Single-Path Chip-Multiprocessor System.
SEUS
Martin Schoeberl, Peter P. Puschner, Raimund Kirner
2009 — conf
Is Chip-Multiprocessing the End of Real-Time Scheduling?.
WCET
Martin Schoeberl, Peter P. Puschner
2009 C conf
Model-Driven Design and Organic Computing -- Combinable Strategies?.
ISORC
Peter P. Puschner, Raimund Kirner
2009 B conf
Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies.
ECRTS
Raimund Kirner, Albrecht Kadlec, Peter P. Puschner
2009 — conf
Teaching WCET Analysis in Academia and Industry: A Panel Discussion.
WCET
Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm
2008 — conf
An Operating System for a Time-Predictable Computing Node.
SEUS
Guenter Khyo, Peter P. Puschner, Martin Delvai
2008 C conf
Measurement-Based Timing Analysis.
ISoLA
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
2008 C conf
Obstacles in Worst-Case Execution Time Analysis.
ISORC
Raimund Kirner, Peter P. Puschner
2008 — conf
On Composable System Timing, Task Timing, and WCET Analysis.
WCET
Peter P. Puschner, Martin Schoeberl
2008 J jnl
The worst-case execution-time problem - overview of methods and survey of tools.
ACM Trans. Embed. Comput. Syst.
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
2008 — conf
Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis.
WISES
Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel
2007 C conf
Automated Formal Verification and Testing of C Programs for Embedded Systems.
ISORC
Susanne Kandl, Raimund Kirner, Peter P. Puschner
2007 — conf
Cross-Platform Verification Framework for Embedded Systems.
SEUS
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
2007 — ed.
Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers
SEUS
Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig
2007 C conf
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache.
ISORC
Raimund Kirner, Peter P. Puschner
2007 — conf
Using a Runtime Measurement Device with Measurement-Based WCET Analysis.
IESS
Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter P. Puschner
2006 J jnl
Code Analysis for Temporal Predictability.
Real Time Syst.
Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
2006 — conf
Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup.
WCET
Raimund Kirner, Markus Grössing, Peter P. Puschner
2006 — conf
Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems.
WISES
Susanne Kandl, Raimund Kirner, Peter P. Puschner
2006 — conf
From Time-Triggered to Time-Deterministic Real-Time Systems.
DIPES
Peter P. Puschner, Raimund Kirner
2006 J jnl
Guest Editorial: Introduction to the Special Issue.
Real Time Syst.
Moon Hae Kim, Peter P. Puschner
2006 C conf
Portable Data Exchange for Remote-Testing Frameworks.
ISORC
Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder
2005 A conf
Automatic Timing Model Generation by CFG Partitioning and Model Checking.
DATE
Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner
2005 — conf
Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis.
WCET
Raimund Kirner, Peter P. Puschner
2005 C conf
Classification of WCET Analysis Techniques.
ISORC
Raimund Kirner, Peter P. Puschner
2005 — conf
Experiments with WCET-Oriented Programming and the Single-Path Architecture.
WORDS
Peter P. Puschner
2005 J jnl
Guest Editorial.
Real Time Syst.
Peter P. Puschner
2005 — conf
Measurement-Based Worst-Case Execution Time Analysis.
SEUS
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
2005 — conf
Principles of Timing Anomalies in Superscalar Processors.
QSIC
Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder
2004 C conf
Function Test Environment for Embedded Driver Components.
ISORC
Stefan Pitzek, Peter P. Puschner
2003 — conf
A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development.
WISES
Raimund Kirner, Peter P. Puschner
2003 — conf
Algorithms for Dependable Hard Real-Time Systems.
WORDS
Peter P. Puschner
2003 — conf
Avoiding Timing Problems in Real-Time Software.
WSTFES
Peter P. Puschner, Raimund Kirner
2003 — conf
Discussion of Misconceptions about WCET Analysis.
WCET
Raimund Kirner, Peter P. Puschner
2003 J jnl
Evaluating the Expressive Power of the Real-Time Specification for Java.
Real Time Syst.
Andy J. Wellings, Peter P. Puschner
2003 — conf
Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Applications.
WISES
Stefan Pitzek, Peter P. Puschner
2003 A conf
Hard Real-Time Programming is Different.
IPDPS
Peter P. Puschner
2003 — conf
Input-Dependency Analysis for Hard Real-Time Software.
WORDS Fall
Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
2003 Misc conf
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs.
EMSOFT
Janosch Fauster, Raimund Kirner, Peter P. Puschner
2003 B conf
Processor Support for Temporal Predictability - The SPEAR Design Example.
ECRTS
Martin Delvai, Wolfgang Huber, Peter P. Puschner, Andreas Steininger
2003 — conf
Timing Analysis of Optimised Code.
WORDS
Raimund Kirner, Peter P. Puschner
2003 C conf
Transformation of Meta-Information by Abstract Co-interpretation.
SCOPES
Raimund Kirner, Peter P. Puschner
2002 B conf
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models.
ECRTS
Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner
2002 — conf
Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis.
Symposium on Object-Oriented Real-Time Distributed Computing
Iain Bate, Guillem Bernat, Peter P. Puschner
2002 — conf
Transforming Execution-Time Boundable Code into Temporally Predictable Code.
DIPES
Peter P. Puschner
2002 — conf
Writing Temporally Predictable Code.
WORDS
Peter P. Puschner, Alan Burns
2001 C conf
A Profile for High-Integrity Real-Time Java Programs.
ISORC
Peter P. Puschner, Andy J. Wellings
2001 — conf
Assumption coverage under different failure modes in the time-triggered architecture.
ETFA (1)
Günther Bauer, Hermann Kopetz, Peter P. Puschner
2001 B conf
Transformation of Path Information for WCET Analysis during Compilation.
ECRTS
Raimund Kirner, Peter P. Puschner
2001 A conf
Translating Off-Line Schedules into Task Attributes for Fixed Priority Scheduling.
RTSS
Radu Dobrin, Gerhard Fohler, Peter P. Puschner
2001 B conf
WCET Analysis of Reusable Portable Code.
ECRTS
Peter P. Puschner, Guillem Bernat
2000 J jnl
Guest Editorial: A Review of Worst-Case Execution-Time Analysis.
Real Time Syst.
Peter P. Puschner, Alan Burns
2000 B conf
Low-level analysis of a portable Java byte code WCET analysis framework.
RTCSA
Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner
1999 J jnl
Real-Time Performance of Sorting Algorithms.
Real Time Syst.
Peter P. Puschner
1999 B conf
Time-constrained sorting-a comparison of different algorithms.
ECRTS
Peter P. Puschner, Alan Burns
1998 B conf
A tool for high-level language analysis of worst-case execution times.
ECRTS
Peter P. Puschner
1998 A conf
Testing the Results of Static Worst-Case Execution-Time Analysis.
RTSS
Peter P. Puschner, Roman Nossal
1997 J jnl
Computing Maximum Task Execution Times - A Graph-Based Approach.
Real Time Syst.
Peter P. Puschner, Anton V. Schedl
1997 — conf
Problems in Static Worst-Case Execution Time Analysis.
MMB (Kurzbeiträge)
Peter P. Puschner, Alexander Vrchoticky
1997 — conf
Which sorting algorithms to choose for hard real-time applications.
RTS
Dietmar Mittermair, Peter P. Puschner
1993 — conf
A Tool for the Computation of Worst Case Task Execution Times.
RTS
Peter P. Puschner, Anton V. Schedl
1993 C conf
Real-time system development: The programming model of MARS.
ISADS
Hermann Kopetz, Gerhard Fohler, Günter Grünsteidl, Heinz Kantz, Gustav Pospischil, Peter P. Puschner, Johannes Reisinger, Ralf Schlatterbeck, Werner Schütz, Alexander Vrchoticky, Ralph Zainlinger
1992 J jnl
Developing Real-Time Tasks With Predictable Timing.
IEEE Softw.
Gustav Pospischil, Peter P. Puschner, Alexander Vrchoticky, Ralph Zainlinger
1992 A conf
The programmer's view of MARS.
RTSS
Hermann Kopetz, Gerhard Fohler, Günter Grünsteidl, Heinz Kantz, Gustav Pospischil, Peter P. Puschner, Johannes Reisinger, Ralf Schlatterbeck, Werner Schütz, Alexander Vrchoticky, Ralph Zainlinger
1991 — conf
An Engineering Approach to Hard Real-Time System Design.
ESEC
Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz
1991 J jnl
The design of real-time systems: from specification to implementation and verification.
Softw. Eng. J.
Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz
1990 — conf
Tolerating transient faults in MARS.
FTCS
Hermann Kopetz, Heinz Kantz, Günter Grünsteidl, Peter P. Puschner, Johannes Reisinger
1989 J jnl
Calculating the Maximum Execution Time of Real-Time Programs.
Real Time Syst.
Peter P. Puschner, Christian Koza