Items where Author is "Puschner, Peter"

Number of items: 18.
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