AbsInt: новости

Текущие проекты

Журнал «Электроника — наука, технология, бизнес», №4/2022
«Статический анализатор стека AbsInt StackAnalyzer поддерживает архитектуры MIPS32 и RISC-V»
Medizin-Elektronik 02/2019
«Von der Vision zur Wirklichkeit» (PDF)
Elektronik automotive 9/2018
«Der perfekte Compiler» (PDF)

Multi-Core WCET Analysis Using Non-Intrusive Continuous Observation. D. Kästner, G. Gebhard, M. Pister, S. Wegener, C. Ferdinand, A. Schulz, M. Sachenbacher, M. Leucker, A. Weiss. In ERTS 2024: Embedded Real Time Software and Systems, 12th European Congress, Toulouse, June 2024.
Satisfying Timing Requirements for Safety-Critical Real-Time Software. D. Kästner, C. Hümbert, G. Gebhard, M. Pister, S. Wegener, C. Ferdinand. Embedded World Congress 2024, Nuremberg.
Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software. D. Kästner, C. Mallon, L. Mauborgne, S. Schank, S. Wilhelm, C. Ferdinand. SAE Technical Paper 2023-01-0591, SAE World Congress 2023, Detroit, April 2023.
Static Data and Control Coupling Analysis. D. Kästner, L. Mauborgne, S. Wilhelm, C. Mallon, C. Ferdinand. ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, Toulouse, June 2022.