Jörg Herter

According to our database, Jörg Herter authored at least 11 papers between 2005 and 2024.

Collaborative distances:

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

2024

Sound Non-interference Analysis for C/C++.

Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand

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

2017

Benchmarking Static Code Analyzers.

Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm

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

2014

Timing-predictable memory allocation in hard real-time systems.

Jörg Herter

PhD thesis, 2014

2013

PRADA: Predictable Allocations by Deferred Actions.

Florian Haupenthal, Jörg Herter

Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

2011

Cache analysis in presence of pointer-based data structures.

Tomasz Dudziak, Jörg Herter

SIGBED Rev., 2011

CAMA: A Predictable Cache-Aware Memory Allocator.

Jörg Herter, Peter Backes, Florian Haupenthal, Jan Reineke

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

2010

Precomputing Memory Locations for Parametric Allocations.

Jörg Herter, Sebastian Altmeyer

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

Static Timing Analysis for Hard Real-Time Systems.

Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm

Proceedings of the Verification, 2010

2009

Making Dynamic Memory Allocation Static to Support WCET Analysis.

Jörg Herter, Jan Reineke

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

2005

MathCoach und LaplaceSkript: Ein programmierbarer interaktiver Mathematiktutor mit XML-basierter Skriptsprache.

Barbara L. Grabowski, Susanne Gäng, Jörg Herter, Thomas Köppen

Proceedings of the Marktplatz Internet: von E-Learning bis E-Payment, 2005

LaplaceScript: Eine XML-basierte Skriptsprache für interaktive Übungsaufgaben.

Barbara L. Grabowski, Susanne Gäng, Jörg Herter, Thomas Köppen

Proceedings of the Marktplatz Internet: von E-Learning bis E-Payment, 2005