Jörg Herter

12 papers B 4Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2024 B conf
Sound Non-interference Analysis for C/C++.
SAFECOMP
Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand
2019 J jnl
Benchmarking static code analyzers.
Reliab. Eng. Syst. Saf.
Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
2017 B conf
Benchmarking Static Code Analyzers.
SAFECOMP
Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
2014 — —
Timing-predictable memory allocation in hard real-time systems.
Jörg Herter
2013 — conf
PRADA: Predictable Allocations by Deferred Actions.
WCET
Florian Haupenthal, Jörg Herter
2011 B conf
CAMA: A Predictable Cache-Aware Memory Allocator.
ECRTS
Jörg Herter, Peter Backes, Florian Haupenthal, Jan Reineke
2011 J jnl
Cache analysis in presence of pointer-based data structures.
SIGBED Rev.
Tomasz Dudziak, Jörg Herter
2010 — conf
Precomputing Memory Locations for Parametric Allocations.
WCET
Jörg Herter, Sebastian Altmeyer
2010 B conf
Static Timing Analysis for Hard Real-Time Systems.
VMCAI
Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm
2009 — conf
Making Dynamic Memory Allocation Static to Support WCET Analysis.
WCET
Jörg Herter, Jan Reineke
2005 — conf
LaplaceScript: Eine XML-basierte Skriptsprache für interaktive Übungsaufgaben.
Leipziger Informatik-Tage
Barbara L. Grabowski, Susanne Gäng, Jörg Herter, Thomas Köppen
2005 — conf
MathCoach und LaplaceSkript: Ein programmierbarer interaktiver Mathematiktutor mit XML-basierter Skriptsprache.
Leipziger Informatik-Tage
Barbara L. Grabowski, Susanne Gäng, Jörg Herter, Thomas Köppen