Gernot Gebhard

According to our database, Gernot Gebhard authored at least 17 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Testing Implementation Soundness of a WCET Analysis Tool.

Reinhard Wilhelm, Markus Pister, Gernot Gebhard, Daniel Kästner

Proceedings of the A Journey of Embedded and Cyber-Physical Systems, 2021

2020

Safety-Critical Software Development in C++.

Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

2018

Embedded Program Annotations for WCET Analysis.

Bernhard Schommer, Christoph Cullmann, Gernot Gebhard, Xavier Leroy, Michael Schmidt, Simon Wegener

Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

Fine-Grain Iterative Compilation for WCET Estimation.

Isabelle Puaut, Mickaël Dardaillon, Christoph Cullmann, Gernot Gebhard, Steven Derrien

Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction.

Thomas Lefeuvre, Imen Fassi, Christoph Cullmann, Gernot Gebhard, Emin-Koray Kasnakli, Isabelle Puaut, Steven Derrien

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2013

Static timing analysis tool validation in the presence of timing anomalies.

Gernot Gebhard

PhD thesis, 2013

Confidence in Timing.

Daniel Kästner, Markus Pister, Gernot Gebhard, Marc Schlickling, Christian Ferdinand

Proceedings of the SAFECOMP 2013, 2013

The T-CREST approach of compiler and WCET-analysis integration.

Peter P. Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, Gernot Gebhard

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012

Meeting Real-Time Requirements with Multi-core Processors.

Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2012

Hybrid source-level simulation of data caches using abstract cache models.

Stefan Stattelmann, Gernot Gebhard, Christoph Cullmann, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Branch target buffers: WCET analysis framework and timing predictability.

Daniel Grund, Jan Reineke, Gernot Gebhard

J. Syst. Archit., 2011

Software Structure and WCET Predictability.

Gernot Gebhard, Christoph Cullmann, Reinhold Heckmann

Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

2010

Timing Anomalies Reloaded.

Gernot Gebhard

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

2008

WCET Analysis for Preemptive Scheduling.

Sebastian Altmeyer, Gernot Gebhard

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

2007

OORS: An object-oriented rewrite system.

Gernot Gebhard, Philipp Lucas

Comput. Sci. Inf. Syst., 2007

Optimal task placement to improve cache performance.

Gernot Gebhard, Sebastian Altmeyer

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Sensorsonden für Sicherheits- und Bewachungsroboter.

Kai Pfeiffer, Gernot Gebhard, Susanne Oberer

Proceedings of the Autonome Mobile Systeme 2007, 2007