Items where Author is "Puschner, Peter"

Item Type No Grouping

Article

A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems. (2023) Raimund Kirner and Peter Puschner

A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. (2021) Raimund Kirner and Peter Puschner picture_as_pdf

Asynchronous vs. Synchronous Interfacing to Time-Triggered Communication Systems. (2020) Peter Puschner and Raimund Kirner

Transforming flow information during code optimization for timing analysis. (2010) Raimund Kirner, Peter Puschner and Adrian Prantl picture_as_pdf

Conference or Workshop Item

Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten. (2022) Raimund Kirner and Peter Puschner

Interfacing to Time-Triggered Communication Systems. (2019) Peter Puschner and Raimund Kirner

Time-Predictable Computing. (2010) Raimund Kirner and Peter Puschner

Measurement-Based Timing Analysis. (2009) Ingomar Wenzel, Raimund Kirner, Bernhard Rieder and Peter Puschner

Model-driven design and organic computing - combinable strategies? (2009) Peter Puschner and Raimund Kirner

Precise worst-case execution time analysis for processors with timing anomalies. (2009) Raimund Kirner, Albrecht Kadlec and Peter Puschner

Towards composable timing for real-time programs. (2009) Peter Puschner, Raimund Kirner and Robert G. Pettit

Obstacles in worst-case execution time analysis. (2008) Raimund Kirner and Peter Puschner

Cross-platform verification framework for embedded systems. (2007) Ingomar Wenzel, Raimund Kirner, Bernhard Rieder and Peter Puschner

Automated formal verification and testing of C programs for embedded systems. (2007) Susanne Kandl, Raimund Kirner and Peter Puschner

Time-predictable task preemption for real-time systems with direct-mapped instruction cache. (2007) Raimund Kirner and Peter Puschner

From time-triggered to time-deterministic real-time systems. (2006) Peter Puschner and Raimund Kirner picture_as_pdf

Portable data exchange for remote-testing frameworks. (2006) Raimund Kirner, Peter Puschner, Ingomar Wenzel and Bernhard Rieder

Other

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