AbsInt (Germany)

Recent papers from AbsInt (Germany)

1. Qualifying CompCert for Safety-Critical Avionics Software2026
2. Designing for passengers' information needs on fellow travelers: A comparison of day and night rides in shared automated vehiclesApplied Ergonomics · 2023
3. Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction2018
4. TACLeBench : a benchmark collection to support worst-case execution time research2016
5. CacheAuditACM Transactions on Information and System Security · 2015
6. Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded SystemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2009
7. The worst-case execution-time problem—overview of methods and survey of toolsACM Transactions on Embedded Computing Systems · 2008
8. The influence of processor architecture on the design and the results of WCET toolsProceedings of the IEEE · 2003
9. Extracting safe and precise control flow from binaries2002
10. Severe Morphological Changes in Skeletal Muscles of a Five-Month Old Infant Dying from an Anesthetic Complication with General Muscle Rigidity – Syndrome of “Malignant Hyperpyrexia” Without Hyperthermia?1Neuropediatrics · 1975