Calculating the Maximum Execution Time of Real-Time Programs. - Peter P. Puschner; Christian Koza (Real Time Syst., 1989)

Tolerating transient faults in MARS. - Hermann Kopetz; Heinz Kantz; Günter Grünsteidl; Peter P. Puschner; Johannes Reisinger (FTCS, 1990)

An Engineering Approach to Hard Real-Time System Design. - Hermann Kopetz; Ralph Zainlinger; Gerhard Fohler; Heinz Kantz; Peter P. Puschner; Werner Schütz (ESEC, 1991)

The design of real-time systems: from specification to implementation and verification. - Hermann Kopetz; Ralph Zainlinger; Gerhard Fohler; Heinz Kantz; Peter P. Puschner; Werner Schütz (Softw. Eng. J., 1991)

The programmer's view of MARS. - 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 (RTSS, 1992)

Developing Real-Time Tasks With Predictable Timing. - Gustav Pospischil; Peter P. Puschner; Alexander Vrchoticky; Ralph Zainlinger (IEEE Softw., 1992)

A Tool for the Computation of Worst Case Task Execution Times. - Peter P. Puschner; Anton V. Schedl (RTS, 1993)

Real-time system development: The programming model of MARS. - 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 (ISADS, 1993)

Which sorting algorithms to choose for hard real-time applications. - Dietmar Mittermair; Peter P. Puschner (RTS, 1997)

Problems in Static Worst-Case Execution Time Analysis. - Peter P. Puschner; Alexander Vrchoticky (MMB (Kurzbeiträge), 1997)

Computing Maximum Task Execution Times - A Graph-Based Approach. - Peter P. Puschner; Anton V. Schedl (Real Time Syst., 1997)

A tool for high-level language analysis of worst-case execution times. - Peter P. Puschner (ECRTS, 1998)

Testing the Results of Static Worst-Case Execution-Time Analysis. - Peter P. Puschner; Roman Nossal (RTSS, 1998)

Time-constrained sorting-a comparison of different algorithms. - Peter P. Puschner; Alan Burns 001 (ECRTS, 1999)

Real-Time Performance of Sorting Algorithms. - Peter P. Puschner (Real Time Syst., 1999)

Low-level analysis of a portable Java byte code WCET analysis framework. - Iain Bate; Guillem Bernat; G. Murphy; Peter P. Puschner (RTCSA, 2000)

Guest Editorial: A Review of Worst-Case Execution-Time Analysis. - Peter P. Puschner; Alan Burns 001 (Real Time Syst., 2000)

Transformation of Path Information for WCET Analysis during Compilation. - Raimund Kirner; Peter P. Puschner (ECRTS, 2001)

WCET Analysis of Reusable Portable Code. - Peter P. Puschner; Guillem Bernat (ECRTS, 2001)

Assumption coverage under different failure modes in the time-triggered architecture. - Günther Bauer 001; Hermann Kopetz; Peter P. Puschner (ETFA (1), 2001)

A Profile for High-Integrity Real-Time Java Programs. - Peter P. Puschner; Andy J. Wellings (ISORC, 2001)

Translating Off-Line Schedules into Task Attributes for Fixed Priority Scheduling. - Radu Dobrin; Gerhard Fohler; Peter P. Puschner (RTSS, 2001)

Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. - Raimund Kirner; Roland Lang; Gerald Freiberger; Peter P. Puschner (ECRTS, 2002)

Transforming Execution-Time Boundable Code into Temporally Predictable Code. - Peter P. Puschner (DIPES, 2002)

Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis. - Iain Bate; Guillem Bernat; Peter P. Puschner (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

Writing Temporally Predictable Code. - Peter P. Puschner; Alan Burns 001 (WORDS, 2002)

Processor Support for Temporal Predictability - The SPEAR Design Example. - Martin Delvai; Wolfgang Huber; Peter P. Puschner; Andreas Steininger (ECRTS, 2003)

Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. - Janosch Fauster; Raimund Kirner; Peter P. Puschner (EMSOFT, 2003)

Hard Real-Time Programming is Different. - Peter P. Puschner (IPDPS, 2003)

Transformation of Meta-Information by Abstract Co-interpretation. - Raimund Kirner; Peter P. Puschner (SCOPES, 2003)

Discussion of Misconceptions about WCET Analysis. - Raimund Kirner; Peter P. Puschner (WCET, 2003)

A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development. - Raimund Kirner; Peter P. Puschner (WISES, 2003)

Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Applications. - Stefan Pitzek; Peter P. Puschner (WISES, 2003)

Input-Dependency Analysis for Hard Real-Time Software. - Jan Gustafsson; Björn Lisper; Raimund Kirner; Peter P. Puschner (WORDS Fall, 2003)

Timing Analysis of Optimised Code. - Raimund Kirner; Peter P. Puschner (WORDS, 2003)

Algorithms for Dependable Hard Real-Time Systems. - Peter P. Puschner (WORDS, 2003)

Avoiding Timing Problems in Real-Time Software. - Peter P. Puschner; Raimund Kirner (WSTFES, 2003)

Evaluating the Expressive Power of the Real-Time Specification for Java. - Andy J. Wellings; Peter P. Puschner (Real Time Syst., 2003)

Function Test Environment for Embedded Driver Components. - Stefan Pitzek; Peter P. Puschner (ISORC, 2004)

Automatic Timing Model Generation by CFG Partitioning and Model Checking. - Ingomar Wenzel; Bernhard Rieder; Raimund Kirner; Peter P. Puschner (DATE, 2005)

Classification of WCET Analysis Techniques. - Raimund Kirner; Peter P. Puschner (ISORC, 2005)

Principles of Timing Anomalies in Superscalar Processors. - Ingomar Wenzel; Raimund Kirner; Peter P. Puschner; Bernhard Rieder (QSIC, 2005)

Measurement-Based Worst-Case Execution Time Analysis. - Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter P. Puschner (SEUS, 2005)

Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. - Raimund Kirner; Peter P. Puschner (WCET, 2005)

Experiments with WCET-Oriented Programming and the Single-Path Architecture. - Peter P. Puschner (WORDS, 2005)

Guest Editorial. - Peter P. Puschner (Real Time Syst., 2005)

From Time-Triggered to Time-Deterministic Real-Time Systems. - Peter P. Puschner; Raimund Kirner (DIPES, 2006)

Portable Data Exchange for Remote-Testing Frameworks. - Raimund Kirner; Peter P. Puschner; Ingomar Wenzel; Bernhard Rieder (ISORC, 2006)

Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. - Raimund Kirner; Markus Grössing; Peter P. Puschner (WCET, 2006)

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems. - Susanne Kandl; Raimund Kirner; Peter P. Puschner (WISES, 2006)

Code Analysis for Temporal Predictability. - Jan Gustafsson; Björn Lisper; Raimund Kirner; Peter P. Puschner (Real Time Syst., 2006)

Guest Editorial: Introduction to the Special Issue. - Moon Hae Kim; Peter P. Puschner (Real Time Syst., 2006)

Using a Runtime Measurement Device with Measurement-Based WCET Analysis. - Bernhard Rieder; Ingomar Wenzel; Klaus Steinhammer; Peter P. Puschner (IESS, 2007)

Automated Formal Verification and Testing of C Programs for Embedded Systems. - Susanne Kandl; Raimund Kirner; Peter P. Puschner (ISORC, 2007)

Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. - Raimund Kirner; Peter P. Puschner (ISORC, 2007)

Cross-Platform Verification Framework for Embedded Systems. - Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter P. Puschner (SEUS, 2007)

Measurement-Based Timing Analysis. - Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter P. Puschner (ISoLA, 2008)

Obstacles in Worst-Case Execution Time Analysis. - Raimund Kirner; Peter P. Puschner (ISORC, 2008)

An Operating System for a Time-Predictable Computing Node. - Guenter Khyo; Peter P. Puschner; Martin Delvai (SEUS, 2008)

On Composable System Timing, Task Timing, and WCET Analysis. - Peter P. Puschner; Martin Schoeberl (WCET, 2008)

Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis. - Bernhard Rieder; Peter P. Puschner; Ingomar Wenzel (WISES, 2008)

The worst-case execution-time problem - overview of methods and survey of tools. - Reinhard Wilhelm; Jakob Engblom; Andreas Ermedahl; Niklas Holsti; Stephan Thesing; David B. Whalley; Guillem Bernat; Christian Ferdinand; Reinhold Heckmann; Tulika Mitra; Frank Mueller 001; Isabelle Puaut; et al. (ACM Trans. Embed. Comput. Syst., 2008)

Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. - Raimund Kirner; Albrecht Kadlec; Peter P. Puschner (ECRTS, 2009)

Model-Driven Design and Organic Computing – Combinable Strategies?. - Peter P. Puschner; Raimund Kirner (ISORC, 2009)

A Single-Path Chip-Multiprocessor System. - Martin Schoeberl; Peter P. Puschner; Raimund Kirner (SEUS, 2009)

Teaching WCET Analysis in Academia and Industry: A Panel Discussion. - Niklas Holsti; Guillem Bernat; Christian Ferdinand; Peter P. Puschner; Reinhard Wilhelm (WCET, 2009)

Is Chip-Multiprocessing the End of Real-Time Scheduling?. - Martin Schoeberl; Peter P. Puschner (WCET, 2009)

Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored. - Bekim Cilku; Peter P. Puschner (ISORC Workshops, 2010)

Avoiding Timing Anomalies Using Code Transformations. - Albrecht Kadlec; Raimund Kirner; Peter P. Puschner (ISORC, 2010)

Time-Predictable Computing. - Raimund Kirner; Peter P. Puschner (SEUS, 2010)

A Code Policy Guaranteeing Fully Automated Path Analysis. - Benedikt Huber; Peter P. Puschner (WCET, 2010)

Transforming flow information during code optimization for timing analysis. - Raimund Kirner; Peter P. Puschner; Adrian Prantl (Real Time Syst., 2010)

Using a Local Prefetch Strategy to Obtain Temporal Time Predictability. - Bekim Cilku; Peter P. Puschner (ISORC Workshops, 2011)

Code transformations to prevent timing anomalies. - Albrecht Kadlec; Raimund Kirner; Peter P. Puschner (Comput. Syst. Sci. Eng., 2011)

Preface to the special issue on worst-case execution-time analysis. - Andreas Ermedahl; Peter P. Puschner (J. Syst. Archit., 2011)

Compiling for Time Predictability. - Peter P. Puschner; Raimund Kirner; Benedikt Huber; Daniel Prokesch (SAFECOMP Workshops, 2012)

A Formal Framework for Precise Parametric WCET Formulas. - Benedikt Huber; Daniel Prokesch; Peter P. Puschner (WCET, 2012)

Improving System-Level Verification of SystemC Models with SPIN. - Martin Elshuber; Susanne Kandl; Peter P. Puschner (FSFMA, 2013)

Time-predictable code execution - Instruction-set support for the single-path approach. - Clemens B. Geyer; Benedikt Huber; Daniel Prokesch; Peter P. Puschner (ISORC, 2013)

The T-CREST approach of compiler and WCET-analysis integration. - Peter P. Puschner; Daniel Prokesch; Benedikt Huber; Jens Knoop; Stefan Hepp; Gernot Gebhard (ISORC, 2013)

Combined WCET analysis of bitcode and machine code using control-flow relation graphs. - Benedikt Huber; Daniel Prokesch; Peter P. Puschner (LCTES, 2013)

Embedded systems for safety-critical and mixed-criticality applications. - Peter P. Puschner (MECO, 2013)

Constructing time-critical embedded systems: Decide before runtime. - Peter P. Puschner (MECO, 2013)

A novel modeling framework for time-triggered safety-critical embedded systems. - Iban Ayestaran; Carlos Fernando Nicolás; Jon Pérez 001; Asier Larrucea; Peter P. Puschner (FDL, 2014)

Semi-formal representation of requirements for automotive solutions using sysML. - Liana Musat; Markus Hubl; Andi Buzo; Georg Pelz; Susanne Kandl; Peter P. Puschner (FDL, 2014)

A dual-layer bus arbiter for mixed-criticality systems with hypervisors. - Bekim Cilku; Bernhard Frömel; Peter P. Puschner (INDIN, 2014)

Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems. - Iban Ayestaran; Carlos Fernando Nicolás; Jon Pérez 001; Asier Larrucea; Peter P. Puschner (ISORC, 2014)

Modeling logical execution time based safety-critical embedded systems in SystemC. - Iban Ayestaran; Carlos F. Nicolás; Jon Pérez 001; Peter P. Puschner (MECO, 2014)

A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. - Iban Ayestaran; Carlos Fernando Nicolás; Jon Pérez 001; Asier Larrucea; Peter P. Puschner (SAFECOMP, 2014)

Security Application of Failure Mode and Effect Analysis (FMEA). - Christoph Schmittner; Thomas Gruber 004; Peter P. Puschner; Erwin Schoitsch (SAFECOMP, 2014)

Towards Automated Generation of Time-Predictable Code. - Daniel Prokesch; Benedikt Huber; Peter P. Puschner (WCET, 2014)

A TDMA-Based arbitration scheme for mixed-criticality multicore platforms. - Bekim Cilku; Alfons Crespo; Peter P. Puschner; Javier Coronel; Salvador Peiró (EBCCSP, 2015)

A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking. - Bekim Cilku; Daniel Prokesch; Peter P. Puschner (ISORC Workshops, 2015)

A Generator for Time-Predictable Code. - Daniel Prokesch; Stefan Hepp; Peter P. Puschner (ISORC, 2015)

T-CREST: Time-predictable multi-core architecture for embedded systems. - 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; et al. (J. Syst. Archit., 2015)

Aligning single path loops to reduce the number of capacity cache misses. - Bekim Cilku; Roland Kammerer; Peter P. Puschner (SIGBED Rev., 2015)

Designing a time predictable memory hierarchy for single-path code. - Bekim Cilku; Peter P. Puschner (SIGBED Rev., 2015)

Constructing Time-Predictable MPSoCs: Avoid Conflicts in Temporal Control. - Peter P. Puschner; Bekim Cilku; Daniel Prokesch (MCSoC, 2016)

Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis. - Christoph Schmittner; Zhendong Ma; Peter P. Puschner (SAFECOMP Workshops, 2016)

Using SAE J3061 for Automotive Security Requirement Engineering. - Christoph Schmittner; Zhendong Ma; Carolina Reyes; Oliver Dillinger; Peter P. Puschner (SAFECOMP Workshops, 2016)

Improving Performance of Single-Path Code through a Time-Predictable Memory Hierarchy. - Bekim Cilku; Wolfgang Puffitsch; Daniel Prokesch; Martin Schoeberl; Peter P. Puschner (ISORC, 2017)

Error detection based on execution-time monitoring. - Dieter Steiner; Peter P. Puschner (MECO, 2017)

Best Practice for Caching of Single-Path Code. - Martin Schoeberl; Bekim Cilku; Daniel Prokesch; Peter P. Puschner (WCET, 2017)

A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities. - Siddhartha Verma; Thomas Gruber 004; Peter P. Puschner; Christoph Schmittner; Erwin Schoitsch (SAFECOMP Workshops, 2018)

Interfacing to Time-Triggered Communication Systems. - Peter P. Puschner; Raimund Kirner (ISORC, 2019)

Composable Component Interfaces for Time-Triggered Systems. - Peter P. Puschner; Bernhard Frömel (MECO, 2019)

Combined Approach for Safety and Security. - Siddhartha Verma; Thomas Gruber 004; Christoph Schmittner; Peter P. Puschner (SAFECOMP Workshops, 2019)

Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress. - Eleftherios Kyriakakis; Jens Sparsø; Peter P. Puschner; Martin Schoeberl (EMSOFT, 2020)

Towards Dual-Issue Single-Path Code. - Emad Jacob Maroun; Martin Schoeberl; Peter P. Puschner (ISORC, 2020)

A Real-Time Application with Fully Predictable Task Timing. - Michael Platzer; Peter P. Puschner (ISORC, 2020)

An Instruction Filter for Time-Predictable Code Execution on Standard Processors. - Michael Platzer; Peter P. Puschner (SAFECOMP Workshops, 2020)

Asynchronous vs. synchronous interfacing to time-triggered communication systems. - Peter P. Puschner; Raimund Kirner (J. Syst. Archit., 2020)

Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation. - Michael Platzer; Peter P. Puschner (ECRTS, 2021)

Synchronizing Real-Time Tasks in Time-Triggered Networks. - Eleftherios Kyriakakis; Jens Sparsø; Peter P. Puschner; Martin Schoeberl (ISORC, 2021)

A Processor Extension for Time-Predictable Code Execution. - Michael Platzer; Peter P. Puschner (ISORC, 2021)

Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten. - Raimund Kirner; Peter P. Puschner (Echtzeit, 2021)

Compiling for time-predictability with dual-issue single-path code. - Emad Jacob Maroun; Martin Schoeberl; Peter P. Puschner (J. Syst. Archit., 2021)

A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. - Raimund Kirner; Peter P. Puschner (IEEE/ACM Trans. Netw., 2021)

Compiler-Directed Constant Execution Time on Flat Memory Systems. - Emad Jacob Maroun; Martin Schoeberl; Peter P. Puschner (ISORC, 2023)

Constant-Loop Dominators for Single-Path Code Optimization. - Emad Jacob Maroun; Martin Schoeberl; Peter P. Puschner (WCET, 2023)

A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems. - Raimund Kirner; Peter P. Puschner (J. Syst. Archit., 2023)

Two-Step Register Allocation for Implementing Single-Path Code. - Emad Jacob Maroun; Martin Schoeberl; Peter P. Puschner (ISORC, 2024)

The Platin Multi-Target Worst-Case Analysis Tool. - Emad Jacob Maroun; Eva Dengler; Christian Dietrich 001; Stefan Hepp; Henriette Herzog; Benedikt Huber; Jens Knoop; Daniel Wiltsche-Prokesch; Peter P. Puschner; Phillip Raffeck; Martin Schoeberl; Simon Schuster; et al. (WCET, 2024)

Predictable and optimized single-path code for predicated processors. - Emad Jacob Maroun; Martin Schoeberl; Peter P. Puschner (J. Syst. Archit., 2024)